@article{659, abstract = {Migration frequently involves Rac-mediated protrusion of lamellipodia, formed by Arp2/3 complex-dependent branching thought to be crucial for force generation and stability of these networks. The formins FMNL2 and FMNL3 are Cdc42 effectors targeting to the lamellipodium tip and shown here to nucleate and elongate actin filaments with complementary activities in vitro. In migrating B16-F1 melanoma cells, both formins contribute to the velocity of lamellipodium protrusion. Loss of FMNL2/3 function in melanoma cells and fibroblasts reduces lamellipodial width, actin filament density and -bundling, without changing patterns of Arp2/3 complex incorporation. Strikingly, in melanoma cells, FMNL2/3 gene inactivation almost completely abolishes protrusion forces exerted by lamellipodia and modifies their ultrastructural organization. Consistently, CRISPR/Cas-mediated depletion of FMNL2/3 in fibroblasts reduces both migration and capability of cells to move against viscous media. Together, we conclude that force generation in lamellipodia strongly depends on FMNL formin activity, operating in addition to Arp2/3 complex-dependent filament branching.}, author = {Kage, Frieda and Winterhoff, Moritz and Dimchev, Vanessa and Müller, Jan and Thalheim, Tobias and Freise, Anika and Brühmann, Stefan and Kollasser, Jana and Block, Jennifer and Dimchev, Georgi A and Geyer, Matthias and Schnittler, Hams and Brakebusch, Cord and Stradal, Theresia and Carlier, Marie and Sixt, Michael K and Käs, Josef and Faix, Jan and Rottner, Klemens}, issn = {20411723}, journal = {Nature Communications}, publisher = {Nature Publishing Group}, title = {{FMNL formins boost lamellipodial force generation}}, doi = {10.1038/ncomms14832}, volume = {8}, year = {2017}, } @article{660, abstract = {Growing microtubules are protected from depolymerization by the presence of a GTP or GDP/Pi cap. End-binding proteins of the EB1 family bind to the stabilizing cap, allowing monitoring of its size in real time. The cap size has been shown to correlate with instantaneous microtubule stability. Here we have quantitatively characterized the properties of cap size fluctuations during steadystate growth and have developed a theory predicting their timescale and amplitude from the kinetics of microtubule growth and cap maturation. In contrast to growth speed fluctuations, cap size fluctuations show a characteristic timescale, which is defined by the lifetime of the cap sites. Growth fluctuations affect the amplitude of cap size fluctuations; however, cap size does not affect growth speed, indicating that microtubules are far from instability during most of their time of growth. Our theory provides the basis for a quantitative understanding of microtubule stability fluctuations during steady-state growth.}, author = {Rickman, Jamie and Düllberg, Christian F and Cade, Nicholas and Griffin, Lewis and Surrey, Thomas}, issn = {00278424}, journal = {PNAS}, number = {13}, pages = {3427 -- 3432}, publisher = {National Academy of Sciences}, title = {{Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation}}, doi = {10.1073/pnas.1620274114}, volume = {114}, year = {2017}, } @article{661, abstract = {During embryonic development, mechanical forces are essential for cellular rearrangements driving tissue morphogenesis. Here, we show that in the early zebrafish embryo, friction forces are generated at the interface between anterior axial mesoderm (prechordal plate, ppl) progenitors migrating towards the animal pole and neurectoderm progenitors moving in the opposite direction towards the vegetal pole of the embryo. These friction forces lead to global rearrangement of cells within the neurectoderm and determine the position of the neural anlage. Using a combination of experiments and simulations, we show that this process depends on hydrodynamic coupling between neurectoderm and ppl as a result of E-cadherin-mediated adhesion between those tissues. Our data thus establish the emergence of friction forces at the interface between moving tissues as a critical force-generating process shaping the embryo.}, author = {Smutny, Michael and Ákos, Zsuzsa and Grigolon, Silvia and Shamipour, Shayan and Ruprecht, Verena and Capek, Daniel and Behrndt, Martin and Papusheva, Ekaterina and Tada, Masazumi and Hof, Björn and Vicsek, Tamás and Salbreux, Guillaume and Heisenberg, Carl-Philipp J}, issn = {14657392}, journal = {Nature Cell Biology}, pages = {306 -- 317}, publisher = {Nature Publishing Group}, title = {{Friction forces position the neural anlage}}, doi = {10.1038/ncb3492}, volume = {19}, year = {2017}, } @inproceedings{14310, author = {Siavashpouri, Mahsa and Wachauf, Christian and Zakhary, Mark and Praetorius, Florian M and Dietz, Hendrik and Dogic, Zvonimir}, booktitle = {APS March Meeting 2017}, publisher = {APS}, title = {{Molecular engineering of colloidal liquid crystals using DNA origami}}, year = {2017}, } @article{1433, abstract = {Phat is an open-source C. ++ library for the computation of persistent homology by matrix reduction, targeted towards developers of software for topological data analysis. We aim for a simple generic design that decouples algorithms from data structures without sacrificing efficiency or user-friendliness. We provide numerous different reduction strategies as well as data types to store and manipulate the boundary matrix. We compare the different combinations through extensive experimental evaluation and identify optimization techniques that work well in practical situations. We also compare our software with various other publicly available libraries for persistent homology.}, author = {Bauer, Ulrich and Kerber, Michael and Reininghaus, Jan and Wagner, Hubert}, issn = { 07477171}, journal = {Journal of Symbolic Computation}, pages = {76 -- 90}, publisher = {Academic Press}, title = {{Phat - Persistent homology algorithms toolbox}}, doi = {10.1016/j.jsc.2016.03.008}, volume = {78}, year = {2017}, } @article{1528, abstract = {We consider N×N Hermitian random matrices H consisting of blocks of size M≥N6/7. The matrix elements are i.i.d. within the blocks, close to a Gaussian in the four moment matching sense, but their distribution varies from block to block to form a block-band structure, with an essential band width M. We show that the entries of the Green’s function G(z)=(H−z)−1 satisfy the local semicircle law with spectral parameter z=E+iη down to the real axis for any η≫N−1, using a combination of the supersymmetry method inspired by Shcherbina (J Stat Phys 155(3): 466–499, 2014) and the Green’s function comparison strategy. Previous estimates were valid only for η≫M−1. The new estimate also implies that the eigenvectors in the middle of the spectrum are fully delocalized.}, author = {Bao, Zhigang and Erdös, László}, issn = {01788051}, journal = {Probability Theory and Related Fields}, number = {3-4}, pages = {673 -- 776}, publisher = {Springer}, title = {{Delocalization for a class of random block band matrices}}, doi = {10.1007/s00440-015-0692-y}, volume = {167}, year = {2017}, } @inproceedings{13160, abstract = {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.}, author = {Kretinsky, Jan and Meggendorfer, Tobias and Waldmann, Clara and Weininger, Maximilian}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems}, isbn = {9783662545768}, issn = {1611-3349}, location = {Uppsala, Sweden}, pages = {443--460}, publisher = {Springer}, title = {{Index appearance record for transforming Rabin automata into parity automata}}, doi = {10.1007/978-3-662-54577-5_26}, volume = {10205}, year = {2017}, } @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}, }