@article{743, abstract = {This special issue of the Journal on Formal Methods in System Design is dedicated to Prof. Helmut Veith, who unexpectedly passed away in March 2016. Helmut Veith was a brilliant researcher, inspiring collaborator, passionate mentor, generous friend, and valued member of the formal methods community. Helmut was not only known for his numerous and influential contributions in the field of automated verification (most prominently his work on Counterexample-Guided Abstraction Refinement [1,2]), but also for his untiring and passionate efforts for the logic community: he co-organized the Vienna Summer of Logic (an event comprising twelve conferences and numerous workshops which attracted thousands of researchers from all over the world), he initiated the Vienna Center for Logic and Algorithms (which promotes international collaboration on logic and algorithms and organizes outreach events such as the LogicLounge), and he coordinated the Doctoral Program on Logical Methods in Computer Science at TU Wien (currently educating more than 40 doctoral students) and a National Research Network on Rigorous Systems Engineering (uniting fifteen researchers in Austria to address the challenge of building reliable and safe computer systems). With his enthusiasm and commitment, Helmut completely reshaped the Austrian research landscape in the field of logic and verification in his few years as a full professor at TU Wien.}, author = {Gottlob, Georg and Henzinger, Thomas A and Weißenbacher, Georg}, journal = {Formal Methods in System Design}, number = {2}, pages = {267 -- 269}, publisher = {Springer}, title = {{Preface of the special issue in memoriam Helmut Veith}}, doi = {10.1007/s10703-017-0307-6}, volume = {51}, year = {2017}, } @phdthesis{961, abstract = {Cell-cell contact formation constitutes the first step in the emergence of multicellularity in evolution, thereby allowing the differentiation of specialized cell types. In metazoan development, cell-cell contact formation is thought to influence cell fate specification, and cell fate specification has been implicated in cell-cell contact formation. However, remarkably little is yet known about whether and how the interaction and feedback between cell-cell contact formation and cell fate specification affect development. Here we identify a positive feedback loop between cell-cell contact duration, morphogen signaling and mesendoderm cell fate specification during zebrafish gastrulation. We show that long lasting cell-cell contacts enhance the competence of prechordal plate (ppl) progenitor cells to respond to Nodal signaling, required for proper ppl cell fate specification. We further show that Nodal signalling romotes ppl cell-cell contact duration, thereby generating an effective positive feedback loop between ppl cell-cell contact duration and cell fate specification. Finally, by using a combination of theoretical modeling and experimentation, we show that this feedback loop determines whether anterior axial mesendoderm cells become ppl progenitors or, instead, turn into endoderm progenitors. Our findings reveal that the gene regulatory networks leading to cell fate diversification within the developing embryo are controlled by the interdependent activities of cell-cell signaling and contact formation.}, author = {Barone, Vanessa}, issn = {2663-337X}, pages = {109}, publisher = {Institute of Science and Technology Austria}, title = {{Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation}}, doi = {10.15479/AT:ISTA:th_825}, year = {2017}, } @article{734, abstract = {Social insect societies are long-standing models for understanding social behaviour and evolution. Unlike other advanced biological societies (such as the multicellular body), the component parts of social insect societies can be easily deconstructed and manipulated. Recent methodological and theoretical innovations have exploited this trait to address an expanded range of biological questions. We illustrate the broadening range of biological insight coming from social insect biology with four examples. These new frontiers promote open-minded, interdisciplinary exploration of one of the richest and most complex of biological phenomena: sociality.}, author = {Kennedy, Patrick and Baron, Gemma and Qiu, Bitao and Freitak, Dalial and Helantera, Heikki and Hunt, Edmund and Manfredini, Fabio and O'Shea Wheller, Thomas and Patalano, Solenn and Pull, Christopher and Sasaki, Takao and Taylor, Daisy and Wyatt, Christopher and Sumner, Seirian}, issn = {01695347}, journal = {Trends in Ecology and Evolution}, number = {11}, pages = {861 -- 872}, publisher = {Cell Press}, title = {{Deconstructing superorganisms and societies to address big questions in biology}}, doi = {10.1016/j.tree.2017.08.004}, volume = {32}, year = {2017}, } @phdthesis{819, abstract = {Contagious diseases must transmit from infectious to susceptible hosts in order to reproduce. Whilst vectored pathogens can rely on intermediaries to find new hosts for them, many infectious pathogens require close contact or direct interaction between hosts for transmission. Hence, this means that conspecifics are often the main source of infection for most animals and so, in theory, animals should avoid conspecifics to reduce their risk of infection. Of course, in reality animals must interact with one another, as a bare minimum, to mate. However, being social provides many additional benefits and group living has become a taxonomically diverse and widespread trait. How then do social animals overcome the issue of increased disease? Over the last few decades, the social insects (ants, termites and some bees and wasps) have become a model system for studying disease in social animals. On paper, a social insect colony should be particularly susceptible to disease, given that they often contain thousands of potential hosts that are closely related and frequently interact, as well as exhibiting stable environmental conditions that encourage microbial growth. Yet, disease outbreaks appear to be rare and attempts to eradicate pest species using pathogens have failed time and again. Evolutionary biologists investigating this observation have discovered that the reduced disease susceptibility in social insects is, in part, due to collectively performed disease defences of the workers. These defences act like a “social immune system” for the colony, resulting in a per capita decrease in disease, termed social immunity. Our understanding of social immunity, and its importance in relation to the immunological defences of each insect, continues to grow, but there remain many open questions. In this thesis I have studied disease defence in garden ants. In the first data chapter, I use the invasive garden ant, Lasius neglectus, to investigate how colonies mitigate lethal infections and prevent them from spreading systemically. I find that ants have evolved ‘destructive disinfection’ – a behaviour that uses endogenously produced acidic poison to kill diseased brood and to prevent the pathogen from replicating. In the second experimental chapter, I continue to study the use of poison in invasive garden ant colonies, finding that it is sprayed prophylactically within the nest. However, this spraying has negative effects on developing pupae when they have had their cocoons artificially removed. Hence, I suggest that acidic nest sanitation may be maintaining larval cocoon spinning in this species. In the next experimental chapter, I investigated how colony founding black garden ant queens (Lasius niger) prevent disease when a co-foundress dies. I show that ant queens prophylactically perform undertaking behaviours, similar to those performed by the workers in mature nests. When a co-foundress was infected, these undertaking behaviours improved the survival of the healthy queen. In the final data chapter, I explored how immunocompetence (measured as antifungal activity) changes as incipient black garden ant colonies grow and mature, from the solitary queen phase to colonies with several hundred workers. Queen and worker antifungal activity varied throughout this time period, but despite social immunity, did not decrease as colonies matured. In addition to the above data chapters, this thesis includes two co-authored reviews. In the first, we examine the state of the art in the field of social immunity and how it might develop in the future. In the second, we identify several challenges and open questions in the study of disease defence in animals. We highlight how social insects offer a unique model to tackle some of these problems, as disease defence can be studied from the cell to the society. }, author = {Pull, Christopher}, issn = {2663-337X}, pages = {122}, publisher = {Institute of Science and Technology Austria}, title = {{Disease defence in garden ants}}, doi = {10.15479/AT:ISTA:th_861}, year = {2017}, } @article{732, abstract = {Background: Social insects form densely crowded societies in environments with high pathogen loads, but have evolved collective defences that mitigate the impact of disease. However, colony-founding queens lack this protection and suffer high rates of mortality. The impact of pathogens may be exacerbated in species where queens found colonies together, as healthy individuals may contract pathogens from infectious co-founders. Therefore, we tested whether ant queens avoid founding colonies with pathogen-exposed conspecifics and how they might limit disease transmission from infectious individuals. Results: Using Lasius Niger queens and a naturally infecting fungal pathogen Metarhizium brunneum, we observed that queens were equally likely to found colonies with another pathogen-exposed or sham-treated queen. However, when one queen died, the surviving individual performed biting, burial and removal of the corpse. These undertaking behaviours were performed prophylactically, i.e. targeted equally towards non-infected and infected corpses, as well as carried out before infected corpses became infectious. Biting and burial reduced the risk of the queens contracting and dying from disease from an infectious corpse of a dead co-foundress. Conclusions: We show that co-founding ant queens express undertaking behaviours that, in mature colonies, are performed exclusively by workers. Such infection avoidance behaviours act before the queens can contract the disease and will therefore improve the overall chance of colony founding success in ant queens.}, author = {Pull, Christopher and Cremer, Sylvia}, issn = {14712148}, journal = {BMC Evolutionary Biology}, number = {1}, publisher = {BioMed Central}, title = {{Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour}}, doi = {10.1186/s12862-017-1062-4}, volume = {17}, year = {2017}, } @article{726, abstract = {The morphogenesis of branched organs remains a subject of abiding interest. Although much is known about the underlying signaling pathways, it remains unclear how macroscopic features of branched organs, including their size, network topology, and spatial patterning, are encoded. Here, we show that, in mouse mammary gland, kidney, and human prostate, these features can be explained quantitatively within a single unifying framework of branching and annihilating random walks. Based on quantitative analyses of large-scale organ reconstructions and proliferation kinetics measurements, we propose that morphogenesis follows from the proliferative activity of equipotent tips that stochastically branch and randomly explore their environment but compete neutrally for space, becoming proliferatively inactive when in proximity with neighboring ducts. These results show that complex branched epithelial structures develop as a self-organized process, reliant upon a strikingly simple but generic rule, without recourse to a rigid and deterministic sequence of genetically programmed events.}, author = {Hannezo, Edouard B and Scheele, Colinda and Moad, Mohammad and Drogo, Nicholas and Heer, Rakesh and Sampogna, Rosemary and Van Rheenen, Jacco and Simons, Benjamin}, issn = {00928674}, journal = {Cell}, number = {1}, pages = {242 -- 255}, publisher = {Cell Press}, title = {{A unifying theory of branching morphogenesis}}, doi = {10.1016/j.cell.2017.08.026}, volume = {171}, year = {2017}, } @article{727, abstract = {Actin filaments polymerizing against membranes power endocytosis, vesicular traffic, and cell motility. In vitro reconstitution studies suggest that the structure and the dynamics of actin networks respond to mechanical forces. We demonstrate that lamellipodial actin of migrating cells responds to mechanical load when membrane tension is modulated. In a steady state, migrating cell filaments assume the canonical dendritic geometry, defined by Arp2/3-generated 70° branch points. Increased tension triggers a dense network with a broadened range of angles, whereas decreased tension causes a shift to a sparse configuration dominated by filaments growing perpendicularly to the plasma membrane. We show that these responses emerge from the geometry of branched actin: when load per filament decreases, elongation speed increases and perpendicular filaments gradually outcompete others because they polymerize the shortest distance to the membrane, where they are protected from capping. This network-intrinsic geometrical adaptation mechanism tunes protrusive force in response to mechanical load.}, author = {Mueller, Jan and Szep, Gregory and Nemethova, Maria and De Vries, Ingrid and Lieber, Arnon and Winkler, Christoph and Kruse, Karsten and Small, John and Schmeiser, Christian and Keren, Kinneret and Hauschild, Robert and Sixt, Michael K}, issn = {00928674}, journal = {Cell}, number = {1}, pages = {188 -- 200}, publisher = {Cell Press}, title = {{Load adaptation of lamellipodial actin networks}}, doi = {10.1016/j.cell.2017.07.051}, volume = {171}, year = {2017}, } @article{730, abstract = {Neural responses are highly structured, with population activity restricted to a small subset of the astronomical range of possible activity patterns. Characterizing these statistical regularities is important for understanding circuit computation, but challenging in practice. Here we review recent approaches based on the maximum entropy principle used for quantifying collective behavior in neural activity. We highlight recent models that capture population-level statistics of neural data, yielding insights into the organization of the neural code and its biological substrate. Furthermore, the MaxEnt framework provides a general recipe for constructing surrogate ensembles that preserve aspects of the data, but are otherwise maximally unstructured. This idea can be used to generate a hierarchy of controls against which rigorous statistical tests are possible.}, author = {Savin, Cristina and Tkacik, Gasper}, issn = {09594388}, journal = {Current Opinion in Neurobiology}, pages = {120 -- 126}, publisher = {Elsevier}, title = {{Maximum entropy models as a tool for building precise neural controls}}, doi = {10.1016/j.conb.2017.08.001}, volume = {46}, year = {2017}, } @article{728, abstract = {During animal development, cell-fate-specific changes in gene expression can modify the material properties of a tissue and drive tissue morphogenesis. While mechanistic insights into the genetic control of tissue-shaping events are beginning to emerge, how tissue morphogenesis and mechanics can reciprocally impact cell-fate specification remains relatively unexplored. Here we review recent findings reporting how multicellular morphogenetic events and their underlying mechanical forces can feed back into gene regulatory pathways to specify cell fate. We further discuss emerging techniques that allow for the direct measurement and manipulation of mechanical signals in vivo, offering unprecedented access to study mechanotransduction during development. Examination of the mechanical control of cell fate during tissue morphogenesis will pave the way to an integrated understanding of the design principles that underlie robust tissue patterning in embryonic development.}, author = {Chan, Chii and Heisenberg, Carl-Philipp J and Hiiragi, Takashi}, issn = {09609822}, journal = {Current Biology}, number = {18}, pages = {R1024 -- R1035}, publisher = {Cell Press}, title = {{Coordination of morphogenesis and cell fate specification in development}}, doi = {10.1016/j.cub.2017.07.010}, volume = {27}, year = {2017}, } @article{729, abstract = {The cellular mechanisms allowing tissues to efficiently regenerate are not fully understood. In this issue of Developmental Cell, Cao et al. (2017)) discover that during zebrafish heart regeneration, epicardial cells at the leading edge of regenerating tissue undergo endoreplication, possibly due to increased tissue tension, thereby boosting their regenerative capacity.}, author = {Spiro, Zoltan P and Heisenberg, Carl-Philipp J}, issn = {15345807}, journal = {Developmental Cell}, number = {6}, pages = {559 -- 560}, publisher = {Cell Press}, title = {{Regeneration tensed up polyploidy takes the lead}}, doi = {10.1016/j.devcel.2017.09.008}, volume = {42}, year = {2017}, } @article{548, abstract = {In this work maximum entropy distributions in the space of steady states of metabolic networks are considered upon constraining the first and second moments of the growth rate. Coexistence of fast and slow phenotypes, with bimodal flux distributions, emerges upon considering control on the average growth (optimization) and its fluctuations (heterogeneity). This is applied to the carbon catabolic core of Escherichia coli where it quantifies the metabolic activity of slow growing phenotypes and it provides a quantitative map with metabolic fluxes, opening the possibility to detect coexistence from flux data. A preliminary analysis on data for E. coli cultures in standard conditions shows degeneracy for the inferred parameters that extend in the coexistence region.}, author = {De Martino, Daniele}, issn = {2470-0045}, journal = {Physical Review E}, number = {6}, publisher = {American Physical Society}, title = {{Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes}}, doi = {10.1103/PhysRevE.96.060401}, volume = {96}, year = {2017}, } @article{673, abstract = {We present a numerical study of wavy supercritical cylindrical Couette flow between counter-rotating cylinders in which the wavy pattern propagates either prograde with the inner cylinder or retrograde opposite the rotation of the inner cylinder. The wave propagation reversals from prograde to retrograde and vice versa occur at distinct values of the inner cylinder Reynolds number when the associated frequency of the wavy instability vanishes. The reversal occurs for both twofold and threefold symmetric wavy vortices. Moreover, the wave propagation reversal only occurs for sufficiently strong counter-rotation. The flow pattern reversal appears to be intrinsic in the system as either periodic boundary conditions or fixed end wall boundary conditions for different system sizes always result in the wave propagation reversal. We present a detailed bifurcation sequence and parameter space diagram with respect to retrograde behavior of wavy flows. The retrograde propagation of the instability occurs when the inner Reynolds number is about two times the outer Reynolds number. The mechanism for the retrograde propagation is associated with the inviscidly unstable region near the inner cylinder and the direction of the global average azimuthal velocity. Flow dynamics, spatio-temporal behavior, global mean angular velocity, and torque of the flow with the wavy pattern are explored.}, author = {Altmeyer, Sebastian and Lueptow, Richard}, issn = {2470-0045}, journal = {Physical Review E}, number = {5}, publisher = {American Physical Society}, title = {{Wave propagation reversal for wavy vortices in wide gap counter rotating cylindrical Couette flow}}, doi = {10.1103/PhysRevE.95.053103}, volume = {95}, year = {2017}, } @article{447, abstract = {We consider last passage percolation (LPP) models with exponentially distributed random variables, which are linked to the totally asymmetric simple exclusion process (TASEP). The competition interface for LPP was introduced and studied in Ferrari and Pimentel (2005a) for cases where the corresponding exclusion process had a rarefaction fan. Here we consider situations with a shock and determine the law of the fluctuations of the competition interface around its deter- ministic law of large number position. We also study the multipoint distribution of the LPP around the shock, extending our one-point result of Ferrari and Nejjar (2015).}, author = {Ferrari, Patrik and Nejjar, Peter}, journal = {Revista Latino-Americana de Probabilidade e Estatística}, pages = {299 -- 325}, publisher = {Instituto Nacional de Matematica Pura e Aplicada}, title = {{Fluctuations of the competition interface in presence of shocks}}, doi = {10.30757/ALEA.v14-17}, volume = {9}, year = {2017}, } @article{557, abstract = {PURPOSE. Gene therapy of retinal ganglion cells (RGCs) has promise as a powerful therapeutic for the rescue and regeneration of these cells after optic nerve damage. However, early after damage, RGCs undergo atrophic changes, including gene silencing. It is not known if these changes will deleteriously affect transduction and transgene expression, or if the therapeutic protein can influence reactivation of the endogenous genome. METHODS. Double-transgenic mice carrying a Rosa26-(LoxP)-tdTomato reporter, and a mutant allele for the proapoptotic Bax gene were reared. The Bax mutant blocks apoptosis, but RGCs still exhibit nuclear atrophy and gene silencing. At times ranging from 1 hour to 4 weeks after optic nerve crush (ONC), eyes received an intravitreal injection of AAV2 virus carrying the Cre recombinase. Successful transduction was monitored by expression of the tdTomato reporter. Immunostaining was used to localize tdTomato expression in select cell types. RESULTS. Successful transduction of RGCs was achieved at all time points after ONC using AAV2 expressing Cre from the phosphoglycerate kinase (Pgk) promoter, but not the CMV promoter. ONC promoted an increase in the transduction of cell types in the inner nuclear layer, including Müller cells and rod bipolar neurons. There was minimal evidence of transduction of amacrine cells and astrocytes in the inner retina or optic nerve. CONCLUSIONS. Damaged RGCs can be transduced and at least some endogenous genes can be subsequently activated. Optic nerve damage may change retinal architecture to allow greater penetration of an AAV2 virus to transduce several additional cell types in the inner nuclear layer.}, author = {Nickells, Robert and Schmitt, Heather and Maes, Margaret E and Schlamp, Cassandra}, issn = {01460404}, journal = {Investigative Ophthalmology and Visual Science}, number = {14}, pages = {6091 -- 6104}, publisher = {Association for Research in Vision and Ophthalmology}, title = {{AAV2 mediated transduction of the mouse retina after optic nerve injury}}, doi = {10.1167/iovs.17-22634}, volume = {58}, year = {2017}, } @article{997, abstract = {Recently it was shown that molecules rotating in superfluid helium can be described in terms of the angulon quasiparticles (Phys. Rev. Lett. 118, 095301 (2017)). Here we demonstrate that in the experimentally realized regime the angulon can be seen as a point charge on a 2-sphere interacting with a gauge field of a non-abelian magnetic monopole. Unlike in several other settings, the gauge fields of the angulon problem emerge in the real coordinate space, as opposed to the momentum space or some effective parameter space. Furthermore, we find a topological transition associated with making the monopole abelian, which takes place in the vicinity of the previously reported angulon instabilities. These results pave the way for studying topological phenomena in experiments on molecules trapped in superfluid helium nanodroplets, as well as on other realizations of orbital impurity problems.}, author = {Yakaboylu, Enderalp and Deuchert, Andreas and Lemeshko, Mikhail}, issn = {0031-9007}, journal = {Physical Review Letters}, number = {23}, publisher = {American Physical Society}, title = {{Emergence of non-abelian magnetic monopoles in a quantum impurity problem}}, doi = {10.1103/PhysRevLett.119.235301}, volume = {119}, year = {2017}, } @inproceedings{911, abstract = {We develop a probabilistic technique for colorizing grayscale natural images. In light of the intrinsic uncertainty of this task, the proposed probabilistic framework has numerous desirable properties. In particular, our model is able to produce multiple plausible and vivid colorizations for a given grayscale image and is one of the first colorization models to provide a proper stochastic sampling scheme. Moreover, our training procedure is supported by a rigorous theoretical framework that does not require any ad hoc heuristics and allows for efficient modeling and learning of the joint pixel color distribution.We demonstrate strong quantitative and qualitative experimental results on the CIFAR-10 dataset and the challenging ILSVRC 2012 dataset.}, author = {Royer, Amélie and Kolesnikov, Alexander and Lampert, Christoph}, location = {London, United Kingdom}, pages = {85.1--85.12}, publisher = {BMVA Press}, title = {{Probabilistic image colorization}}, doi = {10.5244/c.31.85}, year = {2017}, } @article{1146, abstract = {Aim: The present study was to compare the effects of nicotinic acid and nicotinamide on the plasma methyl donors, choline and betaine. Methods: Thirty adult subjects were randomly divided into three groups of equal size, and orally received purified water (C group), nicotinic acid (300 mg, NA group) or nicotinamide (300 mg, NM group). Plasma nicotinamide, N 1-methylnicotinamide, homocysteine, betaine and choline levels before and 1.5-h and 3-h post-dosing, plasma normetanephrine and metanephrine concentrations at 3-h post-dosing, and the urinary excretion of N 1-methyl-2-pyridone-5-carboxamide during the test period were examined. Results: The level of 3-h plasma nicotinamide, N 1-methylnicotinamide, homocysteine, the urinary excretion of N 1-methyl-2-pyridone-5-carboxamide and pulse pressure (PP) in the NM group was 221%, 3972%, 61%, 1728% and 21.2% higher than that of the control group (P < 0.01, except homocysteine and PP P < 0.05), while the 3-h plasma betaine, normetanephrine and metanephrine level in the NM group was 24.4%, 9.4% and 11.7% lower (P < 0.05, except betaine P < 0.01), without significant difference in choline levels. Similar but less pronounced changes were observed in the NA group, with a lower level of 3-h plasma N 1-methylnicotinamide (1.90 ± 0.20 μmol/l vs. 3.62 ± 0.27 μmol/l, P < 0.01) and homocysteine (12.85 ± 1.39 μmol/l vs. 18.08 ± 1.02 μmol/l, P < 0.05) but a higher level of betaine (27.44 ± 0.71 μmol/l vs. 23.52 ± 0.61 μmol/l, P < 0.05) than that of the NM group. Conclusion: The degradation of nicotinamide consumes more betaine than that of nicotinic acid at identical doses. This difference should be taken into consideration in niacin fortification. © 2016 Elsevier Ltd and European Society for Clinical Nutrition and Metabolism.}, author = {Sun, Wuping and Zhai, Ming-Zhu and Li, Da and Zhou, Yiming and Chen, Nana and Guo, Ming and Zhou, Shisheng}, issn = {0261-5614}, journal = {Clinical Nutrition}, number = {4}, pages = {1136--1142}, publisher = {Elsevier}, title = {{Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels}}, doi = {10.1016/j.clnu.2016.07.016}, volume = {36}, year = {2017}, } @inbook{84, abstract = {The advent of high-throughput technologies and the concurrent advances in information sciences have led to a data revolution in biology. This revolution is most significant in molecular biology, with an increase in the number and scale of the “omics” projects over the last decade. Genomics projects, for example, have produced impressive advances in our knowledge of the information concealed into genomes, from the many genes that encode for the proteins that are responsible for most if not all cellular functions, to the noncoding regions that are now known to provide regulatory functions. Proteomics initiatives help to decipher the role of post-translation modifications on the protein structures and provide maps of protein-protein interactions, while functional genomics is the field that attempts to make use of the data produced by these projects to understand protein functions. The biggest challenge today is to assimilate the wealth of information provided by these initiatives into a conceptual framework that will help us decipher life. For example, the current views of the relationship between protein structure and function remain fragmented. We know of their sequences, more and more about their structures, we have information on their biological activities, but we have difficulties connecting this dotted line into an informed whole. We lack the experimental and computational tools for directly studying protein structure, function, and dynamics at the molecular and supra-molecular levels. In this chapter, we review some of the current developments in building the computational tools that are needed, focusing on the role that geometry and topology play in these efforts. One of our goals is to raise the general awareness about the importance of geometric methods in elucidating the mysterious foundations of our very existence. Another goal is the broadening of what we consider a geometric algorithm. There is plenty of valuable no-man’s-land between combinatorial and numerical algorithms, and it seems opportune to explore this land with a computational-geometric frame of mind.}, author = {Edelsbrunner, Herbert and Koehl, Patrice}, booktitle = {Handbook of Discrete and Computational Geometry, Third Edition}, editor = {Toth, Csaba and O'Rourke, Joseph and Goodman, Jacob}, pages = {1709 -- 1735}, publisher = {Taylor & Francis}, title = {{Computational topology for structural molecular biology}}, doi = {10.1201/9781315119601}, year = {2017}, } @article{627, abstract = {Beige adipocytes are a new type of recruitable brownish adipocytes, with highly mitochondrial membrane uncoupling protein 1 expression and thermogenesis. Beige adipocytes were found among white adipocytes, especially in subcutaneous white adipose tissue (sWAT). Therefore, beige adipocytes may be involved in the regulation of energy metabolism and fat deposition. Transient receptor potential melastatin 8 (TRPM8), a Ca2+-permeable non-selective cation channel, plays vital roles in the regulation of various cellular functions. It has been reported that TRPM8 activation enhanced the thermogenic function of brown adiposytes. However, the involvement of TRPM8 in the thermogenic function of WAT remains unexplored. Our data revealed that TRPM8 was expressed in mouse white adipocytes at mRNA, protein and functional levels. The mRNA expression of Trpm8 was significantly increased in the differentiated white adipocytes than pre-adipocytes. Moreover, activation of TRPM8 by menthol enhanced the expression of thermogenic genes in cultured white aidpocytes. And menthol-induced increases of the thermogenic genes in white adipocytes was inhibited by either KT5720 (a protein kinase A inhibitor) or BAPTA-AM. In addition, high fat diet (HFD)-induced obesity in mice was significantly recovered by co-treatment with menthol. Dietary menthol enhanced WAT "browning" and improved glucose metabolism in HFD-induced obesity mice as well. Therefore, we concluded that TRPM8 might be involved in WAT "browning" by increasing the expression levels of genes related to thermogenesis and energy metabolism. And dietary menthol could be a novel approach for combating human obesity and related metabolic diseases.}, author = {Jiang, Changyu and Zhai, Ming-Zhu and Yan, Dong and Li, Da and Li, Chen and Zhang, Yonghong and Xiao, Lizu and Xiong, Donglin and Deng, Qiwen and Sun, Wuping}, issn = {1949-2553}, journal = {Oncotarget}, number = {43}, pages = {75114 -- 75126}, publisher = {Impact Journals}, title = {{Dietary menthol-induced TRPM8 activation enhances WAT “browning” and ameliorates diet-induced obesity}}, doi = {10.18632/oncotarget.20540}, volume = {8}, year = {2017}, } @article{1007, abstract = {A nonlinear system possesses an invariance with respect to a set of transformations if its output dynamics remain invariant when transforming the input, and adjusting the initial condition accordingly. Most research has focused on invariances with respect to time-independent pointwise transformations like translational-invariance (u(t) -> u(t) + p, p in R) or scale-invariance (u(t) -> pu(t), p in R>0). In this article, we introduce the concept of s0-invariances with respect to continuous input transformations exponentially growing/decaying over time. We show that s0-invariant systems not only encompass linear time-invariant (LTI) systems with transfer functions having an irreducible zero at s0 in R, but also that the input/output relationship of nonlinear s0-invariant systems possesses properties well known from their linear counterparts. Furthermore, we extend the concept of s0-invariances to second- and higher-order s0-invariances, corresponding to invariances with respect to transformations of the time-derivatives of the input, and encompassing LTI systems with zeros of multiplicity two or higher. Finally, we show that nth-order 0-invariant systems realize – under mild conditions – nth-order nonlinear differential operators: when excited by an input of a characteristic functional form, the system’s output converges to a constant value only depending on the nth (nonlinear) derivative of the input.}, author = {Lang, Moritz and Sontag, Eduardo}, issn = {0005-1098}, journal = {Automatica}, pages = {46 -- 55}, publisher = {International Federation of Automatic Control}, title = {{Zeros of nonlinear systems with input invariances}}, doi = {10.1016/j.automatica.2017.03.030}, volume = {81C}, year = {2017}, } @inproceedings{1108, abstract = {In this work we study the learnability of stochastic processes with respect to the conditional risk, i.e. the existence of a learning algorithm that improves its next-step performance with the amount of observed data. We introduce a notion of pairwise discrepancy between conditional distributions at different times steps and show how certain properties of these discrepancies can be used to construct a successful learning algorithm. Our main results are two theorems that establish criteria for learnability for many classes of stochastic processes, including all special cases studied previously in the literature.}, author = {Zimin, Alexander and Lampert, Christoph}, location = {Fort Lauderdale, FL, United States}, pages = {213 -- 222}, publisher = {ML Research Press}, title = {{Learning theory for conditional risk minimization}}, volume = {54}, year = {2017}, } @article{909, abstract = {We study the lengths of curves passing through a fixed number of points on the boundary of a convex shape in the plane. We show that, for any convex shape K, there exist four points on the boundary of K such that the length of any curve passing through these points is at least half of the perimeter of K. It is also shown that the same statement does not remain valid with the additional constraint that the points are extreme points of K. Moreover, the factor &#xbd; cannot be achieved with any fixed number of extreme points. We conclude the paper with a few other inequalities related to the perimeter of a convex shape.}, author = {Akopyan, Arseniy and Vysotsky, Vladislav}, issn = {00029890}, journal = {The American Mathematical Monthly}, number = {7}, pages = {588 -- 596}, publisher = {Mathematical Association of America}, title = {{On the lengths of curves passing through boundary points of a planar convex shape}}, doi = {10.4169/amer.math.monthly.124.7.588}, volume = {124}, year = {2017}, } @inproceedings{431, abstract = {Parallel implementations of stochastic gradient descent (SGD) have received significant research attention, thanks to its excellent scalability properties. A fundamental barrier when parallelizing SGD is the high bandwidth cost of communicating gradient updates between nodes; consequently, several lossy compresion heuristics have been proposed, by which nodes only communicate quantized gradients. Although effective in practice, these heuristics do not always converge. In this paper, we propose Quantized SGD (QSGD), a family of compression schemes with convergence guarantees and good practical performance. QSGD allows the user to smoothly trade off communication bandwidth and convergence time: nodes can adjust the number of bits sent per iteration, at the cost of possibly higher variance. We show that this trade-off is inherent, in the sense that improving it past some threshold would violate information-theoretic lower bounds. QSGD guarantees convergence for convex and non-convex objectives, under asynchrony, and can be extended to stochastic variance-reduced techniques. When applied to training deep neural networks for image classification and automated speech recognition, QSGD leads to significant reductions in end-to-end training time. For instance, on 16GPUs, we can train the ResNet-152 network to full accuracy on ImageNet 1.8 × faster than the full-precision variant. }, author = {Alistarh, Dan-Adrian and Grubic, Demjan and Li, Jerry and Tomioka, Ryota and Vojnović, Milan}, issn = {10495258}, location = {Long Beach, CA, United States}, pages = {1710--1721}, publisher = {Neural Information Processing Systems Foundation}, title = {{QSGD: Communication-efficient SGD via gradient quantization and encoding}}, volume = {2017}, year = {2017}, } @inproceedings{549, abstract = {Model checking is usually based on a comprehensive traversal of the state space. Causality-based model checking is a radically different approach that instead analyzes the cause-effect relationships in a program. We give an overview on a new class of model checking algorithms that capture the causal relationships in a special data structure called concurrent traces. Concurrent traces identify key events in an execution history and link them through their cause-effect relationships. The model checker builds a tableau of concurrent traces, where the case splits represent different causal explanations of a hypothetical error. Causality-based model checking has been implemented in the ARCTOR tool, and applied to previously intractable multi-threaded benchmarks.}, author = {Finkbeiner, Bernd and Kupriyanov, Andrey}, booktitle = {Electronic Proceedings in Theoretical Computer Science}, issn = {2075-2180}, location = {Uppsala, Sweden}, pages = {31 -- 38}, publisher = {Open Publishing Association}, title = {{Causality-based model checking}}, doi = {10.4204/EPTCS.259.3}, volume = {259}, year = {2017}, } @inproceedings{999, abstract = {In multi-task learning, a learner is given a collection of prediction tasks and needs to solve all of them. In contrast to previous work, which required that annotated training data must be available for all tasks, we consider a new setting, in which for some tasks, potentially most of them, only unlabeled training data is provided. Consequently, to solve all tasks, information must be transferred between tasks with labels and tasks without labels. Focusing on an instance-based transfer method we analyze two variants of this setting: when the set of labeled tasks is fixed, and when it can be actively selected by the learner. We state and prove a generalization bound that covers both scenarios and derive from it an algorithm for making the choice of labeled tasks (in the active case) and for transferring information between the tasks in a principled way. We also illustrate the effectiveness of the algorithm on synthetic and real data. }, author = {Pentina, Anastasia and Lampert, Christoph}, isbn = {9781510855144}, location = {Sydney, Australia}, pages = {2807 -- 2816}, publisher = {ML Research Press}, title = {{Multi-task learning with labeled and unlabeled tasks}}, volume = {70}, year = {2017}, } @inproceedings{485, abstract = {We present results on nonlinear electro-optical conversion of microwave radiation into the optical telecommunication band with more than 0.1% photon number conversion efficiency with MHz bandwidth, in a crystalline whispering gallery mode resonator}, author = {Rueda Sanchez, Alfredo R and Sedlmeir, Florian and Collodo, Michele and Vogl, Ulrich and Stiller, Birgit and Schunk, Gerhard and Strekalov, Dmitry and Marquardt, Christoph and Fink, Johannes M and Painter, Oskar and Leuchs, Gerd and Schwefel, Harald}, booktitle = {Optics InfoBase Conference Papers}, isbn = {978-155752820-9}, location = {Waikoloa, HI, United States}, publisher = {Optica Publishing Group}, title = {{Single sideband microwave to optical photon conversion-an-electro-optic-realization}}, doi = {10.1364/NLO.2017.NM3A.1}, volume = {F54}, year = {2017}, } @article{675, abstract = {We report the enhancement of infrared absorption of chemisorbed carbon monoxide on platinum in the gap of plasmonic nanoantennas. Our method is based on the self-assembled formation of platinum nanoislands on nanoscopic dipole antenna arrays manufactured via electron beam lithography. We employ systematic variations of the plasmonic antenna resonance to precisely couple to the molecular stretch vibration of carbon monoxide adsorbed on the platinum nanoislands. Ultimately, we reach more than 1500-fold infrared absorption enhancements, allowing for an ultrasensitive detection of a monolayer of chemisorbed carbon monoxide. The developed procedure can be adapted to other metal adsorbents and molecular species and could be utilized for coverage sensing in surface catalytic reactions. }, author = {Haase, Johannes and Bagiante, Salvatore and Sigg, Hans and Van Bokhoven, Jeroen}, journal = {Optics Letters}, number = {10}, pages = {1931 -- 1934}, publisher = {Optica Publishing Group}, title = {{Surface enhanced infrared absorption of chemisorbed carbon monoxide using plasmonic nanoantennas}}, doi = {10.1364/OL.42.001931}, volume = {42}, year = {2017}, } @article{459, abstract = {The social insects bees, wasps, ants, and termites are species-rich, occur in many habitats, and often constitute a large part of the biomass. Many are also invasive, including species of termites, the red imported fire ant, and the Argentine ant. While invasive social insects have been a problem in Southern Europe for some time, Central Europa was free of invasive ant species until recently because most ants are adapted to warmer climates. Only in the 1990s, did Lasius neglectus, a close relative of the common black garden ant, arrive in Germany. First described in 1990 based on individuals collected in Budapest, the species has since been detected for example in France, Germany, Spain, England, and Kyrgyzstan. The species is spread with soil during construction work or plantings, and L. neglectus therefore is often found in parks and botanical gardens. Another invasive ant now spreading in southern Germany is Formica fuscocinerea, which occurs along rivers, including in the sandy floodplains of the river Isar. As is typical of pioneer species, F. fuscocinerea quickly becomes extremely abundant and therefore causes problems for example on playgrounds in Munich. All invasive ant species are characterized by cooperation across nests, leading to strongly interconnected, very large super-colonies. The resulting dominance results in the extinction of native ant species as well as other arthropod species and thus in the reduction of biodiversity.}, author = {Cremer, Sylvia}, issn = {2366-2875}, journal = {Rundgespräche Forum Ökologie}, pages = {105 -- 116}, publisher = {Verlag Dr. Friedrich Pfeil}, title = {{Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern}}, volume = {46}, year = {2017}, } @inproceedings{432, abstract = {Recently there has been significant interest in training machine-learning models at low precision: by reducing precision, one can reduce computation and communication by one order of magnitude. We examine training at reduced precision, both from a theoretical and practical perspective, and ask: is it possible to train models at end-to-end low precision with provable guarantees? Can this lead to consistent order-of-magnitude speedups? We mainly focus on linear models, and the answer is yes for linear models. We develop a simple framework called ZipML based on one simple but novel strategy called double sampling. Our ZipML framework is able to execute training at low precision with no bias, guaranteeing convergence, whereas naive quanti- zation would introduce significant bias. We val- idate our framework across a range of applica- tions, and show that it enables an FPGA proto- type that is up to 6.5 × faster than an implemen- tation using full 32-bit precision. We further de- velop a variance-optimal stochastic quantization strategy and show that it can make a significant difference in a variety of settings. When applied to linear models together with double sampling, we save up to another 1.7 × in data movement compared with uniform quantization. When training deep networks with quantized models, we achieve higher accuracy than the state-of-the- art XNOR-Net. }, author = {Zhang, Hantian and Li, Jerry and Kara, Kaan and Alistarh, Dan-Adrian and Liu, Ji and Zhang, Ce}, booktitle = {Proceedings of Machine Learning Research}, isbn = {978-151085514-4}, location = {Sydney, Australia}, pages = {4035 -- 4043}, publisher = {ML Research Press}, title = {{ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning}}, volume = { 70}, year = {2017}, } @inproceedings{274, abstract = {We consider the problem of estimating the partition function Z(β)=∑xexp(−β(H(x)) of a Gibbs distribution with a Hamilton H(⋅), or more precisely the logarithm of the ratio q=lnZ(0)/Z(β). It has been recently shown how to approximate q with high probability assuming the existence of an oracle that produces samples from the Gibbs distribution for a given parameter value in [0,β]. The current best known approach due to Huber [9] uses O(qlnn⋅[lnq+lnlnn+ε−2]) oracle calls on average where ε is the desired accuracy of approximation and H(⋅) is assumed to lie in {0}∪[1,n]. We improve the complexity to O(qlnn⋅ε−2) oracle calls. We also show that the same complexity can be achieved if exact oracles are replaced with approximate sampling oracles that are within O(ε2qlnn) variation distance from exact oracles. Finally, we prove a lower bound of Ω(q⋅ε−2) oracle calls under a natural model of computation.}, author = {Kolmogorov, Vladimir}, booktitle = {Proceedings of the 31st Conference On Learning Theory}, pages = {228--249}, publisher = {ML Research Press}, title = {{A faster approximation algorithm for the Gibbs partition function}}, volume = {75}, year = {2017}, } @article{558, abstract = {Immune specificity is the degree to which a host’s immune system discriminates among various pathogens or antigenic variants. Vertebrate immune memory is highly specific due to antibody responses. On the other hand, some invertebrates show immune priming, i.e. improved survival after secondary exposure to a previously encountered pathogen. Until now, specificity of priming has only been demonstrated via the septic infection route or when live pathogens were used for priming. Therefore, we tested for specificity in the oral priming route in the red flour beetle, Tribolium castaneum. For priming, we used pathogen-free supernatants derived from three different strains of the entomopathogen, Bacillus thuringiensis, which express different Cry toxin variants known for their toxicity against this beetle. Subsequent exposure to the infective spores showed that oral priming was specific for two naturally occurring strains, while a third engineered strain did not induce any priming effect. Our data demonstrate that oral immune priming with a non-infectious bacterial agent can be specific, but the priming effect is not universal across all bacterial strains.}, author = {Futo, Momir and Sell, Marie and Kutzer, Megan and Kurtz, Joachim}, issn = {1744-9561}, journal = {Biology Letters}, number = {12}, publisher = {The Royal Society}, title = {{Specificity of oral immune priming in the red flour beetle Tribolium castaneum}}, doi = {10.1098/rsbl.2017.0632}, volume = {13}, year = {2017}, } @article{1030, abstract = {Auf der Suche nach einem Bibliothekssystem entschied sich die Forschungseinrichtung IST Austria im Jahr 2014 für das Open-Source-Produkt Koha. In einem ersten Schritt wurden zunächst Grundfunktionen aktiviert um im Anschluss diverse zusätzliche Tools zum Einsatz zu bringen. Die große Flexibilität des Systems erlaubt maßgeschneiderte Lösungen für unterschiedlichste Institutionen. Trotz Herausforderungen kann die Bibliothek auf eine erfolgreiche Implementierung zurückblicken.}, author = {Villányi, Márton}, issn = {2297-3249}, journal = {Informationspraxis}, number = {1}, publisher = {Verein Informationspraxis }, title = {{Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library}}, doi = {10.11588/ip.2017.1.35227}, volume = {3}, year = {2017}, } @article{12193, abstract = {DNA methylation regulates eukaryotic gene expression and is extensively reprogrammed during animal development. However, whether developmental methylation reprogramming during the sporophytic life cycle of flowering plants regulates genes is presently unknown. Here we report a distinctive gene-targeted RNA-directed DNA methylation (RdDM) activity in the Arabidopsis thaliana male sexual lineage that regulates gene expression in meiocytes. Loss of sexual-lineage-specific RdDM causes mis-splicing of the MPS1 gene (also known as PRD2), thereby disrupting meiosis. Our results establish a regulatory paradigm in which de novo methylation creates a cell-lineage-specific epigenetic signature that controls gene expression and contributes to cellular function in flowering plants.}, author = {Walker, James and Gao, Hongbo and Zhang, Jingyi and Aldridge, Billy and Vickers, Martin and Higgins, James D. and Feng, Xiaoqi}, issn = {1546-1718}, journal = {Nature Genetics}, keywords = {Genetics}, number = {1}, pages = {130--137}, publisher = {Nature Research}, title = {{Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis}}, doi = {10.1038/s41588-017-0008-5}, volume = {50}, year = {2017}, } @article{14308, abstract = {Here we describe an approach to bottom-up fabrication with nanometer-precision that allows integrating the functional diversity of proteins in designed three-dimensional structural frameworks. We reimagined the successful DNA origami design principle using a set of custom staple proteins to fold a double-stranded DNA template into a user-defined shape. Each staple protein recognizes two distinct double-helical DNA sequences and can carry additional functionalities. The staple proteins we present here are based on the transcription activator-like (TAL) effector proteins. Due to their repetitive structure these proteins offer a unique programmability that enables us to construct numerous staple proteins targeting any desired DNA sequence. Our approach is general, meaning that many different objects may be created using the same set of rules, and it is modular, because components can be modified or exchanged individually. We present rules for constructing megadalton-scale DNA-protein hybrid nanostructures; introduce important structural motifs, such as curvature, corners, and vertices; describe principles for creating multi-layer DNA-protein objects with enhanced rigidity; and demonstrate the possibility to combine our DNA-protein hybrid origami with conventional DNA nanotechnology. Since all components can be encoded genetically, our structures should be amenable to biotechnological mass-production. Moreover, since the target objects can self-assemble at room temperature in near-physiological buffer, our hybrid origami may also provide an attractive method to realize positioning and scaffolding tasks in vivo. We expect our method to find application both in scaffolding protein functionalities and in manipulating the spatial arrangement of genomic DNA.}, author = {Praetorius, Florian M and Dietz, Hendrik}, issn = {0006-3495}, journal = {Biophysical Journal}, keywords = {Biophysics}, number = {3}, publisher = {Elsevier}, title = {{Genetically encoded DNA-protein hybrid origami}}, doi = {10.1016/j.bpj.2016.11.171}, volume = {112}, year = {2017}, } @article{14309, abstract = {Establishing precise control over the shape and the interactions of the microscopic building blocks is essential for design of macroscopic soft materials with novel structural, optical and mechanical properties. Here, we demonstrate robust assembly of DNA origami filaments into cholesteric liquid crystals, one-dimensional supramolecular twisted ribbons and two-dimensional colloidal membranes. The exquisite control afforded by the DNA origami technology establishes a quantitative relationship between the microscopic filament structure and the macroscopic cholesteric pitch. Furthermore, it also enables robust assembly of one-dimensional twisted ribbons, which behave as effective supramolecular polymers whose structure and elastic properties can be precisely tuned by controlling the geometry of the elemental building blocks. Our results demonstrate the potential synergy between DNA origami technology and colloidal science, in which the former allows for rapid and robust synthesis of complex particles, and the latter can be used to assemble such particles into bulk materials.}, author = {Siavashpouri, M and Wachauf, CH and Zakhary, MJ and Praetorius, Florian M and Dietz, H and Dogic, Z}, issn = {1476-4660}, journal = {Nature Materials}, number = {8}, pages = {849--856}, publisher = {Springer Nature}, title = {{Molecular engineering of chiral colloidal liquid crystals using DNA origami}}, doi = {10.1038/nmat4909}, volume = {16}, year = {2017}, } @inproceedings{14310, author = {Siavashpouri, Mahsa and Wachauf, Christian and Zakhary, Mark and Praetorius, Florian M and Dietz, Hendrik and Dogic, Zvonimir}, booktitle = {APS March Meeting 2017}, publisher = {APS}, title = {{Molecular engineering of colloidal liquid crystals using DNA origami}}, year = {2017}, } @article{14290, abstract = {DNA nanotechnology, in particular DNA origami, enables the bottom-up self-assembly of micrometre-scale, three-dimensional structures with nanometre-precise features1,2,3,4,5,6,7,8,9,10,11,12. These structures are customizable in that they can be site-specifically functionalized13 or constructed to exhibit machine-like14,15 or logic-gating behaviour16. Their use has been limited to applications that require only small amounts of material (of the order of micrograms), owing to the limitations of current production methods. But many proposed applications, for example as therapeutic agents or in complex materials3,16,17,18,19,20,21,22, could be realized if more material could be used. In DNA origami, a nanostructure is assembled from a very long single-stranded scaffold molecule held in place by many short single-stranded staple oligonucleotides. Only the bacteriophage-derived scaffold molecules are amenable to scalable and efficient mass production23; the shorter staple strands are obtained through costly solid-phase synthesis24 or enzymatic processes25. Here we show that single strands of DNA of virtually arbitrary length and with virtually arbitrary sequences can be produced in a scalable and cost-efficient manner by using bacteriophages to generate single-stranded precursor DNA that contains target strand sequences interleaved with self-excising ‘cassettes’, with each cassette comprising two Zn2+-dependent DNA-cleaving DNA enzymes. We produce all of the necessary single strands of DNA for several DNA origami using shaker-flask cultures, and demonstrate end-to-end production of macroscopic amounts of a DNA origami nanorod in a litre-scale stirred-tank bioreactor. Our method is compatible with existing DNA origami design frameworks and retains the modularity and addressability of DNA origami objects that are necessary for implementing custom modifications using functional groups. With all of the production and purification steps amenable to scaling, we expect that our method will expand the scope of DNA nanotechnology in many areas of science and technology.}, author = {Praetorius, Florian M and Kick, Benjamin and Behler, Karl L. and Honemann, Maximilian N. and Weuster-Botz, Dirk and Dietz, Hendrik}, issn = {1476-4687}, journal = {Nature}, number = {7683}, pages = {84--87}, publisher = {Springer Nature}, title = {{Biotechnological mass production of DNA origami}}, doi = {10.1038/nature24650}, volume = {552}, year = {2017}, } @article{14286, abstract = {The bacteriophage M13 has found frequent applications in nanobiotechnology due to its chemically and genetically tunable protein surface and its ability to self-assemble into colloidal membranes. Additionally, its single-stranded (ss) genome is commonly used as scaffold for DNA origami. Despite the manifold uses of M13, upstream production methods for phage and scaffold ssDNA are underexamined with respect to future industrial usage. Here, the high-cell-density phage production with Escherichia coli as host organism was studied in respect of medium composition, infection time, multiplicity of infection, and specific growth rate. The specific growth rate and the multiplicity of infection were identified as the crucial state variables that influence phage amplification rate on one hand and the concentration of produced ssDNA on the other hand. Using a growth rate of 0.15 h−1 and a multiplicity of infection of 0.05 pfu cfu−1 in the fed-batch production process, the concentration of pure isolated M13 ssDNA usable for scaffolded DNA origami could be enhanced by 54% to 590 mg L−1. Thus, our results help enabling M13 production for industrial uses in nanobiotechnology. Biotechnol. Bioeng. 2017;114: 777–784.}, author = {Kick, Benjamin and Hensler, Samantha and Praetorius, Florian M and Dietz, Hendrik and Weuster-Botz, Dirk}, issn = {0006-3592}, journal = {Biotechnology and Bioengineering}, keywords = {Applied Microbiology and Biotechnology, Bioengineering, Biotechnology}, number = {4}, pages = {777--784}, publisher = {Wiley}, title = {{Specific growth rate and multiplicity of infection affect high-cell-density fermentation with bacteriophage M13 for ssDNA production}}, doi = {10.1002/bit.26200}, volume = {114}, year = {2017}, } @article{14287, abstract = {We describe an approach to bottom-up fabrication that allows integration of the functional diversity of proteins into designed three-dimensional structural frameworks. A set of custom staple proteins based on transcription activator–like effector proteins folds a double-stranded DNA template into a user-defined shape. Each staple protein is designed to recognize and closely link two distinct double-helical DNA sequences at separate positions on the template. We present design rules for constructing megadalton-scale DNA-protein hybrid shapes; introduce various structural motifs, such as custom curvature, corners, and vertices; and describe principles for creating multilayer DNA-protein objects with enhanced rigidity. We demonstrate self-assembly of our hybrid nanostructures in one-pot mixtures that include the genetic information for the designed proteins, the template DNA, RNA polymerase, ribosomes, and cofactors for transcription and translation.}, author = {Praetorius, Florian M and Dietz, Hendrik}, issn = {1095-9203}, journal = {Science}, number = {6331}, publisher = {American Association for the Advancement of Science}, title = {{Self-assembly of genetically encoded DNA-protein hybrid nanoscale shapes}}, doi = {10.1126/science.aam5488}, volume = {355}, year = {2017}, } @inproceedings{1194, abstract = {Termination is one of the basic liveness properties, and we study the termination problem for probabilistic programs with real-valued variables. Previous works focused on the qualitative problem that asks whether an input program terminates with probability~1 (almost-sure termination). A powerful approach for this qualitative problem is the notion of ranking supermartingales with respect to a given set of invariants. The quantitative problem (probabilistic termination) asks for bounds on the termination probability. A fundamental and conceptual drawback of the existing approaches to address probabilistic termination is that even though the supermartingales consider the probabilistic behavior of the programs, the invariants are obtained completely ignoring the probabilistic aspect. In this work we address the probabilistic termination problem for linear-arithmetic probabilistic programs with nondeterminism. We define the notion of {\em stochastic invariants}, which are constraints along with a probability bound that the constraints hold. We introduce a concept of {\em repulsing supermartingales}. First, we show that repulsing supermartingales can be used to obtain bounds on the probability of the stochastic invariants. Second, we show the effectiveness of repulsing supermartingales in the following three ways: (1)~With a combination of ranking and repulsing supermartingales we can compute lower bounds on the probability of termination; (2)~repulsing supermartingales provide witnesses for refutation of almost-sure termination; and (3)~with a combination of ranking and repulsing supermartingales we can establish persistence properties of probabilistic programs. We also present results on related computational problems and an experimental evaluation of our approach on academic examples. }, author = {Chatterjee, Krishnendu and Novotny, Petr and Zikelic, Djordje}, issn = {07308566}, location = {Paris, France}, number = {1}, pages = {145 -- 160}, publisher = {ACM}, title = {{Stochastic invariants for probabilistic termination}}, doi = {10.1145/3009837.3009873}, volume = {52}, year = {2017}, } @inbook{545, abstract = {Development of vascular tissue is a remarkable example of intercellular communication and coordinated development involving hormonal signaling and tissue polarity. Thus far, studies on vascular patterning and regeneration have been conducted mainly in trees—woody plants—with a well-developed layer of vascular cambium and secondary tissues. Trees are difficult to use as genetic models, i.e., due to long generation time, unstable environmental conditions, and lack of available mutants and transgenic lines. Therefore, the use of the main genetic model plant Arabidopsis thaliana (L.) Heynh., with a wealth of available marker and transgenic lines, provides a unique opportunity to address molecular mechanism of vascular tissue formation and regeneration. With specific treatments, the tiny weed Arabidopsis can serve as a model to understand the growth of mighty trees and interconnect a tree physiology with molecular genetics and cell biology of Arabidopsis.}, author = {Mazur, Ewa and Friml, Jirí}, booktitle = {Plant Engineering}, editor = {Jurić, Snježana}, pages = {113 -- 140}, publisher = {InTech}, title = {{Vascular tissue development and regeneration in the model plant arabidopsis}}, doi = {10.5772/intechopen.69712}, year = {2017}, } @article{621, abstract = {The mammalian cerebral cortex is responsible for higher cognitive functions such as perception, consciousness, and acquiring and processing information. The neocortex is organized into six distinct laminae, each composed of a rich diversity of cell types which assemble into highly complex cortical circuits. Radial glia progenitors (RGPs) are responsible for producing all neocortical neurons and certain glia lineages. Here, we discuss recent discoveries emerging from clonal lineage analysis at the single RGP cell level that provide us with an inaugural quantitative framework of RGP lineage progression. We further discuss the importance of the relative contribution of intrinsic gene functions and non-cell-autonomous or community effects in regulating RGP proliferation behavior and lineage progression.}, author = {Beattie, Robert J and Hippenmeyer, Simon}, issn = {00145793}, journal = {FEBS letters}, number = {24}, pages = {3993 -- 4008}, publisher = {Wiley-Blackwell}, title = {{Mechanisms of radial glia progenitor cell lineage progression}}, doi = {10.1002/1873-3468.12906}, volume = {591}, year = {2017}, } @misc{5562, abstract = {This data was collected as part of the study [1]. It consists of preprocessed multi-electrode array recording from 160 salamander retinal ganglion cells responding to 297 repeats of a 19 s natural movie. The data is available in two formats: (1) a .mat file containing an array with dimensions “number of repeats” x “number of neurons” x “time in a repeat”; (2) a zipped .txt file containing the same data represented as an array with dimensions “number of neurons” x “number of samples”, where the number of samples is equal to the product of the number of repeats and timebins within a repeat. The time dimension is divided into 20 ms time windows, and the array is binary indicating whether a given cell elicited at least one spike in a given time window during a particular repeat. See the reference below for details regarding collection and preprocessing: [1] Tkačik G, Marre O, Amodei D, Schneidman E, Bialek W, Berry MJ II. Searching for Collective Behavior in a Large Network of Sensory Neurons. PLoS Comput Biol. 2014;10(1):e1003408.}, author = {Marre, Olivier and Tkacik, Gasper and Amodei, Dario and Schneidman, Elad and Bialek, William and Berry, Michael}, keywords = {multi-electrode recording, retinal ganglion cells}, publisher = {Institute of Science and Technology Austria}, title = {{Multi-electrode array recording from salamander retinal ganglion cells}}, doi = {10.15479/AT:ISTA:61}, year = {2017}, } @misc{5561, abstract = {Graph matching problems as described in "Active Graph Matching for Automatic Joint Segmentation and Annotation of C. Elegans." by Kainmueller, Dagmar and Jug, Florian and Rother, Carsten and Myers, Gene, MICCAI 2014. Problems are in OpenGM2 hdf5 format (see http://hciweb2.iwr.uni-heidelberg.de/opengm/) and a custom text format used by the feature matching solver described in "Feature Correspondence via Graph Matching: Models and Global Optimization." by Lorenzo Torresani, Vladimir Kolmogorov and Carsten Rother, ECCV 2008, code at http://pub.ist.ac.at/~vnk/software/GraphMatching-v1.02.src.zip. }, author = {Kainmueller, Dagmar and Jug, Florian and Rother, Carsten and Meyers, Gene}, keywords = {graph matching, feature matching, QAP, MAP-inference}, publisher = {Institute of Science and Technology Austria}, title = {{Graph matching problems for annotating C. Elegans}}, doi = {10.15479/AT:ISTA:57}, year = {2017}, } @misc{5563, abstract = {MATLAB code and processed datasets available for reproducing the results in: Lukačišin, M.*, Landon, M.*, Jajoo, R*. (2016) Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast. *equal contributions}, author = {Lukacisin, Martin}, publisher = {Institute of Science and Technology Austria}, title = {{MATLAB analysis code for 'Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast'}}, doi = {10.15479/AT:ISTA:64}, year = {2017}, } @phdthesis{839, abstract = {This thesis describes a brittle fracture simulation method for visual effects applications. Building upon a symmetric Galerkin boundary element method, we first compute stress intensity factors following the theory of linear elastic fracture mechanics. We then use these stress intensities to simulate the motion of a propagating crack front at a significantly higher resolution than the overall deformation of the breaking object. Allowing for spatial variations of the material's toughness during crack propagation produces visually realistic, highly-detailed fracture surfaces. Furthermore, we introduce approximations for stress intensities and crack opening displacements, resulting in both practical speed-up and theoretically superior runtime complexity compared to previous methods. While we choose a quasi-static approach to fracture mechanics, ignoring dynamic deformations, we also couple our fracture simulation framework to a standard rigid-body dynamics solver, enabling visual effects artists to simulate both large scale motion, as well as fracturing due to collision forces in a combined system. As fractures inside of an object grow, their geometry must be represented both in the coarse boundary element mesh, as well as at the desired fine output resolution. Using a boundary element method, we avoid complicated volumetric meshing operations. Instead we describe a simple set of surface meshing operations that allow us to progressively add cracks to the mesh of an object and still re-use all previously computed entries of the linear boundary element system matrix. On the high resolution level, we opt for an implicit surface representation. We then describe how to capture fracture surfaces during crack propagation, as well as separate the individual fragments resulting from the fracture process, based on this implicit representation. We show results obtained with our method, either solving the full boundary element system in every time step, or alternatively using our fast approximations. These results demonstrate that both of these methods perform well in basic test cases and produce realistic fracture surfaces. Furthermore we show that our fast approximations substantially out-perform the standard approach in more demanding scenarios. Finally, these two methods naturally combine, using the full solution while the problem size is manageably small and switching to the fast approximations later on. The resulting hybrid method gives the user a direct way to choose between speed and accuracy of the simulation. }, author = {Hahn, David}, issn = {2663-337X}, pages = {124}, publisher = {Institute of Science and Technology Austria}, title = {{Brittle fracture simulation with boundary elements for computer graphics}}, doi = {10.15479/AT:ISTA:th_855}, year = {2017}, } @article{614, abstract = {Moths and butterflies (Lepidoptera) usually have a pair of differentiated WZ sex chromosomes. However, in most lineages outside of the division Ditrysia, as well as in the sister order Trichoptera, females lack a W chromosome. The W is therefore thought to have been acquired secondarily. Here we compare the genomes of three Lepidoptera species (one Dytrisia and two non-Dytrisia) to test three models accounting for the origin of the W: (1) a Z-autosome fusion; (2) a sex chromosome turnover; and (3) a non-canonical mechanism (e.g., through the recruitment of a B chromosome). We show that the gene content of the Z is highly conserved across Lepidoptera (rejecting a sex chromosome turnover) and that very few genes moved onto the Z in the common ancestor of the Ditrysia (arguing against a Z-autosome fusion). Our comparative genomics analysis therefore supports the secondary acquisition of the Lepidoptera W by a non-canonical mechanism, and it confirms the extreme stability of well-differentiated sex chromosomes.}, author = {Fraisse, Christelle and Picard, Marion A and Vicoso, Beatriz}, issn = {20411723}, journal = {Nature Communications}, number = {1}, publisher = {Nature Publishing Group}, title = {{The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W}}, doi = {10.1038/s41467-017-01663-5}, volume = {8}, year = {2017}, } @misc{5564, abstract = {Compressed Fastq files with whole-genome sequencing data of IS-wt strain D and clones from four evolved populations (A11, C08, C10, D08). Information on this data collection is available in the Methods Section of the primary publication.}, author = {Steinrück, Magdalena and Guet, Calin C}, publisher = {Institute of Science and Technology Austria}, title = {{Fastq files for "Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection"}}, doi = {10.15479/AT:ISTA:65}, year = {2017}, } @misc{5568, abstract = {Includes source codes, test cases, and example data used in the thesis Brittle Fracture Simulation with Boundary Elements for Computer Graphics. Also includes pre-built binaries of the HyENA library, but not sources - please contact the HyENA authors to obtain these sources if required (https://mech.tugraz.at/hyena)}, author = {Hahn, David}, keywords = {Boundary elements, brittle fracture, computer graphics, fracture simulation}, publisher = {Institute of Science and Technology Austria}, title = {{Source codes: Brittle fracture simulation with boundary elements for computer graphics}}, doi = {10.15479/AT:ISTA:73}, year = {2017}, } @misc{7163, abstract = {The de novo genome assemblies generated for this study, and the associated metadata.}, author = {Fraisse, Christelle}, publisher = {Institute of Science and Technology Austria}, title = {{Supplementary Files for "The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W"}}, doi = {10.15479/AT:ISTA:7163}, year = {2017}, } @misc{5570, abstract = {Matlab script to calculate the forward migration indexes (/) from TrackMate spot-statistics files.}, author = {Hauschild, Robert}, keywords = {Cell migration, tracking, forward migration index, FMI}, publisher = {Institute of Science and Technology Austria}, title = {{Forward migration indexes}}, doi = {10.15479/AT:ISTA:75}, year = {2017}, } @misc{5567, abstract = {Immunological synapse DC-Tcells}, author = {Leithner, Alexander F}, keywords = {Immunological synapse}, publisher = {Institute of Science and Technology Austria}, title = {{Immunological synapse DC-Tcells}}, doi = {10.15479/AT:ISTA:71}, year = {2017}, } @misc{5560, abstract = {This repository contains the data collected for the manuscript "Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity". The data is compressed into a single archive. Within the archive, different folders correspond to figures of the main text and the SI of the related publication. Data is saved as plain text, with each folder containing a separate readme file describing the format. Typically, the data is from fluorescence microscopy measurements of single cells growing in a microfluidic "mother machine" device, and consists of relevant values (primarily arbitrary unit or normalized fluorescence measurements, and division times / growth rates) after raw microscopy images have been processed, segmented, and their features extracted, as described in the methods section of the related publication.}, author = {Bergmiller, Tobias and Andersson, Anna M and Tomasek, Kathrin and Balleza, Enrique and Kiviet, Daniel and Hauschild, Robert and Tkacik, Gasper and Guet, Calin C}, keywords = {single cell microscopy, mother machine microfluidic device, AcrAB-TolC pump, multi-drug efflux, Escherichia coli}, publisher = {Institute of Science and Technology Austria}, title = {{Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity}}, doi = {10.15479/AT:ISTA:53}, year = {2017}, } @article{665, abstract = {The molecular mechanisms underlying phenotypic variation in isogenic bacterial populations remain poorly understood.We report that AcrAB-TolC, the main multidrug efflux pump of Escherichia coli, exhibits a strong partitioning bias for old cell poles by a segregation mechanism that is mediated by ternary AcrAB-TolC complex formation. Mother cells inheriting old poles are phenotypically distinct and display increased drug efflux activity relative to daughters. Consequently, we find systematic and long-lived growth differences between mother and daughter cells in the presence of subinhibitory drug concentrations. A simple model for biased partitioning predicts a population structure of long-lived and highly heterogeneous phenotypes. This straightforward mechanism of generating sustained growth rate differences at subinhibitory antibiotic concentrations has implications for understanding the emergence of multidrug resistance in bacteria.}, author = {Bergmiller, Tobias and Andersson, Anna M and Tomasek, Kathrin and Balleza, Enrique and Kiviet, Daniel and Hauschild, Robert and Tkacik, Gasper and Guet, Calin C}, issn = {00368075}, journal = {Science}, number = {6335}, pages = {311 -- 315}, publisher = {American Association for the Advancement of Science}, title = {{Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity}}, doi = {10.1126/science.aaf4762}, volume = {356}, year = {2017}, } @misc{5571, abstract = {This folder contains all the data used in each of the main figures of "The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology" (Kelemen, R., Vicoso, B.), as well as in the supplementary figures. }, author = {Vicoso, Beatriz}, publisher = {Institute of Science and Technology Austria}, title = {{Data for "The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology"}}, doi = {10.15479/AT:ISTA:78}, year = {2017}, } @misc{5559, abstract = {Strong amplifiers of natural selection}, author = {Pavlogiannis, Andreas and Tkadlec, Josef and Chatterjee, Krishnendu and Nowak , Martin}, keywords = {natural selection}, publisher = {Institute of Science and Technology Austria}, title = {{Strong amplifiers of natural selection}}, doi = {10.15479/AT:ISTA:51}, year = {2017}, } @misc{5572, abstract = {Code described in the Supplementary Methods of "The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology" (Kelemen, R., Vicoso, B.)}, author = {Vicoso, Beatriz}, publisher = {Institute of Science and Technology Austria}, title = {{Code for "The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology"}}, doi = {10.15479/AT:ISTA:79 }, year = {2017}, } @article{946, abstract = {Roots navigate through soil integrating environmental signals to orient their growth. The Arabidopsis root is a widely used model for developmental, physiological and cell biological studies. Live imaging greatly aids these efforts, but the horizontal sample position and continuous root tip displacement present significant difficulties. Here, we develop a confocal microscope setup for vertical sample mounting and integrated directional illumination. We present TipTracker – a custom software for automatic tracking of diverse moving objects usable on various microscope setups. Combined, this enables observation of root tips growing along the natural gravity vector over prolonged periods of time, as well as the ability to induce rapid gravity or light stimulation. We also track migrating cells in the developing zebrafish embryo, demonstrating the utility of this system in the acquisition of high-resolution data sets of dynamic samples. We provide detailed descriptions of the tools enabling the easy implementation on other microscopes.}, author = {Von Wangenheim, Daniel and Hauschild, Robert and Fendrych, Matyas and Barone, Vanessa and Benková, Eva and Friml, Jirí}, journal = {eLife}, publisher = {eLife Sciences Publications}, title = {{Live tracking of moving samples in confocal microscopy for vertically grown roots}}, doi = {10.7554/eLife.26792}, volume = {6}, year = {2017}, } @article{1078, abstract = {One of the key questions in understanding plant development is how single cells behave in a larger context of the tissue. Therefore, it requires the observation of the whole organ with a high spatial- as well as temporal resolution over prolonged periods of time, which may cause photo-toxic effects. This protocol shows a plant sample preparation method for light-sheet microscopy, which is characterized by mounting the plant vertically on the surface of a gel. The plant is mounted in such a way that the roots are submerged in a liquid medium while the leaves remain in the air. In order to ensure photosynthetic activity of the plant, a custom-made lighting system illuminates the leaves. To keep the roots in darkness the water surface is covered with sheets of black plastic foil. This method allows long-term imaging of plant organ development in standardized conditions. }, author = {Von Wangenheim, Daniel and Hauschild, Robert and Friml, Jirí}, journal = {Journal of visualized experiments JoVE}, number = {119}, publisher = {Journal of Visualized Experiments}, title = {{Light sheet fluorescence microscopy of plant roots growing on the surface of a gel}}, doi = {10.3791/55044}, volume = {2017}, year = {2017}, } @misc{5565, abstract = {One of the key questions in understanding plant development is how single cells behave in a larger context of the tissue. Therefore, it requires the observation of the whole organ with a high spatial- as well as temporal resolution over prolonged periods of time, which may cause photo-toxic effects. This protocol shows a plant sample preparation method for light-sheet microscopy, which is characterized by mounting the plant vertically on the surface of a gel. The plant is mounted in such a way that the roots are submerged in a liquid medium while the leaves remain in the air. In order to ensure photosynthetic activity of the plant, a custom-made lighting system illuminates the leaves. To keep the roots in darkness the water surface is covered with sheets of black plastic foil. This method allows long-term imaging of plant organ development in standardized conditions. The Video is licensed under a CC BY NC ND license. }, author = {Von Wangenheim, Daniel and Hauschild, Robert and Friml, Jirí}, publisher = {Institute of Science and Technology Austria}, title = {{Light Sheet Fluorescence microscopy of plant roots growing on the surface of a gel}}, doi = {10.15479/AT:ISTA:66}, year = {2017}, } @misc{5566, abstract = {Current minimal version of TipTracker}, author = {Hauschild, Robert}, keywords = {tool, tracking, confocal microscopy}, publisher = {Institute of Science and Technology Austria}, title = {{Live tracking of moving samples in confocal microscopy for vertically grown roots}}, doi = {10.15479/AT:ISTA:69}, year = {2017}, } @inbook{424, abstract = {We show that very weak topological assumptions are enough to ensure the existence of a Helly-type theorem. More precisely, we show that for any non-negative integers b and d there exists an integer h(b, d) such that the following holds. If F is a finite family of subsets of Rd such that βi(∩G)≤b for any G⊊F and every 0 ≤ i ≤ [d/2]-1 then F has Helly number at most h(b, d). Here βi denotes the reduced Z2-Betti numbers (with singular homology). These topological conditions are sharp: not controlling any of these [d/2] first Betti numbers allow for families with unbounded Helly number. Our proofs combine homological non-embeddability results with a Ramsey-based approach to build, given an arbitrary simplicial complex K, some well-behaved chain map C*(K)→C*(Rd).}, author = {Goaoc, Xavier and Paták, Pavel and Patakova, Zuzana and Tancer, Martin and Wagner, Uli}, booktitle = {A Journey through Discrete Mathematics: A Tribute to Jiri Matousek}, editor = {Loebl, Martin and Nešetřil, Jaroslav and Thomas, Robin}, isbn = {978-331944479-6}, pages = {407 -- 447}, publisher = {Springer}, title = {{Bounding helly numbers via betti numbers}}, doi = {10.1007/978-3-319-44479-6_17}, year = {2017}, } @article{463, abstract = {We investigate transient behaviors induced by magnetic fields on the dynamics of the flow of a ferrofluid in the gap between two concentric, independently rotating cylinders. Without applying any magnetic fields, we uncover emergence of flow states constituted by a combination of a localized spiral state (SPIl) in the top and bottom of the annulus and different multi-cell flow states (SPI2v, SPI3v) with toroidally closed vortices in the interior of the bulk (SPIl+2v = SPIl + SPI2v and SPIl+3v = SPIl + SPI3v). However, when a magnetic field is presented, we observe the transient behaviors between multi-cell states passing through two critical thresholds in a strength of an axial (transverse) magnetic field. Before the first critical threshold of a magnetic field strength, multi-stable states with different number of cells could be observed. After the first critical threshold, we find the transient behavior between the three- and two-cell flow states. For more strength of magnetic field or after the second critical threshold, we discover that multi-cell states are disappeared and a localized spiral state remains to be stimulated. The studied transient behavior could be understood by the investigation of various quantities including a modal kinetic energy, a mode amplitude of the radial velocity, wavenumber, angular momentum, and torque. In addition, the emergence of new flow states and the transient behavior between their states in ferrofluidic flows indicate that richer and potentially controllable dynamics through magnetic fields could be possible in ferrofluic flow.}, author = {Altmeyer, Sebastian and Do, Younghae and Ryu, Soorok}, issn = {10541500}, journal = {Chaos}, number = {11}, publisher = {AIP Publishing}, title = {{Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow}}, doi = {10.1063/1.5002771}, volume = {27}, year = {2017}, } @article{996, abstract = {Iodine (I 2 ) molecules embedded in He nanodroplets are aligned by a 160 ps long laser pulse. The highest degree of alignment, occurring at the peak of the pulse and quantified by ⟨cos 2 θ 2D ⟩ , is measured as a function of the laser intensity. The results are well described by ⟨cos 2 θ 2D ⟩ calculated for a gas of isolated molecules each with an effective rotational constant of 0.6 times the gas-phase value, and at a temperature of 0.4 K. Theoretical analysis using the angulon quasiparticle to describe rotating molecules in superfluid helium rationalizes why the alignment mechanism is similar to that of isolated molecules with an effective rotational constant. A major advantage of molecules in He droplets is that their 0.4 K temperature leads to stronger alignment than what can generally be achieved for gas phase molecules -- here demonstrated by a direct comparison of the droplet results to measurements on a ∼ 1 K supersonic beam of isolated molecules. This point is further illustrated for more complex system by measurements on 1,4-diiodobenzene and 1,4-dibromobenzene. For all three molecular species studied the highest values of ⟨cos 2 θ 2D ⟩ achieved in He droplets exceed 0.96. }, author = {Shepperson, Benjamin and Chatterley, Adam and Søndergaard, Anders and Christiansen, Lars and Lemeshko, Mikhail and Stapelfeldt, Henrik}, issn = {00219606}, journal = {The Journal of Chemical Physics}, number = {1}, publisher = {AIP Publishing}, title = {{Strongly aligned molecules inside helium droplets in the near-adiabatic regime}}, doi = {10.1063/1.4983703}, volume = {147}, year = {2017}, } @article{912, abstract = {We consider a many-body system of fermionic atoms interacting via a local pair potential and subject to an external potential within the framework of Bardeen-Cooper-Schrieffer (BCS) theory. We measure the free energy of the whole sample with respect to the free energy of a reference state which allows us to define a BCS functional with boundary conditions at infinity. Our main result is a lower bound for this energy functional in terms of expressions that typically appear in Ginzburg-Landau functionals. }, author = {Deuchert, Andreas}, issn = {00222488}, journal = { Journal of Mathematical Physics}, number = {8}, publisher = {AIP Publishing}, title = {{A lower bound for the BCS functional with boundary conditions at infinity}}, doi = {10.1063/1.4996580}, volume = {58}, year = {2017}, } @article{265, abstract = {We establish the dimension and irreducibility of the moduli space of rational curves (of fixed degree) on arbitrary smooth hypersurfaces of sufficiently low degree. A spreading out argument reduces the problem to hypersurfaces defined over finite fields of large cardinality, which can then be tackled using a function field version of the Hardy-Littlewood circle method, in which particular care is taken to ensure uniformity in the size of the underlying finite field.}, author = {Browning, Timothy D and Vishe, Pankaj}, issn = {1944-7833}, journal = {Geometric Methods in Algebra and Number Theory}, number = {7}, pages = {1657 -- 1675}, publisher = { Mathematical Sciences Publishers}, title = {{Rational curves on smooth hypersurfaces of low degree}}, doi = {10.2140/ant.2017.11.1657}, volume = {11}, year = {2017}, } @article{266, abstract = {We generalise Birch's seminal work on forms in many variables to handle a system of forms in which the degrees need not all be the same. This allows us to prove the Hasse principle, weak approximation, and the Manin-Peyre conjecture for a smooth and geometrically integral variety X Pm, provided only that its dimension is large enough in terms of its degree.}, author = {Browning, Timothy D and Heath Brown, Roger}, journal = {Journal of the European Mathematical Society}, number = {2}, pages = {357 -- 394}, publisher = {European Mathematical Society Publishing House}, title = {{Forms in many variables and differing degrees}}, doi = {10.4171/JEMS/668}, volume = {19}, year = {2017}, } @article{375, abstract = {Branched nanocrystals (NCs) enable high atomic surface exposure within a crystalline network that provides avenues for charge transport. This combination of properties makes branched NCs particularly suitable for a range of applications where both interaction with the media and charge transport are involved. Herein we report on the colloidal synthesis of branched ceria NCs by means of a ligand-mediated overgrowth mechanism. In particular, the differential coverage of oleic acid as an X-type ligand at ceria facets with different atomic density, atomic coordination deficiency, and oxygen vacancy density resulted in a preferential growth in the [111] direction and thus in the formation of ceria octapods. Alcohols, through an esterification alcoholysis reaction, promoted faster growth rates that translated into nanostructures with higher geometrical complexity, increasing the branch aspect ratio and triggering the formation of side branches. On the other hand, the presence of water resulted in a significant reduction of the growth rate, decreasing the reaction yield and eliminating side branching, which we associate to a blocking of the surface reaction sites or a displacement of the alcoholysis reaction. Overall, adjusting the amounts of each chemical, well-defined branched ceria NCs with tuned number, thickness, and length of branches and with overall size ranging from 5 to 45 nm could be produced. We further demonstrate that such branched ceria NCs are able to provide higher surface areas and related oxygen storage capacities (OSC) than quasi-spherical NCs. }, author = {Berestok, Taisiia and Guardia, Pablo and Blanco, Javier and Nafria, Raquel and Torruella, Pau and López Conesa, Luis and Estradé, Sònia and Ibanez Sabate, Maria and De Roo, Jonathan and Luo, Zhishan and Cadavid, Doris and Martins, José and Kovalenko, Maksym and Peiró, Francesca and Cabot, Andreu}, issn = {1520-5002}, journal = {Chemistry of Materials}, number = {10}, pages = {4418 -- 4424}, publisher = {American Chemical Society}, title = {{Tuning branching in ceria nanocrystals}}, doi = {10.1021/acs.chemmater.7b00896}, volume = {29}, year = {2017}, } @article{373, abstract = {This review captures the synthesis, assembly, properties, and applications of copper chalcogenide NCs, which have achieved significant research interest in the last decade due to their compositional and structural versatility. The outstanding functional properties of these materials stems from the relationship between their band structure and defect concentration, including charge carrier concentration and electronic conductivity character, which consequently affects their optoelectronic, optical, and plasmonic properties. This, combined with several metastable crystal phases and stoichiometries and the low energy of formation of defects, makes the reproducible synthesis of these materials, with tunable parameters, remarkable. Further to this, the review captures the progress of the hierarchical assembly of these NCs, which bridges the link between their discrete and collective properties. Their ubiquitous application set has cross-cut energy conversion (photovoltaics, photocatalysis, thermoelectrics), energy storage (lithium-ion batteries, hydrogen generation), emissive materials (plasmonics, LEDs, biolabelling), sensors (electrochemical, biochemical), biomedical devices (magnetic resonance imaging, X-ray computer tomography), and medical therapies (photochemothermal therapies, immunotherapy, radiotherapy, and drug delivery). The confluence of advances in the synthesis, assembly, and application of these NCs in the past decade has the potential to significantly impact society, both economically and environmentally. }, author = {Coughlan, Claudia and Ibanez Sabate, Maria and Dobrozhan, Oleksandr and Singh, Ajay and Cabot, Andreu and Ryan, Kevin}, issn = {1520-6890}, journal = {Chemical Reviews}, number = {9}, pages = {5865 -- 6109}, publisher = {American Chemical Society}, title = {{Compound copper chalcogenide nanocrystals}}, doi = {10.1021/acs.chemrev.6b00376}, volume = {117}, year = {2017}, } @article{270, abstract = {Given a symmetric variety Y defined over Q and a non-zero polynomial with integer coefficients, we use techniques from homogeneous dynamics to establish conditions under which the polynomial can be made r-free for a Zariski dense set of integral points on Y . We also establish an asymptotic counting formula for this set. In the special case that Y is a quadric hypersurface, we give explicit bounds on the size of r by combining the argument with a uniform upper bound for the density of integral points on general affine quadrics defined over Q.}, author = {Browning, Timothy D and Gorodnik, Alexander}, issn = {0024-6115}, journal = {Proceedings of the London Mathematical Society}, number = {6}, pages = {1044 -- 1080}, publisher = {Wiley}, title = {{Power-free values of polynomials on symmetric varieties}}, doi = {10.1112/plms.12030}, volume = {114}, year = {2017}, } @article{268, abstract = {We show that any subset of the squares of positive relative upper density contains nontrivial solutions to a translation-invariant linear equation in five or more variables, with explicit quantitative bounds. As a consequence, we establish the partition regularity of any diagonal quadric in five or more variables whose coefficients sum to zero. Unlike previous approaches, which are limited to equations in seven or more variables, we employ transference technology of Green to import bounds from the linear setting.}, author = {Browning, Timothy D and Prendiville, Sean}, issn = {1073-7928}, journal = {International Mathematics Research Notices}, number = {7}, pages = {2219 -- 2248}, publisher = {Oxford University Press}, title = {{A transference approach to a Roth-type theorem in the squares}}, doi = {10.1093/imrn/rnw096}, volume = {2017}, year = {2017}, } @article{272, abstract = {Given a number field K/Q and a polynomial P ε Q [t], all of whose roots are Q, let X be the variety defined by the equation NK (x) = P (t). Combining additive combinatiorics with descent we show that the Brauer-Manin obstruction is the only obstruction to the Hesse principle and weak approximation on any smooth and projective model of X.}, author = {Browning, Timothy D and Matthiesen, Lilian}, journal = {Annales Scientifiques de l'Ecole Normale Superieure}, number = {6}, pages = {1383 -- 1446}, publisher = {Societe Mathematique de France}, title = {{Norm forms for arbitrary number fields as products of linear polynomials}}, doi = {10.24033/asens.2348}, volume = {50}, year = {2017}, } @article{256, abstract = {We show that a non-singular integral form of degree d is soluble over the integers if and only if it is soluble over ℝ and over ℚp for all primes p, provided that the form has at least (d - 1/2 √d)2d variables. This improves on a longstanding result of Birch.}, author = {Browning, Timothy D and Prendiville, Sean}, issn = {0075-4102}, journal = {Journal fur die Reine und Angewandte Mathematik}, number = {731}, pages = {122}, publisher = {Walter de Gruyter}, title = {{Improvements in Birch's theorem on forms in many variables}}, doi = {10.1515/crelle-2014-0122}, volume = {2017}, year = {2017}, } @article{267, abstract = {Building on recent work of Bhargava, Elkies and Schnidman and of Kriz and Li, we produce infinitely many smooth cubic surfaces defined over the field of rational numbers that contain rational points.}, author = {Browning, Timothy D}, issn = {0025-5793}, journal = {Mathematika}, number = {3}, pages = {818 -- 839}, publisher = {Cambridge University Press}, title = {{Many cubic surfaces contain rational points}}, doi = {10.1112/S0025579317000195}, volume = {63}, year = {2017}, } @article{269, abstract = {We investigate Fano varieties defined over a number field that contain subvarieties whose number of rational points of bounded height is comparable to the total number on the variety.}, author = {Browning, Timothy D and Loughran, Daniel}, journal = {Mathematische Zeitschrift}, number = {3-4}, pages = {1249 -- 1267}, publisher = {Springer}, title = {{Varieties with too many rational points}}, doi = {10.1007/s00209-016-1746-2}, volume = {285}, year = {2017}, } @article{374, abstract = {The conversion of thermal energy to electricity and vice versa by means of solid state thermoelectric devices is extremely appealing. However, its cost-effectiveness is seriously hampered by the relatively high production cost and low efficiency of current thermoelectric materials and devices. To overcome present challenges and enable a successful deployment of thermoelectric systems in their wide application range, materials with significantly improved performance need to be developed. Nanostructuration can help in several ways to reach the very particular group of properties required to achieve high thermoelectric performances. Nanodomains inserted within a crystalline matrix can provide large charge carrier concentrations without strongly influencing their mobility, thus allowing to reach very high electrical conductivities. Nanostructured materials contain numerous grain boundaries that efficiently scatter mid- and long-wavelength phonons thus reducing the thermal conductivity. Furthermore, nanocrystalline domains can enhance the Seebeck coefficient by modifying the density of states and/or providing type- and energy-dependent charge carrier scattering. All these advantages can only be reached when engineering a complex type of material, nanocomposites, with exquisite control over structural and chemical parameters at multiple length scales. Since current conventional nanomaterial production technologies lack such level of control, alternative strategies need to be developed and adjusted to the specifics of the field. A particularly suitable approach to produce nanocomposites with unique level of control over their structural and compositional parameters is their bottom-up engineering from solution-processed nanoparticles. In this work, we review the state-of-the-art of this technology applied to the thermoelectric field, including the synthesis of nanoparticles of suitable materials with precisely engineered composition and surface chemistry, their combination and consolidation into nanostructured materials, the strategies to electronically dope such materials and the attempts to fabricate thermoelectric devices using nanoparticle-based nanopowders and inks.}, author = {Ortega, Silvia and Ibanez Sabate, Maria and Liu, Yu and Zhang, Yu and Kovalenko, Maksym and Cadavid, Doris and Cabot, Andreu}, issn = {1460-4744}, journal = {Chemical Society Reviews}, number = {12}, pages = {3510 -- 3528}, publisher = {Royal Society of Chemistry}, title = {{Bottom up engineering of thermoelectric nanomaterials and devices from solution processed nanoparticle building blocks}}, doi = {10.1039/c6cs00567e}, volume = {46}, year = {2017}, } @article{15157, abstract = {The basic helix–loop–helix PAS domain (bHLH-PAS) transcription factor CLOCK:BMAL1 (brain and muscle Arnt-like protein 1) sits at the core of the mammalian circadian transcription/translation feedback loop. Precise control of CLOCK:BMAL1 activity by coactivators and repressors establishes the ∼24-h periodicity of gene expression. Formation of a repressive complex, defined by the core clock proteins cryptochrome 1 (CRY1):CLOCK:BMAL1, plays an important role controlling the switch from repression to activation each day. Here we show that CRY1 binds directly to the PAS domain core of CLOCK:BMAL1, driven primarily by interaction with the CLOCK PAS-B domain. Integrative modeling and solution X-ray scattering studies unambiguously position a key loop of the CLOCK PAS-B domain in the secondary pocket of CRY1, analogous to the antenna chromophore-binding pocket of photolyase. CRY1 docks onto the transcription factor alongside the PAS domains, extending above the DNA-binding bHLH domain. Single point mutations at the interface on either CRY1 or CLOCK disrupt formation of the ternary complex, highlighting the importance of this interface for direct regulation of CLOCK:BMAL1 activity by CRY1.}, author = {Michael, Alicia Kathleen and Fribourgh, Jennifer L. and Chelliah, Yogarany and Sandate, Colby R. and Hura, Greg L. and Schneidman-Duhovny, Dina and Tripathi, Sarvind M. and Takahashi, Joseph S. and Partch, Carrie L.}, issn = {1091-6490}, journal = {Proceedings of the National Academy of Sciences}, keywords = {Multidisciplinary}, number = {7}, pages = {1560--1565}, publisher = {Proceedings of the National Academy of Sciences}, title = {{Formation of a repressive complex in the mammalian circadian clock is mediated by the secondary pocket of CRY1}}, doi = {10.1073/pnas.1615310114}, volume = {114}, year = {2017}, } @article{15158, abstract = {Cryptochromes are evolutionarily related to the light‐dependent DNA repair enzyme photolyase, serving as major regulators of circadian rhythms in insects and vertebrate animals. There are two types of cryptochromes in the animal kingdom: Drosophila‐like CRYs that act as nonvisual photopigments linking circadian rhythms to the environmental light/dark cycle, and vertebrate‐like CRYs that do not appear to sense light directly, but control the generation of circadian rhythms by acting as transcriptional repressors. Some animals have both types of CRYs, while others possess only one. Cryptochromes have two domains, the photolyase homology region (PHR) and an extended, intrinsically disordered C‐terminus. While all animal CRYs share a high degree of sequence and structural homology in their PHR domains, the C‐termini are divergent in both length and sequence identity. Recently, cryptochrome function has been shown to extend beyond its pivotal role in circadian clocks, participating in regulation of the DNA damage response, cancer progression and glucocorticoid signaling, as well as being implicated as possible magnetoreceptors. In this review, we provide a historical perspective on the discovery of animal cryptochromes, examine similarities and differences of the two types of animal cryptochromes and explore some of the divergent roles for this class of proteins.}, author = {Michael, Alicia Kathleen and Fribourgh, Jennifer L. and Van Gelder, Russell N. and Partch, Carrie L.}, issn = {1751-1097}, journal = {Photochemistry and Photobiology}, keywords = {Physical and Theoretical Chemistry, General Medicine, Biochemistry}, number = {1}, pages = {128--140}, publisher = {Wiley}, title = {{Animal cryptochromes: Divergent roles in light perception, circadian timekeeping and beyond}}, doi = {10.1111/php.12677}, volume = {93}, year = {2017}, } @article{15154, abstract = {Biofilm formation is critical for the infection cycle of Vibrio cholerae. Vibrio exopolysaccharides (VPS) and the matrix proteins RbmA, Bap1 and RbmC are required for the development of biofilm architecture. We demonstrate that RbmA binds VPS directly and uses a binary structural switch within its first fibronectin type III (FnIII-1) domain to control RbmA structural dynamics and the formation of VPS-dependent higher-order structures. The structural switch in FnIII-1 regulates interactions in trans with the FnIII-2 domain, leading to open (monomeric) or closed (dimeric) interfaces. The ability of RbmA to switch between open and closed states is important for V. cholerae biofilm formation, as RbmA variants with switches that are locked in either of the two states lead to biofilms with altered architecture and structural integrity.}, author = {Fong, Jiunn CN and Rogers, Andrew and Michael, Alicia Kathleen and Parsley, Nicole C and Cornell, William-Cole and Lin, Yu-Cheng and Singh, Praveen K and Hartmann, Raimo and Drescher, Knut and Vinogradov, Evgeny and Dietrich, Lars EP and Partch, Carrie L and Yildiz, Fitnat H}, issn = {2050-084X}, journal = {eLife}, keywords = {General Immunology and Microbiology, General Biochemistry, Genetics and Molecular Biology, General Medicine, General Neuroscience}, publisher = {eLife Sciences Publications}, title = {{Structural dynamics of RbmA governs plasticity of Vibrio cholerae biofilms}}, doi = {10.7554/elife.26163}, volume = {6}, year = {2017}, } @article{15155, abstract = {The C-terminal transactivation domain (TAD) of BMAL1 (brain and muscle ARNT-like 1) is a regulatory hub for transcriptional coactivators and repressors that compete for binding and, consequently, contributes to period determination of the mammalian circadian clock. Here, we report the discovery of two distinct conformational states that slowly exchange within the dynamic TAD to control timing. This binary switch results from cis/trans isomerization about a highly conserved Trp-Pro imide bond in a region of the TAD that is required for normal circadian timekeeping. Both cis and trans isomers interact with transcriptional regulators, suggesting that isomerization could serve a role in assembling regulatory complexes in vivo. Toward this end, we show that locking the switch into the trans isomer leads to shortened circadian periods. Furthermore, isomerization is regulated by the cyclophilin family of peptidyl-prolyl isomerases, highlighting the potential for regulation of BMAL1 protein dynamics in period determination.}, author = {Gustafson, Chelsea L. and Parsley, Nicole C. and Asimgil, Hande and Lee, Hsiau-Wei and Ahlbach, Christopher and Michael, Alicia Kathleen and Xu, Haiyan and Williams, Owen L. and Davis, Tara L. and Liu, Andrew C. and Partch, Carrie L.}, issn = {1097-2765}, journal = {Molecular Cell}, keywords = {Cell Biology, Molecular Biology}, number = {4}, pages = {447--457.e7}, publisher = {Elsevier}, title = {{A slow conformational switch in the BMAL1 transactivation domain modulates circadian rhythms}}, doi = {10.1016/j.molcel.2017.04.011}, volume = {66}, year = {2017}, } @article{15156, abstract = {Circadian clocks are ubiquitous timing systems that induce rhythms of biological activities in synchrony with night and day. In cyanobacteria, timing is generated by a posttranslational clock consisting of KaiA, KaiB, and KaiC proteins and a set of output signaling proteins, SasA and CikA, which transduce this rhythm to control gene expression. Here, we describe crystal and nuclear magnetic resonance structures of KaiB-KaiC,KaiA-KaiB-KaiC, and CikA-KaiB complexes. They reveal how the metamorphic properties of KaiB, a protein that adopts two distinct folds, and the post–adenosine triphosphate hydrolysis state of KaiC create a hub around which nighttime signaling events revolve, including inactivation of KaiA and reciprocal regulation of the mutually antagonistic signaling proteins, SasA and CikA.}, author = {Tseng, Roger and Goularte, Nicolette F. and Chavan, Archana and Luu, Jansen and Cohen, Susan E. and Chang, Yong-Gang and Heisler, Joel and Li, Sheng and Michael, Alicia Kathleen and Tripathi, Sarvind and Golden, Susan S. and LiWang, Andy and Partch, Carrie L.}, issn = {1095-9203}, journal = {Science}, keywords = {Multidisciplinary}, number = {6330}, pages = {1174--1180}, publisher = {American Association for the Advancement of Science}, title = {{Structural basis of the day-night transition in a bacterial circadian clock}}, doi = {10.1126/science.aag2516}, volume = {355}, year = {2017}, } @article{1029, abstract = {RNA Polymerase II pauses and backtracks during transcription, with many consequences for gene expression and cellular physiology. Here, we show that the energy required to melt double-stranded nucleic acids in the transcription bubble predicts pausing in Saccharomyces cerevisiae far more accurately than nucleosome roadblocks do. In addition, the same energy difference also determines when the RNA polymerase backtracks instead of continuing to move forward. This data-driven model corroborates—in a genome wide and quantitative manner—previous evidence that sequence-dependent thermodynamic features of nucleic acids influence both transcriptional pausing and backtracking.}, author = {Lukacisin, Martin and Landon, Matthieu and Jajoo, Rishi}, issn = {19326203}, journal = {PLoS One}, number = {3}, publisher = {Public Library of Science}, title = {{Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast}}, doi = {10.1371/journal.pone.0174066}, volume = {12}, year = {2017}, } @article{664, abstract = {Immune cells communicate using cytokine signals, but the quantitative rules of this communication aren't clear. In this issue of Immunity, Oyler-Yaniv et al. (2017) suggest that the distribution of a cytokine within a lymphatic organ is primarily governed by the local density of cells consuming it.}, author = {Assen, Frank P and Sixt, Michael K}, issn = {10747613}, journal = {Immunity}, number = {4}, pages = {519 -- 520}, publisher = {Cell Press}, title = {{The dynamic cytokine niche}}, doi = {10.1016/j.immuni.2017.04.006}, volume = {46}, year = {2017}, } @article{682, abstract = {Left-right asymmetry is a fundamental feature of higher-order brain structure; however, the molecular basis of brain asymmetry remains unclear. We recently identified structural and functional asymmetries in mouse hippocampal circuitry that result from the asymmetrical distribution of two distinct populations of pyramidal cell synapses that differ in the density of the NMDA receptor subunit GluRε2 (also known as NR2B, GRIN2B or GluN2B). By examining the synaptic distribution of ε2 subunits, we previously found that β2-microglobulin-deficient mice, which lack cell surface expression of the vast majority of major histocompatibility complex class I (MHCI) proteins, do not exhibit circuit asymmetry. In the present study, we conducted electrophysiological and anatomical analyses on the hippocampal circuitry of mice with a knockout of the paired immunoglobulin-like receptor B (PirB), an MHCI receptor. As in β2-microglobulin-deficient mice, the PirB-deficient hippocampus lacked circuit asymmetries. This finding that MHCI loss-of-function mice and PirB knockout mice have identical phenotypes suggests that MHCI signals that produce hippocampal asymmetries are transduced through PirB. Our results provide evidence for a critical role of the MHCI/PirB signaling system in the generation of asymmetries in hippocampal circuitry.}, author = {Ukai, Hikari and Kawahara, Aiko and Hirayama, Keiko and Case, Matthew J and Aino, Shotaro and Miyabe, Masahiro and Wakita, Ken and Oogi, Ryohei and Kasayuki, Michiyo and Kawashima, Shihomi and Sugimoto, Shunichi and Chikamatsu, Kanako and Nitta, Noritaka and Koga, Tsuneyuki and Shigemoto, Ryuichi and Takai, Toshiyuki and Ito, Isao}, issn = {19326203}, journal = {PLoS One}, number = {6}, publisher = {Public Library of Science}, title = {{PirB regulates asymmetries in hippocampal circuitry}}, doi = {10.1371/journal.pone.0179377}, volume = {12}, year = {2017}, } @article{1028, abstract = {Optogenetics and photopharmacology provide spatiotemporally precise control over protein interactions and protein function in cells and animals. Optogenetic methods that are sensitive to green light and can be used to break protein complexes are not broadly available but would enable multichromatic experiments with previously inaccessible biological targets. Herein, we repurposed cobalamin (vitamin B12) binding domains of bacterial CarH transcription factors for green-light-induced receptor dissociation. In cultured cells, we observed oligomerization-induced cell signaling for the fibroblast growth factor receptor 1 fused to cobalamin-binding domains in the dark that was rapidly eliminated upon illumination. In zebrafish embryos expressing fusion receptors, green light endowed control over aberrant fibroblast growth factor signaling during development. Green-light-induced domain dissociation and light-inactivated receptors will critically expand the optogenetic toolbox for control of biological processes.}, author = {Kainrath, Stephanie and Stadler, Manuela and Gschaider-Reichhart, Eva and Distel, Martin and Janovjak, Harald L}, issn = {14337851}, journal = {Angewandte Chemie - International Edition}, number = {16}, pages = {4608--4611}, publisher = {Wiley-Blackwell}, title = {{Green-light-induced inactivation of receptor signaling using cobalamin-binding domains}}, doi = {10.1002/anie.201611998}, volume = {56}, year = {2017}, } @article{1024, abstract = {The history of auxin and cytokinin biology including the initial discoveries by father–son duo Charles Darwin and Francis Darwin (1880), and Gottlieb Haberlandt (1919) is a beautiful demonstration of unceasing continuity of research. Novel findings are integrated into existing hypotheses and models and deepen our understanding of biological principles. At the same time new questions are triggered and hand to hand with this new methodologies are developed to address these new challenges.}, author = {Hurny, Andrej and Benková, Eva}, issn = {10643745}, journal = {Auxins and Cytokinins in Plant Biology}, pages = {1 -- 29}, publisher = {Springer}, title = {{Methodological advances in auxin and cytokinin biology}}, doi = {10.1007/978-1-4939-6831-2_1}, volume = {1569}, year = {2017}, } @article{679, abstract = {Protective responses against pathogens require a rapid mobilization of resting neutrophils and the timely removal of activated ones. Neutrophils are exceptionally short-lived leukocytes, yet it remains unclear whether the lifespan of pathogen-engaged neutrophils is regulated differently from that in the circulating steady-state pool. Here, we have found that under homeostatic conditions, the mRNA-destabilizing protein tristetraprolin (TTP) regulates apoptosis and the numbers of activated infiltrating murine neutrophils but not neutrophil cellularity. Activated TTP-deficient neutrophils exhibited decreased apoptosis and enhanced accumulation at the infection site. In the context of myeloid-specific deletion of Ttp, the potentiation of neutrophil deployment protected mice against lethal soft tissue infection with Streptococcus pyogenes and prevented bacterial dissemination. Neutrophil transcriptome analysis revealed that decreased apoptosis of TTP-deficient neutrophils was specifically associated with elevated expression of myeloid cell leukemia 1 (Mcl1) but not other antiapoptotic B cell leukemia/ lymphoma 2 (Bcl2) family members. Higher Mcl1 expression resulted from stabilization of Mcl1 mRNA in the absence of TTP. The low apoptosis rate of infiltrating TTP-deficient neutrophils was comparable to that of transgenic Mcl1-overexpressing neutrophils. Our study demonstrates that posttranscriptional gene regulation by TTP schedules the termination of the antimicrobial engagement of neutrophils. The balancing role of TTP comes at the cost of an increased risk of bacterial infections.}, author = {Ebner, Florian and Sedlyarov, Vitaly and Tasciyan, Saren and Ivin, Masa and Kratochvill, Franz and Gratz, Nina and Kenner, Lukas and Villunger, Andreas and Sixt, Michael K and Kovarik, Pavel}, issn = {00219738}, journal = {The Journal of Clinical Investigation}, number = {6}, pages = {2051 -- 2065}, publisher = {American Society for Clinical Investigation}, title = {{The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection}}, doi = {10.1172/JCI80631}, volume = {127}, year = {2017}, } @article{676, abstract = {The segregation of different cell types into distinct tissues is a fundamental process in metazoan development. Differences in cell adhesion and cortex tension are commonly thought to drive cell sorting by regulating tissue surface tension (TST). However, the role that differential TST plays in cell segregation within the developing embryo is as yet unclear. Here, we have analyzed the role of differential TST for germ layer progenitor cell segregation during zebrafish gastrulation. Contrary to previous observations that differential TST drives germ layer progenitor cell segregation in vitro, we show that germ layers display indistinguishable TST within the gastrulating embryo, arguing against differential TST driving germ layer progenitor cell segregation in vivo. We further show that the osmolarity of the interstitial fluid (IF) is an important factor that influences germ layer TST in vivo, and that lower osmolarity of the IF compared with standard cell culture medium can explain why germ layers display differential TST in culture but not in vivo. Finally, we show that directed migration of mesendoderm progenitors is required for germ layer progenitor cell segregation and germ layer formation.}, author = {Krens, Gabriel and Veldhuis, Jim and Barone, Vanessa and Capek, Daniel and Maître, Jean-Léon and Brodland, Wayne and Heisenberg, Carl-Philipp J}, issn = {09501991}, journal = {Development}, number = {10}, pages = {1798 -- 1806}, publisher = {Company of Biologists}, title = {{Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation}}, doi = {10.1242/dev.144964}, volume = {144}, year = {2017}, } @article{704, abstract = {How the organization of genes on a chromosome shapes adaptation is essential for understanding evolutionary paths. Here, we investigate how adaptation to rapidly increasing levels of antibiotic depends on the chromosomal neighborhood of a drug-resistance gene inserted at different positions of the Escherichia coli chromosome. Using a dual-fluorescence reporter that allows us to distinguish gene amplifications from other up-mutations, we track in real-time adaptive changes in expression of the drug-resistance gene. We find that the relative contribution of several mutation types differs systematically between loci due to properties of neighboring genes: essentiality, expression, orientation, termination, and presence of duplicates. These properties determine rate and fitness effects of gene amplification, deletions, and mutations compromising transcriptional termination. Thus, the adaptive potential of a gene under selection is a system-property with a complex genetic basis that is specific for each chromosomal locus, and it can be inferred from detailed functional and genomic data.}, author = {Steinrück, Magdalena and Guet, Calin C}, issn = {2050084X}, journal = {eLife}, publisher = {eLife Sciences Publications}, title = {{Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection}}, doi = {10.7554/eLife.25100}, volume = {6}, year = {2017}, } @article{696, abstract = {Mutator strains are expected to evolve when the availability and effect of beneficial mutations are high enough to counteract the disadvantage from deleterious mutations that will inevitably accumulate. As the population becomes more adapted to its environment, both availability and effect of beneficial mutations necessarily decrease and mutation rates are predicted to decrease. It has been shown that certain molecular mechanisms can lead to increased mutation rates when the organism finds itself in a stressful environment. While this may be a correlated response to other functions, it could also be an adaptive mechanism, raising mutation rates only when it is most advantageous. Here, we use a mathematical model to investigate the plausibility of the adaptive hypothesis. We show that such a mechanism can be mantained if the population is subjected to diverse stresses. By simulating various antibiotic treatment schemes, we find that combination treatments can reduce the effectiveness of second-order selection on stress-induced mutagenesis. We discuss the implications of our results to strategies of antibiotic therapy.}, author = {Lukacisinova, Marta and Novak, Sebastian and Paixao, Tiago}, issn = {1553734X}, journal = {PLoS Computational Biology}, number = {7}, publisher = {Public Library of Science}, title = {{Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes}}, doi = {10.1371/journal.pcbi.1005609}, volume = {13}, year = {2017}, } @article{1027, abstract = {The rising prevalence of antibiotic resistant bacteria is an increasingly serious public health challenge. To address this problem, recent work ranging from clinical studies to theoretical modeling has provided valuable insights into the mechanisms of resistance, its emergence and spread, and ways to counteract it. A deeper understanding of the underlying dynamics of resistance evolution will require a combination of experimental and theoretical expertise from different disciplines and new technology for studying evolution in the laboratory. Here, we review recent advances in the quantitative understanding of the mechanisms and evolution of antibiotic resistance. We focus on key theoretical concepts and new technology that enables well-controlled experiments. We further highlight key challenges that can be met in the near future to ultimately develop effective strategies for combating resistance.}, author = {Lukacisinova, Marta and Bollenbach, Mark Tobias}, journal = {Current Opinion in Biotechnology}, pages = {90 -- 97}, publisher = {Elsevier}, title = {{Toward a quantitative understanding of antibiotic resistance evolution}}, doi = {10.1016/j.copbio.2017.02.013}, volume = {46}, year = {2017}, } @inproceedings{639, abstract = {We study the problem of developing efficient approaches for proving worst-case bounds of non-deterministic recursive programs. Ranking functions are sound and complete for proving termination and worst-case bounds of non-recursive programs. First, we apply ranking functions to recursion, resulting in measure functions, and show that they provide a sound and complete approach to prove worst-case bounds of non-deterministic recursive programs. Our second contribution is the synthesis of measure functions in non-polynomial forms. We show that non-polynomial measure functions with logarithm and exponentiation can be synthesized through abstraction of logarithmic or exponentiation terms, Farkas’ Lemma, and Handelman’s Theorem using linear programming. While previous methods obtain worst-case polynomial bounds, our approach can synthesize bounds of the form O(n log n) as well as O(nr) where r is not an integer. We present experimental results to demonstrate that our approach can efficiently obtain worst-case bounds of classical recursive algorithms such as Merge-Sort, Closest-Pair, Karatsuba’s algorithm and Strassen’s algorithm.}, author = {Chatterjee, Krishnendu and Fu, Hongfei and Goharshady, Amir}, editor = {Majumdar, Rupak and Kunčak, Viktor}, isbn = {978-331963389-3}, location = {Heidelberg, Germany}, pages = {41 -- 63}, publisher = {Springer}, title = {{Non-polynomial worst case analysis of recursive programs}}, doi = {10.1007/978-3-319-63390-9_3}, volume = {10427}, year = {2017}, } @inproceedings{949, abstract = {The notion of treewidth of graphs has been exploited for faster algorithms for several problems arising in verification and program analysis. Moreover, various notions of balanced tree decompositions have been used for improved algorithms supporting dynamic updates and analysis of concurrent programs. In this work, we present a tool for constructing tree-decompositions of CFGs obtained from Java methods, which is implemented as an extension to the widely used Soot framework. The experimental results show that our implementation on real-world Java benchmarks is very efficient. Our tool also provides the first implementation for balancing tree-decompositions. In summary, we present the first tool support for exploiting treewidth in the static analysis problems on Java programs.}, author = {Chatterjee, Krishnendu and Goharshady, Amir and Pavlogiannis, Andreas}, editor = {D'Souza, Deepak}, issn = {03029743}, location = {Pune, India}, pages = {59 -- 66}, publisher = {Springer}, title = {{JTDec: A tool for tree decompositions in soot}}, doi = {10.1007/978-3-319-68167-2_4}, volume = {10482}, year = {2017}, } @article{661, abstract = {During embryonic development, mechanical forces are essential for cellular rearrangements driving tissue morphogenesis. Here, we show that in the early zebrafish embryo, friction forces are generated at the interface between anterior axial mesoderm (prechordal plate, ppl) progenitors migrating towards the animal pole and neurectoderm progenitors moving in the opposite direction towards the vegetal pole of the embryo. These friction forces lead to global rearrangement of cells within the neurectoderm and determine the position of the neural anlage. Using a combination of experiments and simulations, we show that this process depends on hydrodynamic coupling between neurectoderm and ppl as a result of E-cadherin-mediated adhesion between those tissues. Our data thus establish the emergence of friction forces at the interface between moving tissues as a critical force-generating process shaping the embryo.}, author = {Smutny, Michael and Ákos, Zsuzsa and Grigolon, Silvia and Shamipour, Shayan and Ruprecht, Verena and Capek, Daniel and Behrndt, Martin and Papusheva, Ekaterina and Tada, Masazumi and Hof, Björn and Vicsek, Tamás and Salbreux, Guillaume and Heisenberg, Carl-Philipp J}, issn = {14657392}, journal = {Nature Cell Biology}, pages = {306 -- 317}, publisher = {Nature Publishing Group}, title = {{Friction forces position the neural anlage}}, doi = {10.1038/ncb3492}, volume = {19}, year = {2017}, } @article{735, abstract = {Cell-cell contact formation constitutes an essential step in evolution, leading to the differentiation of specialized cell types. However, remarkably little is known about whether and how the interplay between contact formation and fate specification affects development. Here, we identify a positive feedback loop between cell-cell contact duration, morphogen signaling, and mesendoderm cell-fate specification during zebrafish gastrulation. We show that long-lasting cell-cell contacts enhance the competence of prechordal plate (ppl) progenitor cells to respond to Nodal signaling, required for ppl cell-fate specification. We further show that Nodal signaling promotes ppl cell-cell contact duration, generating a positive feedback loop between ppl cell-cell contact duration and cell-fate specification. Finally, by combining mathematical modeling and experimentation, we show that this feedback determines whether anterior axial mesendoderm cells become ppl or, instead, turn into endoderm. Thus, the interdependent activities of cell-cell signaling and contact formation control fate diversification within the developing embryo.}, author = {Barone, Vanessa and Lang, Moritz and Krens, Gabriel and Pradhan, Saurabh and Shamipour, Shayan and Sako, Keisuke and Sikora, Mateusz K and Guet, Calin C and Heisenberg, Carl-Philipp J}, issn = {15345807}, journal = {Developmental Cell}, number = {2}, pages = {198 -- 211}, publisher = {Cell Press}, title = {{An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate}}, doi = {10.1016/j.devcel.2017.09.014}, volume = {43}, year = {2017}, } @article{960, abstract = {The human cerebral cortex is the seat of our cognitive abilities and composed of an extraordinary number of neurons, organized in six distinct layers. The establishment of specific morphological and physiological features in individual neurons needs to be regulated with high precision. Impairments in the sequential developmental programs instructing corticogenesis lead to alterations in the cortical cytoarchitecture which is thought to represent the major underlying cause for several neurological disorders including neurodevelopmental and psychiatric diseases. In this review we discuss the role of cell polarity at sequential stages during cortex development. We first provide an overview of morphological cell polarity features in cortical neural stem cells and newly-born postmitotic neurons. We then synthesize a conceptual molecular and biochemical framework how cell polarity is established at the cellular level through a break in symmetry in nascent cortical projection neurons. Lastly we provide a perspective how the molecular mechanisms applying to single cells could be probed and integrated in an in vivo and tissue-wide context.}, author = {Hansen, Andi H and Düllberg, Christian F and Mieck, Christine and Loose, Martin and Hippenmeyer, Simon}, issn = {16625102}, journal = {Frontiers in Cellular Neuroscience}, publisher = {Frontiers Research Foundation}, title = {{Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks}}, doi = {10.3389/fncel.2017.00176}, volume = {11}, year = {2017}, }