TY - JOUR AB - We find a graph of genus 5 and its drawing on the orientable surface of genus 4 with every pair of independent edges crossing an even number of times. This shows that the strong Hanani–Tutte theorem cannot be extended to the orientable surface of genus 4. As a base step in the construction we use a counterexample to an extension of the unified Hanani–Tutte theorem on the torus. AU - Fulek, Radoslav AU - Kynčl, Jan ID - 7034 IS - 6 JF - Combinatorica SN - 0209-9683 TI - Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4 VL - 39 ER - TY - CONF AB - Optical frequency combs (OFCs) are light sources whose spectra consists of equally spaced frequency lines in the optical domain [1]. They have great potential for improving high-capacity data transfer, all-optical atomic clocks, spectroscopy, and high-precision measurements [2]. AU - Rueda Sanchez, Alfredo R AU - Sedlmeir, Florian AU - Leuchs, Gerd AU - Kuamri, Madhuri AU - Schwefel, Harald G. L. ID - 7032 SN - 9781728104690 T2 - 2019 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference TI - Electro-optic frequency comb generation in lithium niobate whispering gallery mode resonators ER - TY - JOUR AB - BAX, a member of the BCL2 gene family, controls the committed step of the intrinsic apoptotic program. Mitochondrial fragmentation is a commonly observed feature of apoptosis, which occurs through the process of mitochondrial fission. BAX has consistently been associated with mitochondrial fission, yet how BAX participates in the process of mitochondrial fragmentation during apoptosis remains to be tested. Time-lapse imaging of BAX recruitment and mitochondrial fragmentation demonstrates that rapid mitochondrial fragmentation during apoptosis occurs after the complete recruitment of BAX to the mitochondrial outer membrane (MOM). The requirement of a fully functioning BAX protein for the fission process was demonstrated further in BAX/BAK-deficient HCT116 cells expressing a P168A mutant of BAX. The mutant performed fusion to restore the mitochondrial network. but was not demonstrably recruited to the MOM after apoptosis induction. Under these conditions, mitochondrial fragmentation was blocked. Additionally, we show that loss of the fission protein, dynamin-like protein 1 (DRP1), does not temporally affect the initiation time or rate of BAX recruitment, but does reduce the final level of BAX recruited to the MOM during the late phase of BAX recruitment. These correlative observations suggest a model where late-stage BAX oligomers play a functional part of the mitochondrial fragmentation machinery in apoptotic cells. AU - Maes, Margaret E AU - Grosser, J. A. AU - Fehrman, R. L. AU - Schlamp, C. L. AU - Nickells, R. W. ID - 7095 JF - Scientific Reports TI - Completion of BAX recruitment correlates with mitochondrial fission during apoptosis VL - 9 ER - TY - JOUR AB - Early endosomes, also called sorting endosomes, are known to mature into late endosomesvia the Rab5-mediated endolysosomal trafficking pathway. Thus, early endosome existence isthought to be maintained by the continual fusion of transport vesicles from the plasmamembrane and thetrans-Golgi network (TGN). Here we show instead that endocytosis isdispensable and post-Golgi vesicle transport is crucial for the formation of endosomes andthe subsequent endolysosomal traffic regulated by yeast Rab5 Vps21p. Fittingly, all threeproteins required for endosomal nucleotide exchange on Vps21p arefirst recruited to theTGN before transport to the endosome, namely the GEF Vps9p and the epsin-relatedadaptors Ent3/5p. The TGN recruitment of these components is distinctly controlled, withVps9p appearing to require the Arf1p GTPase, and the Rab11s, Ypt31p/32p. These resultsprovide a different view of endosome formation and identify the TGN as a critical location forregulating progress through the endolysosomal trafficking pathway. AU - Nagano, Makoto AU - Toshima, Junko Y. AU - Siekhaus, Daria E AU - Toshima, Jiro ID - 7097 IS - 1 JF - Communications Biology SN - 2399-3642 TI - Rab5-mediated endosome formation is regulated at the trans-Golgi network VL - 2 ER - TY - JOUR AU - Kasugai, Yu AU - Vogel, Elisabeth AU - Hörtnagl, Heide AU - Schönherr, Sabine AU - Paradiso, Enrica AU - Hauschild, Markus AU - Göbel, Georg AU - Milenkovic, Ivan AU - Peterschmitt, Yvan AU - Tasan, Ramon AU - Sperk, Günther AU - Shigemoto, Ryuichi AU - Sieghart, Werner AU - Singewald, Nicolas AU - Lüthi, Andreas AU - Ferraguti, Francesco ID - 7099 IS - 4 JF - Neuron SN - 0896-6273 TI - Structural and functional remodeling of amygdala GABAergic synapses in associative fear learning VL - 104 ER - TY - JOUR AB - During corticogenesis, distinct subtypes of neurons are sequentially born from ventricular zone progenitors. How these cells are molecularly temporally patterned is poorly understood. We used single-cell RNA sequencing at high temporal resolution to trace the lineage of the molecular identities of successive generations of apical progenitors (APs) and their daughter neurons in mouse embryos. We identified a core set of evolutionarily conserved, temporally patterned genes that drive APs from internally driven to more exteroceptive states. We found that the Polycomb repressor complex 2 (PRC2) epigenetically regulates AP temporal progression. Embryonic age–dependent AP molecular states are transmitted to their progeny as successive ground states, onto which essentially conserved early postmitotic differentiation programs are applied, and are complemented by later-occurring environment-dependent signals. Thus, epigenetically regulated temporal molecular birthmarks present in progenitors act in their postmitotic progeny to seed adult neuronal diversity. AU - Telley, L AU - Agirman, G AU - Prados, J AU - Amberg, Nicole AU - Fièvre, S AU - Oberst, P AU - Bartolini, G AU - Vitali, I AU - Cadilhac, C AU - Hippenmeyer, Simon AU - Nguyen, L AU - Dayer, A AU - Jabaudon, D ID - 6455 IS - 6440 JF - Science SN - 0036-8075 TI - Temporal patterning of apical progenitors and their daughter neurons in the developing neocortex VL - 364 ER - TY - JOUR AB - The bottom-up assembly of colloidal nanocrystals is a versatile methodology to produce composite nanomaterials with precisely tuned electronic properties. Beyond the synthetic control over crystal domain size, shape, crystal phase, and composition, solution-processed nanocrystals allow exquisite surface engineering. This provides additional means to modulate the nanomaterial characteristics and particularly its electronic transport properties. For instance, inorganic surface ligands can be used to tune the type and concentration of majority carriers or to modify the electronic band structure. Herein, we report the thermoelectric properties of SnTe nanocomposites obtained from the consolidation of surface-engineered SnTe nanocrystals into macroscopic pellets. A CdSe-based ligand is selected to (i) converge the light and heavy bands through partial Cd alloying and (ii) generate CdSe nanoinclusions as a secondary phase within the SnTe matrix, thereby reducing the thermal conductivity. These SnTe-CdSe nanocomposites possess thermoelectric figures of merit of up to 1.3 at 850 K, which is, to the best of our knowledge, the highest thermoelectric figure of merit reported for solution-processed SnTe. AU - Ibáñez, Maria AU - Hasler, Roger AU - Genç, Aziz AU - Liu, Yu AU - Kuster, Beatrice AU - Schuster, Maximilian AU - Dobrozhan, Oleksandr AU - Cadavid, Doris AU - Arbiol, Jordi AU - Cabot, Andreu AU - Kovalenko, Maksym V. ID - 6586 IS - 20 JF - Journal of the American Chemical Society SN - 0002-7863 TI - Ligand-mediated band engineering in bottom-up assembled SnTe nanocomposites for thermoelectric energy conversion VL - 141 ER - TY - JOUR AB - We propose a scaling theory for the many-body localization (MBL) phase transition in one dimension, building on the idea that it proceeds via a “quantum avalanche.” We argue that the critical properties can be captured at a coarse-grained level by a Kosterlitz-Thouless (KT) renormalization group (RG) flow. On phenomenological grounds, we identify the scaling variables as the density of thermal regions and the length scale that controls the decay of typical matrix elements. Within this KT picture, the MBL phase is a line of fixed points that terminates at the delocalization transition. We discuss two possible scenarios distinguished by the distribution of rare, fractal thermal inclusions within the MBL phase. In the first scenario, these regions have a stretched exponential distribution in the MBL phase. In the second scenario, the near-critical MBL phase hosts rare thermal regions that are power-law-distributed in size. This points to the existence of a second transition within the MBL phase, at which these power laws change to the stretched exponential form expected at strong disorder. We numerically simulate two different phenomenological RGs previously proposed to describe the MBL transition. Both RGs display a universal power-law length distribution of thermal regions at the transition with a critical exponent αc=2, and continuously varying exponents in the MBL phase consistent with the KT picture. AU - Dumitrescu, Philipp T. AU - Goremykina, Anna AU - Parameswaran, Siddharth A. AU - Serbyn, Maksym AU - Vasseur, Romain ID - 6174 IS - 9 JF - Physical Review B SN - 2469-9950 TI - Kosterlitz-Thouless scaling at many-body localization phase transitions VL - 99 ER - TY - JOUR AB - Plants have a remarkable capacity to adjust their growth and development to elevated ambient temperatures. Increased elongation growth of roots, hypocotyls and petioles in warm temperatures are hallmarks of seedling thermomorphogenesis. In the last decade, significant progress has been made to identify the molecular signaling components regulating these growth responses. Increased ambient temperature utilizes diverse components of the light sensing and signal transduction network to trigger growth adjustments. However, it remains unknown whether temperature sensing and responses are universal processes that occur uniformly in all plant organs. Alternatively, temperature sensing may be confined to specific tissues or organs, which would require a systemic signal that mediates responses in distal parts of the plant. Here we show that Arabidopsis (Arabidopsis thaliana) seedlings show organ-specific transcriptome responses to elevated temperatures, and that thermomorphogenesis involves both autonomous and organ-interdependent temperature sensing and signaling. Seedling roots can sense and respond to temperature in a shoot-independent manner, whereas shoot temperature responses require both local and systemic processes. The induction of cell elongation in hypocotyls requires temperature sensing in cotyledons, followed by generation of a mobile auxin signal. Subsequently, auxin travels to the hypocotyl where it triggers local brassinosteroid-induced cell elongation in seedling stems, which depends upon a distinct, permissive temperature sensor in the hypocotyl. AU - Bellstaedt, Julia AU - Trenner, Jana AU - Lippmann, Rebecca AU - Poeschl, Yvonne AU - Zhang, Xixi AU - Friml, Jiří AU - Quint, Marcel AU - Delker, Carolin ID - 6366 IS - 2 JF - Plant Physiology SN - 0032-0889 TI - A mobile auxin signal connects temperature sensing in cotyledons with growth responses in hypocotyls VL - 180 ER - TY - JOUR AB - Li-Nadler proposed a conjecture about traces of Hecke categories, which implies the semistable part of the Betti geometric Langlands conjecture of Ben-Zvi-Nadler in genus 1. We prove a Weyl group analogue of this conjecture. Our theorem holds in the natural generality of reflection groups in Euclidean or hyperbolic space. As a corollary, we give an expression of the centralizer of a finite order element in a reflection group using homotopy theory. AU - Li, Penghui ID - 6986 IS - 11 JF - Proceedings of the American Mathematical Society SN - 0002-9939 TI - A colimit of traces of reflection groups VL - 147 ER - TY - JOUR AB - Adult neural stem cells and multiciliated ependymalcells are glial cells essential for neurological func-tions. Together, they make up the adult neurogenicniche. Using both high-throughput clonal analysisand single-cell resolution of progenitor division pat-terns and fate, we show that these two componentsof the neurogenic niche are lineally related: adult neu-ral stem cells are sister cells to ependymal cells,whereas most ependymal cells arise from the termi-nal symmetric divisions of the lineage. Unexpectedly,we found that the antagonist regulators of DNA repli-cation, GemC1 and Geminin, can tune the proportionof neural stem cells and ependymal cells. Our find-ings reveal the controlled dynamic of the neurogenicniche ontogeny and identify the Geminin familymembers as key regulators of the initial pool of adultneural stem cells. AU - Ortiz-Álvarez, G AU - Daclin, M AU - Shihavuddin, A AU - Lansade, P AU - Fortoul, A AU - Faucourt, M AU - Clavreul, S AU - Lalioti, ME AU - Taraviras, S AU - Hippenmeyer, Simon AU - Livet, J AU - Meunier, A AU - Genovesio, A AU - Spassky, N ID - 6454 IS - 1 JF - Neuron SN - 0896-6273 TI - Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members VL - 102 ER - TY - JOUR AU - Kopf, Aglaja AU - Sixt, Michael K ID - 6979 IS - 20 JF - Current Biology SN - 0960-9822 TI - Gut homeostasis: Active migration of intestinal epithelial cells in tissue renewal VL - 29 ER - TY - JOUR AB - Tissue morphogenesis in multicellular organisms is brought about by spatiotemporal coordination of mechanical and chemical signals. Extensive work on how mechanical forces together with the well‐established morphogen signalling pathways can actively shape living tissues has revealed evolutionary conserved mechanochemical features of embryonic development. More recently, attention has been drawn to the description of tissue material properties and how they can influence certain morphogenetic processes. Interestingly, besides the role of tissue material properties in determining how much tissues deform in response to force application, there is increasing theoretical and experimental evidence, suggesting that tissue material properties can abruptly and drastically change in development. These changes resemble phase transitions, pointing at the intriguing possibility that important morphogenetic processes in development, such as symmetry breaking and self‐organization, might be mediated by tissue phase transitions. In this review, we summarize recent findings on the regulation and role of tissue material properties in the context of the developing embryo. We posit that abrupt changes of tissue rheological properties may have important implications in maintaining the balance between robustness and adaptability during embryonic development. AU - Petridou, Nicoletta AU - Heisenberg, Carl-Philipp J ID - 6980 IS - 20 JF - The EMBO Journal SN - 0261-4189 TI - Tissue rheology in embryonic organization VL - 38 ER - TY - JOUR AB - Due to the importance of zero-shot learning, i.e. classifying images where there is a lack of labeled training data, the number of proposed approaches has recently increased steadily. We argue that it is time to take a step back and to analyze the status quo of the area. The purpose of this paper is three-fold. First, given the fact that there is no agreed upon zero-shot learning benchmark, we first define a new benchmark by unifying both the evaluation protocols and data splits of publicly available datasets used for this task. This is an important contribution as published results are often not comparable and sometimes even flawed due to, e.g. pre-training on zero-shot test classes. Moreover, we propose a new zero-shot learning dataset, the Animals with Attributes 2 (AWA2) dataset which we make publicly available both in terms of image features and the images themselves. Second, we compare and analyze a significant number of the state-of-the-art methods in depth, both in the classic zero-shot setting but also in the more realistic generalized zero-shot setting. Finally, we discuss in detail the limitations of the current status of the area which can be taken as a basis for advancing it. AU - Xian, Yongqin AU - Lampert, Christoph AU - Schiele, Bernt AU - Akata, Zeynep ID - 6554 IS - 9 JF - IEEE Transactions on Pattern Analysis and Machine Intelligence SN - 0162-8828 TI - Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly VL - 41 ER - TY - JOUR AB - The plant hormone auxin has crucial roles in almost all aspects of plant growth and development. Concentrations of auxin vary across different tissues, mediating distinct developmental outcomes and contributing to the functional diversity of auxin. However, the mechanisms that underlie these activities are poorly understood. Here we identify an auxin signalling mechanism, which acts in parallel to the canonical auxin pathway based on the transport inhibitor response1 (TIR1) and other auxin receptor F-box (AFB) family proteins (TIR1/AFB receptors)1,2, that translates levels of cellular auxin to mediate differential growth during apical-hook development. This signalling mechanism operates at the concave side of the apical hook, and involves auxin-mediated C-terminal cleavage of transmembrane kinase 1 (TMK1). The cytosolic and nucleus-translocated C terminus of TMK1 specifically interacts with and phosphorylates two non-canonical transcriptional repressors of the auxin or indole-3-acetic acid (Aux/IAA) family (IAA32 and IAA34), thereby regulating ARF transcription factors. In contrast to the degradation of Aux/IAA transcriptional repressors in the canonical pathway, the newly identified mechanism stabilizes the non-canonical IAA32 and IAA34 transcriptional repressors to regulate gene expression and ultimately inhibit growth. The auxin–TMK1 signalling pathway originates at the cell surface, is triggered by high levels of auxin and shares a partially overlapping set of transcription factors with the TIR1/AFB signalling pathway. This allows distinct interpretations of different concentrations of cellular auxin, and thus enables this versatile signalling molecule to mediate complex developmental outcomes. AU - Cao, Min AU - Chen, Rong AU - Li, Pan AU - Yu, Yongqiang AU - Zheng, Rui AU - Ge, Danfeng AU - Zheng, Wei AU - Wang, Xuhui AU - Gu, Yangtao AU - Gelová, Zuzana AU - Friml, Jiří AU - Zhang, Heng AU - Liu, Renyi AU - He, Jun AU - Xu, Tongda ID - 6259 JF - Nature SN - 0028-0836 TI - TMK1-mediated auxin signalling regulates differential growth of the apical hook VL - 568 ER - TY - CHAP AB - Cells are arranged into species-specific patterns during early embryogenesis. Such cell division patterns are important since they often reflect the distribution of localized cortical factors from eggs/fertilized eggs to specific cells as well as the emergence of organismal form. However, it has proven difficult to reveal the mechanisms that underlie the emergence of cell positioning patterns that underlie embryonic shape, likely because a systems-level approach is required that integrates cell biological, genetic, developmental, and mechanical parameters. The choice of organism to address such questions is also important. Because ascidians display the most extreme form of invariant cleavage pattern among the metazoans, we have been analyzing the cell biological mechanisms that underpin three aspects of cell division (unequal cell division (UCD), oriented cell division (OCD), and asynchronous cell cycles) which affect the overall shape of the blastula-stage ascidian embryo composed of 64 cells. In ascidians, UCD creates two small cells at the 16-cell stage that in turn undergo two further successive rounds of UCD. Starting at the 16-cell stage, the cell cycle becomes asynchronous, whereby the vegetal half divides before the animal half, thus creating 24-, 32-, 44-, and then 64-cell stages. Perturbing either UCD or the alternate cell division rhythm perturbs cell position. We propose that dynamic cell shape changes propagate throughout the embryo via cell-cell contacts to create the ascidian-specific invariant cleavage pattern. AU - McDougall, Alex AU - Chenevert, Janet AU - Godard, Benoit G AU - Dumollard, Remi ED - Tworzydlo, Waclaw ED - Bilinski, Szczepan M. ID - 6987 SN - 0080-1844 T2 - Evo-Devo: Non-model species in cell and developmental biology TI - Emergence of embryo shape during cleavage divisions VL - 68 ER - TY - JOUR AB - We present and study novel optimal control problems motivated by the search for photovoltaic materials with high power-conversion efficiency. The material must perform the first step: convert light (photons) into electronic excitations. We formulate various desirable properties of the excitations as mathematical control goals at the Kohn-Sham-DFT level of theory, with the control being given by the nuclear charge distribution. We prove that nuclear distributions exist which give rise to optimal HOMO-LUMO excitations, and present illustrative numerical simulations for 1D finite nanocrystals. We observe pronounced goal-dependent features such as large electron-hole separation, and a hierarchy of length scales: internal HOMO and LUMO wavelengths < atomic spacings < (irregular) fluctuations of the doping profiles < system size. AU - Friesecke, Gero AU - Kniely, Michael ID - 6762 IS - 3 JF - Multiscale Modeling and Simulation SN - 15403459 TI - New optimal control problems in density functional theory motivated by photovoltaics VL - 17 ER - TY - JOUR AB - In this article we prove an analogue of a theorem of Lachaud, Ritzenthaler, and Zykin, which allows us to connect invariants of binary octics to Siegel modular forms of genus 3. We use this connection to show that certain modular functions, when restricted to the hyperelliptic locus, assume values whose denominators are products of powers of primes of bad reduction for the associated hyperelliptic curves. We illustrate our theorem with explicit computations. This work is motivated by the study of the values of these modular functions at CM points of the Siegel upper half-space, which, if their denominators are known, can be used to effectively compute models of (hyperelliptic, in our case) curves with CM. AU - Ionica, Sorina AU - Kılıçer, Pınar AU - Lauter, Kristin AU - Lorenzo García, Elisa AU - Manzateanu, Maria-Adelina AU - Massierer, Maike AU - Vincent, Christelle ID - 10874 JF - Research in Number Theory KW - Algebra and Number Theory SN - 2522-0160 TI - Modular invariants for genus 3 hyperelliptic curves VL - 5 ER - TY - JOUR AB - We present microscopic derivations of the defocusing two-dimensional cubic nonlinear Schrödinger equation and the Gross–Pitaevskii equation starting froman interacting N-particle system of bosons. We consider the interaction potential to be given either by Wβ(x)=N−1+2βW(Nβx), for any β>0, or to be given by VN(x)=e2NV(eNx), for some spherical symmetric, nonnegative and compactly supported W,V∈L∞(R2,R). In both cases we prove the convergence of the reduced density corresponding to the exact time evolution to the projector onto the solution of the corresponding nonlinear Schrödinger equation in trace norm. For the latter potential VN we show that it is crucial to take the microscopic structure of the condensate into account in order to obtain the correct dynamics. AU - Jeblick, Maximilian AU - Leopold, Nikolai K AU - Pickl, Peter ID - 7100 IS - 1 JF - Communications in Mathematical Physics SN - 0010-3616 TI - Derivation of the time dependent Gross–Pitaevskii equation in two dimensions VL - 372 ER - TY - JOUR AB - PIN-FORMED (PIN) transporters mediate directional, intercellular movement of the phytohormone auxin in land plants. To elucidate the evolutionary origins of this developmentally crucial mechanism, we analysed the single PIN homologue of a simple green alga Klebsormidium flaccidum. KfPIN functions as a plasma membrane-localized auxin exporter in land plants and heterologous models. While its role in algae remains unclear, PIN-driven auxin export is probably an ancient and conserved trait within streptophytes. AU - Skokan, Roman AU - Medvecká, Eva AU - Viaene, Tom AU - Vosolsobě, Stanislav AU - Zwiewka, Marta AU - Müller, Karel AU - Skůpa, Petr AU - Karady, Michal AU - Zhang, Yuzhou AU - Janacek, Dorina P. AU - Hammes, Ulrich Z. AU - Ljung, Karin AU - Nodzyński, Tomasz AU - Petrášek, Jan AU - Friml, Jiří ID - 7106 IS - 11 JF - Nature Plants SN - 2055-0278 TI - PIN-driven auxin transport emerged early in streptophyte evolution VL - 5 ER - TY - JOUR AB - Cell migration is hypothesized to involve a cycle of behaviours beginning with leading edge extension. However, recent evidence suggests that the leading edge may be dispensable for migration, raising the question of what actually controls cell directionality. Here, we exploit the embryonic migration of Drosophila macrophages to bridge the different temporal scales of the behaviours controlling motility. This approach reveals that edge fluctuations during random motility are not persistent and are weakly correlated with motion. In contrast, flow of the actin network behind the leading edge is highly persistent. Quantification of actin flow structure during migration reveals a stable organization and asymmetry in the cell-wide flowfield that strongly correlates with cell directionality. This organization is regulated by a gradient of actin network compression and destruction, which is controlled by myosin contraction and cofilin-mediated disassembly. It is this stable actin-flow polarity, which integrates rapid fluctuations of the leading edge, that controls inherent cellular persistence. AU - Yolland, Lawrence AU - Burki, Mubarik AU - Marcotti, Stefania AU - Luchici, Andrei AU - Kenny, Fiona N. AU - Davis, John Robert AU - Serna-Morales, Eduardo AU - Müller, Jan AU - Sixt, Michael K AU - Davidson, Andrew AU - Wood, Will AU - Schumacher, Linus J. AU - Endres, Robert G. AU - Miodownik, Mark AU - Stramer, Brian M. ID - 7105 IS - 11 JF - Nature Cell Biology SN - 1465-7392 TI - Persistent and polarized global actin flow is essential for directionality during cell migration VL - 21 ER - TY - JOUR AB - We show how to construct temporal testers for the logic MITL, a prominent linear-time logic for real-time systems. A temporal tester is a transducer that inputs a signal holding the Boolean value of atomic propositions and outputs the truth value of a formula along time. Here we consider testers over continuous-time Boolean signals that use clock variables to enforce duration constraints, as in timed automata. We first rewrite the MITL formula into a “simple” formula using a limited set of temporal modalities. We then build testers for these specific modalities and show how to compose testers for simple formulae into complex ones. Temporal testers can be turned into acceptors, yielding a compositional translation from MITL to timed automata. This construction is much simpler than previously known and remains asymptotically optimal. It supports both past and future operators and can easily be extended. AU - Ferrere, Thomas AU - Maler, Oded AU - Ničković, Dejan AU - Pnueli, Amir ID - 7109 IS - 3 JF - Journal of the ACM SN - 0004-5411 TI - From real-time logic to timed automata VL - 66 ER - TY - JOUR AB - We prove that for every d ≥ 2, deciding if a pure, d-dimensional, simplicial complex is shellable is NP-hard, hence NP-complete. This resolves a question raised, e.g., by Danaraj and Klee in 1978. Our reduction also yields that for every d ≥ 2 and k ≥ 0, deciding if a pure, d-dimensional, simplicial complex is k-decomposable is NP-hard. For d ≥ 3, both problems remain NP-hard when restricted to contractible pure d-dimensional complexes. Another simple corollary of our result is that it is NP-hard to decide whether a given poset is CL-shellable. AU - Goaoc, Xavier AU - Patak, Pavel AU - Patakova, Zuzana AU - Tancer, Martin AU - Wagner, Uli ID - 7108 IS - 3 JF - Journal of the ACM SN - 0004-5411 TI - Shellability is NP-complete VL - 66 ER - TY - CONF AB - The expression of a gene is characterised by its transcription factors and the function processing them. If the transcription factors are not affected by gene products, the regulating function is often represented as a combinational logic circuit, where the outputs (product) are determined by current input values (transcription factors) only, and are hence independent on their relative arrival times. However, the simultaneous arrival of transcription factors (TFs) in genetic circuits is a strong assumption, given that the processes of transcription and translation of a gene into a protein introduce intrinsic time delays and that there is no global synchronisation among the arrival times of different molecular species at molecular targets. In this paper, we construct an experimentally implementable genetic circuit with two inputs and a single output, such that, in presence of small delays in input arrival, the circuit exhibits qualitatively distinct observable phenotypes. In particular, these phenotypes are long lived transients: they all converge to a single value, but so slowly, that they seem stable for an extended time period, longer than typical experiment duration. We used rule-based language to prototype our circuit, and we implemented a search for finding the parameter combinations raising the phenotypes of interest. The behaviour of our prototype circuit has wide implications. First, it suggests that GRNs can exploit event timing to create phenotypes. Second, it opens the possibility that GRNs are using event timing to react to stimuli and memorise events, without explicit feedback in regulation. From the modelling perspective, our prototype circuit demonstrates the critical importance of analysing the transient dynamics at the promoter binding sites of the DNA, before applying rapid equilibrium assumptions. AU - Guet, Calin C AU - Henzinger, Thomas A AU - Igler, Claudia AU - Petrov, Tatjana AU - Sezgin, Ali ID - 7147 SN - 0302-9743 T2 - 17th International Conference on Computational Methods in Systems Biology TI - Transient memory in gene regulation VL - 11773 ER - TY - CONF AB - It is well established that the notion of min-entropy fails to satisfy the \emph{chain rule} of the form H(X,Y)=H(X|Y)+H(Y), known for Shannon Entropy. Such a property would help to analyze how min-entropy is split among smaller blocks. Problems of this kind arise for example when constructing extractors and dispersers. We show that any sequence of variables exhibits a very strong strong block-source structure (conditional distributions of blocks are nearly flat) when we \emph{spoil few correlated bits}. This implies, conditioned on the spoiled bits, that \emph{splitting-recombination properties} hold. In particular, we have many nice properties that min-entropy doesn't obey in general, for example strong chain rules, "information can't hurt" inequalities, equivalences of average and worst-case conditional entropy definitions and others. Quantitatively, for any sequence X1,…,Xt of random variables over an alphabet X we prove that, when conditioned on m=t⋅O(loglog|X|+loglog(1/ϵ)+logt) bits of auxiliary information, all conditional distributions of the form Xi|X> k, this suggests that the overheads of relaxation will be outweighed by the improved scalability of the relaxed scheduler. On the negative side, we provide lower bounds showing that certain algorithms will inherently incur a non-trivial amount of wasted work due to scheduler relaxation, even for relatively benign relaxed schedulers. AU - Alistarh, Dan-Adrian AU - Nadiradze, Giorgi AU - Koval, Nikita ID - 6673 SN - 9781450361842 T2 - 31st ACM Symposium on Parallelism in Algorithms and Architectures TI - Efficiency guarantees for parallel incremental algorithms under relaxed schedulers ER - TY - JOUR AB - Transporters of the solute carrier 6 (SLC6) family translocate their cognate substrate together with Na+ and Cl−. Detailed kinetic models exist for the transporters of GABA (GAT1/SLC6A1) and the monoamines dopamine (DAT/SLC6A3) and serotonin (SERT/SLC6A4). Here, we posited that the transport cycle of individual SLC6 transporters reflects the physiological requirements they operate under. We tested this hypothesis by analyzing the transport cycle of glycine transporter 1 (GlyT1/SLC6A9) and glycine transporter 2 (GlyT2/SLC6A5). GlyT2 is the only SLC6 family member known to translocate glycine, Na+, and Cl− in a 1:3:1 stoichiometry. We analyzed partial reactions in real time by electrophysiological recordings. Contrary to monoamine transporters, both GlyTs were found to have a high transport capacity driven by rapid return of the empty transporter after release of Cl− on the intracellular side. Rapid cycling of both GlyTs was further supported by highly cooperative binding of cosubstrate ions and substrate such that their forward transport mode was maintained even under conditions of elevated intracellular Na+ or Cl−. The most important differences in the transport cycle of GlyT1 and GlyT2 arose from the kinetics of charge movement and the resulting voltage-dependent rate-limiting reactions: the kinetics of GlyT1 were governed by transition of the substrate-bound transporter from outward- to inward-facing conformations, whereas the kinetics of GlyT2 were governed by Na+ binding (or a related conformational change). Kinetic modeling showed that the kinetics of GlyT1 are ideally suited for supplying the extracellular glycine levels required for NMDA receptor activation. AU - Erdem, Fatma Asli AU - Ilic, Marija AU - Koppensteiner, Peter AU - Gołacki, Jakub AU - Lubec, Gert AU - Freissmuth, Michael AU - Sandtner, Walter ID - 7398 IS - 8 JF - The Journal of General Physiology SN - 0022-1295 TI - A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2 VL - 151 ER - TY - JOUR AB - The mitochondrial electron transport chain complexes are organized into supercomplexes (SCs) of defined stoichiometry, which have been proposed to regulate electron flux via substrate channeling. We demonstrate that CoQ trapping in the isolated SC I+III2 limits complex (C)I turnover, arguing against channeling. The SC structure, resolved at up to 3.8 Å in four distinct states, suggests that CoQ oxidation may be rate limiting because of unequal access of CoQ to the active sites of CIII2. CI shows a transition between “closed” and “open” conformations, accompanied by the striking rotation of a key transmembrane helix. Furthermore, the state of CI affects the conformational flexibility within CIII2, demonstrating crosstalk between the enzymes. CoQ was identified at only three of the four binding sites in CIII2, suggesting that interaction with CI disrupts CIII2 symmetry in a functionally relevant manner. Together, these observations indicate a more nuanced functional role for the SCs. AU - Letts, James A AU - Fiedorczuk, Karol AU - Degliesposti, Gianluca AU - Skehel, Mark AU - Sazanov, Leonid A ID - 7395 IS - 6 JF - Molecular Cell SN - 1097-2765 TI - Structures of respiratory supercomplex I+III2 reveal functional and conformational crosstalk VL - 75 ER - TY - JOUR AB - Biophysical modeling of neuronal networks helps to integrate and interpret rapidly growing and disparate experimental datasets at multiple scales. The NetPyNE tool (www.netpyne.org) provides both programmatic and graphical interfaces to develop data-driven multiscale network models in NEURON. NetPyNE clearly separates model parameters from implementation code. Users provide specifications at a high level via a standardized declarative language, for example connectivity rules, to create millions of cell-to-cell connections. NetPyNE then enables users to generate the NEURON network, run efficiently parallelized simulations, optimize and explore network parameters through automated batch runs, and use built-in functions for visualization and analysis – connectivity matrices, voltage traces, spike raster plots, local field potentials, and information theoretic measures. NetPyNE also facilitates model sharing by exporting and importing standardized formats (NeuroML and SONATA). NetPyNE is already being used to teach computational neuroscience students and by modelers to investigate brain regions and phenomena. AU - Dura-Bernal, Salvador AU - Suter, Benjamin AU - Gleeson, Padraig AU - Cantarelli, Matteo AU - Quintana, Adrian AU - Rodriguez, Facundo AU - Kedziora, David J AU - Chadderdon, George L AU - Kerr, Cliff C AU - Neymotin, Samuel A AU - McDougal, Robert A AU - Hines, Michael AU - Shepherd, Gordon MG AU - Lytton, William W ID - 7405 JF - eLife SN - 2050-084X TI - NetPyNE, a tool for data-driven multiscale modeling of brain circuits VL - 8 ER - TY - JOUR AB - Suppressed recombination allows divergence between homologous sex chromosomes and the functionality of their genes. Here, we reveal patterns of the earliest stages of sex-chromosome evolution in the diploid dioecious herb Mercurialis annua on the basis of cytological analysis, de novo genome assembly and annotation, genetic mapping, exome resequencing of natural populations, and transcriptome analysis. The genome assembly contained 34,105 expressed genes, of which 10,076 were assigned to linkage groups. Genetic mapping and exome resequencing of individuals across the species range both identified the largest linkage group, LG1, as the sex chromosome. Although the sex chromosomes of M. annua are karyotypically homomorphic, we estimate that about one-third of the Y chromosome, containing 568 transcripts and spanning 22.3 cM in the corresponding female map, has ceased recombining. Nevertheless, we found limited evidence for Y-chromosome degeneration in terms of gene loss and pseudogenization, and most X- and Y-linked genes appear to have diverged in the period subsequent to speciation between M. annua and its sister species M. huetii, which shares the same sex-determining region. Taken together, our results suggest that the M. annua Y chromosome has at least two evolutionary strata: a small old stratum shared with M. huetii, and a more recent larger stratum that is probably unique to M. annua and that stopped recombining ∼1 MYA. Patterns of gene expression within the nonrecombining region are consistent with the idea that sexually antagonistic selection may have played a role in favoring suppressed recombination. AU - Veltsos, Paris AU - Ridout, Kate E. AU - Toups, Melissa A AU - González-Martínez, Santiago C. AU - Muyle, Aline AU - Emery, Olivier AU - Rastas, Pasi AU - Hudzieczek, Vojtech AU - Hobza, Roman AU - Vyskot, Boris AU - Marais, Gabriel A. B. AU - Filatov, Dmitry A. AU - Pannell, John R. ID - 7400 IS - 3 JF - Genetics SN - 0016-6731 TI - Early sex-chromosome evolution in the diploid dioecious plant Mercurialis annua VL - 212 ER - TY - JOUR AB - The formation of neuronal dendrite branches is fundamental for the wiring and function of the nervous system. Indeed, dendrite branching enhances the coverage of the neuron's receptive field and modulates the initial processing of incoming stimuli. Complex dendrite patterns are achieved in vivo through a dynamic process of de novo branch formation, branch extension and retraction. The first step towards branch formation is the generation of a dynamic filopodium-like branchlet. The mechanisms underlying the initiation of dendrite branchlets are therefore crucial to the shaping of dendrites. Through in vivo time-lapse imaging of the subcellular localization of actin during the process of branching of Drosophila larva sensory neurons, combined with genetic analysis and electron tomography, we have identified the Actin-related protein (Arp) 2/3 complex as the major actin nucleator involved in the initiation of dendrite branchlet formation, under the control of the activator WAVE and of the small GTPase Rac1. Transient recruitment of an Arp2/3 component marks the site of branchlet initiation in vivo. These data position the activation of Arp2/3 as an early hub for the initiation of branchlet formation. AU - Stürner, Tomke AU - Tatarnikova, Anastasia AU - Müller, Jan AU - Schaffran, Barbara AU - Cuntz, Hermann AU - Zhang, Yun AU - Nemethova, Maria AU - Bogdan, Sven AU - Small, Vic AU - Tavosanis, Gaia ID - 7404 IS - 7 JF - Development SN - 0950-1991 TI - Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo VL - 146 ER - TY - CONF AB - Graph planning gives rise to fundamental algorithmic questions such as shortest path, traveling salesman problem, etc. A classical problem in discrete planning is to consider a weighted graph and construct a path that maximizes the sum of weights for a given time horizon T. However, in many scenarios, the time horizon is not fixed, but the stopping time is chosen according to some distribution such that the expected stopping time is T. If the stopping time distribution is not known, then to ensure robustness, the distribution is chosen by an adversary, to represent the worst-case scenario. A stationary plan for every vertex always chooses the same outgoing edge. For fixed horizon or fixed stopping-time distribution, stationary plans are not sufficient for optimality. Quite surprisingly we show that when an adversary chooses the stopping-time distribution with expected stopping time T, then stationary plans are sufficient. While computing optimal stationary plans for fixed horizon is NP-complete, we show that computing optimal stationary plans under adversarial stopping-time distribution can be achieved in polynomial time. Consequently, our polynomial-time algorithm for adversarial stopping time also computes an optimal plan among all possible plans. AU - Chatterjee, Krishnendu AU - Doyen, Laurent ID - 7402 SN - 9781728136080 T2 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science TI - Graph planning with expected finite horizon ER - TY - JOUR AB - We prove that the observable telegraph signal accompanying the bistability in the photon-blockade-breakdown regime of the driven and lossy Jaynes–Cummings model is the finite-size precursor of what in the thermodynamic limit is a genuine first-order phase transition. We construct a finite-size scaling of the system parameters to a well-defined thermodynamic limit, in which the system remains the same microscopic system, but the telegraph signal becomes macroscopic both in its timescale and intensity. The existence of such a finite-size scaling completes and justifies the classification of the photon-blockade-breakdown effect as a first-order dissipative quantum phase transition. AU - Vukics, A. AU - Dombi, A. AU - Fink, Johannes M AU - Domokos, P. ID - 7451 JF - Quantum SN - 2521-327X TI - Finite-size scaling of the photon-blockade breakdown dissipative quantum phase transition VL - 3 ER - TY - CONF AB - We present a new proximal bundle method for Maximum-A-Posteriori (MAP) inference in structured energy minimization problems. The method optimizes a Lagrangean relaxation of the original energy minimization problem using a multi plane block-coordinate Frank-Wolfe method that takes advantage of the specific structure of the Lagrangean decomposition. We show empirically that our method outperforms state-of-the-art Lagrangean decomposition based algorithms on some challenging Markov Random Field, multi-label discrete tomography and graph matching problems. AU - Swoboda, Paul AU - Kolmogorov, Vladimir ID - 7468 SN - 10636919 T2 - Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition TI - Map inference via block-coordinate Frank-Wolfe algorithm VL - 2019-June ER - TY - JOUR AU - Morandell, Jasmin AU - Nicolas, Armel AU - Schwarz, Lena A AU - Novarino, Gaia ID - 7415 IS - Supplement 6 JF - European Neuropsychopharmacology SN - 0924-977X TI - S.16.05 Illuminating the role of the e3 ubiquitin ligase cullin3 in brain development and autism VL - 29 ER - TY - JOUR AU - Knaus, Lisa AU - Tarlungeanu, Dora-Clara AU - Novarino, Gaia ID - 7414 IS - Supplement 6 JF - European Neuropsychopharmacology SN - 0924-977X TI - S.16.03 A homozygous missense mutation in SLC7A5 leads to autism spectrum disorder and microcephaly VL - 29 ER - TY - JOUR AU - Benková, Eva AU - Dagdas, Yasin ID - 7394 IS - 12 JF - Current Opinion in Plant Biology SN - 1369-5266 TI - Editorial overview: Cell biology in the era of omics? VL - 52 ER - TY - CONF AB - Multi-exit architectures, in which a stack of processing layers is interleaved with early output layers, allow the processing of a test example to stop early and thus save computation time and/or energy. In this work, we propose a new training procedure for multi-exit architectures based on the principle of knowledge distillation. The method encourage searly exits to mimic later, more accurate exits, by matching their output probabilities. Experiments on CIFAR100 and ImageNet show that distillation-based training significantly improves the accuracy of early exits while maintaining state-of-the-art accuracy for late ones. The method is particularly beneficial when training data is limited and it allows a straightforward extension to semi-supervised learning,i.e. making use of unlabeled data at training time. Moreover, it takes only afew lines to implement and incurs almost no computational overhead at training time, and none at all at test time. AU - Bui Thi Mai, Phuong AU - Lampert, Christoph ID - 7479 SN - 15505499 T2 - IEEE International Conference on Computer Vision TI - Distillation-based training for multi-exit architectures VL - 2019-October ER - TY - CONF AB - We present a novel class of convolutional neural networks (CNNs) for set functions,i.e., data indexed with the powerset of a finite set. The convolutions are derivedas linear, shift-equivariant functions for various notions of shifts on set functions.The framework is fundamentally different from graph convolutions based on theLaplacian, as it provides not one but several basic shifts, one for each element inthe ground set. Prototypical experiments with several set function classificationtasks on synthetic datasets and on datasets derived from real-world hypergraphsdemonstrate the potential of our new powerset CNNs. AU - Wendler, Chris AU - Alistarh, Dan-Adrian AU - Püschel, Markus ID - 7542 SN - 1049-5258 TI - Powerset convolutional neural networks VL - 32 ER - TY - CHAP AB - Social insects (i.e., ants, termites and the social bees and wasps) protect their colonies from disease using a combination of individual immunity and collectively performed defenses, termed social immunity. The first line of social immune defense is sanitary care, which is performed by colony members to protect their pathogen-exposed nestmates from developing an infection. If sanitary care fails and an infection becomes established, a second line of social immune defense is deployed to stop disease transmission within the colony and to protect the valuable queens, which together with the males are the reproductive individuals of the colony. Insect colonies are separated into these reproductive individuals and the sterile worker force, forming a superorganismal reproductive unit reminiscent of the differentiated germline and soma in a multicellular organism. Ultimately, the social immune response preserves the germline of the superorganism insect colony and increases overall fitness of the colony in case of disease. AU - Cremer, Sylvia AU - Kutzer, Megan ED - Choe, Jae ID - 7513 SN - 9780128132517 T2 - Encyclopedia of Animal Behavior TI - Social immunity ER - TY - CONF AB - Bending-active structures are able to efficiently produce complex curved shapes starting from flat panels. The desired deformation of the panels derives from the proper selection of their elastic properties. Optimized panels, called FlexMaps, are designed such that, once they are bent and assembled, the resulting static equilibrium configuration matches a desired input 3D shape. The FlexMaps elastic properties are controlled by locally varying spiraling geometric mesostructures, which are optimized in size and shape to match the global curvature (i.e., bending requests) of the target shape. The design pipeline starts from a quad mesh representing the input 3D shape, which defines the edge size and the total amount of spirals: every quad will embed one spiral. Then, an optimization algorithm tunes the geometry of the spirals by using a simplified pre-computed rod model. This rod model is derived from a non-linear regression algorithm which approximates the non-linear behavior of solid FEM spiral models subject to hundreds of load combinations. This innovative pipeline has been applied to the project of a lightweight plywood pavilion named FlexMaps Pavilion, which is a single-layer piecewise twisted arc that fits a bounding box of 3.90x3.96x3.25 meters. AU - Laccone, Francesco AU - Malomo, Luigi AU - Perez Rodriguez, Jesus AU - Pietroni, Nico AU - Ponchio, Federico AU - Bickel, Bernd AU - Cignoni, Paolo ID - 9261 SN - 2518-6582 T2 - IASS Symposium 2019 - 60th Anniversary Symposium of the International Association for Shell and Spatial Structures; Structural Membranes 2019 - 9th International Conference on Textile Composites and Inflatable Structures, FORM and FORCE TI - FlexMaps Pavilion: A twisted arc made of mesostructured flat flexible panels ER - TY - CONF AB - We propose a new model for detecting visual relationships, such as "person riding motorcycle" or "bottle on table". This task is an important step towards comprehensive structured mage understanding, going beyond detecting individual objects. Our main novelty is a Box Attention mechanism that allows to model pairwise interactions between objects using standard object detection pipelines. The resulting model is conceptually clean, expressive and relies on well-justified training and prediction procedures. Moreover, unlike previously proposed approaches, our model does not introduce any additional complex components or hyperparameters on top of those already required by the underlying detection model. We conduct an experimental evaluation on two datasets, V-COCO and Open Images, demonstrating strong quantitative and qualitative results. AU - Kolesnikov, Alexander AU - Kuznetsova, Alina AU - Lampert, Christoph AU - Ferrari, Vittorio ID - 7640 SN - 9781728150239 T2 - Proceedings of the 2019 International Conference on Computer Vision Workshop TI - Detecting visual relationships using box attention ER - TY - CONF AB - Deep neural networks (DNNs) have become increasingly important due to their excellent empirical performance on a wide range of problems. However, regularization is generally achieved by indirect means, largely due to the complex set of functions defined by a network and the difficulty in measuring function complexity. There exists no method in the literature for additive regularization based on a norm of the function, as is classically considered in statistical learning theory. In this work, we study the tractability of function norms for deep neural networks with ReLU activations. We provide, to the best of our knowledge, the first proof in the literature of the NP-hardness of computing function norms of DNNs of 3 or more layers. We also highlight a fundamental difference between shallow and deep networks. In the light on these results, we propose a new regularization strategy based on approximate function norms, and show its efficiency on a segmentation task with a DNN. AU - Rannen-Triki, Amal AU - Berman, Maxim AU - Kolmogorov, Vladimir AU - Blaschko, Matthew B. ID - 7639 SN - 9781728150239 T2 - Proceedings of the 2019 International Conference on Computer Vision Workshop TI - Function norms for neural networks ER - TY - CHAP AB - We review the history of population genetics, starting with its origins a century ago from the synthesis between Mendel and Darwin's ideas, through to the recent development of sophisticated schemes of inference from sequence data, based on the coalescent. We explain the close relation between the coalescent and a diffusion process, which we illustrate by their application to understand spatial structure. We summarise the powerful methods available for analysis of multiple loci, when linkage equilibrium can be assumed, and then discuss approaches to the more challenging case, where associations between alleles require that we follow genotype, rather than allele, frequencies. Though we can hardly cover the whole of population genetics, we give an overview of the current state of the subject, and future challenges to it. AU - Barton, Nicholas H AU - Etheridge, Alison ED - Balding, David ED - Moltke, Ida ED - Marioni, John ID - 8281 SN - 9781119429142 T2 - Handbook of statistical genomics TI - Mathematical models in population genetics ER -