TY - JOUR AB - Human neurons transplanted into a mouse model for Alzheimer’s disease show human-specific vulnerability to β-amyloid plaques and may help to identify new therapeutic targets. AU - Novarino, Gaia ID - 656 IS - 381 JF - Science Translational Medicine SN - 19466234 TI - Modeling Alzheimer's disease in mice with human neurons VL - 9 ER - TY - JOUR AB - With the accelerated development of robot technologies, control becomes one of the central themes of research. In traditional approaches, the controller, by its internal functionality, finds appropriate actions on the basis of specific objectives for the task at hand. While very successful in many applications, self-organized control schemes seem to be favored in large complex systems with unknown dynamics or which are difficult to model. Reasons are the expected scalability, robustness, and resilience of self-organizing systems. The paper presents a self-learning neurocontroller based on extrinsic differential plasticity introduced recently, applying it to an anthropomorphic musculoskeletal robot arm with attached objects of unknown physical dynamics. The central finding of the paper is the following effect: by the mere feedback through the internal dynamics of the object, the robot is learning to relate each of the objects with a very specific sensorimotor pattern. Specifically, an attached pendulum pilots the arm into a circular motion, a half-filled bottle produces axis oriented shaking behavior, a wheel is getting rotated, and wiping patterns emerge automatically in a table-plus-brush setting. By these object-specific dynamical patterns, the robot may be said to recognize the object's identity, or in other words, it discovers dynamical affordances of objects. Furthermore, when including hand coordinates obtained from a camera, a dedicated hand-eye coordination self-organizes spontaneously. These phenomena are discussed from a specific dynamical system perspective. Central is the dedicated working regime at the border to instability with its potentially infinite reservoir of (limit cycle) attractors "waiting" to be excited. Besides converging toward one of these attractors, variate behavior is also arising from a self-induced attractor morphing driven by the learning rule. We claim that experimental investigations with this anthropomorphic, self-learning robot not only generate interesting and potentially useful behaviors, but may also help to better understand what subjective human muscle feelings are, how they can be rooted in sensorimotor patterns, and how these concepts may feed back on robotics. AU - Der, Ralf AU - Martius, Georg S ID - 658 IS - MAR JF - Frontiers in Neurorobotics SN - 16625218 TI - Self organized behavior generation for musculoskeletal robots VL - 11 ER - TY - JOUR AB - Migration frequently involves Rac-mediated protrusion of lamellipodia, formed by Arp2/3 complex-dependent branching thought to be crucial for force generation and stability of these networks. The formins FMNL2 and FMNL3 are Cdc42 effectors targeting to the lamellipodium tip and shown here to nucleate and elongate actin filaments with complementary activities in vitro. In migrating B16-F1 melanoma cells, both formins contribute to the velocity of lamellipodium protrusion. Loss of FMNL2/3 function in melanoma cells and fibroblasts reduces lamellipodial width, actin filament density and -bundling, without changing patterns of Arp2/3 complex incorporation. Strikingly, in melanoma cells, FMNL2/3 gene inactivation almost completely abolishes protrusion forces exerted by lamellipodia and modifies their ultrastructural organization. Consistently, CRISPR/Cas-mediated depletion of FMNL2/3 in fibroblasts reduces both migration and capability of cells to move against viscous media. Together, we conclude that force generation in lamellipodia strongly depends on FMNL formin activity, operating in addition to Arp2/3 complex-dependent filament branching. AU - Kage, Frieda AU - Winterhoff, Moritz AU - Dimchev, Vanessa AU - Müller, Jan AU - Thalheim, Tobias AU - Freise, Anika AU - Brühmann, Stefan AU - Kollasser, Jana AU - Block, Jennifer AU - Dimchev, Georgi A AU - Geyer, Matthias AU - Schnittler, Hams AU - Brakebusch, Cord AU - Stradal, Theresia AU - Carlier, Marie AU - Sixt, Michael K AU - Käs, Josef AU - Faix, Jan AU - Rottner, Klemens ID - 659 JF - Nature Communications SN - 20411723 TI - FMNL formins boost lamellipodial force generation VL - 8 ER - TY - JOUR AB - Growing microtubules are protected from depolymerization by the presence of a GTP or GDP/Pi cap. End-binding proteins of the EB1 family bind to the stabilizing cap, allowing monitoring of its size in real time. The cap size has been shown to correlate with instantaneous microtubule stability. Here we have quantitatively characterized the properties of cap size fluctuations during steadystate growth and have developed a theory predicting their timescale and amplitude from the kinetics of microtubule growth and cap maturation. In contrast to growth speed fluctuations, cap size fluctuations show a characteristic timescale, which is defined by the lifetime of the cap sites. Growth fluctuations affect the amplitude of cap size fluctuations; however, cap size does not affect growth speed, indicating that microtubules are far from instability during most of their time of growth. Our theory provides the basis for a quantitative understanding of microtubule stability fluctuations during steady-state growth. AU - Rickman, Jamie AU - Düllberg, Christian F AU - Cade, Nicholas AU - Griffin, Lewis AU - Surrey, Thomas ID - 660 IS - 13 JF - PNAS SN - 00278424 TI - Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation VL - 114 ER - TY - JOUR AB - We report a direct-numerical-simulation study of the Taylor-Couette flow in the quasi-Keplerian regime at shear Reynolds numbers up to (105). Quasi-Keplerian rotating flow has been investigated for decades as a simplified model system to study the origin of turbulence in accretion disks that is not fully understood. The flow in this study is axially periodic and thus the experimental end-wall effects on the stability of the flow are avoided. Using optimal linear perturbations as initial conditions, our simulations find no sustained turbulence: the strong initial perturbations distort the velocity profile and trigger turbulence that eventually decays. AU - Shi, Liang AU - Hof, Björn AU - Rampp, Markus AU - Avila, Marc ID - 662 IS - 4 JF - Physics of Fluids SN - 10706631 TI - Hydrodynamic turbulence in quasi Keplerian rotating flows VL - 29 ER - TY - CONF AB - In this paper, we propose an approach to automatically compute invariant clusters for nonlinear semialgebraic hybrid systems. An invariant cluster for an ordinary differential equation (ODE) is a multivariate polynomial invariant g(u→, x→) = 0, parametric in u→, which can yield an infinite number of concrete invariants by assigning different values to u→ so that every trajectory of the system can be overapproximated precisely by the intersection of a group of concrete invariants. For semialgebraic systems, which involve ODEs with multivariate polynomial right-hand sides, given a template multivariate polynomial g(u→, x→), an invariant cluster can be obtained by first computing the remainder of the Lie derivative of g(u→, x→) divided by g(u→, x→) and then solving the system of polynomial equations obtained from the coefficients of the remainder. Based on invariant clusters and sum-of-squares (SOS) programming, we present a new method for the safety verification of hybrid systems. Experiments on nonlinear benchmark systems from biology and control theory show that our approach is efficient. AU - Kong, Hui AU - Bogomolov, Sergiy AU - Schilling, Christian AU - Jiang, Yu AU - Henzinger, Thomas A ID - 663 SN - 978-145034590-3 T2 - Proceedings of the 20th International Conference on Hybrid Systems TI - Safety verification of nonlinear hybrid systems based on invariant clusters ER - TY - JOUR AB - Perinatal exposure to penicillin may result in longlasting gut and behavioral changes. AU - Novarino, Gaia ID - 667 IS - 387 JF - Science Translational Medicine SN - 19466234 TI - The antisocial side of antibiotics VL - 9 ER - TY - JOUR AB - Macrophage filopodia, finger-like membrane protrusions, were first implicated in phagocytosis more than 100 years ago, but little is still known about the involvement of these actin-dependent structures in particle clearance. Using spinning disk confocal microscopy to image filopodial dynamics in mouse resident Lifeact-EGFP macrophages, we show that filopodia, or filopodia-like structures, support pathogen clearance by multiple means. Filopodia supported the phagocytic uptake of bacterial (Escherichia coli) particles by (i) capturing along the filopodial shaft and surfing toward the cell body, the most common mode of capture; (ii) capturing via the tip followed by retraction; (iii) combinations of surfing and retraction; or (iv) sweeping actions. In addition, filopodia supported the uptake of zymosan (Saccharomyces cerevisiae) particles by (i) providing fixation, (ii) capturing at the tip and filopodia-guided actin anterograde flow with phagocytic cup formation, and (iii) the rapid growth of new protrusions. To explore the role of filopodia-inducing Cdc42, we generated myeloid-restricted Cdc42 knock-out mice. Cdc42-deficient macrophages exhibited rapid phagocytic cup kinetics, but reduced particle clearance, which could be explained by the marked rounded-up morphology of these cells. Macrophages lacking Myo10, thought to act downstream of Cdc42, had normal morphology, motility, and phagocytic cup formation, but displayed markedly reduced filopodia formation. In conclusion, live-cell imaging revealed multiple mechanisms involving macrophage filopodia in particle capture and engulfment. Cdc42 is not critical for filopodia or phagocytic cup formation, but plays a key role in driving macrophage lamellipodial spreading. AU - Horsthemke, Markus AU - Bachg, Anne AU - Groll, Katharina AU - Moyzio, Sven AU - Müther, Barbara AU - Hemkemeyer, Sandra AU - Wedlich Söldner, Roland AU - Sixt, Michael K AU - Tacke, Sebastian AU - Bähler, Martin AU - Hanley, Peter ID - 668 IS - 17 JF - Journal of Biological Chemistry SN - 00219258 TI - Multiple roles of filopodial dynamics in particle capture and phagocytosis and phenotypes of Cdc42 and Myo10 deletion VL - 292 ER - TY - JOUR AB - The exocyst, a eukaryotic tethering complex, coregulates targeted exocytosis as an effector of small GTPases in polarized cell growth. In land plants, several exocyst subunits are encoded by double or triple paralogs, culminating in tens of EXO70 paralogs. Out of 23 Arabidopsis thaliana EXO70 isoforms, we analyzed seven isoforms expressed in pollen. Genetic and microscopic analyses of single mutants in EXO70A2, EXO70C1, EXO70C2, EXO70F1, EXO70H3, EXO70H5, and EXO70H6 genes revealed that only a loss-of-function EXO70C2 allele resulted in a significant male-specific transmission defect (segregation 40%:51%:9%) due to aberrant pollen tube growth. Mutant pollen tubes grown in vitro exhibited an enhanced growth rate and a decreased thickness of the tip cell wall, causing tip bursts. However, exo70C2 pollen tubes could frequently recover and restart their speedy elongation, resulting in a repetitive stop-and-go growth dynamics. A pollenspecific depletion of the closest paralog, EXO70C1, using artificial microRNA in the exo70C2 mutant background, resulted in a complete pollen-specific transmission defect, suggesting redundant functions of EXO70C1 and EXO70C2. Both EXO70C1 and EXO70C2, GFP tagged and expressed under the control of their native promoters, localized in the cytoplasm of pollen grains, pollen tubes, and also root trichoblast cells. The expression of EXO70C2-GFP complemented the aberrant growth of exo70C2 pollen tubes. The absent EXO70C2 interactions with core exocyst subunits in the yeast two-hybrid assay, cytoplasmic localization, and genetic effect suggest an unconventional EXO70 function possibly as a regulator of exocytosis outside the exocyst complex. In conclusion, EXO70C2 is a novel factor contributing to the regulation of optimal tip growth of Arabidopsis pollen tubes. AU - Synek, Lukáš AU - Vukašinović, Nemanja AU - Kulich, Ivan AU - Hála, Michal AU - Aldorfová, Klára AU - Fendrych, Matyas AU - Žárský, Viktor ID - 669 IS - 1 JF - Plant Physiology SN - 00320889 TI - EXO70C2 is a key regulatory factor for optimal tip growth of pollen VL - 174 ER - TY - CONF AB - Polar codes represent one of the major recent breakthroughs in coding theory and, because of their attractive features, they have been selected for the incoming 5G standard. As such, a lot of attention has been devoted to the development of decoding algorithms with good error performance and efficient hardware implementation. One of the leading candidates in this regard is represented by successive-cancellation list (SCL) decoding. However, its hardware implementation requires a large amount of memory. Recently, a partitioned SCL (PSCL) decoder has been proposed to significantly reduce the memory consumption [1]. In this paper, we examine the paradigm of PSCL decoding from both theoretical and practical standpoints: (i) by changing the construction of the code, we are able to improve the performance at no additional computational, latency or memory cost, (ii) we present an optimal scheme to allocate cyclic redundancy checks (CRCs), and (iii) we provide an upper bound on the list size that allows MAP performance. AU - Hashemi, Seyyed Ali AU - Mondelli, Marco AU - Hassani, Hamed AU - Urbanke, Ruediger AU - Gross, Warren ID - 6679 T2 - 2017 IEEE Global Communications Conference TI - Partitioned list decoding of polar codes: Analysis and improvement of finite length performance ER - TY - JOUR AB - Humans routinely use conditionally cooperative strategies when interacting in repeated social dilemmas. They are more likely to cooperate if others cooperated before, and are ready to retaliate if others defected. To capture the emergence of reciprocity, most previous models consider subjects who can only choose from a restricted set of representative strategies, or who react to the outcome of the very last round only. As players memorize more rounds, the dimension of the strategy space increases exponentially. This increasing computational complexity renders simulations for individuals with higher cognitive abilities infeasible, especially if multiplayer interactions are taken into account. Here, we take an axiomatic approach instead. We propose several properties that a robust cooperative strategy for a repeated multiplayer dilemma should have. These properties naturally lead to a unique class of cooperative strategies, which contains the classical Win-Stay Lose-Shift rule as a special case. A comprehensive numerical analysis for the prisoner's dilemma and for the public goods game suggests that strategies of this class readily evolve across various memory-n spaces. Our results reveal that successful strategies depend not only on how cooperative others were in the past but also on the respective context of cooperation. AU - Hilbe, Christian AU - Martinez, Vaquero AU - Chatterjee, Krishnendu AU - Nowak, Martin ID - 671 IS - 18 JF - PNAS SN - 00278424 TI - Memory-n strategies of direct reciprocity VL - 114 ER - TY - JOUR AB - We propose an efficient method to model paper tearing in the context of interactive modeling. The method uses geometrical information to automatically detect potential starting points of tears. We further introduce a new hybrid geometrical and physical-based method to compute the trajectory of tears while procedurally synthesizing high resolution details of the tearing path using a texture based approach. The results obtained are compared with real paper and with previous studies on the expected geometric paths of paper that tears. AU - Schreck, Camille AU - Rohmer, Damien AU - Hahmann, Stefanie ID - 670 IS - 2 JF - Computer Graphics Forum SN - 01677055 TI - Interactive paper tearing VL - 36 ER - TY - JOUR AB - Trafficking cells frequently transmigrate through epithelial and endothelial monolayers. How monolayers cooperate with the penetrating cells to support their transit is poorly understood. We studied dendritic cell (DC) entry into lymphatic capillaries as a model system for transendothelial migration. We find that the chemokine CCL21, which is the decisive guidance cue for intravasation, mainly localizes in the trans-Golgi network and intracellular vesicles of lymphatic endothelial cells. Upon DC transmigration, these Golgi deposits disperse and CCL21 becomes extracellularly enriched at the sites of endothelial cell-cell junctions. When we reconstitute the transmigration process in vitro, we find that secretion of CCL21-positive vesicles is triggered by a DC contact-induced calcium signal, and selective calcium chelation in lymphatic endothelium attenuates transmigration. Altogether, our data demonstrate a chemokine-mediated feedback between DCs and lymphatic endothelium, which facilitates transendothelial migration. AU - Vaahtomeri, Kari AU - Brown, Markus AU - Hauschild, Robert AU - De Vries, Ingrid AU - Leithner, Alexander F AU - Mehling, Matthias AU - Kaufmann, Walter AU - Sixt, Michael K ID - 672 IS - 5 JF - Cell Reports SN - 22111247 TI - Locally triggered release of the chemokine CCL21 promotes dendritic cell transmigration across lymphatic endothelia VL - 19 ER - TY - CONF AB - Consider the problem of constructing a polar code of block length N for the transmission over a given channel W. Typically this requires to compute the reliability of all the N synthetic channels and then to include those that are sufficiently reliable. However, we know from [1], [2] that there is a partial order among the synthetic channels. Hence, it is natural to ask whether we can exploit it to reduce the computational burden of the construction problem. We show that, if we take advantage of the partial order [1], [2], we can construct a polar code by computing the reliability of roughly N/ log 3/2 N synthetic channels. Such a set of synthetic channels is universal, in the sense that it allows one to construct polar codes for any W, and it can be identified by solving a maximum matching problem on a bipartite graph. Our proof technique consists in reducing the construction problem to the problem of computing the maximum cardinality of an antichain for a suitable partially ordered set. As such, this method is general and it can be used to further improve the complexity of the construction problem in case a new partial order on the synthetic channels of polar codes is discovered. AU - Mondelli, Marco AU - Hassani, S. Hamed AU - Urbanke, Rudiger ID - 6729 SN - 9781509040964 T2 - 2017 IEEE International Symposium on Information Theory TI - Construction of polar codes with sublinear complexity ER - TY - JOUR AB - We introduce a new approach to proving that a sequence of deterministic linear codes achieves capacity on an erasure channel under maximum a posteriori decoding. Rather than relying on the precise structure of the codes, our method exploits code symmetry. In particular, the technique applies to any sequence of linear codes where the blocklengths are strictly increasing, the code rates converge, and the permutation group of each code is doubly transitive. In other words, we show that symmetry alone implies near-optimal performance. An important consequence of this result is that a sequence of Reed-Muller codes with increasing block length and converging rate achieves capacity. This possibility has been suggested previously in the literature but it has only been proven for cases where the limiting code rate is 0 or 1. Moreover, these results extend naturally to all affine-invariant codes and, thus, to extended primitive narrow-sense BCH codes. This also resolves, in the affirmative, the existence question for capacity-achieving sequences of binary cyclic codes. The primary tools used in the proof are the sharp threshold property for symmetric monotone Boolean functions and the area theorem for extrinsic information transfer functions. AU - Kudekar, Shrinivas AU - Kumar, Santhosh AU - Mondelli, Marco AU - Pfister, Henry D. AU - Sasoglu, Eren AU - Urbanke, Ridiger L. ID - 6730 IS - 7 JF - IEEE Transactions on Information Theory SN - 0018-9448 TI - Reed–Muller codes achieve capacity on erasure channels VL - 63 ER - TY - JOUR AB - Navigation of cells along gradients of guidance cues is a determining step in many developmental and immunological processes. Gradients can either be soluble or immobilized to tissues as demonstrated for the haptotactic migration of dendritic cells (DCs) toward higher concentrations of immobilized chemokine CCL21. To elucidate how gradient characteristics govern cellular response patterns, we here introduce an in vitro system allowing to track migratory responses of DCs to precisely controlled immobilized gradients of CCL21. We find that haptotactic sensing depends on the absolute CCL21 concentration and local steepness of the gradient, consistent with a scenario where DC directionality is governed by the signal-to-noise ratio of CCL21 binding to the receptor CCR7. We find that the conditions for optimal DC guidance are perfectly provided by the CCL21 gradients we measure in vivo. Furthermore, we find that CCR7 signal termination by the G-protein-coupled receptor kinase 6 (GRK6) is crucial for haptotactic but dispensable for chemotactic CCL21 gradient sensing in vitro and confirm those observations in vivo. These findings suggest that stable, tissue-bound CCL21 gradients as sustainable “roads” ensure optimal guidance in vivo. AU - Schwarz, Jan AU - Bierbaum, Veronika AU - Vaahtomeri, Kari AU - Hauschild, Robert AU - Brown, Markus AU - De Vries, Ingrid AU - Leithner, Alexander F AU - Reversat, Anne AU - Merrin, Jack AU - Tarrant, Teresa AU - Bollenbach, Tobias AU - Sixt, Michael K ID - 674 IS - 9 JF - Current Biology SN - 09609822 TI - Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6 VL - 27 ER - TY - CONF AB - We present a rate-compatible polar coding scheme that achieves the capacity of any family of channels. Our solution generalizes the previous results [1], [2] that provide capacity-achieving rate-compatible polar codes for a degraded family of channels. The motivation for our extension comes from the fact that in many practical scenarios, e.g., MIMO systems and non-Gaussian interference, the channels cannot be ordered by degradation. The main technical contribution of this paper consists in removing the degradation condition. To do so, we exploit the ideas coming from the construction of universal polar codes. Our scheme possesses the usual attractive features of polar codes: low complexity code construction, encoding, and decoding; super-polynomial scaling of the error probability with the block length; and absence of error floors. On the negative side, the scaling of the gap to capacity with the block length is slower than in standard polar codes, and we prove an upper bound on the scaling exponent. AU - Mondelli, Marco AU - Hassani, Hamed AU - Maric, Ivana AU - Hui, Dennis AU - Hong, Song-Nam ID - 6731 SN - 9781509059089 T2 - 2017 IEEE Wireless Communications and Networking Conference Workshops TI - Capacity-achieving rate-compatible polar codes for general channels ER - TY - JOUR AB - The INO80 complex (INO80-C) is an evolutionarily conserved nucleosome remodeler that acts in transcription, replication, and genome stability. It is required for resistance against genotoxic agents and is involved in the repair of DNA double-strand breaks (DSBs) by homologous recombination (HR). However, the causes of the HR defect in INO80-C mutant cells are controversial. Here, we unite previous findings using a system to study HR with high spatial resolution in budding yeast. We find that INO80-C has at least two distinct functions during HR—DNA end resection and presynaptic filament formation. Importantly, the second function is linked to the histone variant H2A.Z. In the absence of H2A.Z, presynaptic filament formation and HR are restored in INO80-C-deficient mutants, suggesting that presynaptic filament formation is the crucial INO80-C function during HR. AU - Lademann, Claudio AU - Renkawitz, Jörg AU - Pfander, Boris AU - Jentsch, Stefan ID - 677 IS - 7 JF - Cell Reports SN - 22111247 TI - The INO80 complex removes H2A.Z to promote presynaptic filament formation during homologous recombination VL - 19 ER - TY - JOUR AB - The seminal observation that mechanical signals can elicit changes in biochemical signalling within cells, a process commonly termed mechanosensation and mechanotransduction, has revolutionized our understanding of the role of cell mechanics in various fundamental biological processes, such as cell motility, adhesion, proliferation and differentiation. In this Review, we will discuss how the interplay and feedback between mechanical and biochemical signals control tissue morphogenesis and cell fate specification in embryonic development. AU - Petridou, Nicoletta AU - Spiro, Zoltan P AU - Heisenberg, Carl-Philipp J ID - 678 IS - 6 JF - Nature Cell Biology SN - 14657392 TI - Multiscale force sensing in development VL - 19 ER - TY - JOUR AB - Two-player games on graphs provide the theoretical framework for many important problems such as reactive synthesis. While the traditional study of two-player zero-sum games has been extended to multi-player games with several notions of equilibria, they are decidable only for perfect-information games, whereas several applications require imperfect-information. In this paper we propose a new notion of equilibria, called doomsday equilibria, which is a strategy profile where all players satisfy their own objective, and if any coalition of players deviates and violates even one of the players' objective, then the objective of every player is violated. We present algorithms and complexity results for deciding the existence of doomsday equilibria for various classes of ω-regular objectives, both for imperfect-information games, and for perfect-information games. We provide optimal complexity bounds for imperfect-information games, and in most cases for perfect-information games. AU - Chatterjee, Krishnendu AU - Doyen, Laurent AU - Filiot, Emmanuel AU - Raskin, Jean ID - 681 JF - Information and Computation SN - 08905401 TI - Doomsday equilibria for omega-regular games VL - 254 ER - TY - CONF AB - In classical machine learning, regression is treated as a black box process of identifying a suitable function from a hypothesis set without attempting to gain insight into the mechanism connecting inputs and outputs. In the natural sciences, however, finding an interpretable function for a phenomenon is the prime goal as it allows to understand and generalize results. This paper proposes a novel type of function learning network, called equation learner (EQL), that can learn analytical expressions and is able to extrapolate to unseen domains. It is implemented as an end-to-end differentiable feed-forward network and allows for efficient gradient based training. Due to sparsity regularization concise interpretable expressions can be obtained. Often the true underlying source expression is identified. AU - Martius, Georg S AU - Lampert, Christoph ID - 6841 T2 - 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings TI - Extrapolation and learning equations ER - TY - JOUR AB - We generalize winning conditions in two-player games by adding a structural acceptance condition called obligations. Obligations are orthogonal to the linear winning conditions that define whether a play is winning. Obligations are a declaration that player 0 can achieve a certain value from a configuration. If the obligation is met, the value of that configuration for player 0 is 1. We define the value in such games and show that obligation games are determined. For Markov chains with Borel objectives and obligations, and finite turn-based stochastic parity games with obligations we give an alternative and simpler characterization of the value function. Based on this simpler definition we show that the decision problem of winning finite turn-based stochastic parity games with obligations is in NP∩co-NP. We also show that obligation games provide a game framework for reasoning about p-automata. © 2017 The Association for Symbolic Logic. AU - Chatterjee, Krishnendu AU - Piterman, Nir ID - 684 IS - 2 JF - Journal of Symbolic Logic SN - 0022-4812 TI - Obligation blackwell games and p-automata VL - 82 ER - TY - JOUR AB - By applying methods and principles from the physical sciences to biological problems, D'Arcy Thompson's On Growth and Form demonstrated how mathematical reasoning reveals elegant, simple explanations for seemingly complex processes. This has had a profound influence on subsequent generations of developmental biologists. We discuss how this influence can be traced through twentieth century morphologists, embryologists and theoreticians to current research that explores the molecular and cellular mechanisms of tissue growth and patterning, including our own studies of the vertebrate neural tube. AU - Briscoe, James AU - Kicheva, Anna ID - 685 JF - Mechanisms of Development SN - 09254773 TI - The physics of development 100 years after D'Arcy Thompson's “on growth and form” VL - 145 ER - TY - CONF AB - We show that the framework of topological data analysis can be extended from metrics to general Bregman divergences, widening the scope of possible applications. Examples are the Kullback - Leibler divergence, which is commonly used for comparing text and images, and the Itakura - Saito divergence, popular for speech and sound. In particular, we prove that appropriately generalized čech and Delaunay (alpha) complexes capture the correct homotopy type, namely that of the corresponding union of Bregman balls. Consequently, their filtrations give the correct persistence diagram, namely the one generated by the uniformly growing Bregman balls. Moreover, we show that unlike the metric setting, the filtration of Vietoris-Rips complexes may fail to approximate the persistence diagram. We propose algorithms to compute the thus generalized čech, Vietoris-Rips and Delaunay complexes and experimentally test their efficiency. Lastly, we explain their surprisingly good performance by making a connection with discrete Morse theory. AU - Edelsbrunner, Herbert AU - Wagner, Hubert ID - 688 SN - 18688969 TI - Topological data analysis with Bregman divergences VL - 77 ER - TY - JOUR AB - Pursuing the similarity between the Kontsevich-Soibelman construction of the cohomological Hall algebra (CoHA) of BPS states and Lusztig's construction of canonical bases for quantum enveloping algebras, and the similarity between the integrality conjecture for motivic Donaldson-Thomas invariants and the PBW theorem for quantum enveloping algebras, we build a coproduct on the CoHA associated to a quiver with potential. We also prove a cohomological dimensional reduction theorem, further linking a special class of CoHAs with Yangians, and explaining how to connect the study of character varieties with the study of CoHAs. AU - Davison, Ben ID - 687 IS - 2 JF - Quarterly Journal of Mathematics SN - 00335606 TI - The critical CoHA of a quiver with potential VL - 68 ER - TY - JOUR AB - Tissues are thought to behave like fluids with a given surface tension. Differences in tissue surface tension (TST) have been proposed to trigger cell sorting and tissue envelopment. D'Arcy Thompson in his seminal book ‘On Growth and Form’ has introduced this concept of differential TST as a key physical mechanism dictating tissue formation and organization within the developing organism. Over the past century, many studies have picked up the concept of differential TST and analyzed the role and cell biological basis of TST in development, underlining the importance and influence of this concept in developmental biology. AU - Heisenberg, Carl-Philipp J ID - 686 JF - Mechanisms of Development SN - 09254773 TI - D'Arcy Thompson's ‘on growth and form’: From soap bubbles to tissue self organization VL - 145 ER - TY - JOUR AB - Rett syndrome modeling in monkey mirrors the human disorder. AU - Novarino, Gaia ID - 689 IS - 393 JF - Science Translational Medicine SN - 19466234 TI - Rett syndrome modeling goes simian VL - 9 ER - TY - JOUR AB - Many central synapses contain a single presynaptic active zone and a single postsynaptic density. Vesicular release statistics at such “simple synapses” indicate that they contain a small complement of docking sites where vesicles repetitively dock and fuse. In this work, we investigate functional and morphological aspects of docking sites at simple synapses made between cerebellar parallel fibers and molecular layer interneurons. Using immunogold labeling of SDS-treated freeze-fracture replicas, we find that Cav2.1 channels form several clusters per active zone with about nine channels per cluster. The mean value and range of intersynaptic variation are similar for Cav2.1 cluster numbers and for functional estimates of docking-site numbers obtained from the maximum numbers of released vesicles per action potential. Both numbers grow in relation with synaptic size and decrease by a similar extent with age between 2 wk and 4 wk postnatal. Thus, the mean docking-site numbers were 3.15 at 2 wk (range: 1–10) and 2.03 at 4 wk (range: 1–4), whereas the mean numbers of Cav2.1 clusters were 2.84 at 2 wk (range: 1–8) and 2.37 at 4 wk (range: 1–5). These changes were accompanied by decreases of miniature current amplitude (from 93 pA to 56 pA), active-zone surface area (from 0.0427 μm2 to 0.0234 μm2), and initial success rate (from 0.609 to 0.353), indicating a tightening of synaptic transmission with development. Altogether, these results suggest a close correspondence between the number of functionally defined vesicular docking sites and that of clusters of voltage-gated calcium channels. AU - Miki, Takafumi AU - Kaufmann, Walter AU - Malagon, Gerardo AU - Gomez, Laura AU - Tabuchi, Katsuhiko AU - Watanabe, Masahiko AU - Shigemoto, Ryuichi AU - Marty, Alain ID - 693 IS - 26 JF - PNAS SN - 00278424 TI - Numbers of presynaptic Ca2+ channel clusters match those of functionally defined vesicular docking sites in single central synapses VL - 114 ER - TY - CONF AB - LCLs or locally checkable labelling problems (e.g. maximal independent set, maximal matching, and vertex colouring) in the LOCAL model of computation are very well-understood in cycles (toroidal 1-dimensional grids): every problem has a complexity of O(1), Θ(log* n), or Θ(n), and the design of optimal algorithms can be fully automated. This work develops the complexity theory of LCL problems for toroidal 2-dimensional grids. The complexity classes are the same as in the 1-dimensional case: O(1), Θ(log* n), and Θ(n). However, given an LCL problem it is undecidable whether its complexity is Θ(log* n) or Θ(n) in 2-dimensional grids. Nevertheless, if we correctly guess that the complexity of a problem is Θ(log* n), we can completely automate the design of optimal algorithms. For any problem we can find an algorithm that is of a normal form A' o Sk, where A' is a finite function, Sk is an algorithm for finding a maximal independent set in kth power of the grid, and k is a constant. Finally, partially with the help of automated design tools, we classify the complexity of several concrete LCL problems related to colourings and orientations. AU - Brandt, Sebastian AU - Hirvonen, Juho AU - Korhonen, Janne H. AU - Lempiäinen, Tuomo AU - Östergård, Patric R.J. AU - Purcell, Christopher AU - Rybicki, Joel AU - Suomela, Jukka AU - Uznański, Przemysław ID - 6932 SN - 9781450349925 TI - LCL problems on grids ER - TY - JOUR AB - A change regarding the extent of adhesion - hereafter referred to as adhesion plasticity - between adhesive and less-adhesive states of mammalian cells is important for their behavior. To investigate adhesion plasticity, we have selected a stable isogenic subpopulation of human MDA-MB-468 breast carcinoma cells growing in suspension. These suspension cells are unable to re-adhere to various matrices or to contract three-dimensional collagen lattices. By using transcriptome analysis, we identified the focal adhesion protein tensin3 (Tns3) as a determinant of adhesion plasticity. Tns3 is strongly reduced at mRNA and protein levels in suspension cells. Furthermore, by transiently challenging breast cancer cells to grow under non-adherent conditions markedly reduces Tns3 protein expression, which is regained upon re-adhesion. Stable knockdown of Tns3 in parental MDA-MB-468 cells results in defective adhesion, spreading and migration. Tns3-knockdown cells display impaired structure and dynamics of focal adhesion complexes as determined by immunostaining. Restoration of Tns3 protein expression in suspension cells partially rescues adhesion and focal contact composition. Our work identifies Tns3 as a crucial focal adhesion component regulated by, and functionally contributing to, the switch between adhesive and non-adhesive states in MDA-MB-468 cancer cells. AU - Veß, Astrid AU - Blache, Ulrich AU - Leitner, Laura AU - Kurz, Angela AU - Ehrenpfordt, Anja AU - Sixt, Michael K AU - Posern, Guido ID - 694 IS - 13 JF - Journal of Cell Science SN - 00219533 TI - A dual phenotype of MDA MB 468 cancer cells reveals mutual regulation of tensin3 and adhesion plasticity VL - 130 ER - TY - JOUR AB - It has been known since Stefan Vogel's observations in 1969 that solitary female oil bees collect fatty floral oils from specialized oil-secreting plants with the aid of hairy patches on either their legs or abdomen, a reward used as food for their larvae and/or to line their brood cells. Similar adaptations are also known from male oil bees, although the purpose of their oil-collecting behavior has not yet been clarified. Here, we describe a novel pollination system involving male Paratetrapedia oil bees and the tropical herb Anthurium acutifolium. We present ultrastructural morphological details of bee and plant structures involved in this interaction and the composition of floral scents likely mediating pollinator attraction. Inflorescences of A. acutifolium were visited almost exclusively by male P. chocoensis oil bees. The bees mopped with a hairy patch of their abdominal sterna 3 across the inflorescence surface. During this activity on both staminate and pistillate stage inflorescences, bees’ abdomens and legs became loaded with pollen and contacted receptive stigmas. In contrast to what has been observed in other angiosperms visited for the collection of fatty floral oils, the inflorescences/flowers of A. acutifolium do not have structures specialized in oil secretion, i.e., elaiophores. These inflorescences, nonetheless, were strongly scented during the time interval they were visited by the bees. Gas chromatography/mass spectrometry (GC/MS) analyses of dynamic headspace floral samples revealed that inflorescences of both anthetic phases emitted scent bouquets consisting mainly of aliphatic esters, indole and uncommmon terpenoids (megastigmanes). Interestingly enough, our data suggest that the unusual floral scent of A. acutifolium is a perfume reward collected by male P. chocoensis oil bees. This pollination system thus bears a remarkable resemblence with the interactions between perfume-collecting male euglossine bees and their preferred flowers, discovered by Stefan Vogel half a century ago. AU - Etl, Florian AU - Franschitz, Anna AU - Aguiar, Antonio AU - Schönenberger, Jürg AU - Dötterl, Stefan ID - 695 JF - Flora: Morphology, Distribution, Functional Ecology of Plants SN - 03672530 TI - A perfume collecting male oil bee? Evidences of a novel pollination system involving Anthurium acutifolium Araceae and Paratetrapedia chocoensis Apidae Tapinotaspidini VL - 232 ER - TY - CONF AB - De, Trevisan and Tulsiani [CRYPTO 2010] show that every distribution over n-bit strings which has constant statistical distance to uniform (e.g., the output of a pseudorandom generator mapping n-1 to n bit strings), can be distinguished from the uniform distribution with advantage epsilon by a circuit of size O( 2^n epsilon^2). We generalize this result, showing that a distribution which has less than k bits of min-entropy, can be distinguished from any distribution with k bits of delta-smooth min-entropy with advantage epsilon by a circuit of size O(2^k epsilon^2/delta^2). As a special case, this implies that any distribution with support at most 2^k (e.g., the output of a pseudoentropy generator mapping k to n bit strings) can be distinguished from any given distribution with min-entropy k+1 with advantage epsilon by a circuit of size O(2^k epsilon^2). Our result thus shows that pseudoentropy distributions face basically the same non-uniform attacks as pseudorandom distributions. AU - Pietrzak, Krzysztof Z AU - Skórski, Maciej ID - 697 SN - 18688969 TI - Non uniform attacks against pseudoentropy VL - 80 ER - TY - JOUR AB - Extracellular matrix signals from the microenvironment regulate gene expression patterns and cell behavior. Using a combination of experiments and geometric models, we demonstrate correlations between cell geometry, three-dimensional (3D) organization of chromosome territories, and gene expression. Fluorescence in situ hybridization experiments showed that micropatterned fibroblasts cultured on anisotropic versus isotropic substrates resulted in repositioning of specific chromosomes, which contained genes that were differentially regulated by cell geometries. Experiments combined with ellipsoid packing models revealed that the mechanosensitivity of chromosomes was correlated with their orientation in the nucleus. Transcription inhibition experiments suggested that the intermingling degree was more sensitive to global changes in transcription than to chromosome radial positioning and its orientations. These results suggested that cell geometry modulated 3D chromosome arrangement, and their neighborhoods correlated with gene expression patterns in a predictable manner. This is central to understanding geometric control of genetic programs involved in cellular homeostasis and the associated diseases. AU - Wang, Yejun AU - Nagarajan, Mallika AU - Uhler, Caroline AU - Shivashankar, Gv ID - 698 IS - 14 JF - Molecular Biology of the Cell SN - 10591524 TI - Orientation and repositioning of chromosomes correlate with cell geometry dependent gene expression VL - 28 ER - TY - JOUR AB - In antagonistic symbioses, such as host–parasite interactions, one population’s success is the other’s loss. In mutualistic symbioses, such as division of labor, both parties can gain, but they might have different preferences over the possible mutualistic arrangements. The rates of evolution of the two populations in a symbiosis are important determinants of which population will be more successful: Faster evolution is thought to be favored in antagonistic symbioses (the “Red Queen effect”), but disfavored in certain mutualistic symbioses (the “Red King effect”). However, it remains unclear which biological parameters drive these effects. Here, we analyze the effects of the various determinants of evolutionary rate: generation time, mutation rate, population size, and the intensity of natural selection. Our main results hold for the case where mutation is infrequent. Slower evolution causes a long-term advantage in an important class of mutualistic interactions. Surprisingly, less intense selection is the strongest driver of this Red King effect, whereas relative mutation rates and generation times have little effect. In antagonistic interactions, faster evolution by any means is beneficial. Our results provide insight into the demographic evolution of symbionts. AU - Veller, Carl AU - Hayward, Laura AU - Nowak, Martin AU - Hilbe, Christian ID - 699 IS - 27 JF - PNAS SN - 00278424 TI - The red queen and king in finite populations VL - 114 ER - TY - JOUR AB - Microtubules provide the mechanical force required for chromosome separation during mitosis. However, little is known about the dynamic (high-frequency) mechanical properties of microtubules. Here, we theoretically propose to control the vibrations of a doubly clamped microtubule by tip electrodes and to detect its motion via the optomechanical coupling between the vibrational modes of the microtubule and an optical cavity. In the presence of a red-detuned strong pump laser, this coupling leads to optomechanical-induced transparency of an optical probe field, which can be detected with state-of-the art technology. The center frequency and line width of the transparency peak give the resonance frequency and damping rate of the microtubule, respectively, while the height of the peak reveals information about the microtubule-cavity field coupling. Our method opens the new possibilities to gain information about the physical properties of microtubules, which will enhance our capability to design physical cancer treatment protocols as alternatives to chemotherapeutic drugs. AU - Barzanjeh, Shabir AU - Salari, Vahid AU - Tuszynski, Jack AU - Cifra, Michal AU - Simon, Christoph ID - 700 IS - 1 JF - Physical Review E Statistical Nonlinear and Soft Matter Physics SN - 24700045 TI - Optomechanical proposal for monitoring microtubule mechanical vibrations VL - 96 ER - TY - JOUR AB - A d-dimensional simplex S is called a k-reptile (or a k-reptile simplex) if it can be tiled by k simplices with disjoint interiors that are all mutually congruent and similar to S. For d = 2, triangular k-reptiles exist for all k of the form a^2, 3a^2 or a^2+b^2 and they have been completely characterized by Snover, Waiveris, and Williams. On the other hand, the only k-reptile simplices that are known for d ≥ 3, have k = m^d, where m is a positive integer. We substantially simplify the proof by Matoušek and the second author that for d = 3, k-reptile tetrahedra can exist only for k = m^3. We then prove a weaker analogue of this result for d = 4 by showing that four-dimensional k-reptile simplices can exist only for k = m^2. AU - Kynčl, Jan AU - Patakova, Zuzana ID - 701 IS - 3 JF - The Electronic Journal of Combinatorics SN - 10778926 TI - On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4 VL - 24 ER - TY - JOUR AB - Leading autism-associated mutation in mouse partially mimics human disorder. AU - Novarino, Gaia ID - 702 IS - 399 JF - Science Translational Medicine SN - 19466234 TI - The riddle of CHD8 haploinsufficiency in autism spectrum disorder VL - 9 ER - TY - JOUR AB - A hippocampal mossy fiber synapse has a complex structure and is implicated in learning and memory. In this synapse, the mossy fiber boutons attach to the dendritic shaft by puncta adherentia junctions and wrap around a multiply-branched spine, forming synaptic junctions. We have recently shown using transmission electron microscopy, immunoelectron microscopy and serial block face-scanning electron microscopy that atypical puncta adherentia junctions are formed in the afadin-deficient mossy fiber synapse and that the complexity of postsynaptic spines and mossy fiber boutons, the number of spine heads, the area of postsynaptic densities and the density of synaptic vesicles docked to active zones are decreased in the afadin-deficient synapse. We investigated here the roles of afadin in the functional differentiations of the mossy fiber synapse using the afadin-deficient mice. The electrophysiological studies showed that both the release probability of glutamate and the postsynaptic responsiveness to glutamate were markedly reduced, but not completely lost, in the afadin-deficient mossy fiber synapse, whereas neither long-term potentiation nor long-term depression was affected. These results indicate that afadin plays roles in the functional differentiations of the presynapse and the postsynapse of the hippocampal mossy fiber synapse. AU - Geng, Xiaoqi AU - Maruo, Tomohiko AU - Mandai, Kenji AU - Supriyanto, Irwan AU - Miyata, Muneaki AU - Sakakibara, Shotaro AU - Mizoguchi, Akira AU - Takai, Yoshimi AU - Mori, Masahiro ID - 706 IS - 8 JF - Genes to Cells SN - 13569597 TI - Roles of afadin in functional differentiations of hippocampal mossy fiber synapse VL - 22 ER - TY - JOUR AB - The complex antiferromagnetic orders observed in the honeycomb iridates are a double-edged sword in the search for a quantum spin-liquid: both attesting that the magnetic interactions provide many of the necessary ingredients, while simultaneously impeding access. Focus has naturally been drawn to the unusual magnetic orders that hint at the underlying spin correlations. However, the study of any particular broken symmetry state generally provides little clue about the possibility of other nearby ground states. Here we use magnetic fields approaching 100 Tesla to reveal the extent of the spin correlations in γ-lithium iridate. We find that a small component of field along the magnetic easy-axis melts long-range order, revealing a bistable, strongly correlated spin state. Far from the usual destruction of antiferromagnetism via spin polarization, the high-field state possesses only a small fraction of the total iridium moment, without evidence for long-range order up to the highest attainable magnetic fields. AU - Modic, Kimberly A AU - Ramshaw, B. J. AU - Betts, J. B. AU - Breznay, Nicholas P. AU - Analytis, James G. AU - McDonald, Ross D. AU - Shekhter, Arkady ID - 7064 IS - 1 JF - Nature Communications SN - 2041-1723 TI - Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates VL - 8 ER - TY - JOUR AB - Broken fourfold rotational (C4) symmetry is observed in the experimental properties of several classes of unconventional superconductors. It has been proposed that this symmetry breaking is important for superconducting pairing in these materials, but in the high-Tc cuprates this broken symmetry has never been observed on the Fermi surface. Here we report a pronounced anisotropy in the angle dependence of the interlayer magnetoresistance of the underdoped high transition temperature (high-Tc) superconductor YBa2Cu3O6.58, directly revealing broken C4 symmetry on the Fermi surface. Moreover, we demonstrate that this Fermi surface has C2 symmetry of the type produced by a uniaxial or anisotropic density-wave phase. This establishes the central role of C4 symmetry breaking in the Fermi surface reconstruction of YBa2Cu3O6+δ , and suggests a striking degree of universality among unconventional superconductors. AU - Ramshaw, B. J. AU - Harrison, N. AU - Sebastian, S. E. AU - Ghannadzadeh, S. AU - Modic, Kimberly A AU - Bonn, D. A. AU - Hardy, W. N. AU - Liang, Ruixing AU - Goddard, P. A. ID - 7067 IS - 1 JF - npj Quantum Materials SN - 2397-4648 TI - Broken rotational symmetry on the Fermi surface of a high-Tc superconductor VL - 2 ER - TY - JOUR AB - The excitonic insulator phase has long been predicted to form in proximity to a band gap opening in the underlying band structure. The character of the pairing is conjectured to crossover from weak (BCS-like) to strong coupling (BEC-like) as the underlying band structure is tuned from the metallic to the insulating side of the gap opening. Here we report the high-magnetic field phase diagram of graphite to exhibit just such a crossover. By way of comprehensive angle-resolved magnetoresistance measurements, we demonstrate that the underlying band gap opening occurs inside the magnetic field-induced phase, paving the way for a systematic study of the BCS-BEC-like crossover by means of conventional condensed matter probes. AU - Zhu, Z. AU - McDonald, R. D. AU - Shekhter, A. AU - Ramshaw, B. J. AU - Modic, Kimberly A AU - Balakirev, F. F. AU - Harrison, N. ID - 7066 JF - Scientific Reports SN - 2045-2322 TI - Magnetic field tuning of an excitonic insulator between the weak and strong coupling regimes in quantum limit graphite VL - 7 ER - TY - JOUR AB - Magneto-quantum oscillation experiments in high-temperature superconductors show a strong thermally induced suppression of the oscillation amplitude approaching the critical dopings [B. J. Ramshaw et al., Science 348, 317 (2014); H. Shishido et al., Phys. Rev. Lett. 104, 057008 (2010); P. Walmsley et al., Phys. Rev. Lett. 110, 257002 (2013)]—in support of a quantum-critical origin of their phase diagrams. We suggest that, in addition to a thermodynamic mass enhancement, these experiments may directly indicate the increasing role of quantum fluctuations that suppress the quantum oscillation amplitude through inelastic scattering. We show that the traditional theoretical approaches beyond Lifshitz-Kosevich to calculate the oscillation amplitude in correlated metals result in a contradiction with the third law of thermodynamics and suggest a way to rectify this problem. AU - Shekhter, Arkady AU - Modic, Kimberly A AU - McDonald, R. D. AU - Ramshaw, B. J. ID - 7065 IS - 12 JF - Physical Review B SN - 2469-9950 TI - Thermodynamic constraints on the amplitude of quantum oscillations VL - 95 ER - TY - JOUR AB - We answer a question of M. Gromov on the waist of the unit ball. AU - Akopyan, Arseniy AU - Karasev, Roman ID - 707 IS - 4 JF - Bulletin of the London Mathematical Society SN - 00246093 TI - A tight estimate for the waist of the ball VL - 49 ER - TY - JOUR AB - In the developing and adult brain, oligodendrocyte precursor cells (OPCs) are influenced by neuronal activity: they are involved in synaptic signaling with neurons, and their proliferation and differentiation into myelinating glia can be altered by transient changes in neuronal firing. An important question that has been unanswered is whether OPCs can discriminate different patterns of neuronal activity and respond to them in a distinct way. Here, we demonstrate in brain slices that the pattern of neuronal activity determines the functional changes triggered at synapses between axons and OPCs. Furthermore, we show that stimulation of the corpus callosum at different frequencies in vivo affects proliferation and differentiation of OPCs in a dissimilar way. Our findings suggest that neurons do not influence OPCs in “all-or-none” fashion but use their firing pattern to tune the response and behavior of these nonneuronal cells. AU - Nagy, Balint AU - Hovhannisyan, Anahit AU - Barzan, Ruxandra AU - Chen, Ting AU - Kukley, Maria ID - 708 IS - 8 JF - PLoS Biology SN - 15449173 TI - Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum VL - 15 ER - TY - JOUR AB - Adipose tissues play key roles in energy homeostasis. Brown adipocytes and beige adipocytes in white adipose tissue (WAT) share the similar characters of thermogenesis, both of them could be potential targets for obesity management. Several thermo-sensitive transient receptor potential channels (thermoTRPs) are shown to be involved in adipocyte biology. However, the expression pattern of thermoTRPs in adipose tissues from obese mice is still unknown. The mRNA expression of thermoTRPs in subcutaneous WAT (sWAT) and interscapular brown adipose tissue (iBAT) from lean and obese mice were measured using reverse transcriptase-quantitative PCRs (RT-qPCR). The results demonstrated that all 10 thermoTRPs are expressed in both iBAT and sWAT, and without significant difference in the mRNA expression level of thermoTRPs between these two tissues. Moreover, Trpv1 and Trpv3 mRNA expression levels in both iBAT and sWAT were significantly decreased in high fat diet (HFD)-induced obese mice and db/db (leptin receptor deficient) mice. Trpm2 mRNA expression level was significantly decreased only in sWAT from HFD-induced obese mice and db/db mice. On the other hand, Trpv2 and Trpv4 mRNA expression levels in iBAT and sWAT were significantly increased in HFD-induced obese mice and db/db mice. Taken together, we conclude that all 10 thermoTRPs are expressed in iBAT and sWAT. And several thermoTRPs differentially expressed in adipose tissues from HFD-induced obese mice and db/db mice, suggesting a potential involvement in anti-obesity regulations. AU - Sun, Wuping AU - Li, Chen AU - Zhang, Yonghong AU - Jiang, Changyu AU - Zhai, Ming-Zhu AU - Zhou, Qian AU - Xiao, Lizu AU - Deng, Qiwen ID - 709 IS - 8 JF - Cell Biology International SN - 10656995 TI - Gene expression changes of thermo sensitive transient receptor potential channels in obese mice VL - 41 ER - TY - CONF AB - We revisit the problem of estimating entropy of discrete distributions from independent samples, studied recently by Acharya, Orlitsky, Suresh and Tyagi (SODA 2015), improving their upper and lower bounds on the necessary sample size n. For estimating Renyi entropy of order alpha, up to constant accuracy and error probability, we show the following * Upper bounds n = O(1) 2^{(1-1/alpha)H_alpha} for integer alpha>1, as the worst case over distributions with Renyi entropy equal to H_alpha. * Lower bounds n = Omega(1) K^{1-1/alpha} for any real alpha>1, with the constant being an inverse polynomial of the accuracy, as the worst case over all distributions on K elements. Our upper bounds essentially replace the alphabet size by a factor exponential in the entropy, which offers improvements especially in low or medium entropy regimes (interesting for example in anomaly detection). As for the lower bounds, our proof explicitly shows how the complexity depends on both alphabet and accuracy, partially solving the open problem posted in previous works. The argument for upper bounds derives a clean identity for the variance of falling-power sum of a multinomial distribution. Our approach for lower bounds utilizes convex optimization to find a distribution with possibly worse estimation performance, and may be of independent interest as a tool to work with Le Cam’s two point method. AU - Obremski, Maciej AU - Skórski, Maciej ID - 710 SN - 18688969 TI - Renyi entropy estimation revisited VL - 81 ER - TY - JOUR AB - To determine the dynamics of allelic-specific expression during mouse development, we analyzed RNA-seq data from 23 F1 tissues from different developmental stages, including 19 female tissues allowing X chromosome inactivation (XCI) escapers to also be detected. We demonstrate that allelic expression arising from genetic or epigenetic differences is highly tissue-specific. We find that tissue-specific strain-biased gene expression may be regulated by tissue-specific enhancers or by post-transcriptional differences in stability between the alleles. We also find that escape from X-inactivation is tissue-specific, with leg muscle showing an unexpectedly high rate of XCI escapers. By surveying a range of tissues during development, and performing extensive validation, we are able to provide a high confidence list of mouse imprinted genes including 18 novel genes. This shows that cluster size varies dynamically during development and can be substantially larger than previously thought, with the Igf2r cluster extending over 10 Mb in placenta. AU - Andergassen, Daniel AU - Dotter, Christoph AU - Wenzel, Dyniel AU - Sigl, Verena AU - Bammer, Philipp AU - Muckenhuber, Markus AU - Mayer, Daniela AU - Kulinski, Tomasz AU - Theussl, Hans AU - Penninger, Josef AU - Bock, Christoph AU - Barlow, Denise AU - Pauler, Florian AU - Hudson, Quanah ID - 713 JF - eLife SN - 2050084X TI - Mapping the mouse Allelome reveals tissue specific regulation of allelic expression VL - 6 ER - TY - CONF AB - Nested weighted automata (NWA) present a robust and convenient automata-theoretic formalism for quantitative specifications. Previous works have considered NWA that processed input words only in the forward direction. It is natural to allow the automata to process input words backwards as well, for example, to measure the maximal or average time between a response and the preceding request. We therefore introduce and study bidirectional NWA that can process input words in both directions. First, we show that bidirectional NWA can express interesting quantitative properties that are not expressible by forward-only NWA. Second, for the fundamental decision problems of emptiness and universality, we establish decidability and complexity results for the new framework which match the best-known results for the special case of forward-only NWA. Thus, for NWA, the increased expressiveness of bidirectionality is achieved at no additional computational complexity. This is in stark contrast to the unweighted case, where bidirectional finite automata are no more expressive but exponentially more succinct than their forward-only counterparts. AU - Chatterjee, Krishnendu AU - Henzinger, Thomas A AU - Otop, Jan ID - 711 SN - 18688969 TI - Bidirectional nested weighted automata VL - 85 ER - TY - JOUR AB - We establish a weak–strong uniqueness principle for solutions to entropy-dissipating reaction–diffusion equations: As long as a strong solution to the reaction–diffusion equation exists, any weak solution and even any renormalized solution must coincide with this strong solution. Our assumptions on the reaction rates are just the entropy condition and local Lipschitz continuity; in particular, we do not impose any growth restrictions on the reaction rates. Therefore, our result applies to any single reversible reaction with mass-action kinetics as well as to systems of reversible reactions with mass-action kinetics satisfying the detailed balance condition. Renormalized solutions are known to exist globally in time for reaction–diffusion equations with entropy-dissipating reaction rates; in contrast, the global-in-time existence of weak solutions is in general still an open problem–even for smooth data–, thereby motivating the study of renormalized solutions. The key ingredient of our result is a careful adjustment of the usual relative entropy functional, whose evolution cannot be controlled properly for weak solutions or renormalized solutions. AU - Fischer, Julian L ID - 712 JF - Nonlinear Analysis: Theory, Methods and Applications SN - 0362546X TI - Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations VL - 159 ER - TY - JOUR AB - Background HIV-1 infection and drug abuse are frequently co-morbid and their association greatly increases the severity of HIV-1-induced neuropathology. While nucleus accumbens (NAcc) function is severely perturbed by drugs of abuse, little is known about how HIV-1 infection affects NAcc. Methods We used calcium and voltage imaging to investigate the effect of HIV-1 trans-activator of transcription (Tat) on rat NAcc. Based on previous neuronal studies, we hypothesized that Tat modulates intracellular Ca2+ homeostasis of NAcc neurons. Results We provide evidence that Tat triggers a Ca2+ signaling cascade in NAcc medium spiny neurons (MSN) expressing D1-like dopamine receptors leading to neuronal depolarization. Firstly, Tat induced inositol 1,4,5-trisphsophate (IP3) receptor-mediated Ca2+ release from endoplasmic reticulum, followed by Ca2+ and Na+ influx via transient receptor potential canonical channels. The influx of cations depolarizes the membrane promoting additional Ca2+ entry through voltage-gated P/Q-type Ca2+ channels and opening of tetrodotoxin-sensitive Na+ channels. By activating this mechanism, Tat elicits a feed-forward depolarization increasing the excitability of D1-phosphatidylinositol-linked NAcc MSN. We previously found that cocaine targets NAcc neurons directly (independent of the inhibition of dopamine transporter) only when IP3-generating mechanisms are concomitantly initiated. When tested here, cocaine produced a dose-dependent potentiation of the effect of Tat on cytosolic Ca2+. Conclusion We describe for the first time a HIV-1 Tat-triggered Ca2+ signaling in MSN of NAcc involving TRPC and depolarization and a potentiation of the effect of Tat by cocaine, which may be relevant for the reward axis in cocaine-abusing HIV-1-positive patients. AU - Brailoiu, Gabriela AU - Deliu, Elena AU - Barr, Jeffrey AU - Console Bram, Linda AU - Ciuciu, Alexandra AU - Abood, Mary AU - Unterwald, Ellen AU - Brǎiloiu, Eugen ID - 714 JF - Drug and Alcohol Dependence SN - 03768716 TI - HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens VL - 178 ER -