TY - CONF AB - We introduce in this paper AMT 2.0 , a tool for qualitative and quantitative analysis of hybrid continuous and Boolean signals that combine numerical values and discrete events. The evaluation of the signals is based on rich temporal specifications expressed in extended Signal Temporal Logic (xSTL), which integrates Timed Regular Expressions (TRE) within Signal Temporal Logic (STL). The tool features qualitative monitoring (property satisfaction checking), trace diagnostics for explaining and justifying property violations and specification-driven measurement of quantitative features of the signal. AU - Nickovic, Dejan AU - Lebeltel, Olivier AU - Maler, Oded AU - Ferrere, Thomas AU - Ulus, Dogan ED - Beyer, Dirk ED - Huisman, Marieke ID - 299 TI - AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic VL - 10806 ER - TY - JOUR AB - Being cared for when sick is a benefit of sociality that can reduce disease and improve survival of group members. However, individuals providing care risk contracting infectious diseases themselves. If they contract a low pathogen dose, they may develop low-level infections that do not cause disease but still affect host immunity by either decreasing or increasing the host’s vulnerability to subsequent infections. Caring for contagious individuals can thus significantly alter the future disease susceptibility of caregivers. Using ants and their fungal pathogens as a model system, we tested if the altered disease susceptibility of experienced caregivers, in turn, affects their expression of sanitary care behavior. We found that low-level infections contracted during sanitary care had protective or neutral effects on secondary exposure to the same (homologous) pathogen but consistently caused high mortality on superinfection with a different (heterologous) pathogen. In response to this risk, the ants selectively adjusted the expression of their sanitary care. Specifically, the ants performed less grooming and more antimicrobial disinfection when caring for nestmates contaminated with heterologous pathogens compared with homologous ones. By modulating the components of sanitary care in this way the ants acquired less infectious particles of the heterologous pathogens, resulting in reduced superinfection. The performance of risk-adjusted sanitary care reveals the remarkable capacity of ants to react to changes in their disease susceptibility, according to their own infection history and to flexibly adjust collective care to individual risk. AU - Konrad, Matthias AU - Pull, Christopher AU - Metzler, Sina AU - Seif, Katharina AU - Naderlinger, Elisabeth AU - Grasse, Anna V AU - Cremer, Sylvia ID - 413 IS - 11 JF - PNAS TI - Ants avoid superinfections by performing risk-adjusted sanitary care VL - 115 ER - TY - JOUR AB - We demonstrate that identical impurities immersed in a two-dimensional many-particle bath can be viewed as flux-tube-charged-particle composites described by fractional statistics. In particular, we find that the bath manifests itself as an external magnetic flux tube with respect to the impurities, and hence the time-reversal symmetry is broken for the effective Hamiltonian describing the impurities. The emerging flux tube acts as a statistical gauge field after a certain critical coupling. This critical coupling corresponds to the intersection point between the quasiparticle state and the phonon wing, where the angular momentum is transferred from the impurity to the bath. This amounts to a novel configuration with emerging anyons. The proposed setup paves the way to realizing anyons using electrons interacting with superfluid helium or lattice phonons, as well as using atomic impurities in ultracold gases. AU - Yakaboylu, Enderalp AU - Lemeshko, Mikhail ID - 195 IS - 4 JF - Physical Review B - Condensed Matter and Materials Physics TI - Anyonic statistics of quantum impurities in two dimensions VL - 98 ER - TY - CONF AB - The task of a monitor is to watch, at run-time, the execution of a reactive system, and signal the occurrence of a safety violation in the observed sequence of events. While finite-state monitors have been studied extensively, in practice, monitoring software also makes use of unbounded memory. We define a model of automata equipped with integer-valued registers which can execute only a bounded number of instructions between consecutive events, and thus can form the theoretical basis for the study of infinite-state monitors. We classify these register monitors according to the number k of available registers, and the type of register instructions. In stark contrast to the theory of computability for register machines, we prove that for every k 1, monitors with k + 1 counters (with instruction set 〈+1, =〉) are strictly more expressive than monitors with k counters. We also show that adder monitors (with instruction set 〈1, +, =〉) are strictly more expressive than counter monitors, but are complete for monitoring all computable safety -languages for k = 6. Real-time monitors are further required to signal the occurrence of a safety violation as soon as it occurs. The expressiveness hierarchy for counter monitors carries over to real-time monitors. We then show that 2 adders cannot simulate 3 counters in real-time. Finally, we show that real-time adder monitors with inequalities are as expressive as real-time Turing machines. AU - Ferrere, Thomas AU - Henzinger, Thomas A AU - Saraç, Ege ID - 144 TI - A theory of register monitors VL - Part F138033 ER - TY - JOUR AB - Asymmetric auxin distribution is instrumental for the differential growth that causes organ bending on tropic stimuli and curvatures during plant development. Local differences in auxin concentrations are achieved mainly by polarized cellular distribution of PIN auxin transporters, but whether other mechanisms involving auxin homeostasis are also relevant for the formation of auxin gradients is not clear. Here we show that auxin methylation is required for asymmetric auxin distribution across the hypocotyl, particularly during its response to gravity. We found that loss-of-function mutants in Arabidopsis IAA CARBOXYL METHYLTRANSFERASE1 (IAMT1) prematurely unfold the apical hook, and that their hypocotyls are impaired in gravitropic reorientation. This defect is linked to an auxin-dependent increase in PIN gene expression, leading to an increased polar auxin transport and lack of asymmetric distribution of PIN3 in the iamt1 mutant. Gravitropic reorientation in the iamt1 mutant could be restored with either endodermis-specific expression of IAMT1 or partial inhibition of polar auxin transport, which also results in normal PIN gene expression levels. We propose that IAA methylation is necessary in gravity-sensing cells to restrict polar auxin transport within the range of auxin levels that allow for differential responses. AU - Abbas, Mohamad AU - Hernández, García J AU - Pollmann, Stephan AU - Samodelov, Sophia L AU - Kolb, Martina AU - Friml, Jirí AU - Hammes, Ulrich Z AU - Zurbriggen, Matias D AU - Blázquez, Miguel AU - Alabadí, David ID - 203 IS - 26 JF - PNAS TI - Auxin methylation is required for differential growth in Arabidopsis VL - 115 ER - TY - JOUR AB - Following an earlier calculation in 3D, we calculate the 2D critical temperature of a dilute, translation-invariant Bose gas using a variational formulation of the Bogoliubov approximation introduced by Critchley and Solomon in 1976. This provides the first analytical calculation of the Kosterlitz-Thouless transition temperature that includes the constant in the logarithm. AU - Napiórkowski, Marcin M AU - Reuvers, Robin AU - Solovej, Jan ID - 399 IS - 1 JF - EPL TI - Calculation of the critical temperature of a dilute Bose gas in the Bogoliubov approximation VL - 121 ER - TY - JOUR AB - CLE peptides have been implicated in various developmental processes of plants and mediate their responses to environmental stimuli. However, the biological relevance of most CLE genes remains to be functionally characterized. Here, we report that CLE9, which is expressed in stomata, acts as an essential regulator in the induction of stomatal closure. Exogenous application of CLE9 peptides or overexpression of CLE9 effectively led to stomatal closure and enhanced drought tolerance, whereas CLE9 loss-of-function mutants were sensitivity to drought stress. CLE9-induced stomatal closure was impaired in abscisic acid (ABA)-deficient mutants, indicating that ABA is required for CLE9-medaited guard cell signalling. We further deciphered that two guard cell ABA-signalling components, OST1 and SLAC1, were responsible for CLE9-induced stomatal closure. MPK3 and MPK6 were activated by the CLE9 peptide, and CLE9 peptides failed to close stomata in mpk3 and mpk6 mutants. In addition, CLE9 peptides stimulated the induction of hydrogen peroxide (H2O2) and nitric oxide (NO) synthesis associated with stomatal closure, which was abolished in the NADPH oxidase-deficient mutants or nitric reductase mutants, respectively. Collectively, our results reveal a novel ABA-dependent function of CLE9 in the regulation of stomatal apertures, thereby suggesting a potential role of CLE9 in the stress acclimatization of plants. AU - Zhang, Luosha AU - Shi, Xiong AU - Zhang, Yutao AU - Wang, Jiajing AU - Yang, Jingwei AU - Ishida, Takashi AU - Jiang, Wenqian AU - Han, Xiangyu AU - Kang, Jingke AU - Wang, Xuening AU - Pan, Lixia AU - Lv, Shuo AU - Cao, Bing AU - Zhang, Yonghong AU - Wu, Jinbin AU - Han, Huibin AU - Hu, Zhubing AU - Cui, Langjun AU - Sawa, Shinichiro AU - He, Junmin AU - Wang, Guodong ID - 5830 JF - Plant Cell and Environment SN - 01407791 TI - CLE9 peptide-induced stomatal closure is mediated by abscisic acid, hydrogen peroxide, and nitric oxide in arabidopsis thaliana ER - TY - JOUR AB - Recent lineage tracing studies have revealed that mammary gland homeostasis relies on unipotent stem cells. However, whether and when lineage restriction occurs during embryonic mammary development, and which signals orchestrate cell fate specification, remain unknown. Using a combination of in vivo clonal analysis with whole mount immunofluorescence and mathematical modelling of clonal dynamics, we found that embryonic multipotent mammary cells become lineage-restricted surprisingly early in development, with evidence for unipotency as early as E12.5 and no statistically discernable bipotency after E15.5. To gain insights into the mechanisms governing the switch from multipotency to unipotency, we used gain-of-function Notch1 mice and demonstrated that Notch activation cell autonomously dictates luminal cell fate specification to both embryonic and basally committed mammary cells. These functional studies have important implications for understanding the signals underlying cell plasticity and serve to clarify how reactivation of embryonic programs in adult cells can lead to cancer. AU - Lilja, Anna AU - Rodilla, Veronica AU - Huyghe, Mathilde AU - Hannezo, Edouard B AU - Landragin, Camille AU - Renaud, Olivier AU - Leroy, Olivier AU - Rulands, Steffen AU - Simons, Benjamin AU - Fré, Silvia ID - 288 IS - 6 JF - Nature Cell Biology TI - Clonal analysis of Notch1-expressing cells reveals the existence of unipotent stem cells that retain long-term plasticity in the embryonic mammary gland VL - 20 ER - TY - JOUR AB - Additive manufacturing has recently seen drastic improvements in resolution, making it now possible to fabricate features at scales of hundreds or even dozens of nanometers, which previously required very expensive lithographic methods. As a result, additive manufacturing now seems poised for optical applications, including those relevant to computer graphics, such as material design, as well as display and imaging applications. In this work, we explore the use of additive manufacturing for generating structural colors, where the structures are designed using a fabrication-aware optimization process. This requires a combination of full-wave simulation, a feasible parameterization of the design space, and a tailored optimization procedure. Many of these components should be re-usable for the design of other optical structures at this scale. We show initial results of material samples fabricated based on our designs. While these suffer from the prototype character of state-of-the-art fabrication hardware, we believe they clearly demonstrate the potential of additive nanofabrication for structural colors and other graphics applications. AU - Auzinger, Thomas AU - Heidrich, Wolfgang AU - Bickel, Bernd ID - 304 IS - 4 JF - ACM Transactions on Graphics TI - Computational design of nanostructural color for additive manufacturing VL - 37 ER - TY - JOUR AB - Molding is a popular mass production method, in which the initial expenses for the mold are offset by the low per-unit production cost. However, the physical fabrication constraints of the molding technique commonly restrict the shape of moldable objects. For a complex shape, a decomposition of the object into moldable parts is a common strategy to address these constraints, with plastic model kits being a popular and illustrative example. However, conducting such a decomposition requires considerable expertise, and it depends on the technical aspects of the fabrication technique, as well as aesthetic considerations. We present an interactive technique to create such decompositions for two-piece molding, in which each part of the object is cast between two rigid mold pieces. Given the surface description of an object, we decompose its thin-shell equivalent into moldable parts by first performing a coarse decomposition and then utilizing an active contour model for the boundaries between individual parts. Formulated as an optimization problem, the movement of the contours is guided by an energy reflecting fabrication constraints to ensure the moldability of each part. Simultaneously, the user is provided with editing capabilities to enforce aesthetic guidelines. Our interactive interface provides control of the contour positions by allowing, for example, the alignment of part boundaries with object features. Our technique enables a novel workflow, as it empowers novice users to explore the design space, and it generates fabrication-ready two-piece molds that can be used either for casting or industrial injection molding of free-form objects. AU - Nakashima, Kazutaka AU - Auzinger, Thomas AU - Iarussi, Emmanuel AU - Zhang, Ran AU - Igarashi, Takeo AU - Bickel, Bernd ID - 12 IS - 4 JF - ACM Transaction on Graphics TI - CoreCavity: Interactive shell decomposition for fabrication with two-piece rigid molds VL - 37 ER -