@article{1336,
  abstract     = {Evolutionary algorithms (EAs) form a popular optimisation paradigm inspired by natural evolution. In recent years the field of evolutionary computation has developed a rigorous analytical theory to analyse the runtimes of EAs on many illustrative problems. Here we apply this theory to a simple model of natural evolution. In the Strong Selection Weak Mutation (SSWM) evolutionary regime the time between occurrences of new mutations is much longer than the time it takes for a mutated genotype to take over the population. In this situation, the population only contains copies of one genotype and evolution can be modelled as a stochastic process evolving one genotype by means of mutation and selection between the resident and the mutated genotype. The probability of accepting the mutated genotype then depends on the change in fitness. We study this process, SSWM, from an algorithmic perspective, quantifying its expected optimisation time for various parameters and investigating differences to a similar evolutionary algorithm, the well-known (1+1) EA. We show that SSWM can have a moderate advantage over the (1+1) EA at crossing fitness valleys and study an example where SSWM outperforms the (1+1) EA by taking advantage of information on the fitness gradient.},
  author       = {Paixao, Tiago and Pérez Heredia, Jorge and Sudholt, Dirk and Trubenova, Barbora},
  issn         = {01784617},
  journal      = {Algorithmica},
  number       = {2},
  pages        = {681 -- 713},
  publisher    = {Springer},
  title        = {{Towards a runtime comparison of natural and artificial evolution}},
  doi          = {10.1007/s00453-016-0212-1},
  volume       = {78},
  year         = {2017},
}

@article{1337,
  abstract     = {We consider the local eigenvalue distribution of large self-adjoint N×N random matrices H=H∗ with centered independent entries. In contrast to previous works the matrix of variances sij=\mathbbmE|hij|2 is not assumed to be stochastic. Hence the density of states is not the Wigner semicircle law. Its possible shapes are described in the companion paper (Ajanki et al. in Quadratic Vector Equations on the Complex Upper Half Plane. arXiv:1506.05095). We show that as N grows, the resolvent, G(z)=(H−z)−1, converges to a diagonal matrix, diag(m(z)), where m(z)=(m1(z),…,mN(z)) solves the vector equation −1/mi(z)=z+∑jsijmj(z) that has been analyzed in Ajanki et al. (Quadratic Vector Equations on the Complex Upper Half Plane. arXiv:1506.05095). We prove a local law down to the smallest spectral resolution scale, and bulk universality for both real symmetric and complex hermitian symmetry classes.},
  author       = {Ajanki, Oskari H and Erdös, László and Krüger, Torben H},
  issn         = {01788051},
  journal      = {Probability Theory and Related Fields},
  number       = {3-4},
  pages        = {667 -- 727},
  publisher    = {Springer},
  title        = {{Universality for general Wigner-type matrices}},
  doi          = {10.1007/s00440-016-0740-2},
  volume       = {169},
  year         = {2017},
}

@article{1338,
  abstract     = {We present a computer-aided programming approach to concurrency. The approach allows programmers to program assuming a friendly, non-preemptive scheduler, and our synthesis procedure inserts synchronization to ensure that the final program works even with a preemptive scheduler. The correctness specification is implicit, inferred from the non-preemptive behavior. Let us consider sequences of calls that the program makes to an external interface. The specification requires that any such sequence produced under a preemptive scheduler should be included in the set of sequences produced under a non-preemptive scheduler. We guarantee that our synthesis does not introduce deadlocks and that the synchronization inserted is optimal w.r.t. a given objective function. The solution is based on a finitary abstraction, an algorithm for bounded language inclusion modulo an independence relation, and generation of a set of global constraints over synchronization placements. Each model of the global constraints set corresponds to a correctness-ensuring synchronization placement. The placement that is optimal w.r.t. the given objective function is chosen as the synchronization solution. We apply the approach to device-driver programming, where the driver threads call the software interface of the device and the API provided by the operating system. Our experiments demonstrate that our synthesis method is precise and efficient. The implicit specification helped us find one concurrency bug previously missed when model-checking using an explicit, user-provided specification. We implemented objective functions for coarse-grained and fine-grained locking and observed that different synchronization placements are produced for our experiments, favoring a minimal number of synchronization operations or maximum concurrency, respectively.},
  author       = {Cerny, Pavol and Clarke, Edmund and Henzinger, Thomas A and Radhakrishna, Arjun and Ryzhyk, Leonid and Samanta, Roopsha and Tarrach, Thorsten},
  journal      = {Formal Methods in System Design},
  number       = {2-3},
  pages        = {97 -- 139},
  publisher    = {Springer},
  title        = {{From non-preemptive to preemptive scheduling using synchronization synthesis}},
  doi          = {10.1007/s10703-016-0256-5},
  volume       = {50},
  year         = {2017},
}

@article{13380,
  abstract     = {Although dissipative self-assembly is ubiquitous in nature, where it gives rise to structures and functions critical to life, examples of artificial systems featuring this mode of self-assembly are rare. Here, we identify the presence of ephemeral assemblies during seeded growth of gold nanoparticles. In this process, hydrazine reduces Au(III) ions, which attach to the existing nanoparticles “seeds”. The attachment is accompanied by a local increase in the concentration of a surfactant, which therefore forms a bilayer on nanoparticle surfaces, inducing their assembly. The resulting aggregates gradually disassemble as the surfactant concentration throughout the solution equilibrates. The lifetimes of the out-of-equilibrium aggregates depend on and can be controlled by the size of the constituent nanoparticles. We demonstrate the utility of our out-of-equilibrium aggregates to form transient reflective coatings on polar surfaces.},
  author       = {Sawczyk, Michał and Klajn, Rafal},
  issn         = {1520-5126},
  journal      = {Journal of the American Chemical Society},
  keywords     = {Colloid and Surface Chemistry, Biochemistry, General Chemistry, Catalysis},
  number       = {49},
  pages        = {17973--17978},
  publisher    = {American Chemical Society},
  title        = {{Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles}},
  doi          = {10.1021/jacs.7b09111},
  volume       = {139},
  year         = {2017},
}

@article{13381,
  abstract     = {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.},
  author       = {Udayabhaskararao, Thumu and Altantzis, Thomas and Houben, Lothar and Coronado-Puchau, Marc and Langer, Judith and Popovitz-Biro, Ronit and Liz-Marzán, Luis M. and Vuković, Lela and Král, Petr and Bals, Sara and Klajn, Rafal},
  issn         = {1095-9203},
  journal      = {Science},
  keywords     = {Multidisciplinary},
  number       = {6362},
  pages        = {514--518},
  publisher    = {American Association for the Advancement of Science},
  title        = {{Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices}},
  doi          = {10.1126/science.aan6046},
  volume       = {358},
  year         = {2017},
}

@article{13382,
  author       = {van Esch, Jan H. and Klajn, Rafal and Otto, Sijbren},
  issn         = {1460-4744},
  journal      = {Chemical Society Reviews},
  keywords     = {General Chemistry},
  number       = {18},
  pages        = {5474--5475},
  publisher    = {Royal Society of Chemistry},
  title        = {{Chemical systems out of equilibrium}},
  doi          = {10.1039/c7cs90088k},
  volume       = {46},
  year         = {2017},
}

@article{13383,
  abstract     = {Two novel donor–acceptor Stenhouse adducts (DASAs) featuring the catechol moiety were synthesized and characterized. Both compounds bind strongly to the surfaces of magnetite nanoparticles. An adrenaline-derived DASA renders the particles insoluble in all common solvents, likely because of poor solvation of the zwitterionic isomer generated on the nanoparticle surfaces. Well-soluble nanoparticles were successfully obtained using dopamine-derived DASA equipped with a long alkyl chain. Upon its attachment to nanoparticles, this DASA undergoes an irreversible decoloration reaction owing to the formation of the zwitterionic form. The reaction follows first-order kinetics and proceeds more rapidly on large nanoparticles. Interestingly, decoloration can be suppressed in the presence of free DASA molecules in solution or at high nanoparticle concentrations.},
  author       = {Ahrens, Johannes and Bian, Tong and Vexler, Tom and Klajn, Rafal},
  issn         = {2367-0932},
  journal      = {ChemPhotoChem},
  keywords     = {Organic Chemistry, Physical and Theoretical Chemistry, Analytical Chemistry},
  number       = {5},
  pages        = {230--236},
  publisher    = {Wiley},
  title        = {{Irreversible bleaching of donor-acceptor stenhouse adducts on the surfaces of magnetite nanoparticles}},
  doi          = {10.1002/cptc.201700009},
  volume       = {1},
  year         = {2017},
}

@article{13384,
  abstract     = {Although methane is a volatile gas, it can be efficiently trapped in ice, which can then be readily set on fire. Beyond the curiosity of this “burning ice,” caged methane is of great importance as one of the world's largest natural gas resources. In these materials, known as clathrates, methane molecules are tightly bound in nanometer-sized, regularly interspaced cages. Other inorganic materials, such as the silica mineral chibaite, can similarly encapsulate methane and higher hydrocarbons. Simple organic compounds have also been found to trap various organic molecules upon crystallization.},
  author       = {Samanta, Dipak and Klajn, Rafal},
  issn         = {1095-9203},
  journal      = {Science},
  keywords     = {Multidisciplinary},
  number       = {6328},
  pages        = {912--912},
  publisher    = {American Association for the Advancement of Science},
  title        = {{Clathrates grow up}},
  doi          = {10.1126/science.aam7927},
  volume       = {355},
  year         = {2017},
}

@article{13476,
  abstract     = {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.},
  author       = {Götberg, Ylva Louise Linsdotter and de Mink, S. E. and Groh, J. H.},
  issn         = {1432-0746},
  journal      = {Astronomy & Astrophysics},
  keywords     = {Space and Planetary Science, Astronomy and Astrophysics},
  publisher    = {EDP Sciences},
  title        = {{Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity}},
  doi          = {10.1051/0004-6361/201730472},
  volume       = {608},
  year         = {2017},
}

@article{13477,
  abstract     = {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.},
  author       = {Zapartas, E. and de Mink, S. E. and Izzard, R. G. and Yoon, S.-C. and Badenes, C. and Götberg, Ylva Louise Linsdotter and de Koter, A. and Neijssel, C. J. and Renzo, M. and Schootemeijer, A. and Shrotriya, T. S.},
  issn         = {1432-0746},
  journal      = {Astronomy & Astrophysics},
  keywords     = {Space and Planetary Science, Astronomy and Astrophysics},
  number       = {A&A},
  publisher    = {EDP Sciences},
  title        = {{Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction}},
  doi          = {10.1051/0004-6361/201629685},
  volume       = {601},
  year         = {2017},
}

@article{1351,
  abstract     = {The behaviour of gene regulatory networks (GRNs) is typically analysed using simulation-based statistical testing-like methods. In this paper, we demonstrate that we can replace this approach by a formal verification-like method that gives higher assurance and scalability. We focus on Wagner’s weighted GRN model with varying weights, which is used in evolutionary biology. In the model, weight parameters represent the gene interaction strength that may change due to genetic mutations. For a property of interest, we synthesise the constraints over the parameter space that represent the set of GRNs satisfying the property. We experimentally show that our parameter synthesis procedure computes the mutational robustness of GRNs—an important problem of interest in evolutionary biology—more efficiently than the classical simulation method. We specify the property in linear temporal logic. We employ symbolic bounded model checking and SMT solving to compute the space of GRNs that satisfy the property, which amounts to synthesizing a set of linear constraints on the weights.},
  author       = {Giacobbe, Mirco and Guet, Calin C and Gupta, Ashutosh and Henzinger, Thomas A and Paixao, Tiago and Petrov, Tatjana},
  issn         = {00015903},
  journal      = {Acta Informatica},
  number       = {8},
  pages        = {765 -- 787},
  publisher    = {Springer},
  title        = {{Model checking the evolution of gene regulatory networks}},
  doi          = {10.1007/s00236-016-0278-x},
  volume       = {54},
  year         = {2017},
}

@article{1367,
  abstract     = {One of the major challenges in physically based modelling is making simulations efficient. Adaptive models provide an essential solution to these efficiency goals. These models are able to self-adapt in space and time, attempting to provide the best possible compromise between accuracy and speed. This survey reviews the adaptive solutions proposed so far in computer graphics. Models are classified according to the strategy they use for adaptation, from time-stepping and freezing techniques to geometric adaptivity in the form of structured grids, meshes and particles. Applications range from fluids, through deformable bodies, to articulated solids.},
  author       = {Manteaux, Pierre and Wojtan, Christopher J and Narain, Rahul and Redon, Stéphane and Faure, François and Cani, Marie},
  issn         = {01677055},
  journal      = {Computer Graphics Forum},
  number       = {6},
  pages        = {312 -- 337},
  publisher    = {Wiley-Blackwell},
  title        = {{Adaptive physically based models in computer graphics}},
  doi          = {10.1111/cgf.12941},
  volume       = {36},
  year         = {2017},
}

@article{14004,
  abstract     = {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.},
  author       = {Baykusheva, Denitsa Rangelova and Brennecke, Simon and Lein, Manfred and Wörner, Hans Jakob},
  issn         = {1079-7114},
  journal      = {Physical Review Letters},
  keywords     = {General Physics and Astronomy},
  number       = {20},
  publisher    = {American Physical Society},
  title        = {{Signatures of electronic structure in bicircular high-harmonic spectroscopy}},
  doi          = {10.1103/physrevlett.119.203201},
  volume       = {119},
  year         = {2017},
}

@article{14005,
  abstract     = {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.},
  author       = {Walt, Samuel G. and Bhargava Ram, Niraghatam and Atala, Marcos and Shvetsov-Shilovski, Nikolay I and von Conta, Aaron and Baykusheva, Denitsa Rangelova and Lein, Manfred and Wörner, Hans Jakob},
  issn         = {2041-1723},
  journal      = {Nature Communications},
  keywords     = {General Physics and Astronomy, General Biochemistry, Genetics and Molecular Biology, General Chemistry, Multidisciplinary},
  publisher    = {Springer Nature},
  title        = {{Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering}},
  doi          = {10.1038/ncomms15651},
  volume       = {8},
  year         = {2017},
}

@article{14006,
  abstract     = {We present a theoretical formalism for the calculation of attosecond delays in molecular photoionization. It is shown how delays relevant to one-photon-ionization, also known as Eisenbud-Wigner-Smith delays, can be obtained from the complex dipole matrix elements provided by molecular quantum scattering theory. These results are used to derive formulae for the delays measured by two-photon attosecond interferometry based on an attosecond pulse train and a dressing femtosecond infrared pulse. These effective delays are first expressed in the molecular frame where maximal information about the molecular photoionization dynamics is available. The effects of averaging over the emission direction of the electron and the molecular orientation are introduced analytically. We illustrate this general formalism for the case of two polyatomic molecules. N2O serves as an example of a polar linear molecule characterized by complex photoionization dynamics resulting from the presence of molecular shape resonances. H2O illustrates the case of a non-linear molecule with comparably simple photoionization dynamics resulting from a flat continuum. Our theory establishes the foundation for interpreting measurements of the photoionization dynamics of all molecules by attosecond metrology.},
  author       = {Baykusheva, Denitsa Rangelova and Wörner, Hans Jakob},
  issn         = {1089-7690},
  journal      = {The Journal of Chemical Physics},
  keywords     = {Physical and Theoretical Chemistry, General Physics and Astronomy},
  number       = {12},
  publisher    = {AIP Publishing},
  title        = {{Theory of attosecond delays in molecular photoionization}},
  doi          = {10.1063/1.4977933},
  volume       = {146},
  year         = {2017},
}

@article{14007,
  abstract     = {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).},
  author       = {Baykusheva, Denitsa Rangelova and Wörner, Hans Jakob},
  issn         = {1361-6455},
  journal      = {Journal of Physics B: Atomic, Molecular and Optical Physics},
  keywords     = {Condensed Matter Physics, Atomic and Molecular Physics, and Optics},
  number       = {7},
  publisher    = {IOP Publishing},
  title        = {{Comment on ‘Time delays in molecular photoionization’}},
  doi          = {10.1088/1361-6455/aa62b5},
  volume       = {50},
  year         = {2017},
}

@article{14008,
  abstract     = {Time-resolved x-ray absorption spectroscopy (TR-XAS) has so far practically been limited to large-scale facilities, to subpicosecond temporal resolution, and to the condensed phase. We report the realization of TR-XAS with a temporal resolution in the low femtosecond range by developing a tabletop high-harmonic source reaching up to 350 electron volts, thus partially covering the spectral region of 280 to 530 electron volts, where water is transmissive. We used this source to follow previously unexamined light-induced chemical reactions in the lowest electronic states of isolated CF4+ and SF6+ molecules in the gas phase. By probing element-specific core-to-valence transitions at the carbon K-edge or the sulfur L-edges, we characterized their reaction paths and observed the effect of symmetry breaking through the splitting of absorption bands and Rydberg-valence mixing induced by the geometry changes.},
  author       = {Pertot, Yoann and Schmidt, Cédric and Matthews, Mary and Chauvet, Adrien and Huppert, Martin and Svoboda, Vit and von Conta, Aaron and Tehlar, Andres and Baykusheva, Denitsa Rangelova and Wolf, Jean-Pierre and Wörner, Hans Jakob},
  issn         = {1095-9203},
  journal      = {Science},
  keywords     = {Multidisciplinary},
  number       = {6322},
  pages        = {264--267},
  publisher    = {American Association for the Advancement of Science},
  title        = {{Time-resolved x-ray absorption spectroscopy with a water window high-harmonic source}},
  doi          = {10.1126/science.aah6114},
  volume       = {355},
  year         = {2017},
}

@article{14009,
  abstract     = {Attosecond delays between photoelectron wave packets emitted from different electronic shells are now well established. Is there any delay between electrons originating from the same electronic shell but leaving the cation in different fine-structure states? This question is relevant for all attosecond photoemission studies involving heavy elements, be it atoms, molecules or solids. We answer this fundamental question by measuring energy-dependent delays between photoelectron wave packets associated with the 2P3/2 and 2P1/2 components of the electronic groundstates of Xe+ and Kr+. We observe delays reaching up to 33±6 as in the case of Xe. Our results are compared with two state-of-the-art theories. Whereas both theories quantitatively agree with the results obtained for Kr, neither of them fully reproduces the experimental results in Xe. Performing delay measurements very close to the ionization thresholds, we compare the agreement of several analytical formulas for the continuum-continuum delays with experimental data. Our results show an important influence of spin-orbit coupling on attosecond photoionization delays, highlight the requirement for additional theory development, and offer a precision benchmark for such work.},
  author       = {Jordan, I. and Huppert, M. and Pabst, S. and Kheifets, A. S. and Baykusheva, Denitsa Rangelova and Wörner, H. J.},
  issn         = {2469-9934},
  journal      = {Physical Review A},
  number       = {1},
  publisher    = {American Physical Society},
  title        = {{Spin-orbit delays in photoemission}},
  doi          = {10.1103/physreva.95.013404},
  volume       = {95},
  year         = {2017},
}

@article{14031,
  abstract     = {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.},
  author       = {Baykusheva, Denitsa Rangelova and Brennecke, Simon and Lein, Manfred and Wörner, Hans Jakob},
  issn         = {1079-7114},
  journal      = {Physical Review Letters},
  keywords     = {General Physics and Astronomy},
  number       = {20},
  publisher    = {American Physical Society},
  title        = {{Signatures of electronic structure in bicircular high-harmonic spectroscopy}},
  doi          = {10.1103/physrevlett.119.203201},
  volume       = {119},
  year         = {2017},
}

@article{1407,
  abstract     = {We consider the problem of computing the set of initial states of a dynamical system such that there exists a control strategy to ensure that the trajectories satisfy a temporal logic specification with probability 1 (almost-surely). We focus on discrete-time, stochastic linear dynamics and specifications given as formulas of the Generalized Reactivity(1) fragment of Linear Temporal Logic over linear predicates in the states of the system. We propose a solution based on iterative abstraction-refinement, and turn-based 2-player probabilistic games. While the theoretical guarantee of our algorithm after any finite number of iterations is only a partial solution, we show that if our algorithm terminates, then the result is the set of all satisfying initial states. Moreover, for any (partial) solution our algorithm synthesizes witness control strategies to ensure almost-sure satisfaction of the temporal logic specification. While the proposed algorithm guarantees progress and soundness in every iteration, it is computationally demanding. We offer an alternative, more efficient solution for the reachability properties that decomposes the problem into a series of smaller problems of the same type. All algorithms are demonstrated on an illustrative case study.},
  author       = {Svoreňová, Mária and Kretinsky, Jan and Chmelik, Martin and Chatterjee, Krishnendu and Cěrná, Ivana and Belta, Cǎlin},
  journal      = {Nonlinear Analysis: Hybrid Systems},
  number       = {2},
  pages        = {230 -- 253},
  publisher    = {Elsevier},
  title        = {{Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games}},
  doi          = {10.1016/j.nahs.2016.04.006},
  volume       = {23},
  year         = {2017},
}