@phdthesis{202,
  abstract     = {Restriction-modification (RM) represents the simplest and possibly the most widespread mechanism of self/non-self discrimination in nature. In order to provide bacteria with immunity against bacteriophages and other parasitic genetic elements, RM systems rely on a balance between two enzymes: the restriction enzyme, which cleaves non-self DNA at specific restriction sites, and the modification enzyme, which tags the host’s DNA as self and thus protects it from cleavage. In this thesis, I use population and single-cell level experiments in combination with mathematical modeling to study different aspects of the interplay between RM systems, bacteria and bacteriophages. First, I analyze how mutations in phage restriction sites affect the probability of phage escape – an inherently stochastic process, during which phages accidently get modified instead of restricted. Next, I use single-cell experiments to show that RM systems can, with a low probability, attack the genome of their bacterial host and that this primitive form of autoimmunity leads to a tradeoff between the evolutionary cost and benefit of RM systems. Finally, I investigate the nature of interactions between bacteria, RM systems and temperate bacteriophages to find that, as a consequence of phage escape and its impact on population dynamics, RM systems can promote acquisition of symbiotic bacteriophages, rather than limit it. The results presented here uncover new fundamental biological properties of RM systems and highlight their importance in the ecology and evolution of bacteria, bacteriophages and their interactions.},
  author       = {Pleska, Maros},
  issn         = {2663-337X},
  pages        = {126},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{Biology of restriction-modification systems at the single-cell and population level}},
  doi          = {10.15479/AT:ISTA:th_916},
  year         = {2017},
}

@article{1007,
  abstract     = {A nonlinear system possesses an invariance with respect to a set of transformations if its output dynamics remain invariant when transforming the input, and adjusting the initial condition accordingly. Most research has focused on invariances with respect to time-independent pointwise transformations like translational-invariance (u(t) -&gt; u(t) + p, p in R) or scale-invariance (u(t) -&gt; pu(t), p in R&gt;0). In this article, we introduce the concept of s0-invariances with respect to continuous input transformations exponentially growing/decaying over time. We show that s0-invariant systems not only encompass linear time-invariant (LTI) systems with transfer functions having an irreducible zero at s0 in R, but also that the input/output relationship of nonlinear s0-invariant systems possesses properties well known from their linear counterparts. Furthermore, we extend the concept of s0-invariances to second- and higher-order s0-invariances, corresponding to invariances with respect to transformations of the time-derivatives of the input, and encompassing LTI systems with zeros of multiplicity two or higher. Finally, we show that nth-order 0-invariant systems realize – under mild conditions – nth-order nonlinear differential operators: when excited by an input of a characteristic functional form, the system’s output converges to a constant value only depending on the nth (nonlinear) derivative of the input.},
  author       = {Lang, Moritz and Sontag, Eduardo},
  issn         = {0005-1098},
  journal      = {Automatica},
  pages        = {46 -- 55},
  publisher    = {International Federation of Automatic Control},
  title        = {{Zeros of nonlinear systems with input invariances}},
  doi          = {10.1016/j.automatica.2017.03.030},
  volume       = {81C},
  year         = {2017},
}

@article{954,
  abstract     = {Understanding the relation between genotype and phenotype remains a major challenge. The difficulty of predicting individual mutation effects, and particularly the interactions between them, has prevented the development of a comprehensive theory that links genotypic changes to their phenotypic effects. We show that a general thermodynamic framework for gene regulation, based on a biophysical understanding of protein-DNA binding, accurately predicts the sign of epistasis in a canonical cis-regulatory element consisting of overlapping RNA polymerase and repressor binding sites. Sign and magnitude of individual mutation effects are sufficient to predict the sign of epistasis and its environmental dependence. Thus, the thermodynamic model offers the correct null prediction for epistasis between mutations across DNA-binding sites. Our results indicate that a predictive theory for the effects of cis-regulatory mutations is possible from first principles, as long as the essential molecular mechanisms and the constraints these impose on a biological system are accounted for.},
  author       = {Lagator, Mato and Paixao, Tiago and Barton, Nicholas H and Bollback, Jonathan P and Guet, Calin C},
  issn         = {2050-084X},
  journal      = {eLife},
  publisher    = {eLife Sciences Publications},
  title        = {{On the mechanistic nature of epistasis in a canonical cis-regulatory element}},
  doi          = {10.7554/eLife.25192},
  volume       = {6},
  year         = {2017},
}

@article{655,
  abstract     = {The bacterial flagellum is a self-assembling nanomachine. The external flagellar filament, several times longer than a bacterial cell body, is made of a few tens of thousands subunits of a single protein: flagellin. A fundamental problem concerns the molecular mechanism of how the flagellum grows outside the cell, where no discernible energy source is available. Here, we monitored the dynamic assembly of individual flagella using in situ labelling and real-time immunostaining of elongating flagellar filaments. We report that the rate of flagellum growth, initially ~1,700 amino acids per second, decreases with length and that the previously proposed chain mechanism does not contribute to the filament elongation dynamics. Inhibition of the proton motive force-dependent export apparatus revealed a major contribution of substrate injection in driving filament elongation. The combination of experimental and mathematical evidence demonstrates that a simple, injection-diffusion mechanism controls bacterial flagella growth outside the cell.},
  author       = {Renault, Thibaud and Abraham, Anthony and Bergmiller, Tobias and Paradis, Guillaume and Rainville, Simon and Charpentier, Emmanuelle and Guet, Calin C and Tu, Yuhai and Namba, Keiichi and Keener, James and Minamino, Tohru and Erhardt, Marc},
  issn         = {2050-084X},
  journal      = {eLife},
  publisher    = {eLife Sciences Publications},
  title        = {{Bacterial flagella grow through an injection diffusion mechanism}},
  doi          = {10.7554/eLife.23136},
  volume       = {6},
  year         = {2017},
}

@article{665,
  abstract     = {The molecular mechanisms underlying phenotypic variation in isogenic bacterial populations remain poorly understood.We report that AcrAB-TolC, the main multidrug efflux pump of Escherichia coli, exhibits a strong partitioning bias for old cell poles by a segregation mechanism that is mediated by ternary AcrAB-TolC complex formation. Mother cells inheriting old poles are phenotypically distinct and display increased drug efflux activity relative to daughters. Consequently, we find systematic and long-lived growth differences between mother and daughter cells in the presence of subinhibitory drug concentrations. A simple model for biased partitioning predicts a population structure of long-lived and highly heterogeneous phenotypes. This straightforward mechanism of generating sustained growth rate differences at subinhibitory antibiotic concentrations has implications for understanding the emergence of multidrug resistance in bacteria.},
  author       = {Bergmiller, Tobias and Andersson, Anna M and Tomasek, Kathrin and Balleza, Enrique and Kiviet, Daniel and Hauschild, Robert and Tkacik, Gasper and Guet, Calin C},
  issn         = {0036-8075},
  journal      = {Science},
  number       = {6335},
  pages        = {311 -- 315},
  publisher    = {American Association for the Advancement of Science},
  title        = {{Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity}},
  doi          = {10.1126/science.aaf4762},
  volume       = {356},
  year         = {2017},
}

@misc{9844,
  author       = {Nikolic, Nela and Schreiber, Frank and Dal Co, Alma and Kiviet, Daniel and Bergmiller, Tobias and Littmann, Sten and Kuypers, Marcel and Ackermann, Martin},
  publisher    = {Public Library of Science},
  title        = {{Source data for figures and tables}},
  doi          = {10.1371/journal.pgen.1007122.s018},
  year         = {2017},
}

@misc{9845,
  abstract     = {Estimates of 13 C-arabinose and 2 H-glucose uptake from the fractions of heavy isotopes measured	in single cells},
  author       = {Nikolic, Nela and Schreiber, Frank and Dal Co, Alma and Kiviet, Daniel and Bergmiller, Tobias and Littmann, Sten and Kuypers, Marcel and Ackermann, Martin},
  publisher    = {Public Library of Science},
  title        = {{Mathematical model}},
  doi          = {10.1371/journal.pgen.1007122.s017},
  year         = {2017},
}

@misc{9846,
  author       = {Nikolic, Nela and Schreiber, Frank and Dal Co, Alma and Kiviet, Daniel and Bergmiller, Tobias and Littmann, Sten and Kuypers, Marcel and Ackermann, Martin},
  publisher    = {Public Library of Science},
  title        = {{Supplementary methods}},
  doi          = {10.1371/journal.pgen.1007122.s016},
  year         = {2017},
}

@misc{9847,
  abstract     = {information on culture conditions, phage mutagenesis, verification and lysate preparation; Raw data},
  author       = {Pleska, Maros and Guet, Calin C},
  publisher    = {The Royal Society},
  title        = {{Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification}},
  doi          = {10.6084/m9.figshare.5633917.v1},
  year         = {2017},
}

@misc{9849,
  abstract     = {This text provides additional information about the model, a derivation of the analytic results in Eq (4), and details about simulations of an additional parameter set.},
  author       = {Lukacisinova, Marta and Novak, Sebastian and Paixao, Tiago},
  publisher    = {Public Library of Science},
  title        = {{Modelling and simulation details}},
  doi          = {10.1371/journal.pcbi.1005609.s001},
  year         = {2017},
}

@misc{9850,
  abstract     = {In this text, we discuss how a cost of resistance and the possibility of lethal mutations impact our model.},
  author       = {Lukacisinova, Marta and Novak, Sebastian and Paixao, Tiago},
  publisher    = {Public Library of Science},
  title        = {{Extensions of the model}},
  doi          = {10.1371/journal.pcbi.1005609.s002},
  year         = {2017},
}

@misc{9851,
  abstract     = {Based on the intuitive derivation of the dynamics of SIM allele frequency pM in the main text, we present a heuristic prediction for the long-term SIM allele frequencies with χ > 1 stresses and compare it to numerical simulations.},
  author       = {Lukacisinova, Marta and Novak, Sebastian and Paixao, Tiago},
  publisher    = {Public Library of Science},
  title        = {{Heuristic prediction for multiple stresses}},
  doi          = {10.1371/journal.pcbi.1005609.s003},
  year         = {2017},
}

@misc{9852,
  abstract     = {We show how different combination strategies affect the fraction of individuals that are multi-resistant.},
  author       = {Lukacisinova, Marta and Novak, Sebastian and Paixao, Tiago},
  publisher    = {Public Library of Science},
  title        = {{Resistance frequencies for different combination strategies}},
  doi          = {10.1371/journal.pcbi.1005609.s004},
  year         = {2017},
}

@article{704,
  abstract     = {How the organization of genes on a chromosome shapes adaptation is essential for understanding evolutionary paths. Here, we investigate how adaptation to rapidly increasing levels of antibiotic depends on the chromosomal neighborhood of a drug-resistance gene inserted at different positions of the Escherichia coli chromosome. Using a dual-fluorescence reporter that allows us to distinguish gene amplifications from other up-mutations, we track in real-time adaptive changes in expression of the drug-resistance gene. We find that the relative contribution of several mutation types differs systematically between loci due to properties of neighboring genes: essentiality, expression, orientation, termination, and presence of duplicates. These properties determine rate and fitness effects of gene amplification, deletions, and mutations compromising transcriptional termination. Thus, the adaptive potential of a gene under selection is a system-property with a complex genetic basis that is specific for each chromosomal locus, and it can be inferred from detailed functional and genomic data.},
  author       = {Steinrück, Magdalena and Guet, Calin C},
  issn         = {2050-084X},
  journal      = {eLife},
  publisher    = {eLife Sciences Publications},
  title        = {{Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection}},
  doi          = {10.7554/eLife.25100},
  volume       = {6},
  year         = {2017},
}

@article{735,
  abstract     = {Cell-cell contact formation constitutes an essential step in evolution, leading to the differentiation of specialized cell types. However, remarkably little is known about whether and how the interplay between contact formation and fate specification affects development. Here, we identify a positive feedback loop between cell-cell contact duration, morphogen signaling, and mesendoderm cell-fate specification during zebrafish gastrulation. We show that long-lasting cell-cell contacts enhance the competence of prechordal plate (ppl) progenitor cells to respond to Nodal signaling, required for ppl cell-fate specification. We further show that Nodal signaling promotes ppl cell-cell contact duration, generating a positive feedback loop between ppl cell-cell contact duration and cell-fate specification. Finally, by combining mathematical modeling and experimentation, we show that this feedback determines whether anterior axial mesendoderm cells become ppl or, instead, turn into endoderm. Thus, the interdependent activities of cell-cell signaling and contact formation control fate diversification within the developing embryo.},
  author       = {Barone, Vanessa and Lang, Moritz and Krens, Gabriel and Pradhan, Saurabh and Shamipour, Shayan and Sako, Keisuke and Sikora, Mateusz K and Guet, Calin C and Heisenberg, Carl-Philipp J},
  issn         = {1534-5807},
  journal      = {Developmental Cell},
  number       = {2},
  pages        = {198 -- 211},
  publisher    = {Cell Press},
  title        = {{An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate}},
  doi          = {10.1016/j.devcel.2017.09.014},
  volume       = {43},
  year         = {2017},
}

@article{696,
  abstract     = {Mutator strains are expected to evolve when the availability and effect of beneficial mutations are high enough to counteract the disadvantage from deleterious mutations that will inevitably accumulate. As the population becomes more adapted to its environment, both availability and effect of beneficial mutations necessarily decrease and mutation rates are predicted to decrease. It has been shown that certain molecular mechanisms can lead to increased mutation rates when the organism finds itself in a stressful environment. While this may be a correlated response to other functions, it could also be an adaptive mechanism, raising mutation rates only when it is most advantageous. Here, we use a mathematical model to investigate the plausibility of the adaptive hypothesis. We show that such a mechanism can be mantained if the population is subjected to diverse stresses. By simulating various antibiotic treatment schemes, we find that combination treatments can reduce the effectiveness of second-order selection on stress-induced mutagenesis. We discuss the implications of our results to strategies of antibiotic therapy.},
  author       = {Lukacisinova, Marta and Novak, Sebastian and Paixao, Tiago},
  issn         = {1553-734X},
  journal      = {PLoS Computational Biology},
  number       = {7},
  publisher    = {Public Library of Science},
  title        = {{Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes}},
  doi          = {10.1371/journal.pcbi.1005609},
  volume       = {13},
  year         = {2017},
}

@article{1028,
  abstract     = {Optogenetics and photopharmacology provide spatiotemporally precise control over protein interactions and protein function in cells and animals. Optogenetic methods that are sensitive to green light and can be used to break protein complexes are not broadly available but would enable multichromatic experiments with previously inaccessible biological targets. Herein, we repurposed cobalamin (vitamin B12) binding domains of bacterial CarH transcription factors for green-light-induced receptor dissociation. In cultured cells, we observed oligomerization-induced cell signaling for the fibroblast growth factor receptor 1 fused to cobalamin-binding domains in the dark that was rapidly eliminated upon illumination. In zebrafish embryos expressing fusion receptors, green light endowed control over aberrant fibroblast growth factor signaling during development. Green-light-induced domain dissociation and light-inactivated receptors will critically expand the optogenetic toolbox for control of biological processes.},
  author       = {Kainrath, Stephanie and Stadler, Manuela and Gschaider-Reichhart, Eva and Distel, Martin and Janovjak, Harald L},
  issn         = {1433-7851},
  journal      = {Angewandte Chemie International Edition},
  number       = {16},
  pages        = {4608--4611},
  publisher    = {Wiley},
  title        = {{Green-light-induced inactivation of receptor signaling using cobalamin-binding domains}},
  doi          = {10.1002/anie.201611998},
  volume       = {56},
  year         = {2017},
}

@inproceedings{1093,
  abstract     = {We introduce a general class of distances (metrics) between Markov chains, which are based on linear behaviour. This class encompasses distances given topologically (such as the total variation distance or trace distance) as well as by temporal logics or automata. We investigate which of the distances can be approximated by observing the systems, i.e. by black-box testing or simulation, and we provide both negative and positive results. },
  author       = {Daca, Przemyslaw and Henzinger, Thomas A and Kretinsky, Jan and Petrov, Tatjana},
  location     = {Quebec City; Canada},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  title        = {{Linear distances between Markov chains}},
  doi          = {10.4230/LIPIcs.CONCUR.2016.20},
  volume       = {59},
  year         = {2016},
}

@inproceedings{1220,
  abstract     = {Theoretical and numerical aspects of aerodynamic efficiency of propulsion systems coupled to the boundary layer of a fuselage are studied. We discuss the effects of local flow fields, which are affected both by conservative flow acceleration as well as total pressure losses, on the efficiency of boundary layer immersed propulsion devices. We introduce the concept of a boundary layer retardation turbine that helps reduce skin friction over the fuselage. We numerically investigate efficiency gains offered by boundary layer and wake interacting devices. We discuss the results in terms of a total energy consumption framework and show that efficiency gains of any device depend on all the other elements of the propulsion system.},
  author       = {Mikić, Gregor and Stoll, Alex and Bevirt, Joe and Grah, Rok and Moore, Mark},
  location     = {Washington, D.C., USA},
  pages        = {1 -- 19},
  publisher    = {AIAA},
  title        = {{Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency}},
  doi          = {10.2514/6.2016-3764},
  year         = {2016},
}

@inproceedings{1234,
  abstract     = {We present a new algorithm for the statistical model checking of Markov chains with respect to unbounded temporal properties, including full linear temporal logic. The main idea is that we monitor each simulation run on the fly, in order to detect quickly if a bottom strongly connected component is entered with high probability, in which case the simulation run can be terminated early. As a result, our simulation runs are often much shorter than required by termination bounds that are computed a priori for a desired level of confidence on a large state space. In comparison to previous algorithms for statistical model checking our method is not only faster in many cases but also requires less information about the system, namely, only the minimum transition probability that occurs in the Markov chain. In addition, our method can be generalised to unbounded quantitative properties such as mean-payoff bounds.},
  author       = {Daca, Przemyslaw and Henzinger, Thomas A and Kretinsky, Jan and Petrov, Tatjana},
  location     = {Eindhoven, The Netherlands},
  pages        = {112 -- 129},
  publisher    = {Springer},
  title        = {{Faster statistical model checking for unbounded temporal properties}},
  doi          = {10.1007/978-3-662-49674-9_7},
  volume       = {9636},
  year         = {2016},
}

