@inproceedings{8570, abstract = {This report presents the results of a friendly competition for formal verification of continuous and hybrid systems with linear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2019. In its third edition, seven tools have been applied to solve six different benchmark problems in the category for linear continuous dynamics (in alphabetical order): CORA, CORA/SX, HyDRA, Hylaa, JuliaReach, SpaceEx, and XSpeed. This report is a snapshot of the current landscape of tools and the types of benchmarks they are particularly suited for. Due to the diversity of problems, we are not ranking tools, yet the presented results provide one of the most complete assessments of tools for the safety verification of continuous and hybrid systems with linear continuous dynamics up to this date.}, author = {Althoff, Matthias and Bak, Stanley and Forets, Marcelo and Frehse, Goran and Kochdumper, Niklas and Ray, Rajarshi and Schilling, Christian and Schupp, Stefan}, booktitle = {EPiC Series in Computing}, issn = {2398-7340}, location = {Montreal, Canada}, pages = {14--40}, publisher = {EasyChair}, title = {{ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics}}, doi = {10.29007/bj1w}, volume = {61}, year = {2019}, } @article{8693, abstract = {We review V. I. Arnold’s 1963 celebrated paper [1] Proof of A. N. Kolmogorov’s Theorem on the Conservation of Conditionally Periodic Motions with a Small Variation in the Hamiltonian, and prove that, optimising Arnold’s scheme, one can get “sharp” asymptotic quantitative conditions (as ε → 0, ε being the strength of the perturbation). All constants involved are explicitly computed.}, author = {Chierchia, Luigi and Koudjinan, Edmond}, journal = {Regular and Chaotic Dynamics}, pages = {583–606}, publisher = {Springer}, title = {{V. I. Arnold’s “pointwise” KAM theorem}}, doi = {10.1134/S1560354719060017}, volume = {24}, year = {2019}, } @article{9016, abstract = {Inhibiting the histone H3–ASF1 (anti‐silencing function 1) protein–protein interaction (PPI) represents a potential approach for treating numerous cancers. As an α‐helix‐mediated PPI, constraining the key histone H3 helix (residues 118–135) is a strategy through which chemical probes might be elaborated to test this hypothesis. In this work, variant H3118–135 peptides bearing pentenylglycine residues at the i and i+4 positions were constrained by olefin metathesis. Biophysical analyses revealed that promotion of a bioactive helical conformation depends on the position at which the constraint is introduced, but that the potency of binding towards ASF1 is unaffected by the constraint and instead that enthalpy–entropy compensation occurs.}, author = {Bakail, May M and Rodriguez‐Marin, Silvia and Hegedüs, Zsófia and Perrin, Marie E. and Ochsenbein, Françoise and Wilson, Andrew J.}, issn = {1439-4227}, journal = {ChemBioChem}, number = {7}, pages = {891--895}, publisher = {Wiley}, title = {{Recognition of ASF1 by using hydrocarbon‐constrained peptides}}, doi = {10.1002/cbic.201800633}, volume = {20}, year = {2019}, } @article{9018, abstract = {Anti-silencing function 1 (ASF1) is a conserved H3-H4 histone chaperone involved in histone dynamics during replication, transcription, and DNA repair. Overexpressed in proliferating tissues including many tumors, ASF1 has emerged as a promising therapeutic target. Here, we combine structural, computational, and biochemical approaches to design peptides that inhibit the ASF1-histone interaction. Starting from the structure of the human ASF1-histone complex, we developed a rational design strategy combining epitope tethering and optimization of interface contacts to identify a potent peptide inhibitor with a dissociation constant of 3 nM. When introduced into cultured cells, the inhibitors impair cell proliferation, perturb cell-cycle progression, and reduce cell migration and invasion in a manner commensurate with their affinity for ASF1. Finally, we find that direct injection of the most potent ASF1 peptide inhibitor in mouse allografts reduces tumor growth. Our results open new avenues to use ASF1 inhibitors as promising leads for cancer therapy.}, author = {Bakail, May M and Gaubert, Albane and Andreani, Jessica and Moal, Gwenaëlle and Pinna, Guillaume and Boyarchuk, Ekaterina and Gaillard, Marie-Cécile and Courbeyrette, Regis and Mann, Carl and Thuret, Jean-Yves and Guichard, Bérengère and Murciano, Brice and Richet, Nicolas and Poitou, Adeline and Frederic, Claire and Le Du, Marie-Hélène and Agez, Morgane and Roelants, Caroline and Gurard-Levin, Zachary A. and Almouzni, Geneviève and Cherradi, Nadia and Guerois, Raphael and Ochsenbein, Françoise}, issn = {2451-9456}, journal = {Cell Chemical Biology}, keywords = {Clinical Biochemistry, Molecular Medicine, Biochemistry, Molecular Biology, Pharmacology, Drug Discovery}, number = {11}, pages = {1573--1585.e10}, publisher = {Elsevier}, title = {{Design on a rational basis of high-affinity peptides inhibiting the histone chaperone ASF1}}, doi = {10.1016/j.chembiol.2019.09.002}, volume = {26}, year = {2019}, } @article{9060, abstract = {Molecular motors are essential to the living, generating fluctuations that boost transport and assist assembly. Active colloids, that consume energy to move, hold similar potential for man-made materials controlled by forces generated from within. Yet, their use as a powerhouse in materials science lacks. Here we show a massive acceleration of the annealing of a monolayer of passive beads by moderate addition of self-propelled microparticles. We rationalize our observations with a model of collisions that drive active fluctuations and activate the annealing. The experiment is quantitatively compared with Brownian dynamic simulations that further unveil a dynamical transition in the mechanism of annealing. Active dopants travel uniformly in the system or co-localize at the grain boundaries as a result of the persistence of their motion. Our findings uncover the potential of internal activity to control materials and lay the groundwork for the rise of materials science beyond equilibrium.}, author = {Ramananarivo, Sophie and Ducrot, Etienne and Palacci, Jérémie A}, issn = {2041-1723}, journal = {Nature Communications}, keywords = {General Biochemistry, Genetics and Molecular Biology, General Physics and Astronomy, General Chemistry}, number = {1}, publisher = {Springer Nature}, title = {{Activity-controlled annealing of colloidal monolayers}}, doi = {10.1038/s41467-019-11362-y}, volume = {10}, year = {2019}, } @inproceedings{9261, abstract = {Bending-active structures are able to efficiently produce complex curved shapes starting from flat panels. The desired deformation of the panels derives from the proper selection of their elastic properties. Optimized panels, called FlexMaps, are designed such that, once they are bent and assembled, the resulting static equilibrium configuration matches a desired input 3D shape. The FlexMaps elastic properties are controlled by locally varying spiraling geometric mesostructures, which are optimized in size and shape to match the global curvature (i.e., bending requests) of the target shape. The design pipeline starts from a quad mesh representing the input 3D shape, which defines the edge size and the total amount of spirals: every quad will embed one spiral. Then, an optimization algorithm tunes the geometry of the spirals by using a simplified pre-computed rod model. This rod model is derived from a non-linear regression algorithm which approximates the non-linear behavior of solid FEM spiral models subject to hundreds of load combinations. This innovative pipeline has been applied to the project of a lightweight plywood pavilion named FlexMaps Pavilion, which is a single-layer piecewise twisted arc that fits a bounding box of 3.90x3.96x3.25 meters.}, author = {Laccone, Francesco and Malomo, Luigi and Perez Rodriguez, Jesus and Pietroni, Nico and Ponchio, Federico and Bickel, Bernd and Cignoni, Paolo}, booktitle = {IASS Symposium 2019 - 60th Anniversary Symposium of the International Association for Shell and Spatial Structures; Structural Membranes 2019 - 9th International Conference on Textile Composites and Inflatable Structures, FORM and FORCE}, isbn = {9788412110104}, issn = {2518-6582}, location = {Barcelona, Spain}, pages = {509--515}, publisher = {International Center for Numerical Methods in Engineering}, title = {{FlexMaps Pavilion: A twisted arc made of mesostructured flat flexible panels}}, year = {2019}, } @article{9460, abstract = {Epigenetic reprogramming is required for proper regulation of gene expression in eukaryotic organisms. In Arabidopsis, active DNA demethylation is crucial for seed viability, pollen function, and successful reproduction. The DEMETER (DME) DNA glycosylase initiates localized DNA demethylation in vegetative and central cells, so-called companion cells that are adjacent to sperm and egg gametes, respectively. In rice, the central cell genome displays local DNA hypomethylation, suggesting that active DNA demethylation also occurs in rice; however, the enzyme responsible for this process is unknown. One candidate is the rice REPRESSOR OF SILENCING 1a (ROS1a) gene, which is related to DME and is essential for rice seed viability and pollen function. Here, we report genome-wide analyses of DNA methylation in wild-type and ros1a mutant sperm and vegetative cells. We find that the rice vegetative cell genome is locally hypomethylated compared with sperm by a process that requires ROS1a activity. We show that many ROS1a target sequences in the vegetative cell are hypomethylated in the rice central cell, suggesting that ROS1a also demethylates the central cell genome. Similar to Arabidopsis, we show that sperm non-CG methylation is indirectly promoted by DNA demethylation in the vegetative cell. These results reveal that DNA glycosylase-mediated DNA demethylation processes are conserved in Arabidopsis and rice, plant species that diverged 150 million years ago. Finally, although global non-CG methylation levels of sperm and egg differ, the maternal and paternal embryo genomes show similar non-CG methylation levels, suggesting that rice gamete genomes undergo dynamic DNA methylation reprogramming after cell fusion.}, author = {Kim, M. Yvonne and Ono, Akemi and Scholten, Stefan and Kinoshita, Tetsu and Zilberman, Daniel and Okamoto, Takashi and Fischer, Robert L.}, issn = {1091-6490}, journal = {Proceedings of the National Academy of Sciences}, keywords = {Multidisciplinary}, number = {19}, pages = {9652--9657}, publisher = {National Academy of Sciences}, title = {{DNA demethylation by ROS1a in rice vegetative cells promotes methylation in sperm}}, doi = {10.1073/pnas.1821435116}, volume = {116}, year = {2019}, } @article{9530, abstract = {Background DNA methylation of active genes, also known as gene body methylation, is found in many animal and plant genomes. Despite this, the transcriptional and developmental role of such methylation remains poorly understood. Here, we explore the dynamic range of DNA methylation in honey bee, a model organism for gene body methylation. Results Our data show that CG methylation in gene bodies globally fluctuates during honey bee development. However, these changes cause no gene expression alterations. Intriguingly, despite the global alterations, tissue-specific CG methylation patterns of complete genes or exons are rare, implying robust maintenance of genic methylation during development. Additionally, we show that CG methylation maintenance fluctuates in somatic cells, while reaching maximum fidelity in sperm cells. Finally, unlike universally present CG methylation, we discovered non-CG methylation specifically in bee heads that resembles such methylation in mammalian brain tissue. Conclusions Based on these results, we propose that gene body CG methylation can oscillate during development if it is kept to a level adequate to preserve function. Additionally, our data suggest that heightened non-CG methylation is a conserved regulator of animal nervous systems.}, author = {Harris, Keith D. and Lloyd, James P. B. and Domb, Katherine and Zilberman, Daniel and Zemach, Assaf}, issn = {1756-8935}, journal = {Epigenetics and Chromatin}, publisher = {Springer Nature}, title = {{DNA methylation is maintained with high fidelity in the honey bee germline and exhibits global non-functional fluctuations during somatic development}}, doi = {10.1186/s13072-019-0307-4}, volume = {12}, year = {2019}, } @article{9580, abstract = {An r-cut of a k-uniform hypergraph H is a partition of the vertex set of H into r parts and the size of the cut is the number of edges which have a vertex in each part. A classical result of Edwards says that every m-edge graph has a 2-cut of size m/2+Ω)(m−−√) and this is best possible. That is, there exist cuts which exceed the expected size of a random cut by some multiple of the standard deviation. We study analogues of this and related results in hypergraphs. First, we observe that similarly to graphs, every m-edge k-uniform hypergraph has an r-cut whose size is Ω(m−−√) larger than the expected size of a random r-cut. Moreover, in the case where k = 3 and r = 2 this bound is best possible and is attained by Steiner triple systems. Surprisingly, for all other cases (that is, if k ≥ 4 or r ≥ 3), we show that every m-edge k-uniform hypergraph has an r-cut whose size is Ω(m5/9) larger than the expected size of a random r-cut. This is a significant difference in behaviour, since the amount by which the size of the largest cut exceeds the expected size of a random cut is now considerably larger than the standard deviation.}, author = {Conlon, David and Fox, Jacob and Kwan, Matthew Alan and Sudakov, Benny}, issn = {1565-8511}, journal = {Israel Journal of Mathematics}, number = {1}, pages = {67--111}, publisher = {Springer}, title = {{Hypergraph cuts above the average}}, doi = {10.1007/s11856-019-1897-z}, volume = {233}, year = {2019}, } @article{9585, abstract = {An n-vertex graph is called C-Ramsey if it has no clique or independent set of size C log n. All known constructions of Ramsey graphs involve randomness in an essential way, and there is an ongoing line of research towards showing that in fact all Ramsey graphs must obey certain “richness” properties characteristic of random graphs. More than 25 years ago, Erdős, Faudree and Sós conjectured that in any C-Ramsey graph there are Ω(n^5/2) induced subgraphs, no pair of which have the same numbers of vertices and edges. Improving on earlier results of Alon, Balogh, Kostochka and Samotij, in this paper we prove this conjecture.}, author = {Kwan, Matthew Alan and Sudakov, Benny}, issn = {1088-6850}, journal = {Transactions of the American Mathematical Society}, number = {8}, pages = {5571--5594}, publisher = {American Mathematical Society}, title = {{Proof of a conjecture on induced subgraphs of Ramsey graphs}}, doi = {10.1090/tran/7729}, volume = {372}, year = {2019}, } @article{9586, abstract = {Consider integers 𝑘,ℓ such that 0⩽ℓ⩽(𝑘2) . Given a large graph 𝐺 , what is the fraction of 𝑘 -vertex subsets of 𝐺 which span exactly ℓ edges? When 𝐺 is empty or complete, and ℓ is zero or (𝑘2) , this fraction can be exactly 1. On the other hand, if ℓ is far from these extreme values, one might expect that this fraction is substantially smaller than 1. This was recently proved by Alon, Hefetz, Krivelevich, and Tyomkyn who initiated the systematic study of this question and proposed several natural conjectures. Let ℓ∗=min{ℓ,(𝑘2)−ℓ} . Our main result is that for any 𝑘 and ℓ , the fraction of 𝑘 -vertex subsets that span ℓ edges is at most log𝑂(1)(ℓ∗/𝑘)√ 𝑘/ℓ∗, which is best-possible up to the logarithmic factor. This improves on multiple results of Alon, Hefetz, Krivelevich, and Tyomkyn, and resolves one of their conjectures. In addition, we also make some first steps towards some analogous questions for hypergraphs. Our proofs involve some Ramsey-type arguments, and a number of different probabilistic tools, such as polynomial anticoncentration inequalities, hypercontractivity, and a coupling trick for random variables defined on a ‘slice’ of the Boolean hypercube.}, author = {Kwan, Matthew Alan and Sudakov, Benny and Tran, Tuan}, issn = {1469-7750}, journal = {Journal of the London Mathematical Society}, number = {3}, pages = {757--777}, publisher = {Wiley}, title = {{Anticoncentration for subgraph statistics}}, doi = {10.1112/jlms.12192}, volume = {99}, year = {2019}, } @article{9677, abstract = {Progress in the atomic-scale modeling of matter over the past decade has been tremendous. This progress has been brought about by improvements in methods for evaluating interatomic forces that work by either solving the electronic structure problem explicitly, or by computing accurate approximations of the solution and by the development of techniques that use the Born–Oppenheimer (BO) forces to move the atoms on the BO potential energy surface. As a consequence of these developments it is now possible to identify stable or metastable states, to sample configurations consistent with the appropriate thermodynamic ensemble, and to estimate the kinetics of reactions and phase transitions. All too often, however, progress is slowed down by the bottleneck associated with implementing new optimization algorithms and/or sampling techniques into the many existing electronic-structure and empirical-potential codes. To address this problem, we are thus releasing a new version of the i-PI software. This piece of software is an easily extensible framework for implementing advanced atomistic simulation techniques using interatomic potentials and forces calculated by an external driver code. While the original version of the code (Ceriotti et al., 2014) was developed with a focus on path integral molecular dynamics techniques, this second release of i-PI not only includes several new advanced path integral methods, but also offers other classes of algorithms. In other words, i-PI is moving towards becoming a universal force engine that is both modular and tightly coupled to the driver codes that evaluate the potential energy surface and its derivatives.}, author = {Kapil, Venkat and Rossi, Mariana and Marsalek, Ondrej and Petraglia, Riccardo and Litman, Yair and Spura, Thomas and Cheng, Bingqing and Cuzzocrea, Alice and Meißner, Robert H. and Wilkins, David M. and Helfrecht, Benjamin A. and Juda, Przemysław and Bienvenue, Sébastien P. and Fang, Wei and Kessler, Jan and Poltavsky, Igor and Vandenbrande, Steven and Wieme, Jelle and Corminboeuf, Clemence and Kühne, Thomas D. and Manolopoulos, David E. and Markland, Thomas E. and Richardson, Jeremy O. and Tkatchenko, Alexandre and Tribello, Gareth A. and Van Speybroeck, Veronique and Ceriotti, Michele}, issn = {0010-4655}, journal = {Computer Physics Communications}, pages = {214--223}, publisher = {Elsevier}, title = {{i-PI 2.0: A universal force engine for advanced molecular simulations}}, doi = {10.1016/j.cpc.2018.09.020}, volume = {236}, year = {2019}, } @article{9680, abstract = {Atomistic modeling of phase transitions, chemical reactions, or other rare events that involve overcoming high free energy barriers usually entails prohibitively long simulation times. Introducing a bias potential as a function of an appropriately chosen set of collective variables can significantly accelerate the exploration of phase space, albeit at the price of distorting the distribution of microstates. Efficient reweighting to recover the unbiased distribution can be nontrivial when employing adaptive sampling techniques such as metadynamics, variationally enhanced sampling, or parallel bias metadynamics, in which the system evolves in a quasi-equilibrium manner under a time-dependent bias. We introduce an iterative unbiasing scheme that makes efficient use of all the trajectory data and that does not require the distribution to be evaluated on a grid. The method can thus be used even when the bias has a high dimensionality. We benchmark this approach against some of the existing schemes on model systems with different complexity and dimensionality.}, author = {Giberti, F. and Cheng, Bingqing and Tribello, G. A. and Ceriotti, M.}, issn = {1549-9626}, journal = {Journal of Chemical Theory and Computation}, number = {1}, pages = {100--107}, publisher = {American Chemical Society}, title = {{Iterative unbiasing of quasi-equilibrium sampling}}, doi = {10.1021/acs.jctc.9b00907}, volume = {16}, year = {2019}, } @article{9689, abstract = {A central goal of computational physics and chemistry is to predict material properties by using first-principles methods based on the fundamental laws of quantum mechanics. However, the high computational costs of these methods typically prevent rigorous predictions of macroscopic quantities at finite temperatures, such as heat capacity, density, and chemical potential. Here, we enable such predictions by marrying advanced free-energy methods with data-driven machine-learning interatomic potentials. We show that, for the ubiquitous and technologically essential system of water, a first-principles thermodynamic description not only leads to excellent agreement with experiments, but also reveals the crucial role of nuclear quantum fluctuations in modulating the thermodynamic stabilities of different phases of water.}, author = {Cheng, Bingqing and Engel, Edgar A. and Behler, Jörg and Dellago, Christoph and Ceriotti, Michele}, issn = {1091-6490}, journal = {Proceedings of the National Academy of Sciences}, number = {4}, pages = {1110--1115}, publisher = {National Academy of Sciences}, title = {{Ab initio thermodynamics of liquid and solid water}}, doi = {10.1073/pnas.1815117116}, volume = {116}, year = {2019}, } @misc{9726, abstract = {A detailed description of the two stochastic models, table of parameters, supplementary data for Figures 4 and 5, parameter dependence of the results, and an analysis on motors with different force–velocity functions (PDF)}, author = {Ucar, Mehmet C and Lipowsky, Reinhard}, publisher = {American Chemical Society }, title = {{Supplementary information - Collective force generation by molecular motors is determined by strain-induced unbinding}}, doi = {10.1021/acs.nanolett.9b04445.s001}, year = {2019}, } @misc{9731, abstract = {OGs with putative pseudogenes by the number of affected genomes in different chlamydial species. Frameshift and nonsense mutations located less than 60 bp upstreamof the gene end or present in a single genome from the corresponding OG were excluded. (CSV 31 kb)}, author = {Sigalova, Olga and Chaplin, Andrei and Bochkareva, Olga and Shelyakin, Pavel and Filaretov, Vsevolod and Akkuratov, Evgeny and Burskaia, Valentina and Gelfand, Mikhail S.}, publisher = {Springer Nature}, title = {{Additional file 11 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction}}, doi = {10.6084/m9.figshare.9808772.v1}, year = {2019}, } @misc{9783, abstract = {Predicted frameshift and nonsense mutations in Chlamydial pan-genome. For the analysis of putative pseudogenes, events located less than 60 bp. away from gene end or present in a single genome from the corresponding OG were excluded. (CSV 600 kb)}, author = {Sigalova, Olga M. and Chaplin, Andrei V. and Bochkareva, Olga and Shelyakin, Pavel V. and Filaretov, Vsevolod A. and Akkuratov, Evgeny E. and Burskaia, Valentina and Gelfand, Mikhail S.}, publisher = {Springer Nature}, title = {{Additional file 10 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction}}, doi = {10.6084/m9.figshare.9808760.v1}, year = {2019}, } @misc{9784, abstract = {Additional file 1: Table S1. Kinetics of MDA-MB-231 cell growth in either the presence or absence of 100Â mg/L glyphosate. Cell counts are given at day-1 of seeding flasks and following 6-days of continuous culture. Note: no differences in cell numbers were observed between negative control and glyphosate treated cultures.}, author = {Antoniou, Michael N. and Nicolas, Armel and Mesnage, Robin and Biserni, Martina and Rao, Francesco V. and Martin, Cristina Vazquez}, publisher = {Springer Nature}, title = {{MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells}}, doi = {10.6084/m9.figshare.9411761.v1}, year = {2019}, } @misc{9786, author = {Ruess, Jakob and Pleska, Maros and Guet, Calin C and Tkačik, Gašper}, publisher = {Public Library of Science}, title = {{Supporting text and results}}, doi = {10.1371/journal.pcbi.1007168.s001}, year = {2019}, } @misc{9789, author = {Pokusaeva, Victoria and Usmanova, Dinara R. and Putintseva, Ekaterina V. and Espinar, Lorena and Sarkisyan, Karen and Mishin, Alexander S. and Bogatyreva, Natalya S. and Ivankov, Dmitry and Akopyan, Arseniy and Avvakumov, Sergey and Povolotskaya, Inna S. and Filion, Guillaume J. and Carey, Lucas B. and Kondrashov, Fyodor}, publisher = {Public Library of Science}, title = {{Multiple alignment of His3 orthologues}}, doi = {10.1371/journal.pgen.1008079.s010}, year = {2019}, }