TY - JOUR AB - Supraglacial ponds play a key role in absorbing atmospheric energy and directing it to the ice of debris-covered glaciers, but the spatial and temporal distribution of these features is not well documented. We analyse 172 Landsat TM/ETM+ scenes for the period 1999–2013 to identify thawed supraglacial ponds for the debris-covered tongues of five glaciers in the Langtang Valley of Nepal. We apply an advanced atmospheric correction routine (Landcor/6S) and use band ratio and image morphological techniques to identify ponds and validate our results with 2.5 m Cartosat-1 observations. We then characterize the spatial, seasonal and interannual patterns of ponds. We find high variability in pond incidence between glaciers (May–October means of 0.08–1.69% of debris area), with ponds most frequent in zones of low surface gradient and velocity. The ponds show pronounced seasonality, appearing in the pre-monsoon as snow melts, peaking at the monsoon onset at 2% of debris-covered area, then declining in the post-monsoon as ponds drain or freeze. Ponds are highly recurrent and persistent, with 40.5% of pond locations occurring for multiple years. Rather than a trend in pond cover over the study period, we find high interannual variability for each glacier after controlling for seasonality. AU - MILES, EVAN S. AU - WILLIS, IAN C. AU - ARNOLD, NEIL S. AU - STEINER, JAKOB AU - Pellicciotti, Francesca ID - 12612 IS - 237 JF - Journal of Glaciology KW - Earth-Surface Processes SN - 0022-1430 TI - Spatial, seasonal and interannual variability of supraglacial ponds in the Langtang Valley of Nepal, 1999–2013 VL - 63 ER - TY - JOUR AB - The hydrological systems of heavily-downwasted debris-covered glaciers differ from those of clean-ice glaciers due to the hummocky surface and debris mantle of such glaciers, leading to a relatively limited understanding of drainage pathways. Supraglacial ponds represent sinks within the discontinuous supraglacial drainage system, and occasionally drain englacially. To assess pond dynamics, we made pond water level measurements on Lirung Glacier, Nepal, during May and October of 2013 and 2014. Simultaneously, aerial, satellite, and terrestrial orthoimages and digital elevation models were obtained, providing snapshots of the ponds and their surroundings. We performed a DEM-based analysis of the glacier's closed surface catchments to identify surface drainage pathways and englacial drainage points, and compared this to field observations of surface and near-surface water flow. The total ponded area was higher in the pre-monsoon than post-monsoon, with individual ponds filling and draining seasonally associated with the surface exposure of englacial conduit segments. We recorded four pond drainage events, all of which occurred gradually (duration of weeks), observed diurnal fluctuations indicative of varying water supply and outflow discharge, and we documented instances of interaction between distant ponds. The DEM drainage analysis identified numerous sinks >3 m in depth across the glacier surface, few of which exhibited ponds (23%), while the field survey highlighted instances of surface water only explicable via englacial routes. Taken together, our observations provide evidence for widespread supraglacial-englacial connectivity of meltwater drainage paths. Results suggest that successive englacial conduit collapse events, themselves likely driven by supraglacial pond drainage, cause the glacier surface drainage system to evolve into a configuration following relict englacial conduit systems. Within this system, ponds form in depressions of reduced drainage efficiency and link the supraglacial and englacial drainage networks. AU - Miles, Evan S. AU - Steiner, Jakob AU - Willis, Ian AU - Buri, Pascal AU - Immerzeel, Walter W. AU - Chesnokova, Anna AU - Pellicciotti, Francesca ID - 12610 JF - Frontiers in Earth Science KW - General Earth and Planetary Sciences SN - 2296-6463 TI - Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal VL - 5 ER - TY - JOUR AB - Previous estimates of melt and surface sublimation on glaciers of the subtropical semiarid Andes (29–34°S) have been obtained at few specific locations, but it is not clear how ablation components vary across the entire extent of a glacier in this dry environment. Here, we simulate the distributed energy and mass balance of Juncal Norte Glacier (33°S) during a 2-month summer period. Forcing fields of near-surface air temperature and wind speed are generated using two methods accounting for the main physical processes that shape their spatial variations. Simulated meteorological variables and ablation agree well with observations on the glacier tongue and reveal complex patterns of energy and mass fluxes. Ablation decreases from 70 mm w.e. d−1 at the low-albedo glacier terminus (~3000 m), where almost 100% of total ablation corresponds to melt, to <5 mm w.e. d−1 at wind-exposed, strong-radiated sites above 5500 m, where surface sublimation represents >75% of total ablation. Our simulations provide the first glacier-scale estimates of ablation components on a glacier in the study region and better reproduce the observed and expected spatial variations of melt and surface sublimation, in comparison with more simple assumptions, such as linear gradients and uniform wind speeds. AU - AYALA, A. AU - Pellicciotti, Francesca AU - PELEG, N. AU - BURLANDO, P. ID - 12609 IS - 241 JF - Journal of Glaciology KW - Earth-Surface Processes SN - 0022-1430 TI - Melt and surface sublimation across a glacier in a dry environment: distributed energy-balance modelling of Juncal Norte Glacier, Chile VL - 63 ER - TY - JOUR AB - The spatio-temporal distribution of air temperature over mountain glaciers can demonstrate complex patterns, yet it is often represented simplistically using linear vertical temperature gradients (VTGs) extrapolated from off-glacier locations. We analyse a network of centreline and lateral air temperature observations at Tsanteleina Glacier, Italy, during summer 2015. On average, VTGs are steep (<−0.0065 °C m−1), but they are shallow under warm ambient conditions when the correlation between air temperature and elevation becomes weaker. Published along-flowline temperature distribution methods explain centreline observations well, including warming on the lower glacier tongue, but cannot estimate lateral temperature variability. Application of temperature distribution methods improves simulation of melt rates (RMSE) in an energy-balance model by up to 36% compared to the environmental lapse rate extrapolated from an off-glacier station. However, results suggest that model parameters are not easily transferable to glaciers with a small fetch without recalibration. Such methods have potential to improve estimates of temperature across a glacier, but their parameter transferability should be further linked to the glacier and atmospheric characteristics. Furthermore, ‘cold spots’, which can be >2°C cooler than expected for their elevation, whose occurrence is not predicted by the temperature distribution models, are identified at one-quarter of the measurement sites. AU - SHAW, THOMAS E. AU - BROCK, BEN W. AU - AYALA, ÁLVARO AU - RUTTER, NICK AU - Pellicciotti, Francesca ID - 12608 IS - 242 JF - Journal of Glaciology KW - Earth-Surface Processes SN - 0022-1430 TI - Centreline and cross-glacier air temperature variability on an Alpine glacier: Assessing temperature distribution methods and their influence on melt model calculations VL - 63 ER - TY - GEN AU - Schlögl, Alois AU - Kiss, Janos ID - 12905 T2 - AHPC17 – Austrian HPC Meeting 2017 TI - Scientific Computing at IST Austria ER - TY - CONF AB - Transforming deterministic ω -automata into deterministic parity automata is traditionally done using variants of appearance records. We present a more efficient variant of this approach, tailored to Rabin automata, and several optimizations applicable to all appearance records. We compare the methods experimentally and find out that our method produces smaller automata than previous approaches. Moreover, the experiments demonstrate the potential of our method for LTL synthesis, using LTL-to-Rabin translators. It leads to significantly smaller parity automata when compared to state-of-the-art approaches on complex formulae. AU - Kretinsky, Jan AU - Meggendorfer, Tobias AU - Waldmann, Clara AU - Weininger, Maximilian ID - 13160 SN - 0302-9743 T2 - Tools and Algorithms for the Construction and Analysis of Systems TI - Index appearance record for transforming Rabin automata into parity automata VL - 10205 ER - TY - JOUR AB - Self-assembly of inorganic nanoparticles has been used to prepare hundreds of different colloidal crystals, but almost invariably with the restriction that the particles must be densely packed. Here, we show that non–close-packed nanoparticle arrays can be fabricated through the selective removal of one of two components comprising binary nanoparticle superlattices. First, a variety of binary nanoparticle superlattices were prepared at the liquid-air interface, including several arrangements that were previously unknown. Molecular dynamics simulations revealed the particular role of the liquid in templating the formation of superlattices not achievable through self-assembly in bulk solution. Second, upon stabilization, all of these binary superlattices could be transformed into distinct “nanoallotropes”—nanoporous materials having the same chemical composition but differing in their nanoscale architectures. AU - Udayabhaskararao, Thumu AU - Altantzis, Thomas AU - Houben, Lothar AU - Coronado-Puchau, Marc AU - Langer, Judith AU - Popovitz-Biro, Ronit AU - Liz-Marzán, Luis M. AU - Vuković, Lela AU - Král, Petr AU - Bals, Sara AU - Klajn, Rafal ID - 13381 IS - 6362 JF - Science KW - Multidisciplinary SN - 0036-8075 TI - Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices VL - 358 ER - TY - JOUR AU - van Esch, Jan H. AU - Klajn, Rafal AU - Otto, Sijbren ID - 13382 IS - 18 JF - Chemical Society Reviews KW - General Chemistry SN - 0306-0012 TI - Chemical systems out of equilibrium VL - 46 ER - TY - JOUR AB - Most massive stars, the progenitors of core-collapse supernovae, are in close binary systems and may interact with their companion through mass transfer or merging. We undertake a population synthesis study to compute the delay-time distribution of core-collapse supernovae, that is, the supernova rate versus time following a starburst, taking into account binary interactions. We test the systematic robustness of our results by running various simulations to account for the uncertainties in our standard assumptions. We find that a significant fraction, 15+9-8%, of core-collapse supernovae are “late”, that is, they occur 50–200 Myr after birth, when all massive single stars have already exploded. These late events originate predominantly from binary systems with at least one, or, in most cases, with both stars initially being of intermediate mass (4–8 M⊙). The main evolutionary channels that contribute often involve either the merging of the initially more massive primary star with its companion or the engulfment of the remaining core of the primary by the expanding secondary that has accreted mass at an earlier evolutionary stage. Also, the total number of core-collapse supernovae increases by 14+15-14% because of binarity for the same initial stellar mass. The high rate implies that we should have already observed such late core-collapse supernovae, but have not recognized them as such. We argue that φ Persei is a likely progenitor and that eccentric neutron star – white dwarf systems are likely descendants. Late events can help explain the discrepancy in the delay-time distributions derived from supernova remnants in the Magellanic Clouds and extragalactic type Ia events, lowering the contribution of prompt Ia events. We discuss ways to test these predictions and speculate on the implications for supernova feedback in simulations of galaxy evolution. AU - Zapartas, E. AU - de Mink, S. E. AU - Izzard, R. G. AU - Yoon, S.-C. AU - Badenes, C. AU - Götberg, Ylva Louise Linsdotter AU - de Koter, A. AU - Neijssel, C. J. AU - Renzo, M. AU - Schootemeijer, A. AU - Shrotriya, T. S. ID - 13477 IS - A&A JF - Astronomy & Astrophysics KW - Space and Planetary Science KW - Astronomy and Astrophysics SN - 0004-6361 TI - Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction VL - 601 ER - TY - JOUR AB - Understanding ionizing fluxes of stellar populations is crucial for various astrophysical problems including the epoch of reionization. Short-lived massive stars are generally considered as the main stellar sources. We examine the potential role of less massive stars that lose their envelope through interaction with a binary companion. Here, we focus on the role of metallicity (Z). For this purpose we used the evolutionary code MESA and created tailored atmosphere models with the radiative transfer code CMFGEN. We show that typical progenitors, with initial masses of 12 M⊙, produce hot and compact stars (~ 4 M⊙, 60–80 kK, ~1 R⊙). These stripped stars copiously produce ionizing photons, emitting 60–85% and 30–60% of their energy as HI and HeI ionizing radiation, for Z = 0.0001–0.02, respectively. Their output is comparable to what massive stars emit during their Wolf-Rayet phase, if we account for their longer lifetimes and the favorable slope of the initial mass function. Their relative importance for reionization may be further favored since they emit their photons with a time delay (~ 20 Myr after birth in our fiducial model). This allows time for the dispersal of the birth clouds, allowing the ionizing photons to escape into the intergalactic medium. At low Z, we find that Roche stripping fails to fully remove the H-rich envelope, because of the reduced opacity in the subsurface layers. This is in sharp contrast with the assumption of complete stripping that is made in rapid population synthesis simulations, which are widely used to simulate the binary progenitors of supernovae and gravitational waves. Finally, we discuss the urgency to increase the observed sample of stripped stars to test these models and we discuss how our predictions can help to design efficient observational campaigns. AU - Götberg, Ylva Louise Linsdotter AU - de Mink, S. E. AU - Groh, J. H. ID - 13476 JF - Astronomy & Astrophysics KW - Space and Planetary Science KW - Astronomy and Astrophysics SN - 0004-6361 TI - Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity VL - 608 ER - TY - JOUR AB - High-harmonic spectroscopy driven by circularly polarized laser pulses and their counterrotating second harmonic is a new branch of attosecond science which currently lacks quantitative interpretations. We extend this technique to the midinfrared regime and record detailed high-harmonic spectra of several rare-gas atoms. These results are compared with the solution of the Schrödinger equation in three dimensions and calculations based on the strong-field approximation that incorporate accurate scattering-wave recombination matrix elements. A quantum-orbit analysis of these results provides a transparent interpretation of the measured intensity ratios of symmetry-allowed neighboring harmonics in terms of (i) a set of propensity rules related to the angular momentum of the atomic orbitals, (ii) atom-specific matrix elements related to their electronic structure, and (iii) the interference of the emissions associated with electrons in orbitals corotating or counterrotating with the laser fields. These results provide the foundation for a quantitative understanding of bicircular high-harmonic spectroscopy. AU - Baykusheva, Denitsa Rangelova AU - Brennecke, Simon AU - Lein, Manfred AU - Wörner, Hans Jakob ID - 14031 IS - 20 JF - Physical Review Letters KW - General Physics and Astronomy SN - 0031-9007 TI - Signatures of electronic structure in bicircular high-harmonic spectroscopy VL - 119 ER - TY - JOUR AB - High-harmonic spectroscopy driven by circularly polarized laser pulses and their counterrotating second harmonic is a new branch of attosecond science which currently lacks quantitative interpretations. We extend this technique to the midinfrared regime and record detailed high-harmonic spectra of several rare-gas atoms. These results are compared with the solution of the Schrödinger equation in three dimensions and calculations based on the strong-field approximation that incorporate accurate scattering-wave recombination matrix elements. A quantum-orbit analysis of these results provides a transparent interpretation of the measured intensity ratios of symmetry-allowed neighboring harmonics in terms of (i) a set of propensity rules related to the angular momentum of the atomic orbitals, (ii) atom-specific matrix elements related to their electronic structure, and (iii) the interference of the emissions associated with electrons in orbitals corotating or counterrotating with the laser fields. These results provide the foundation for a quantitative understanding of bicircular high-harmonic spectroscopy. AU - Baykusheva, Denitsa Rangelova AU - Brennecke, Simon AU - Lein, Manfred AU - Wörner, Hans Jakob ID - 14004 IS - 20 JF - Physical Review Letters KW - General Physics and Astronomy SN - 0031-9007 TI - Signatures of electronic structure in bicircular high-harmonic spectroscopy VL - 119 ER - TY - JOUR AB - Strong-field photoelectron holography and laser-induced electron diffraction (LIED) are two powerful emerging methods for probing the ultrafast dynamics of molecules. However, both of them have remained restricted to static systems and to nuclear dynamics induced by strong-field ionization. Here we extend these promising methods to image purely electronic valence-shell dynamics in molecules using photoelectron holography. In the same experiment, we use LIED and photoelectron holography simultaneously, to observe coupled electronic-rotational dynamics taking place on similar timescales. These results offer perspectives for imaging ultrafast dynamics of molecules on femtosecond to attosecond timescales. AU - Walt, Samuel G. AU - Bhargava Ram, Niraghatam AU - Atala, Marcos AU - Shvetsov-Shilovski, Nikolay I AU - von Conta, Aaron AU - Baykusheva, Denitsa Rangelova AU - Lein, Manfred AU - Wörner, Hans Jakob ID - 14005 JF - Nature Communications KW - General Physics and Astronomy KW - General Biochemistry KW - Genetics and Molecular Biology KW - General Chemistry KW - Multidisciplinary TI - Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering VL - 8 ER - TY - JOUR AB - In a recent article by Hockett et al (2016 J. Phys. B: At. Mol. Opt. Phys. 49 095602), time delays arising in the context of molecular single-photon ionization are investigated from a theoretical point of view. We argue that one of the central equations given in this article is incorrect and present a reformulation that is consistent with the established treatment of angle-dependent scattering delays (Eisenbud 1948 PhD Thesis Princeton University; Wigner 1955 Phys. Rev. 98 145–7; Smith 1960 Phys. Rev. 118 349–6; Nussenzveig 1972 Phys. Rev. D 6 1534–42). AU - Baykusheva, Denitsa Rangelova AU - Wörner, Hans Jakob ID - 14007 IS - 7 JF - Journal of Physics B: Atomic, Molecular and Optical Physics KW - Condensed Matter Physics KW - Atomic and Molecular Physics KW - and Optics SN - 0953-4075 TI - Comment on ‘Time delays in molecular photoionization’ VL - 50 ER - TY - CONF AB - Two-player games on graphs are widely studied in formal methods as they model the interaction between a system and its environment. The game is played by moving a token throughout a graph to produce an infinite path. There are several common modes to determine how the players move the token through the graph; e.g., in turn-based games the players alternate turns in moving the token. We study the bidding mode of moving the token, which, to the best of our knowledge, has never been studied in infinite-duration games. Both players have separate budgets, which sum up to $1$. In each turn, a bidding takes place. Both players submit bids simultaneously, and a bid is legal if it does not exceed the available budget. The winner of the bidding pays his bid to the other player and moves the token. For reachability objectives, repeated bidding games have been studied and are called Richman games. There, a central question is the existence and computation of threshold budgets; namely, a value t\in [0,1] such that if\PO's budget exceeds $t$, he can win the game, and if\PT's budget exceeds 1-t, he can win the game. We focus on parity games and mean-payoff games. We show the existence of threshold budgets in these games, and reduce the problem of finding them to Richman games. We also determine the strategy-complexity of an optimal strategy. Our most interesting result shows that memoryless strategies suffice for mean-payoff bidding games. AU - Avni, Guy AU - Henzinger, Thomas A AU - Chonev, Ventsislav K ID - 950 SN - 1868-8969 TI - Infinite-duration bidding games VL - 85 ER - TY - CONF AB - Given a triangulation of a point set in the plane, a flip deletes an edge e whose removal leaves a convex quadrilateral, and replaces e by the opposite diagonal of the quadrilateral. It is well known that any triangulation of a point set can be reconfigured to any other triangulation by some sequence of flips. We explore this question in the setting where each edge of a triangulation has a label, and a flip transfers the label of the removed edge to the new edge. It is not true that every labelled triangulation of a point set can be reconfigured to every other labelled triangulation via a sequence of flips, but we characterize when this is possible. There is an obvious necessary condition: for each label l, if edge e has label l in the first triangulation and edge f has label l in the second triangulation, then there must be some sequence of flips that moves label l from e to f, ignoring all other labels. Bose, Lubiw, Pathak and Verdonschot formulated the Orbit Conjecture, which states that this necessary condition is also sufficient, i.e. that all labels can be simultaneously mapped to their destination if and only if each label individually can be mapped to its destination. We prove this conjecture. Furthermore, we give a polynomial-time algorithm to find a sequence of flips to reconfigure one labelled triangulation to another, if such a sequence exists, and we prove an upper bound of O(n7) on the length of the flip sequence. Our proof uses the topological result that the sets of pairwise non-crossing edges on a planar point set form a simplicial complex that is homeomorphic to a high-dimensional ball (this follows from a result of Orden and Santos; we give a different proof based on a shelling argument). The dual cell complex of this simplicial ball, called the flip complex, has the usual flip graph as its 1-skeleton. We use properties of the 2-skeleton of the flip complex to prove the Orbit Conjecture. AU - Lubiw, Anna AU - Masárová, Zuzana AU - Wagner, Uli ID - 683 TI - A proof of the orbit conjecture for flipping edge labelled triangulations VL - 77 ER - TY - THES AB - This dissertation concerns the automatic verification of probabilistic systems and programs with arrays by statistical and logical methods. Although statistical and logical methods are different in nature, we show that they can be successfully combined for system analysis. In the first part of the dissertation we present a new statistical algorithm for the verification of probabilistic systems with respect to unbounded properties, including linear temporal logic. Our algorithm often performs faster than the previous approaches, and at the same time requires less information about the system. In addition, our method can be generalized to unbounded quantitative properties such as mean-payoff bounds. In the second part, we introduce two techniques for comparing probabilistic systems. Probabilistic systems are typically compared using the notion of equivalence, which requires the systems to have the equal probability of all behaviors. However, this notion is often too strict, since probabilities are typically only empirically estimated, and any imprecision may break the relation between processes. On the one hand, we propose to replace the Boolean notion of equivalence by a quantitative distance of similarity. For this purpose, we introduce a statistical framework for estimating distances between Markov chains based on their simulation runs, and we investigate which distances can be approximated in our framework. On the other hand, we propose to compare systems with respect to a new qualitative logic, which expresses that behaviors occur with probability one or a positive probability. This qualitative analysis is robust with respect to modeling errors and applicable to many domains. In the last part, we present a new quantifier-free logic for integer arrays, which allows us to express counting. Counting properties are prevalent in array-manipulating programs, however they cannot be expressed in the quantified fragments of the theory of arrays. We present a decision procedure for our logic, and provide several complexity results. AU - Daca, Przemyslaw ID - 1155 SN - 2663-337X TI - Statistical and logical methods for property checking ER - TY - THES AB - Bacteria and their pathogens – phages – are the most abundant living entities on Earth. Throughout their coevolution, bacteria have evolved multiple immune systems to overcome the ubiquitous threat from the phages. Although the molecu- lar details of these immune systems’ functions are relatively well understood, their epidemiological consequences for the phage-bacterial communities have been largely neglected. In this thesis we employed both experimental and theoretical methods to explore whether herd and social immunity may arise in bacterial popu- lations. Using our experimental system consisting of Escherichia coli strains with a CRISPR based immunity to the T7 phage we show that herd immunity arises in phage-bacterial communities and that it is accentuated when the populations are spatially structured. By fitting a mathematical model, we inferred expressions for the herd immunity threshold and the velocity of spread of a phage epidemic in partially resistant bacterial populations, which both depend on the bacterial growth rate, phage burst size and phage latent period. We also investigated the poten- tial for social immunity in Streptococcus thermophilus and its phage 2972 using a bioinformatic analysis of potentially coding short open reading frames with a signalling signature, encoded within the CRISPR associated genes. Subsequently, we tested one identified potentially signalling peptide and found that its addition to a phage-challenged culture increases probability of survival of bacteria two fold, although the results were only marginally significant. Together, these results demonstrate that the ubiquitous arms races between bacteria and phages have further consequences at the level of the population. AU - Payne, Pavel ID - 6291 SN - 2663-337X TI - Bacterial herd and social immunity to phages ER - TY - JOUR AB - Restriction–modification systems are widespread genetic elements that protect bacteria from bacteriophage infections by recognizing and cleaving heterologous DNA at short, well-defined sequences called restriction sites. Bioinformatic evidence shows that restriction sites are significantly underrepresented in bacteriophage genomes, presumably because bacteriophages with fewer restriction sites are more likely to escape cleavage by restriction–modification systems. However, how mutations in restriction sites affect the likelihood of bacteriophage escape is unknown. Using the bacteriophage l and the restriction–modification system EcoRI, we show that while mutation effects at different restriction sites are unequal, they are independent. As a result, the probability of bacteriophage escape increases with each mutated restriction site. Our results experimentally support the role of restriction site avoidance as a response to selection imposed by restriction–modification systems and offer an insight into the events underlying the process of bacteriophage escape. AU - Pleska, Maros AU - Guet, Calin C ID - 561 IS - 12 JF - Biology Letters SN - 1744-9561 TI - Effects of mutations in phage restriction sites during escape from restriction–modification VL - 13 ER - TY - THES AB - Antibiotics have diverse effects on bacteria, including massive changes in bacterial gene expression. Whereas the gene expression changes under many antibiotics have been measured, the temporal organization of these responses and their dependence on the bacterial growth rate are unclear. As described in Chapter 1, we quantified the temporal gene expression changes in the bacterium Escherichia coli in response to the sudden exposure to antibiotics using a fluorescent reporter library and a robotic system. Our data show temporally structured gene expression responses, with response times for individual genes ranging from tens of minutes to several hours. We observed that many stress response genes were activated in response to antibiotics. As certain stress responses cross-protect bacteria from other stressors, we then asked whether cellular responses to antibiotics have a similar protective role in Chapter 2. Indeed, we found that the trimethoprim-induced acid stress response protects bacteria from subsequent acid stress. We combined microfluidics with time-lapse imaging to monitor survival, intracellular pH, and acid stress response in single cells. This approach revealed that the variable expression of the acid resistance operon gadBC strongly correlates with single-cell survival time. Cells with higher gadBC expression following trimethoprim maintain higher intracellular pH and survive the acid stress longer. Overall, we provide a way to identify single-cell cross-protection between antibiotics and environmental stressors from temporal gene expression data, and show how antibiotics can increase bacterial fitness in changing environments. While gene expression changes to antibiotics show a clear temporal structure at the population-level, it is unclear whether this clear temporal order is followed by every single cell. Using dual-reporter strains described in Chapter 3, we measured gene expression dynamics of promoter pairs in the same cells using microfluidics and microscopy. Chapter 4 shows that the oxidative stress response and the DNA stress response showed little timing variability and a clear temporal order under the antibiotic nitrofurantoin. In contrast, the acid stress response under trimethoprim ran independently from all other activated response programs including the DNA stress response, which showed particularly high timing variability in this stress condition. In summary, this approach provides insight into the temporal organization of gene expression programs at the single-cell level and suggests dependencies between response programs and the underlying variability-introducing mechanisms. Altogether, this work advances our understanding of the diverse effects that antibiotics have on bacteria. These results were obtained by taking into account gene expression dynamics, which allowed us to identify general principles, molecular mechanisms, and dependencies between genes. Our findings may have implications for infectious disease treatments, and microbial communities in the human body and in nature. AU - Mitosch, Karin ID - 818 SN - 2663-337X TI - Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics ER -