@inproceedings{6942, abstract = {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.}, author = {Ashok, Pranav and BrĂĄzdil, TomĂĄĆĄ and Chatterjee, Krishnendu and KƙetĂ­nskĂœ, Jan and Lampert, Christoph and Toman, Viktor}, booktitle = {16th International Conference on Quantitative Evaluation of Systems}, isbn = {9783030302801}, issn = {0302-9743}, location = {Glasgow, United Kingdom}, pages = {109--128}, publisher = {Springer Nature}, title = {{Strategy representation by decision trees with linear classifiers}}, doi = {10.1007/978-3-030-30281-8_7}, volume = {11785}, year = {2019}, } @article{6955, abstract = {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.}, author = {Schmickler, C.H. and Hammer, H.-W. and Volosniev, Artem}, issn = {0370-2693}, journal = {Physics Letters B}, publisher = {Elsevier}, title = {{Universal physics of bound states of a few charged particles}}, doi = {10.1016/j.physletb.2019.135016}, volume = {798}, year = {2019}, } @article{7005, abstract = {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.}, author = {Cheung, Giselle T and Cousin, Michael A.}, issn = {1471-4159}, journal = {Journal of Neurochemistry}, number = {5}, pages = {570--583}, publisher = {Wiley}, title = {{Synaptic vesicle generation from activity‐dependent bulk endosomes requires a dephosphorylation‐dependent dynamin–syndapin interaction}}, doi = {10.1111/jnc.14862}, volume = {151}, year = {2019}, } @article{7000, abstract = {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.}, author = {Shehu, Yekini and Iyiola, Olaniyi S. and Li, Xiao-Huan and Dong, Qiao-Li}, issn = {1807-0302}, journal = {Computational and Applied Mathematics}, number = {4}, publisher = {Springer Nature}, title = {{Convergence analysis of projection method for variational inequalities}}, doi = {10.1007/s40314-019-0955-9}, volume = {38}, year = {2019}, } @article{6978, abstract = {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.}, author = {Budanur, Nazmi B and Dogra, Akshunna and Hof, Björn}, journal = {Physical Review Fluids}, number = {10}, pages = {102401}, publisher = {American Physical Society}, title = {{Geometry of transient chaos in streamwise-localized pipe flow turbulence}}, doi = {10.1103/PhysRevFluids.4.102401}, volume = {4}, year = {2019}, } @article{7026, abstract = {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.}, author = {Lukacisin, Martin and Bollenbach, Tobias}, issn = {2405-4712}, journal = {Cell Systems}, number = {5}, pages = {423--433.e1--e3}, publisher = {Cell Press}, title = {{Emergent gene expression responses to drug combinations predict higher-order drug interactions}}, doi = {10.1016/j.cels.2019.10.004}, volume = {9}, year = {2019}, } @article{7034, abstract = {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.}, author = {Fulek, Radoslav and Kynčl, Jan}, issn = {1439-6912}, journal = {Combinatorica}, number = {6}, pages = {1267--1279}, publisher = {Springer Nature}, title = {{Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4}}, doi = {10.1007/s00493-019-3905-7}, volume = {39}, year = {2019}, } @article{7095, abstract = {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.}, author = {Maes, Margaret E and Grosser, J. A. and Fehrman, R. L. and Schlamp, C. L. and Nickells, R. W.}, issn = {2045-2322}, journal = {Scientific Reports}, publisher = {Springer Nature}, title = {{Completion of BAX recruitment correlates with mitochondrial fission during apoptosis}}, doi = {10.1038/s41598-019-53049-w}, volume = {9}, year = {2019}, } @article{7097, abstract = {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.}, author = {Nagano, Makoto and Toshima, Junko Y. and Siekhaus, Daria E and Toshima, Jiro}, issn = {2399-3642}, journal = {Communications Biology}, number = {1}, publisher = {Springer Nature}, title = {{Rab5-mediated endosome formation is regulated at the trans-Golgi network}}, doi = {10.1038/s42003-019-0670-5}, volume = {2}, year = {2019}, } @article{7099, author = {Kasugai, Yu and Vogel, Elisabeth and Hörtnagl, Heide and Schönherr, Sabine and Paradiso, Enrica and Hauschild, Markus and Göbel, Georg and Milenkovic, Ivan and Peterschmitt, Yvan and Tasan, Ramon and Sperk, GĂŒnther and Shigemoto, Ryuichi and Sieghart, Werner and Singewald, Nicolas and LĂŒthi, Andreas and Ferraguti, Francesco}, issn = {0896-6273}, journal = {Neuron}, number = {4}, pages = {781--794.e4}, publisher = {Elsevier}, title = {{Structural and functional remodeling of amygdala GABAergic synapses in associative fear learning}}, doi = {10.1016/j.neuron.2019.08.013}, volume = {104}, year = {2019}, }