TY - CONF AB - Graph games and Markov decision processes (MDPs) are standard models in reactive synthesis and verification of probabilistic systems with nondeterminism. The class of 𝜔 -regular winning conditions; e.g., safety, reachability, liveness, parity conditions; provides a robust and expressive specification formalism for properties that arise in analysis of reactive systems. The resolutions of nondeterminism in games and MDPs are represented as strategies, and we consider succinct representation of such strategies. The decision-tree data structure from machine learning retains the flavor of decisions of strategies and allows entropy-based minimization to obtain succinct trees. However, in contrast to traditional machine-learning problems where small errors are allowed, for winning strategies in graph games and MDPs no error is allowed, and the decision tree must represent the entire strategy. In this work we propose decision trees with linear classifiers for representation of strategies in graph games and MDPs. We have implemented strategy representation using this data structure and we present experimental results for problems on graph games and MDPs, which show that this new data structure presents a much more efficient strategy representation as compared to standard decision trees. AU - Ashok, Pranav AU - BrĂĄzdil, TomĂĄĆĄ AU - Chatterjee, Krishnendu AU - KƙetĂ­nskĂœ, Jan AU - Lampert, Christoph AU - Toman, Viktor ID - 6942 SN - 0302-9743 T2 - 16th International Conference on Quantitative Evaluation of Systems TI - Strategy representation by decision trees with linear classifiers VL - 11785 ER - TY - JOUR AB - We study few-body bound states of charged particles subject to attractive zero-range/short-range plus repulsive Coulomb interparticle forces. The characteristic length scales of the system at zero energy are set by the Coulomb length scale D and the Coulomb-modified effective range r eff. We study shallow bound states of charged particles with D >> r eff and show that these systems obey universal scaling laws different from neutral particles. An accurate description of these states requires both the Coulomb-modified scattering length and the effective range unless the Coulomb interaction is very weak (D -> ). Our findings are relevant for bound states whose spatial extent is significantly larger than the range of the attractive potential. These states enjoy universality – their character is independent of the shape of the short-range potential. AU - Schmickler, C.H. AU - Hammer, H.-W. AU - Volosniev, Artem ID - 6955 JF - Physics Letters B SN - 0370-2693 TI - Universal physics of bound states of a few charged particles VL - 798 ER - TY - JOUR AB - Activity-dependent bulk endocytosis generates synaptic vesicles (SVs) during intense neuronal activity via a two-step process. First, bulk endosomes are formed direct from the plasma membrane from which SVs are then generated. SV generation from bulk endosomes requires the efflux of previously accumulated calcium and activation of the protein phosphatase calcineurin. However, it is still unknown how calcineurin mediates SV generation. We addressed this question using a series of acute interventions that decoupled the generation of SVs from bulk endosomes in rat primary neuronal culture. This was achieved by either disruption of protein–protein interactions via delivery of competitive peptides, or inhibition of enzyme activity by known inhibitors. SV generation was monitored using either a morphological horseradish peroxidase assay or an optical assay that monitors the replenishment of the reserve SV pool. We found that SV generation was inhibited by, (i) peptides that disrupt calcineurin interactions, (ii) an inhibitor of dynamin I GTPase activity and (iii) peptides that disrupt the phosphorylation-dependent dynamin I–syndapin I interaction. Peptides that disrupted syndapin I interactions with eps15 homology domain-containing proteins had no effect. This revealed that (i) calcineurin must be localized at bulk endosomes to mediate its effect, (ii) dynamin I GTPase activity is essential for SV fission and (iii) the calcineurin-dependent interaction between dynamin I and syndapin I is essential for SV generation. We therefore propose that a calcineurin-dependent dephosphorylation cascade that requires both dynamin I GTPase and syndapin I lipid-deforming activity is essential for SV generation from bulk endosomes. AU - Cheung, Giselle T AU - Cousin, Michael A. ID - 7005 IS - 5 JF - Journal of Neurochemistry SN - 0022-3042 TI - Synaptic vesicle generation from activity‐dependent bulk endosomes requires a dephosphorylation‐dependent dynamin–syndapin interaction VL - 151 ER - TY - JOUR AB - The main contributions of this paper are the proposition and the convergence analysis of a class of inertial projection-type algorithm for solving variational inequality problems in real Hilbert spaces where the underline operator is monotone and uniformly continuous. We carry out a unified analysis of the proposed method under very mild assumptions. In particular, weak convergence of the generated sequence is established and nonasymptotic O(1 / n) rate of convergence is established, where n denotes the iteration counter. We also present some experimental results to illustrate the profits gained by introducing the inertial extrapolation steps. AU - Shehu, Yekini AU - Iyiola, Olaniyi S. AU - Li, Xiao-Huan AU - Dong, Qiao-Li ID - 7000 IS - 4 JF - Computational and Applied Mathematics SN - 2238-3603 TI - Convergence analysis of projection method for variational inequalities VL - 38 ER - TY - JOUR AB - In pipes and channels, the onset of turbulence is initially dominated by localizedtransients, which lead to sustained turbulence through their collective dynamics. In thepresent work, we study numerically the localized turbulence in pipe flow and elucidate astate space structure that gives rise to transient chaos. Starting from the basin boundaryseparating laminar and turbulent flow, we identify transverse homoclinic orbits, thepresence of which necessitates a homoclinic tangle and chaos. A direct consequence ofthe homoclinic tangle is the fractal nature of the laminar-turbulent boundary, which wasconjectured in various earlier studies. By mapping the transverse intersections between thestable and unstable manifold of a periodic orbit, we identify the gateways that promote anescape from turbulence. AU - Budanur, Nazmi B AU - Dogra, Akshunna AU - Hof, Björn ID - 6978 IS - 10 JF - Physical Review Fluids TI - Geometry of transient chaos in streamwise-localized pipe flow turbulence VL - 4 ER - TY - JOUR AB - Effective design of combination therapies requires understanding the changes in cell physiology that result from drug interactions. Here, we show that the genome-wide transcriptional response to combinations of two drugs, measured at a rigorously controlled growth rate, can predict higher-order antagonism with a third drug in Saccharomyces cerevisiae. Using isogrowth profiling, over 90% of the variation in cellular response can be decomposed into three principal components (PCs) that have clear biological interpretations. We demonstrate that the third PC captures emergent transcriptional programs that are dependent on both drugs and can predict antagonism with a third drug targeting the emergent pathway. We further show that emergent gene expression patterns are most pronounced at a drug ratio where the drug interaction is strongest, providing a guideline for future measurements. Our results provide a readily applicable recipe for uncovering emergent responses in other systems and for higher-order drug combinations. A record of this paper’s transparent peer review process is included in the Supplemental Information. AU - Lukacisin, Martin AU - Bollenbach, Tobias ID - 7026 IS - 5 JF - Cell Systems SN - 2405-4712 TI - Emergent gene expression responses to drug combinations predict higher-order drug interactions VL - 9 ER - 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 - 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 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 -