@article{951,
abstract = {Dengue-suppressing Wolbachia strains are promising tools for arbovirus control, particularly as they have the potential to self-spread following local introductions. To test this, we followed the frequency of the transinfected Wolbachia strain wMel through Ae. aegypti in Cairns, Australia, following releases at 3 nonisolated locations within the city in early 2013. Spatial spread was analysed graphically using interpolation and by fitting a statistical model describing the position and width of the wave. For the larger 2 of the 3 releases (covering 0.97 km2 and 0.52 km2), we observed slow but steady spatial spread, at about 100–200 m per year, roughly consistent with theoretical predictions. In contrast, the smallest release (0.11 km2) produced erratic temporal and spatial dynamics, with little evidence of spread after 2 years. This is consistent with the prediction concerning fitness-decreasing Wolbachia transinfections that a minimum release area is needed to achieve stable local establishment and spread in continuous habitats. Our graphical and likelihood analyses produced broadly consistent estimates of wave speed and wave width. Spread at all sites was spatially heterogeneous, suggesting that environmental heterogeneity will affect large-scale Wolbachia transformations of urban mosquito populations. The persistence and spread of Wolbachia in release areas meeting minimum area requirements indicates the promise of successful large-scale population transfo},
author = {Schmidt, Tom and Barton, Nicholas H and Rasic, Gordana and Turley, Andrew and Montgomery, Brian and Iturbe Ormaetxe, Inaki and Cook, Peter and Ryan, Peter and Ritchie, Scott and Hoffmann, Ary and O’Neill, Scott and Turelli, Michael},
issn = {15449173},
journal = {PLoS Biology},
number = {5},
publisher = {Public Library of Science},
title = {{Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti}},
doi = {10.1371/journal.pbio.2001894},
volume = {15},
year = {2017},
}
@article{952,
abstract = {A novel strategy for controlling the spread of arboviral diseases such as dengue, Zika and chikungunya is to transform mosquito populations with virus-suppressing Wolbachia. In general, Wolbachia transinfected into mosquitoes induce fitness costs through lower viability or fecundity. These maternally inherited bacteria also produce a frequency-dependent advantage for infected females by inducing cytoplasmic incompatibility (CI), which kills the embryos produced by uninfected females mated to infected males. These competing effects, a frequency-dependent advantage and frequency-independent costs, produce bistable Wolbachia frequency dynamics. Above a threshold frequency, denoted pˆ, CI drives fitness-decreasing Wolbachia transinfections through local populations; but below pˆ, infection frequencies tend to decline to zero. If pˆ is not too high, CI also drives spatial spread once infections become established over sufficiently large areas. We illustrate how simple models provide testable predictions concerning the spatial and temporal dynamics of Wolbachia introductions, focusing on rate of spatial spread, the shape of spreading waves, and the conditions for initiating spread from local introductions. First, we consider the robustness of diffusion-based predictions to incorporating two important features of wMel-Aedes aegypti biology that may be inconsistent with the diffusion approximations, namely fast local dynamics induced by complete CI (i.e., all embryos produced from incompatible crosses die) and long-tailed, non-Gaussian dispersal. With complete CI, our numerical analyses show that long-tailed dispersal changes wave-width predictions only slightly; but it can significantly reduce wave speed relative to the diffusion prediction; it also allows smaller local introductions to initiate spatial spread. Second, we use approximations for pˆ and dispersal distances to predict the outcome of 2013 releases of wMel-infected Aedes aegypti in Cairns, Australia, Third, we describe new data from Ae. aegypti populations near Cairns, Australia that demonstrate long-distance dispersal and provide an approximate lower bound on pˆ for wMel in northeastern Australia. Finally, we apply our analyses to produce operational guidelines for efficient transformation of vector populations over large areas. We demonstrate that even very slow spatial spread, on the order of 10-20 m/month (as predicted), can produce area-wide population transformation within a few years following initial releases covering about 20-30% of the target area.},
author = {Turelli, Michael and Barton, Nicholas H},
issn = {00405809},
journal = {Theoretical Population Biology},
pages = {45 -- 60},
publisher = {Elsevier},
title = {{Deploying dengue-suppressing Wolbachia: Robust models predict slow but effective spatial spread in Aedes aegypti}},
doi = {10.1016/j.tpb.2017.03.003},
volume = {115},
year = {2017},
}
@article{953,
abstract = {The role of natural selection in the evolution of adaptive phenotypes has undergone constant probing by evolutionary biologists, employing both theoretical and empirical approaches. As Darwin noted, natural selection can act together with other processes, including random changes in the frequencies of phenotypic differences that are not under strong selection, and changes in the environment, which may reflect evolutionary changes in the organisms themselves. As understanding of genetics developed after 1900, the new genetic discoveries were incorporated into evolutionary biology. The resulting general principles were summarized by Julian Huxley in his 1942 book Evolution: the modern synthesis. Here, we examine how recent advances in genetics, developmental biology and molecular biology, including epigenetics, relate to today's understanding of the evolution of adaptations. We illustrate how careful genetic studies have repeatedly shown that apparently puzzling results in a wide diversity of organisms involve processes that are consistent with neo-Darwinism. They do not support important roles in adaptation for processes such as directed mutation or the inheritance of acquired characters, and therefore no radical revision of our understanding of the mechanism of adaptive evolution is needed.},
author = {Charlesworth, Deborah and Barton, Nicholas H and Charlesworth, Brian},
journal = {Proceedings of the Royal Society of London Series B Biological Sciences},
number = {1855},
publisher = {Royal Society, The},
title = {{The sources of adaptive evolution}},
doi = {10.1098/rspb.2016.2864},
volume = {284},
year = {2017},
}
@article{954,
abstract = {Understanding the relation between genotype and phenotype remains a major challenge. The difficulty of predicting individual mutation effects, and particularly the interactions between them, has prevented the development of a comprehensive theory that links genotypic changes to their phenotypic effects. We show that a general thermodynamic framework for gene regulation, based on a biophysical understanding of protein-DNA binding, accurately predicts the sign of epistasis in a canonical cis-regulatory element consisting of overlapping RNA polymerase and repressor binding sites. Sign and magnitude of individual mutation effects are sufficient to predict the sign of epistasis and its environmental dependence. Thus, the thermodynamic model offers the correct null prediction for epistasis between mutations across DNA-binding sites. Our results indicate that a predictive theory for the effects of cis-regulatory mutations is possible from first principles, as long as the essential molecular mechanisms and the constraints these impose on a biological system are accounted for.},
author = {Lagator, Mato and Paixao, Tiago and Barton, Nicholas H and Bollback, Jonathan P and Guet, Calin C},
issn = {2050084X},
journal = {eLife},
publisher = {eLife Sciences Publications},
title = {{On the mechanistic nature of epistasis in a canonical cis-regulatory element}},
doi = {10.7554/eLife.25192},
volume = {6},
year = {2017},
}
@article{955,
abstract = {Gene expression is controlled by networks of regulatory proteins that interact specifically with external signals and DNA regulatory sequences. These interactions force the network components to co-evolve so as to continually maintain function. Yet, existing models of evolution mostly focus on isolated genetic elements. In contrast, we study the essential process by which regulatory networks grow: the duplication and subsequent specialization of network components. We synthesize a biophysical model of molecular interactions with the evolutionary framework to find the conditions and pathways by which new regulatory functions emerge. We show that specialization of new network components is usually slow, but can be drastically accelerated in the presence of regulatory crosstalk and mutations that promote promiscuous interactions between network components.},
author = {Friedlander, Tamar and Prizak, Roshan and Barton, Nicholas H and Tkacik, Gasper},
issn = {20411723},
journal = {Nature Communications},
number = {1},
publisher = {Nature Publishing Group},
title = {{Evolution of new regulatory functions on biophysically realistic fitness landscapes}},
doi = {10.1038/s41467-017-00238-8},
volume = {8},
year = {2017},
}
@article{956,
abstract = {We study a class of ergodic quantum Markov semigroups on finite-dimensional unital C⁎-algebras. These semigroups have a unique stationary state σ, and we are concerned with those that satisfy a quantum detailed balance condition with respect to σ. We show that the evolution on the set of states that is given by such a quantum Markov semigroup is gradient flow for the relative entropy with respect to σ in a particular Riemannian metric on the set of states. This metric is a non-commutative analog of the 2-Wasserstein metric, and in several interesting cases we are able to show, in analogy with work of Otto on gradient flows with respect to the classical 2-Wasserstein metric, that the relative entropy is strictly and uniformly convex with respect to the Riemannian metric introduced here. As a consequence, we obtain a number of new inequalities for the decay of relative entropy for ergodic quantum Markov semigroups with detailed balance.},
author = {Carlen, Eric and Maas, Jan},
issn = {00221236},
journal = {Journal of Functional Analysis},
number = {5},
pages = {1810 -- 1869},
publisher = {Academic Press},
title = {{Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance}},
doi = {10.1016/j.jfa.2017.05.003},
volume = {273},
year = {2017},
}
@article{959,
abstract = {In this work it is shown that scale-free tails in metabolic flux distributions inferred in stationary models are an artifact due to reactions involved in thermodynamically unfeasible cycles, unbounded by physical constraints and in principle able to perform work without expenditure of free energy. After implementing thermodynamic constraints by removing such loops, metabolic flux distributions scale meaningfully with the physical limiting factors, acquiring in turn a richer multimodal structure potentially leading to symmetry breaking while optimizing for objective functions.},
author = {De Martino, Daniele},
issn = {24700045},
journal = { Physical Review E Statistical Nonlinear and Soft Matter Physics },
number = {6},
pages = {062419},
publisher = {American Institute of Physics},
title = {{Scales and multimodal flux distributions in stationary metabolic network models via thermodynamics}},
doi = {10.1103/PhysRevE.95.062419},
volume = {95},
year = {2017},
}
@article{960,
abstract = {The human cerebral cortex is the seat of our cognitive abilities and composed of an extraordinary number of neurons, organized in six distinct layers. The establishment of specific morphological and physiological features in individual neurons needs to be regulated with high precision. Impairments in the sequential developmental programs instructing corticogenesis lead to alterations in the cortical cytoarchitecture which is thought to represent the major underlying cause for several neurological disorders including neurodevelopmental and psychiatric diseases. In this review we discuss the role of cell polarity at sequential stages during cortex development. We first provide an overview of morphological cell polarity features in cortical neural stem cells and newly-born postmitotic neurons. We then synthesize a conceptual molecular and biochemical framework how cell polarity is established at the cellular level through a break in symmetry in nascent cortical projection neurons. Lastly we provide a perspective how the molecular mechanisms applying to single cells could be probed and integrated in an in vivo and tissue-wide context.},
author = {Hansen, Andi H and Düllberg, Christian F and Mieck, Christine and Loose, Martin and Hippenmeyer, Simon},
issn = {16625102},
journal = {Frontiers in Cellular Neuroscience},
publisher = {Frontiers Research Foundation},
title = {{Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks}},
doi = {10.3389/fncel.2017.00176},
volume = {11},
year = {2017},
}
@phdthesis{961,
abstract = {Cell-cell contact formation constitutes the first step in the emergence of multicellularity in evolution, thereby allowing the differentiation of specialized cell types. In metazoan development, cell-cell contact formation is thought to influence cell fate specification, and cell fate specification has been implicated in cell-cell contact formation. However, remarkably little is yet known about whether and how the interaction and feedback between cell-cell contact formation and cell fate specification affect development. Here we identify a positive feedback loop between cell-cell contact duration, morphogen signaling and mesendoderm cell fate specification during zebrafish gastrulation. We show that long lasting cell-cell contacts enhance the competence of prechordal plate (ppl) progenitor cells to respond to Nodal signaling, required for proper ppl cell fate specification. We further show that Nodal signalling romotes ppl cell-cell contact duration, thereby generating an effective positive feedback loop between ppl cell-cell contact duration and cell fate specification. Finally, by using a combination of theoretical modeling and experimentation, we show that this feedback loop determines whether anterior axial mesendoderm cells become ppl progenitors or, instead, turn into endoderm progenitors. Our findings reveal that the gene regulatory networks leading to cell fate diversification within the developing embryo are controlled by the interdependent activities of cell-cell signaling and contact formation.},
author = {Barone, Vanessa},
pages = {109},
publisher = {IST Austria},
title = {{Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation}},
doi = {10.15479/AT:ISTA:th_825},
year = {2017},
}
@inproceedings{963,
abstract = {Network games are widely used as a model for selfish resource-allocation problems. In the classical model, each player selects a path connecting her source and target vertex. The cost of traversing an edge depends on the number of players that traverse it. Thus, it abstracts the fact that different users may use a resource at different times and for different durations, which plays an important role in defining the costs of the users in reality. For example, when transmitting packets in a communication network, routing traffic in a road network, or processing a task in a production system, the traversal of the network involves an inherent delay, and so sharing and congestion of resources crucially depends on time. We study timed network games , which add a time component to network games. Each vertex v in the network is associated with a cost function, mapping the load on v to the price that a player pays for staying in v for one time unit with this load. In addition, each edge has a guard, describing time intervals in which the edge can be traversed, forcing the players to spend time on vertices. Unlike earlier work that add a time component to network games, the time in our model is continuous and cannot be discretized. In particular, players have uncountably many strategies, and a game may have uncountably many pure Nash equilibria. We study properties of timed network games with cost-sharing or congestion cost functions: their stability, equilibrium inefficiency, and complexity. In particular, we show that the answer to the question whether we can restrict attention to boundary strategies, namely ones in which edges are traversed only at the boundaries of guards, is mixed. },
author = {Avni, Guy and Guha, Shibashis and Kupferman, Orna},
issn = {18688969},
location = {Aalborg, Denmark},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
title = {{Timed network games with clocks}},
doi = {10.4230/LIPIcs.MFCS.2017.37},
volume = {83},
year = {2017},
}
@article{988,
abstract = {The current-phase relation (CPR) of a Josephson junction (JJ) determines how the supercurrent evolves with the superconducting phase difference across the junction. Knowledge of the CPR is essential in order to understand the response of a JJ to various external parameters. Despite the rising interest in ultraclean encapsulated graphene JJs, the CPR of such junctions remains unknown. Here, we use a fully gate-tunable graphene superconducting quantum intereference device (SQUID) to determine the CPR of ballistic graphene JJs. Each of the two JJs in the SQUID is made with graphene encapsulated in hexagonal boron nitride. By independently controlling the critical current of the JJs, we can operate the SQUID either in a symmetric or asymmetric configuration. The highly asymmetric SQUID allows us to phase-bias one of the JJs and thereby directly obtain its CPR. The CPR is found to be skewed, deviating significantly from a sinusoidal form. The skewness can be tuned with the gate voltage and oscillates in antiphase with Fabry-Pérot resistance oscillations of the ballistic graphene cavity. We compare our experiments with tight-binding calculations that include realistic graphene-superconductor interfaces and find a good qualitative agreement.},
author = {Nanda, Gaurav and Aguilera Servin, Juan L and Rakyta, Péter and Kormányos, Andor and Kleiner, Reinhold and Koelle, Dieter and Watanabe, Kazuo and Taniguchi, Takashi and Vandersypen, Lieven and Goswami, Srijit},
issn = {15306984},
journal = {Nano Letters},
number = {6},
pages = {3396 -- 3401},
publisher = {American Chemical Society},
title = {{Current-phase relation of ballistic graphene Josephson junctions}},
doi = {10.1021/acs.nanolett.7b00097},
volume = {17},
year = {2017},
}
@article{990,
abstract = {Assortative mating is an important driver of speciation in populations with gene flow and is predicted to evolve under certain conditions in few-locus models. However, the evolution of assortment is less understood for mating based on quantitative traits, which are often characterized by high genetic variability and extensive linkage disequilibrium between trait loci. We explore this scenario for a two-deme model with migration, by considering a single polygenic trait subject to divergent viability selection across demes, as well as assortative mating and sexual selection within demes, and investigate how trait divergence is shaped by various evolutionary forces. Our analysis reveals the existence of sharp thresholds of assortment strength, at which divergence increases dramatically. We also study the evolution of assortment via invasion of modifiers of mate discrimination and show that the ES assortment strength has an intermediate value under a range of migration-selection parameters, even in diverged populations, due to subtle effects which depend sensitively on the extent of phenotypic variation within these populations. The evolutionary dynamics of the polygenic trait is studied using the hypergeometric and infinitesimal models. We further investigate the sensitivity of our results to the assumptions of the hypergeometric model, using individual-based simulations.},
author = {Sachdeva, Himani and Barton, Nicholas H},
issn = {00143820},
journal = {Evolution; International Journal of Organic Evolution},
number = {6},
pages = {1478 -- 1493 },
publisher = {Wiley-Blackwell},
title = {{Divergence and evolution of assortative mating in a polygenic trait model of speciation with gene flow}},
doi = {10.1111/evo.13252},
volume = {71},
year = {2017},
}
@phdthesis{992,
abstract = {An instance of the Constraint Satisfaction Problem (CSP) is given by a finite set of
variables, a finite domain of labels, and a set of constraints, each constraint acting on
a subset of the variables. The goal is to find an assignment of labels to its variables
that satisfies all constraints (or decide whether one exists). If we allow more general
“soft” constraints, which come with (possibly infinite) costs of particular assignments,
we obtain instances from a richer class called Valued Constraint Satisfaction Problem
(VCSP). There the goal is to find an assignment with minimum total cost.
In this thesis, we focus (assuming that P
6
=
NP) on classifying computational com-
plexity of CSPs and VCSPs under certain restricting conditions. Two results are the core
content of the work. In one of them, we consider VCSPs parametrized by a constraint
language, that is the set of “soft” constraints allowed to form the instances, and finish
the complexity classification modulo (missing pieces of) complexity classification for
analogously parametrized CSP. The other result is a generalization of Edmonds’ perfect
matching algorithm. This generalization contributes to complexity classfications in two
ways. First, it gives a new (largest known) polynomial-time solvable class of Boolean
CSPs in which every variable may appear in at most two constraints and second, it
settles full classification of Boolean CSPs with planar drawing (again parametrized by a
constraint language).},
author = {Rolinek, Michal},
pages = {97},
publisher = {IST Austria},
title = {{Complexity of constraint satisfaction}},
doi = {10.15479/AT:ISTA:th_815},
year = {2017},
}
@article{993,
abstract = {In real-world applications, observations are often constrained to a small fraction of a system. Such spatial subsampling can be caused by the inaccessibility or the sheer size of the system, and cannot be overcome by longer sampling. Spatial subsampling can strongly bias inferences about a system’s aggregated properties. To overcome the bias, we derive analytically a subsampling scaling framework that is applicable to different observables, including distributions of neuronal avalanches, of number of people infected during an epidemic outbreak, and of node degrees. We demonstrate how to infer the correct distributions of the underlying full system, how to apply it to distinguish critical from subcritical systems, and how to disentangle subsampling and finite size effects. Lastly, we apply subsampling scaling to neuronal avalanche models and to recordings from developing neural networks. We show that only mature, but not young networks follow power-law scaling, indicating self-organization to criticality during development.},
author = {Levina (Martius), Anna and Priesemann, Viola},
issn = {20411723},
journal = {Nature Communications},
publisher = {Nature Publishing Group},
title = {{Subsampling scaling}},
doi = {10.1038/ncomms15140},
volume = {8},
year = {2017},
}
@article{994,
abstract = {The formation of vortices is usually considered to be the main mechanism of angular momentum disposal in superfluids. Recently, it was predicted that a superfluid can acquire angular momentum via an alternative, microscopic route -- namely, through interaction with rotating impurities, forming so-called `angulon quasiparticles' [Phys. Rev. Lett. 114, 203001 (2015)]. The angulon instabilities correspond to transfer of a small number of angular momentum quanta from the impurity to the superfluid, as opposed to vortex instabilities, where angular momentum is quantized in units of ℏ per atom. Furthermore, since conventional impurities (such as molecules) represent three-dimensional (3D) rotors, the angular momentum transferred is intrinsically 3D as well, as opposed to a merely planar rotation which is inherent to vortices. Herein we show that the angulon theory can explain the anomalous broadening of the spectroscopic lines observed for CH 3 and NH 3 molecules in superfluid helium nanodroplets, thereby providing a fingerprint of the emerging angulon instabilities in experiment.},
author = {Cherepanov, Igor and Lemeshko, Mikhail},
journal = {Physical Review Materials},
number = {3},
publisher = {American Physical Society},
title = {{Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules}},
doi = {10.1103/PhysRevMaterials.1.035602},
volume = {1},
year = {2017},
}
@article{995,
abstract = {Recently it was shown that an impurity exchanging orbital angular momentum with a surrounding bath can be described in terms of the angulon quasiparticle [Phys. Rev. Lett. 118, 095301 (2017)]. The angulon consists of a quantum rotor dressed by a many-particle field of boson excitations, and can be formed out of, for example, a molecule or a nonspherical atom in superfluid helium, or out of an electron coupled to lattice phonons or a Bose condensate. Here we develop an approach to the angulon based on the path-integral formalism, which sets the ground for a systematic, perturbative treatment of the angulon problem. The resulting perturbation series can be interpreted in terms of Feynman diagrams, from which, in turn, one can derive a set of diagrammatic rules. These rules extend the machinery of the graphical theory of angular momentum - well known from theoretical atomic spectroscopy - to the case where an environment with an infinite number of degrees of freedom is present. In particular, we show that each diagram can be interpreted as a 'skeleton', which enforces angular momentum conservation, dressed by an additional many-body contribution. This connection between the angulon theory and the graphical theory of angular momentum is particularly important as it allows to systematically and substantially simplify the analytical representation of each diagram. In order to exemplify the technique, we calculate the 1- and 2-loop contributions to the angulon self-energy, the spectral function, and the quasiparticle weight. The diagrammatic theory we develop paves the way to investigate next-to-leading order quantities in a more compact way compared to the variational approaches.},
author = {Bighin, Giacomo and Lemeshko, Mikhail},
issn = {24699950},
journal = {Physical Review B - Condensed Matter and Materials Physics},
number = {8},
publisher = {American Physical Society},
title = {{Diagrammatic approach to orbital quantum impurities interacting with a many-particle environment}},
doi = {10.1103/PhysRevB.96.085410},
volume = {96},
year = {2017},
}
@article{996,
abstract = {Iodine (I 2 ) molecules embedded in He nanodroplets are aligned by a 160 ps long laser pulse. The highest degree of alignment, occurring at the peak of the pulse and quantified by ⟨cos 2 θ 2D ⟩ , is measured as a function of the laser intensity. The results are well described by ⟨cos 2 θ 2D ⟩ calculated for a gas of isolated molecules each with an effective rotational constant of 0.6 times the gas-phase value, and at a temperature of 0.4 K. Theoretical analysis using the angulon quasiparticle to describe rotating molecules in superfluid helium rationalizes why the alignment mechanism is similar to that of isolated molecules with an effective rotational constant. A major advantage of molecules in He droplets is that their 0.4 K temperature leads to stronger alignment than what can generally be achieved for gas phase molecules -- here demonstrated by a direct comparison of the droplet results to measurements on a ∼ 1 K supersonic beam of isolated molecules. This point is further illustrated for more complex system by measurements on 1,4-diiodobenzene and 1,4-dibromobenzene. For all three molecular species studied the highest values of ⟨cos 2 θ 2D ⟩ achieved in He droplets exceed 0.96. },
author = {Shepperson, Benjamin and Chatterley, Adam and Søndergaard, Anders and Christiansen, Lars and Lemeshko, Mikhail and Stapelfeldt, Henrik},
issn = {00219606},
journal = {The Journal of Chemical Physics},
number = {1},
publisher = {AIP},
title = {{Strongly aligned molecules inside helium droplets in the near-adiabatic regime}},
doi = {10.1063/1.4983703},
volume = {147},
year = {2017},
}
@article{997,
abstract = {Recently it was shown that molecules rotating in superfluid helium can be described in terms of the angulon quasiparticles (Phys. Rev. Lett. 118, 095301 (2017)). Here we demonstrate that in the experimentally realized regime the angulon can be seen as a point charge on a 2-sphere interacting with a gauge field of a non-abelian magnetic monopole. Unlike in several other settings, the gauge fields of the angulon problem emerge in the real coordinate space, as opposed to the momentum space or some effective parameter space. Furthermore, we find a topological transition associated with making the monopole abelian, which takes place in the vicinity of the previously reported angulon instabilities. These results pave the way for studying topological phenomena in experiments on molecules trapped in superfluid helium nanodroplets, as well as on other realizations of orbital impurity problems.},
author = {Yakaboylu, Enderalp and Deuchert, Andreas and Lemeshko, Mikhail},
issn = {00319007},
journal = {APS Physics, Physical Review Letters},
number = {23},
publisher = {American Physiological Society},
title = {{Emergence of non-abelian magnetic monopoles in a quantum impurity problem}},
doi = {10.1103/PhysRevLett.119.235301},
volume = {119},
year = {2017},
}
@inproceedings{998,
abstract = {A major open problem on the road to artificial intelligence is the development of incrementally learning systems that learn about more and more concepts over time from a stream of data. In this work, we introduce a new training strategy, iCaRL, that allows learning in such a class-incremental way: only the training data for a small number of classes has to be present at the same time and new classes can be added progressively. iCaRL learns strong classifiers and a data representation simultaneously. This distinguishes it from earlier works that were fundamentally limited to fixed data representations and therefore incompatible with deep learning architectures. We show by experiments on CIFAR-100 and ImageNet ILSVRC 2012 data that iCaRL can learn many classes incrementally over a long period of time where other strategies quickly fail. },
author = {Rebuffi, Sylvestre Alvise and Kolesnikov, Alexander and Sperl, Georg and Lampert, Christoph},
isbn = {978-153860457-1},
location = {Honolulu, HA, United States},
pages = {5533 -- 5542},
publisher = {IEEE},
title = {{iCaRL: Incremental classifier and representation learning}},
doi = {10.1109/CVPR.2017.587},
volume = {2017},
year = {2017},
}
@article{392,
abstract = {We used femtosecond optical pump-probe spectroscopy to study the photoinduced change in reflectivity of thin films of the electron-doped cuprate La2-xCexCuO4 (LCCO) with dopings of x=0.08 (underdoped) and x=0.11 (optimally doped). Above Tc, we observe fluence-dependent relaxation rates that begin at a temperature similar to the one where transport measurements first show signatures of antiferromagnetic correlations. Upon suppressing superconductivity with a magnetic field, it is found that the fluence and temperature dependence of relaxation rates are consistent with bimolecular recombination of electrons and holes across a gap (2ΔAF) originating from antiferromagnetic correlations which comprise the pseudogap in electron-doped cuprates. This can be used to learn about coupling between electrons and high-energy (ω>2ΔAF) excitations in these compounds and set limits on the time scales on which antiferromagnetic correlations are static.},
author = {Vishik, Inna and Mahmood, Fahad and Alpichshev, Zhanybek and Gedik, Nuh and Higgins, Joshu and Greene, Richard},
journal = {Physical Review B},
number = {11},
publisher = {American Physical Society},
title = {{Ultrafast dynamics in the presence of antiferromagnetic correlations in electron doped cuprate La2 xCexCuO4±δ}},
doi = {10.1103/PhysRevB.95.115125},
volume = {95},
year = {2017},
}
@article{393,
abstract = {We use a three-pulse ultrafast optical spectroscopy to study the relaxation processes in a frustrated Mott insulator Na2IrO3. By being able to independently produce the out-of-equilibrium bound states (excitons) of doublons and holons with the first pulse and suppress the underlying antiferromagnetic order with the second one, we were able to elucidate the relaxation mechanism of quasiparticles in this system. By observing the difference in the exciton dynamics in the magnetically ordered and disordered phases we found that the mass of this quasiparticle is mostly determined by its interaction with the surrounding spins. },
author = {Alpichshev, Zhanybek and Sie, Edbert and Mahmood, Fahad and Cao, Gang and Gedik, Nuh},
journal = {Physical Review B},
number = {23},
publisher = {American Physical Society},
title = {{Origin of the exciton mass in the frustrated Mott insulator Na2IrO3}},
doi = {10.1103/PhysRevB.96.235141},
volume = {96},
year = {2017},
}
@inbook{424,
abstract = {We show that very weak topological assumptions are enough to ensure the existence of a Helly-type theorem. More precisely, we show that for any non-negative integers b and d there exists an integer h(b, d) such that the following holds. If F is a finite family of subsets of Rd such that βi(∩G)≤b for any G⊊F and every 0 ≤ i ≤ [d/2]-1 then F has Helly number at most h(b, d). Here βi denotes the reduced Z2-Betti numbers (with singular homology). These topological conditions are sharp: not controlling any of these [d/2] first Betti numbers allow for families with unbounded Helly number. Our proofs combine homological non-embeddability results with a Ramsey-based approach to build, given an arbitrary simplicial complex K, some well-behaved chain map C*(K)→C*(Rd).},
author = {Goaoc, Xavier and Paták, Pavel and Patakova, Zuzana and Tancer, Martin and Wagner, Uli},
booktitle = {A Journey through Discrete Mathematics: A Tribute to Jiri Matousek},
editor = {Loebl, Martin and Nešetřil, Jaroslav and Thomas, Robin},
isbn = {978-331944479-6},
pages = {407 -- 447},
publisher = {Springer},
title = {{Bounding helly numbers via betti numbers}},
doi = {10.1007/978-3-319-44479-6_17},
year = {2017},
}
@inproceedings{431,
abstract = {Parallel implementations of stochastic gradient descent (SGD) have received significant research attention, thanks to its excellent scalability properties. A fundamental barrier when parallelizing SGD is the high bandwidth cost of communicating gradient updates between nodes; consequently, several lossy compresion heuristics have been proposed, by which nodes only communicate quantized gradients. Although effective in practice, these heuristics do not always converge. In this paper, we propose Quantized SGD (QSGD), a family of compression schemes with convergence guarantees and good practical performance. QSGD allows the user to smoothly trade off communication bandwidth and convergence time: nodes can adjust the number of bits sent per iteration, at the cost of possibly higher variance. We show that this trade-off is inherent, in the sense that improving it past some threshold would violate information-theoretic lower bounds. QSGD guarantees convergence for convex and non-convex objectives, under asynchrony, and can be extended to stochastic variance-reduced techniques. When applied to training deep neural networks for image classification and automated speech recognition, QSGD leads to significant reductions in end-to-end training time. For instance, on 16GPUs, we can train the ResNet-152 network to full accuracy on ImageNet 1.8 × faster than the full-precision variant. },
author = {Alistarh, Dan-Adrian and Grubic, Demjan and Li, Jerry and Tomioka, Ryota and Vojnović, Milan},
issn = {10495258},
location = {Long Beach, CA, United States},
pages = {1710--1721},
publisher = {Neural Information Processing Systems Foundation, Inc.},
title = {{QSGD: Communication-efficient SGD via gradient quantization and encoding}},
volume = {2017},
year = {2017},
}
@inproceedings{432,
abstract = {Recently there has been significant interest in training machine-learning models at low precision: by reducing precision, one can reduce computation and communication by one order of magnitude. We examine training at reduced precision, both from a theoretical and practical perspective, and ask: is it possible to train models at end-to-end low precision with provable guarantees? Can this lead to consistent order-of-magnitude speedups? We mainly focus on linear models, and the answer is yes for linear models. We develop a simple framework called ZipML based on one simple but novel strategy called double sampling. Our ZipML framework is able to execute training at low precision with no bias, guaranteeing convergence, whereas naive quanti- zation would introduce significant bias. We val- idate our framework across a range of applica- tions, and show that it enables an FPGA proto- type that is up to 6.5 × faster than an implemen- tation using full 32-bit precision. We further de- velop a variance-optimal stochastic quantization strategy and show that it can make a significant difference in a variety of settings. When applied to linear models together with double sampling, we save up to another 1.7 × in data movement compared with uniform quantization. When training deep networks with quantized models, we achieve higher accuracy than the state-of-the- art XNOR-Net. },
author = {Zhang, Hantian and Li, Jerry and Kara, Kaan and Alistarh, Dan-Adrian and Liu, Ji and Zhang, Ce},
booktitle = {Proceedings of Machine Learning Research},
isbn = {978-151085514-4},
location = {Sydney, Australia},
pages = {4035 -- 4043},
publisher = { PMLR},
title = {{ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning}},
volume = { 70},
year = {2017},
}
@article{443,
abstract = {Pancreatic cancer has a five-year survival rate of ~8%, with characteristic molecular heterogeneity and restricted treatment options. Targeting metabolism has emerged as a potentially effective therapeutic strategy for cancers such as pancreatic cancer, which are driven by genetic alterations that are not tractable drug targets. Although somatic mitochondrial genome (mtDNA) mutations have been observed in various tumors types, understanding of metabolic genotype-phenotype relationships is limited.},
author = {Hardie, Rae and Van Dam, Ellen and Cowley, Mark and Han, Ting and Balaban, Seher and Pajic, Marina and Pinese, Mark and Iconomou, Mary and Shearer, Robert and Mckenna, Jessie and Miller, David and Waddell, Nicola and Pearson, John and Grimmond, Sean and Sazanov, Leonid A and Biankin, Andrew and Villas Boas, Silas and Hoy, Andrew and Turner, Nigel and Saunders, Darren},
journal = {Cancer & Metabolism},
number = {2},
publisher = {BioMed Central},
title = {{Mitochondrial mutations and metabolic adaptation in pancreatic cancer}},
doi = {10.1186/s40170-017-0164-1},
volume = {5},
year = {2017},
}
@article{445,
abstract = {The Loschmidt echo, defined as the overlap between quantum wave function evolved with different Hamiltonians, quantifies the sensitivity of quantum dynamics to perturbations and is often used as a probe of quantum chaos. In this work we consider the behavior of the Loschmidt echo in the many-body localized phase, which is characterized by emergent local integrals of motion and provides a generic example of nonergodic dynamics. We demonstrate that the fluctuations of the Loschmidt echo decay as a power law in time in the many-body localized phase, in contrast to the exponential decay in few-body ergodic systems. We consider the spin-echo generalization of the Loschmidt echo and argue that the corresponding correlation function saturates to a finite value in localized systems. Slow, power-law decay of fluctuations of such spin-echo-type overlap is related to the operator spreading and is present only in the many-body localized phase, but not in a noninteracting Anderson insulator. While most of the previously considered probes of dephasing dynamics could be understood by approximating physical spin operators with local integrals of motion, the Loschmidt echo and its generalizations crucially depend on the full expansion of the physical operators via local integrals of motion operators, as well as operators which flip local integrals of motion. Hence these probes allow one to get insights into the relation between physical operators and local integrals of motion and access the operator spreading in the many-body localized phase.},
author = {Maksym Serbyn and Abanin, Dimitry A},
journal = {Physical Review B - Condensed Matter and Materials Physics},
number = {1},
publisher = {American Physical Society},
title = {{Loschmidt echo in many body localized phases}},
doi = {10.1103/PhysRevB.96.014202},
volume = {96},
year = {2017},
}
@article{447,
abstract = {We consider last passage percolation (LPP) models with exponentially distributed random variables, which are linked to the totally asymmetric simple exclusion process (TASEP). The competition interface for LPP was introduced and studied in Ferrari and Pimentel (2005a) for cases where the corresponding exclusion process had a rarefaction fan. Here we consider situations with a shock and determine the law of the fluctuations of the competition interface around its deter- ministic law of large number position. We also study the multipoint distribution of the LPP around the shock, extending our one-point result of Ferrari and Nejjar (2015).},
author = {Ferrari, Patrik and Nejjar, Peter},
journal = {Revista Latino-Americana de Probabilidade e Estatística},
pages = {299 -- 325},
publisher = {ALEA Network},
title = {{Fluctuations of the competition interface in presence of shocks}},
volume = {9},
year = {2017},
}
@article{453,
abstract = {Most kinesin motors move in only one direction along microtubules. Members of the kinesin-5 subfamily were initially described as unidirectional plus-end-directed motors and shown to produce piconewton forces. However, some fungal kinesin-5 motors are bidirectional. The force production of a bidirectional kinesin-5 has not yet been measured. Therefore, it remains unknown whether the mechanism of the unconventional minus-end-directed motility differs fundamentally from that of plus-end-directed stepping. Using force spectroscopy, we have measured here the forces that ensembles of purified budding yeast kinesin-5 Cin8 produce in microtubule gliding assays in both plus- and minus-end direction. Correlation analysis of pause forces demonstrated that individual Cin8 molecules produce additive forces in both directions of movement. In ensembles, Cin8 motors were able to produce single-motor forces up to a magnitude of ∼1.5 pN. Hence, these properties appear to be conserved within the kinesin-5 subfamily. Force production was largely independent of the directionality of movement, indicating similarities between the motility mechanisms for both directions. These results provide constraints for the development of models for the bidirectional motility mechanism of fission yeast kinesin-5 and provide insight into the function of this mitotic motor.},
author = {Fallesen, Todd and Roostalu, Johanna and Düllberg, Christian F and Pruessner, Gunnar and Surrey, Thomas},
journal = {Biophysical Journal},
number = {9},
pages = {2055 -- 2067},
publisher = {Biophysical Society},
title = {{Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement}},
doi = {10.1016/j.bpj.2017.09.006},
volume = {113},
year = {2017},
}
@article{459,
abstract = {The social insects bees, wasps, ants, and termites are species-rich, occur in many habitats, and often constitute a large part of the biomass. Many are also invasive, including species of termites, the red imported fire ant, and the Argentine ant. While invasive social insects have been a problem in Southern Europe for some time, Central Europa was free of invasive ant species until recently because most ants are adapted to warmer climates. Only in the 1990s, did Lasius neglectus, a close relative of the common black garden ant, arrive in Germany. First described in 1990 based on individuals collected in Budapest, the species has since been detected for example in France, Germany, Spain, England, and Kyrgyzstan. The species is spread with soil during construction work or plantings, and L. neglectus therefore is often found in parks and botanical gardens. Another invasive ant now spreading in southern Germany is Formica fuscocinerea, which occurs along rivers, including in the sandy floodplains of the river Isar. As is typical of pioneer species, F. fuscocinerea quickly becomes extremely abundant and therefore causes problems for example on playgrounds in Munich. All invasive ant species are characterized by cooperation across nests, leading to strongly interconnected, very large super-colonies. The resulting dominance results in the extinction of native ant species as well as other arthropod species and thus in the reduction of biodiversity.},
author = {Cremer, Sylvia},
journal = {Rundgespräche Forum Ökologie},
pages = {105 -- 116},
publisher = {Pfeil},
title = {{Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern}},
volume = {46},
year = {2017},
}
@inproceedings{313,
abstract = {Tunneling of a particle through a potential barrier remains one of the most remarkable quantum phenomena. Owing to advances in laser technology, electric fields comparable to those electrons experience in atoms are readily generated and open opportunities to dynamically investigate the process of electron tunneling through the potential barrier formed by the superposition of both laser and atomic fields. Attosecond-time and angstrom-space resolution of the strong laser-field technique allow to address fundamental questions related to tunneling, which are still open and debated: Which time is spent under the barrier and what momentum is picked up by the particle in the meantime? In this combined experimental and theoretical study we demonstrate that for strong-field ionization the leading quantum mechanical Wigner treatment for the time resolved description of tunneling is valid. We achieve a high sensitivity on the tunneling barrier and unambiguously isolate its effects by performing a differential study of two systems with almost identical tunneling geometry. Moreover, working with a low frequency laser, we essentially limit the non-adiabaticity of the process as a major source of uncertainty. The agreement between experiment and theory implies two substantial corrections with respect to the widely employed quasiclassical treatment: In addition to a non-vanishing longitudinal momentum along the laser field-direction we provide clear evidence for a non-zero tunneling time delay. This addresses also the fundamental question how the transition occurs from the tunnel barrier to free space classical evolution of the ejected electron.},
author = {Camus, Nicolas and Yakaboylu, Enderalp and Fechner, Lutz and Klaiber, Michael and Laux, Martin and Mi, Yonghao and Hatsagortsyan, Karen and Pfeifer, Thomas and Keitel, Cristoph and Moshammer, Robert},
issn = {17426588},
location = {Kazan, Russian Federation},
number = {1},
publisher = {American Physical Society},
title = {{Experimental evidence for Wigner's tunneling time}},
doi = {10.1088/1742-6596/999/1/012004},
volume = {999},
year = {2017},
}
@phdthesis{6291,
abstract = {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.},
author = {Payne, Pavel},
pages = {83},
publisher = {IST Austria},
title = {{Bacterial herd and social immunity to phages}},
year = {2017},
}
@phdthesis{1127,
abstract = {Plant hormone auxin and its transport between cells belong to the most important
mechanisms controlling plant development. Auxin itself could change localization of PINs and
thereby control direction of its own flow. We performed an expression profiling experiment
in Arabidopsis roots to identify potential regulators of PIN polarity which are transcriptionally
regulated by auxin signalling. We identified several novel regulators and performed a detailed
characterization of the transcription factor WRKY23 (At2g47260) and its role in auxin
feedback on PIN polarity. Gain-of-function and dominant-negative mutants revealed that
WRKY23 plays a crucial role in mediating the auxin effect on PIN polarity. In concordance,
typical polar auxin transport processes such as gravitropism and leaf vascular pattern
formation were disturbed by interfering with WRKY23 function.
In order to identify direct targets of WRKY23, we performed consequential expression
profiling experiments using a WRKY23 inducible gain-of-function line and dominant-negative
WRKY23 line that is defunct in PIN re-arrangement. Among several genes mostly related to
the groups of cell wall and defense process regulators, we identified LYSINE-HISTIDINE
TRANSPORTER 1 (LHT1; At5g40780), a small amino acid permease gene from the amino
acid/auxin permease family (AAAP), we present its detailed characterisation in auxin feedback
on PIN repolarization, identified its transcriptional regulation, we propose a potential
mechanism of its action. Moreover, we identified also a member of receptor-like protein
kinase LRR-RLK (LEUCINE-RICH REPEAT TRANSMEMBRANE PROTEIN KINASE PROTEIN 1;
LRRK1; At1g05700), which also affects auxin-dependent PIN re-arrangement. We described
its transcriptional behaviour, subcellular localization. Based on global expression data, we
tried to identify ligand responsible for mechanism of signalling and suggest signalling partner
and interactors. Additionally, we described role of novel phytohormone group, strigolactone,
in auxin-dependent PIN re-arrangement, that could be a fundament for future studies in this
field.
Our results provide first insights into an auxin transcriptional network targeting PIN
localization and thus regulating plant development. We highlighted WRKY23 transcriptional
network and characterised its mediatory role in plant development. We identified direct
effectors of this network, LHT1 and LRRK1, and describe their roles in PIN re-arrangement and
PIN-dependent auxin transport processes.},
author = {Prat, Tomas},
pages = {131},
publisher = {IST Austria},
title = {{Identification of novel regulators of PIN polarity and development of novel auxin sensor}},
year = {2017},
}
@article{9190,
abstract = {Plant meristems carry pools of continuously active stem cells, whose activity is controlled by developmental and environmental signals. After stem cell division, daughter cells that exit the stem cell domain acquire transit amplifying cell identity before they are incorporated into organs and differentiate. In this study, we used an integrated approach to elucidate the role of HECATE (HEC) genes in regulating developmental trajectories of shoot stem cells in Arabidopsis thaliana. Our work reveals that HEC function stabilizes cell fate in distinct zones of the shoot meristem thereby controlling the spatio-temporal dynamics of stem cell differentiation. Importantly, this activity is concomitant with the local modulation of cellular responses to cytokinin and auxin, two key phytohormones regulating cell behaviour. Mechanistically, we show that HEC factors transcriptionally control and physically interact with MONOPTEROS (MP), a key regulator of auxin signalling, and modulate the autocatalytic stabilization of auxin signalling output.},
author = {Gaillochet, Christophe and Stiehl, Thomas and Wenzl, Christian and Ripoll, Juan-José and Bailey-Steinitz, Lindsay J and Li, Lanxin and Pfeiffer, Anne and Miotk, Andrej and Hakenjos, Jana P and Forner, Joachim and Yanofsky, Martin F and Marciniak-Czochra, Anna and Lohmann, Jan U},
issn = {2050-084X},
journal = {eLife},
publisher = {eLife Sciences Publications},
title = {{Control of plant cell fate transitions by transcriptional and hormonal signals}},
doi = {10.7554/elife.30135},
volume = {6},
year = {2017},
}
@inproceedings{999,
abstract = {In multi-task learning, a learner is given a collection of prediction tasks and needs to solve all of them. In contrast to previous work, which required that annotated training data must be available for all tasks, we consider a new setting, in which for some tasks, potentially most of them, only unlabeled training data is provided. Consequently, to solve all tasks, information must be transferred between tasks with labels and tasks without labels. Focusing on an instance-based transfer method we analyze two variants of this setting: when the set of labeled tasks is fixed, and when it can be actively selected by the learner. We state and prove a generalization bound that covers both scenarios and derive from it an algorithm for making the choice of labeled tasks (in the active case) and for transferring information between the tasks in a principled way. We also illustrate the effectiveness of the algorithm on synthetic and real data. },
author = {Pentina, Anastasia and Lampert, Christoph},
isbn = {9781510855144},
location = {Sydney, Australia},
pages = {2807 -- 2816},
publisher = {Omnipress},
title = {{Multi-task learning with labeled and unlabeled tasks}},
volume = {70},
year = {2017},
}
@article{684,
abstract = {We generalize winning conditions in two-player games by adding a structural acceptance condition called obligations. Obligations are orthogonal to the linear winning conditions that define whether a play is winning. Obligations are a declaration that player 0 can achieve a certain value from a configuration. If the obligation is met, the value of that configuration for player 0 is 1. We define the value in such games and show that obligation games are determined. For Markov chains with Borel objectives and obligations, and finite turn-based stochastic parity games with obligations we give an alternative and simpler characterization of the value function. Based on this simpler definition we show that the decision problem of winning finite turn-based stochastic parity games with obligations is in NP∩co-NP. We also show that obligation games provide a game framework for reasoning about p-automata. © 2017 The Association for Symbolic Logic.},
author = {Chatterjee, Krishnendu and Piterman, Nir},
issn = {1943-5886},
journal = {Journal of Symbolic Logic},
number = {2},
pages = {420 -- 452},
publisher = {Cambridge University Press},
title = {{Obligation blackwell games and p-automata}},
doi = {10.1017/jsl.2016.71},
volume = {82},
year = {2017},
}
@article{9445,
abstract = {Cytosine methylation regulates essential genome functions across eukaryotes, but the fundamental question of whether nucleosomal or naked DNA is the preferred substrate of plant and animal methyltransferases remains unresolved. Here, we show that genetic inactivation of a single DDM1/Lsh family nucleosome remodeler biases methylation toward inter-nucleosomal linker DNA in Arabidopsis thaliana and mouse. We find that DDM1 enables methylation of DNA bound to the nucleosome, suggesting that nucleosome-free DNA is the preferred substrate of eukaryotic methyltransferases in vivo. Furthermore, we show that simultaneous mutation of DDM1 and linker histone H1 in Arabidopsis reproduces the strong linker-specific methylation patterns of species that diverged from flowering plants and animals over a billion years ago. Our results indicate that in the absence of remodeling, nucleosomes are strong barriers to DNA methyltransferases. Linker-specific methylation can evolve simply by breaking the connection between nucleosome remodeling and DNA methylation.},
author = {Lyons, David B and ZILBERMAN, Daniel},
issn = {2050-084X},
journal = {eLife},
publisher = {eLife Sciences Publications},
title = {{DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes}},
doi = {10.7554/elife.30674},
volume = {6},
year = {2017},
}
@article{9506,
abstract = {Methylation in the bodies of active genes is common in animals and vascular plants. Evolutionary patterns indicate homeostatic functions for this type of methylation.},
author = {ZILBERMAN, Daniel},
issn = {1465-6906},
journal = {Genome Biology},
number = {1},
publisher = {Springer Nature},
title = {{An evolutionary case for functional gene body methylation in plants and animals}},
doi = {10.1186/s13059-017-1230-2},
volume = {18},
year = {2017},
}
@article{9574,
abstract = {Consider the sum X(ξ)=∑ni=1aiξi, where a=(ai)ni=1 is a sequence of non-zero reals and ξ=(ξi)ni=1 is a sequence of i.i.d. Rademacher random variables (that is, Pr[ξi=1]=Pr[ξi=−1]=1/2). The classical Littlewood-Offord problem asks for the best possible upper bound on the concentration probabilities Pr[X=x]. In this paper we study a resilience version of the Littlewood-Offord problem: how many of the ξi is an adversary typically allowed to change without being able to force concentration on a particular value? We solve this problem asymptotically, and present a few interesting open problems.},
author = {Bandeira, Afonso S. and Ferber, Asaf and Kwan, Matthew Alan},
issn = {1571-0653},
journal = {Electronic Notes in Discrete Mathematics},
pages = {93--99},
publisher = {Elsevier},
title = {{Resilience for the Littlewood-Offord problem}},
doi = {10.1016/j.endm.2017.06.025},
volume = {61},
year = {2017},
}
@article{9588,
abstract = {Consider the sum X(ξ)=∑ni=1aiξi , where a=(ai)ni=1 is a sequence of non-zero reals and ξ=(ξi)ni=1 is a sequence of i.i.d. Rademacher random variables (that is, Pr[ξi=1]=Pr[ξi=−1]=1/2 ). The classical Littlewood-Offord problem asks for the best possible upper bound on the concentration probabilities Pr[X=x] . In this paper we study a resilience version of the Littlewood-Offord problem: how many of the ξi is an adversary typically allowed to change without being able to force concentration on a particular value? We solve this problem asymptotically, and present a few interesting open problems.},
author = {Bandeira, Afonso S. and Ferber, Asaf and Kwan, Matthew Alan},
issn = {0001-8708},
journal = {Advances in Mathematics},
pages = {292--312},
publisher = {Elsevier},
title = {{Resilience for the Littlewood–Offord problem}},
doi = {10.1016/j.aim.2017.08.031},
volume = {319},
year = {2017},
}
@article{9589,
abstract = {We give an asymptotic expression for the expected number of spanning trees in a random graph with a given degree sequence , provided that the number of edges is at least , where is the maximum degree. A key part of our argument involves establishing a concentration result for a certain family of functions over random trees with given degrees, using Prüfer codes.},
author = {Greenhill, Catherine and Isaev, Mikhail and Kwan, Matthew Alan and McKay, Brendan D.},
issn = {0195-6698},
journal = {European Journal of Combinatorics},
pages = {6--25},
publisher = {Elsevier},
title = {{The average number of spanning trees in sparse graphs with given degrees}},
doi = {10.1016/j.ejc.2017.02.003},
volume = {63},
year = {2017},
}
@article{1029,
abstract = {RNA Polymerase II pauses and backtracks during transcription, with many consequences for gene expression and cellular physiology. Here, we show that the energy required to melt double-stranded nucleic acids in the transcription bubble predicts pausing in Saccharomyces cerevisiae far more accurately than nucleosome roadblocks do. In addition, the same energy difference also determines when the RNA polymerase backtracks instead of continuing to move forward. This data-driven model corroborates—in a genome wide and quantitative manner—previous evidence that sequence-dependent thermodynamic features of nucleic acids influence both transcriptional pausing and backtracking.},
author = {Lukacisin, Martin and Landon, Matthieu and Jajoo, Rishi},
issn = {19326203},
journal = {PLoS One},
number = {3},
publisher = {Public Library of Science},
title = {{Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast}},
doi = {10.1371/journal.pone.0174066},
volume = {12},
year = {2017},
}
@article{9590,
abstract = {We show that for any fixed dense graph G and bounded-degree tree T on the same number of vertices, a modest random perturbation of G will typically contain a copy of T . This combines the viewpoints of the well-studied problems of embedding trees into fixed dense graphs and into random graphs, and extends a sizeable body of existing research on randomly perturbed graphs. Specifically, we show that there is c=c(α,Δ) such that if G is an n-vertex graph with minimum degree at least αn, and T is an n-vertex tree with maximum degree at most Δ , then if we add cn uniformly random edges to G, the resulting graph will contain T asymptotically almost surely (as n→∞ ). Our proof uses a lemma concerning the decomposition of a dense graph into super-regular pairs of comparable sizes, which may be of independent interest.},
author = {Krivelevich, Michael and Kwan, Matthew Alan and Sudakov, Benny},
issn = {1095-7146},
journal = {SIAM Journal on Discrete Mathematics},
number = {1},
pages = {155--171},
publisher = {Society for Industrial & Applied Mathematics},
title = {{Bounded-degree spanning trees in randomly perturbed graphs}},
doi = {10.1137/15m1032910},
volume = {31},
year = {2017},
}
@article{682,
abstract = {Left-right asymmetry is a fundamental feature of higher-order brain structure; however, the molecular basis of brain asymmetry remains unclear. We recently identified structural and functional asymmetries in mouse hippocampal circuitry that result from the asymmetrical distribution of two distinct populations of pyramidal cell synapses that differ in the density of the NMDA receptor subunit GluRε2 (also known as NR2B, GRIN2B or GluN2B). By examining the synaptic distribution of ε2 subunits, we previously found that β2-microglobulin-deficient mice, which lack cell surface expression of the vast majority of major histocompatibility complex class I (MHCI) proteins, do not exhibit circuit asymmetry. In the present study, we conducted electrophysiological and anatomical analyses on the hippocampal circuitry of mice with a knockout of the paired immunoglobulin-like receptor B (PirB), an MHCI receptor. As in β2-microglobulin-deficient mice, the PirB-deficient hippocampus lacked circuit asymmetries. This finding that MHCI loss-of-function mice and PirB knockout mice have identical phenotypes suggests that MHCI signals that produce hippocampal asymmetries are transduced through PirB. Our results provide evidence for a critical role of the MHCI/PirB signaling system in the generation of asymmetries in hippocampal circuitry.},
author = {Ukai, Hikari and Kawahara, Aiko and Hirayama, Keiko and Case, Matthew J and Aino, Shotaro and Miyabe, Masahiro and Wakita, Ken and Oogi, Ryohei and Kasayuki, Michiyo and Kawashima, Shihomi and Sugimoto, Shunichi and Chikamatsu, Kanako and Nitta, Noritaka and Koga, Tsuneyuki and Shigemoto, Ryuichi and Takai, Toshiyuki and Ito, Isao},
issn = {19326203},
journal = {PLoS One},
number = {6},
publisher = {Public Library of Science},
title = {{PirB regulates asymmetries in hippocampal circuitry}},
doi = {10.1371/journal.pone.0179377},
volume = {12},
year = {2017},
}
@article{696,
abstract = {Mutator strains are expected to evolve when the availability and effect of beneficial mutations are high enough to counteract the disadvantage from deleterious mutations that will inevitably accumulate. As the population becomes more adapted to its environment, both availability and effect of beneficial mutations necessarily decrease and mutation rates are predicted to decrease. It has been shown that certain molecular mechanisms can lead to increased mutation rates when the organism finds itself in a stressful environment. While this may be a correlated response to other functions, it could also be an adaptive mechanism, raising mutation rates only when it is most advantageous. Here, we use a mathematical model to investigate the plausibility of the adaptive hypothesis. We show that such a mechanism can be mantained if the population is subjected to diverse stresses. By simulating various antibiotic treatment schemes, we find that combination treatments can reduce the effectiveness of second-order selection on stress-induced mutagenesis. We discuss the implications of our results to strategies of antibiotic therapy.},
author = {Lukacisinova, Marta and Novak, Sebastian and Paixao, Tiago},
issn = {1553734X},
journal = {PLoS Computational Biology},
number = {7},
publisher = {Public Library of Science},
title = {{Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes}},
doi = {10.1371/journal.pcbi.1005609},
volume = {13},
year = {2017},
}
@article{1027,
abstract = {The rising prevalence of antibiotic resistant bacteria is an increasingly serious public health challenge. To address this problem, recent work ranging from clinical studies to theoretical modeling has provided valuable insights into the mechanisms of resistance, its emergence and spread, and ways to counteract it. A deeper understanding of the underlying dynamics of resistance evolution will require a combination of experimental and theoretical expertise from different disciplines and new technology for studying evolution in the laboratory. Here, we review recent advances in the quantitative understanding of the mechanisms and evolution of antibiotic resistance. We focus on key theoretical concepts and new technology that enables well-controlled experiments. We further highlight key challenges that can be met in the near future to ultimately develop effective strategies for combating resistance.},
author = {Lukacisinova, Marta and Bollenbach, Mark Tobias},
journal = {Current Opinion in Biotechnology},
pages = {90 -- 97},
publisher = {Elsevier},
title = {{Toward a quantitative understanding of antibiotic resistance evolution}},
doi = {10.1016/j.copbio.2017.02.013},
volume = {46},
year = {2017},
}
@article{1024,
abstract = {The history of auxin and cytokinin biology including the initial discoveries by father–son duo Charles Darwin and Francis Darwin (1880), and Gottlieb Haberlandt (1919) is a beautiful demonstration of unceasing continuity of research. Novel findings are integrated into existing hypotheses and models and deepen our understanding of biological principles. At the same time new questions are triggered and hand to hand with this new methodologies are developed to address these new challenges.},
author = {Hurny, Andrej and Benková, Eva},
issn = {10643745},
journal = {Auxins and Cytokinins in Plant Biology},
pages = {1 -- 29},
publisher = {Springer},
title = {{Methodological advances in auxin and cytokinin biology}},
doi = {10.1007/978-1-4939-6831-2_1},
volume = {1569},
year = {2017},
}
@article{704,
abstract = {How the organization of genes on a chromosome shapes adaptation is essential for understanding evolutionary paths. Here, we investigate how adaptation to rapidly increasing levels of antibiotic depends on the chromosomal neighborhood of a drug-resistance gene inserted at different positions of the Escherichia coli chromosome. Using a dual-fluorescence reporter that allows us to distinguish gene amplifications from other up-mutations, we track in real-time adaptive changes in expression of the drug-resistance gene. We find that the relative contribution of several mutation types differs systematically between loci due to properties of neighboring genes: essentiality, expression, orientation, termination, and presence of duplicates. These properties determine rate and fitness effects of gene amplification, deletions, and mutations compromising transcriptional termination. Thus, the adaptive potential of a gene under selection is a system-property with a complex genetic basis that is specific for each chromosomal locus, and it can be inferred from detailed functional and genomic data.},
author = {Steinrück, Magdalena and Guet, Calin C},
issn = {2050084X},
journal = {eLife},
publisher = {eLife Sciences Publications},
title = {{Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection}},
doi = {10.7554/eLife.25100},
volume = {6},
year = {2017},
}
@article{676,
abstract = {The segregation of different cell types into distinct tissues is a fundamental process in metazoan development. Differences in cell adhesion and cortex tension are commonly thought to drive cell sorting by regulating tissue surface tension (TST). However, the role that differential TST plays in cell segregation within the developing embryo is as yet unclear. Here, we have analyzed the role of differential TST for germ layer progenitor cell segregation during zebrafish gastrulation. Contrary to previous observations that differential TST drives germ layer progenitor cell segregation in vitro, we show that germ layers display indistinguishable TST within the gastrulating embryo, arguing against differential TST driving germ layer progenitor cell segregation in vivo. We further show that the osmolarity of the interstitial fluid (IF) is an important factor that influences germ layer TST in vivo, and that lower osmolarity of the IF compared with standard cell culture medium can explain why germ layers display differential TST in culture but not in vivo. Finally, we show that directed migration of mesendoderm progenitors is required for germ layer progenitor cell segregation and germ layer formation.},
author = {Krens, Gabriel and Veldhuis, Jim and Barone, Vanessa and Capek, Daniel and Maître, Jean-Léon and Brodland, Wayne and Heisenberg, Carl-Philipp J},
issn = {09501991},
journal = {Development},
number = {10},
pages = {1798 -- 1806},
publisher = {Company of Biologists},
title = {{Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation}},
doi = {10.1242/dev.144964},
volume = {144},
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{949,
abstract = {The notion of treewidth of graphs has been exploited for faster algorithms for several problems arising in verification and program analysis. Moreover, various notions of balanced tree decompositions have been used for improved algorithms supporting dynamic updates and analysis of concurrent programs. In this work, we present a tool for constructing tree-decompositions of CFGs obtained from Java methods, which is implemented as an extension to the widely used Soot framework. The experimental results show that our implementation on real-world Java benchmarks is very efficient. Our tool also provides the first implementation for balancing tree-decompositions. In summary, we present the first tool support for exploiting treewidth in the static analysis problems on Java programs.},
author = {Chatterjee, Krishnendu and Goharshady, Amir and Pavlogiannis, Andreas},
editor = {D'Souza, Deepak},
issn = {03029743},
location = {Pune, India},
pages = {59 -- 66},
publisher = {Springer},
title = {{JTDec: A tool for tree decompositions in soot}},
doi = {10.1007/978-3-319-68167-2_4},
volume = {10482},
year = {2017},
}
@inproceedings{639,
abstract = {We study the problem of developing efficient approaches for proving worst-case bounds of non-deterministic recursive programs. Ranking functions are sound and complete for proving termination and worst-case bounds of non-recursive programs. First, we apply ranking functions to recursion, resulting in measure functions, and show that they provide a sound and complete approach to prove worst-case bounds of non-deterministic recursive programs. Our second contribution is the synthesis of measure functions in non-polynomial forms. We show that non-polynomial measure functions with logarithm and exponentiation can be synthesized through abstraction of logarithmic or exponentiation terms, Farkas’ Lemma, and Handelman’s Theorem using linear programming. While previous methods obtain worst-case polynomial bounds, our approach can synthesize bounds of the form O(n log n) as well as O(nr) where r is not an integer. We present experimental results to demonstrate that our approach can efficiently obtain worst-case bounds of classical recursive algorithms such as Merge-Sort, Closest-Pair, Karatsuba’s algorithm and Strassen’s algorithm.},
author = {Chatterjee, Krishnendu and Fu, Hongfei and Goharshady, Amir},
editor = {Majumdar, Rupak and Kunčak, Viktor},
isbn = {978-331963389-3},
location = {Heidelberg, Germany},
pages = {41 -- 63},
publisher = {Springer},
title = {{Non-polynomial worst case analysis of recursive programs}},
doi = {10.1007/978-3-319-63390-9_3},
volume = {10427},
year = {2017},
}
@article{262,
abstract = {For any number field we calculate the exact proportion of rational numbers which are everywhere locally a norm but not globally a norm from the number field.},
author = {Timothy Browning and Newton, Rachel},
journal = {Mathematika},
number = {2},
pages = {337 -- 347},
publisher = {Cambridge University Press},
title = {{The proportion of failures of the Hasse norm principle}},
doi = {10.1112/S0025579315000261},
volume = {62},
year = {2016},
}
@article{263,
abstract = {We count rational points of bounded height on the Cayley ruled cubic surface and interpret the result in the context of general conjectures due to Batyrev and Tschinkel.},
author = {de la Bretèche, Régis and Timothy Browning and Salberger, Per},
journal = {European Journal of Mathematics},
number = {1},
pages = {55 -- 72},
publisher = {Springer Nature},
title = {{Counting rational points on the Cayley ruled cubic}},
doi = {10.1007/s40879-015-0049-1},
volume = {2},
year = {2016},
}
@article{264,
abstract = {Given a family of varieties over a number field, we determine conditions under which there is a Brauer-Manin obstruction to weak approximation for 100% of the fibres which are everywhere locally soluble.},
author = {Bright, Maritn J and Timothy Browning and Loughran, Daniel},
journal = {Compositio Mathematica},
number = {7},
pages = {1435 -- 1475},
publisher = {Cambridge University Press},
title = {{Failures of weak approximation in families}},
doi = {10.1112/S0010437X16007405},
volume = {152},
year = {2016},
}
@article{8020,
abstract = {Balance of cortical excitation and inhibition (EI) is thought to be disrupted in several neuropsychiatric conditions, yet it is not clear how it is maintained in the healthy human brain. When EI balance is disturbed during learning and memory in animal models, it can be restabilized via formation of inhibitory replicas of newly formed excitatory connections. Here we assess evidence for such selective inhibitory rebalancing in humans. Using fMRI repetition suppression we measure newly formed cortical associations in the human brain. We show that expression of these associations reduces over time despite persistence in behavior, consistent with inhibitory rebalancing. To test this, we modulated excitation/inhibition balance with transcranial direct current stimulation (tDCS). Using ultra-high-field (7T) MRI and spectroscopy, we show that reducing GABA allows cortical associations to be re-expressed. This suggests that in humans associative memories are stored in balanced excitatory-inhibitory ensembles that lie dormant unless latent inhibitory connections are unmasked.},
author = {Barron, H.C. and Vogels, Tim P and Emir, U.E. and Makin, T.R. and O’Shea, J. and Clare, S. and Jbabdi, S. and Dolan, R.J. and Behrens, T.E.J.},
issn = {0896-6273},
journal = {Neuron},
number = {1},
pages = {191--203},
publisher = {Elsevier},
title = {{Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories}},
doi = {10.1016/j.neuron.2016.02.031},
volume = {90},
year = {2016},
}
@inproceedings{8094,
abstract = {With the accelerated development of robot technologies, optimal control becomes one of the central themes of research. In traditional approaches, the controller, by its internal functionality, finds appropriate actions on the basis of the history of sensor values, guided by the goals, intentions, objectives, learning schemes, and so forth. The idea is that the controller controls the world---the body plus its environment---as reliably as possible. This paper focuses on new lines of self-organization for developmental robotics. We apply the recently developed differential extrinsic synaptic plasticity to a muscle-tendon driven arm-shoulder system from the Myorobotics toolkit. In the experiments, we observe a vast variety of self-organized behavior patterns: when left alone, the arm realizes pseudo-random sequences of different poses. By applying physical forces, the system can be entrained into definite motion patterns like wiping a table. Most interestingly, after attaching an object, the controller gets in a functional resonance with the object's internal dynamics, starting to shake spontaneously bottles half-filled with water or sensitively driving an attached pendulum into a circular mode. When attached to the crank of a wheel the neural system independently discovers how to rotate it. In this way, the robot discovers affordances of objects its body is interacting with.},
author = {Martius, Georg S and Hostettler, Rafael and Knoll, Alois and Der, Ralf},
booktitle = {Proceedings of the Artificial Life Conference 2016},
isbn = {9780262339360},
location = {Cancun, Mexico},
pages = {142--143},
publisher = {MIT Press},
title = {{Self-organized control of an tendon driven arm by differential extrinsic plasticity}},
doi = {10.7551/978-0-262-33936-0-ch029},
volume = {28},
year = {2016},
}
@unpublished{8128,
abstract = {The stimulus selectivity of synaptic currents in cortical neurons often shows a co-tuning of excitation and inhibition, but the mechanisms that underlie the emergence and plasticity of this co-tuning are not fully understood. Using a computational model, we show that an interaction of excitatory and inhibitory synaptic plasticity reproduces both the developmental and – when combined with a disinhibitory gate – the adult plasticity of excitatory and inhibitory receptive fields in auditory cortex. The co-tuning arises from inhibitory plasticity that balances excitation and inhibition, while excitatory stimulus selectivity can result from two different mechanisms. Inhibitory inputs with a broad stimulus tuning introduce a sliding threshold as in Bienenstock-Cooper-Munro rules, introducing an excitatory stimulus selectivity at the cost of a broader inhibitory receptive field. Alternatively, input asymmetries can be amplified by synaptic competition. The latter leaves any receptive field plasticity transient, a prediction we verify in recordings in auditory cortex.},
author = {Clopath, Claudia and Vogels, Tim P and Froemke, Robert C. and Sprekeler, Henning},
booktitle = {bioRxiv},
pages = {43},
publisher = {Cold Spring Harbor Laboratory},
title = {{Receptive field formation by interacting excitatory and inhibitory synaptic plasticity}},
year = {2016},
}
@article{8241,
abstract = {Background: Anticancer vaccines could represent a valuable complementary strategy to established therapies, especially in settings of early stage and minimal residual disease. HER-2 is an important target for immunotherapy and addressed by the monoclonal antibody trastuzumab. We have previously generated HER-2 mimotope peptides from phage display libraries. The synthesized peptides were coupled to carriers and applied for epitope-specific induction of trastuzumab-like IgG. For simplification and to avoid methodological limitations of synthesis and coupling chemistry, we herewith present a novel and optimized approach by using adeno-associated viruses (AAV) as effective and high-density mimotope-display system, which can be directly used for vaccination. Methods: An AAV capsid display library was constructed by genetically incorporating random peptides in a plasmid encoding the wild-type AAV2 capsid protein. AAV clones, expressing peptides specifically reactive to trastuzumab, were employed to immunize BALB/c mice. Antibody titers against human HER-2 were determined, and the isotype composition and functional properties of these were tested. Finally, prophylactically immunized mice were challenged with human HER-2 transfected mouse D2F2/E2 cells. Results: HER-2 mimotope AAV-vaccines induced antibodies specific to human HER-2. Two clones were selected for immunization of mice, which were subsequently grafted D2F2/E2 cells. Both mimotope AAV clones delayed the growth of tumors significantly, as compared to controls. Conclusion: In this study, a novel mimotope AAV-based platform was created allowing the isolation of mimotopes, which can be directly used as anticancer vaccines. The example of trastuzumab AAV-mimotopes demonstrates that this vaccine strategy could help to establish active immunotherapy for breast-cancer patients.},
author = {Singer, Josef and Manzano-Szalai, Krisztina and Fazekas, Judit and Thell, Kathrin and Bentley-Lukschal, Anna and Stremnitzer, Caroline and Roth-Walter, Franziska and Weghofer, Margit and Ritter, Mirko and Pino Tossi, Kerstin and Hörer, Markus and Michaelis, Uwe and Jensen-Jarolim, Erika},
issn = {2162-402X},
journal = {OncoImmunology},
number = {7},
publisher = {Taylor & Francis},
title = {{Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform}},
doi = {10.1080/2162402x.2016.1171446},
volume = {5},
year = {2016},
}
@inproceedings{8302,
abstract = {While showing great promise, Bitcoin requires users to wait tens of minutes for transactions to commit, and even then, offering only probabilistic guarantees. This paper introduces ByzCoin, a novel Byzantine consensus protocol that leverages scalable collective signing to commit Bitcoin transactions irreversibly within seconds. ByzCoin achieves Byzantine consensus while preserving Bitcoin’s open membership by dynamically forming hash power-proportionate consensus groups that represent recently-successful block miners. ByzCoin employs communication trees to optimize transaction commitment and verification under normal operation while guaranteeing safety and liveness under Byzantine faults, up to a near-optimal tolerance of f faulty group members among 3f + 2 total. ByzCoin mitigates double spending and selfish mining attacks by producing collectively signed transaction blocks within one minute of transaction submission. Tree-structured communication further reduces this latency to less than 30 seconds. Due to these optimizations, ByzCoin achieves a throughput higher than Paypal currently handles, with a confirmation latency of 15-20 seconds.},
author = {Kokoris Kogias, Eleftherios and Jovanovic, Philipp and Gailly, Nicolas and Khoffi, Ismail and Gasser, Linus and Ford, Bryan},
booktitle = {Proceedings of the 25th USENIX Conference on Security Symposium},
isbn = {9781931971324},
location = {Austin, TX, United States},
pages = {279–296},
publisher = {USENIX Association},
title = {{Enhancing bitcoin security and performance with strong consistency via collective signing}},
year = {2016},
}
@article{1705,
abstract = {Hybrid systems represent an important and powerful formalism for modeling real-world applications such as embedded systems. A verification tool like SpaceEx is based on the exploration of a symbolic search space (the region space). As a verification tool, it is typically optimized towards proving the absence of errors. In some settings, e.g., when the verification tool is employed in a feedback-directed design cycle, one would like to have the option to call a version that is optimized towards finding an error trajectory in the region space. A recent approach in this direction is based on guided search. Guided search relies on a cost function that indicates which states are promising to be explored, and preferably explores more promising states first. In this paper, we propose an abstraction-based cost function based on coarse-grained space abstractions for guiding the reachability analysis. For this purpose, a suitable abstraction technique that exploits the flexible granularity of modern reachability analysis algorithms is introduced. The new cost function is an effective extension of pattern database approaches that have been successfully applied in other areas. The approach has been implemented in the SpaceEx model checker. The evaluation shows its practical potential.},
author = {Bogomolov, Sergiy and Donzé, Alexandre and Frehse, Goran and Grosu, Radu and Johnson, Taylor and Ladan, Hamed and Podelski, Andreas and Wehrle, Martin},
journal = {International Journal on Software Tools for Technology Transfer},
number = {4},
pages = {449 -- 467},
publisher = {Springer},
title = {{Guided search for hybrid systems based on coarse-grained space abstractions}},
doi = {10.1007/s10009-015-0393-y},
volume = {18},
year = {2016},
}
@article{173,
abstract = {We calculate admissible values of r such that a square-free polynomial with integer coefficients, no fixed prime divisor and irreducible factors of degree at most 3 takes infinitely many values that are a product of at most r distinct primes.},
author = {Browning, Timothy D and Booker, Andrew},
journal = {Discrete Analysis},
pages = {1 -- 18},
title = {{Square-free values of reducible polynomials}},
doi = {10.19086/da.732},
volume = {8},
year = {2016},
}
@article{1794,
abstract = {We consider Conditional random fields (CRFs) with pattern-based potentials defined on a chain. In this model the energy of a string (labeling) (Formula presented.) is the sum of terms over intervals [i, j] where each term is non-zero only if the substring (Formula presented.) equals a prespecified pattern w. Such CRFs can be naturally applied to many sequence tagging problems. We present efficient algorithms for the three standard inference tasks in a CRF, namely computing (i) the partition function, (ii) marginals, and (iii) computing the MAP. Their complexities are respectively (Formula presented.), (Formula presented.) and (Formula presented.) where L is the combined length of input patterns, (Formula presented.) is the maximum length of a pattern, and D is the input alphabet. This improves on the previous algorithms of Ye et al. (NIPS, 2009) whose complexities are respectively (Formula presented.), (Formula presented.) and (Formula presented.), where (Formula presented.) is the number of input patterns. In addition, we give an efficient algorithm for sampling, and revisit the case of MAP with non-positive weights.},
author = {Kolmogorov, Vladimir and Takhanov, Rustem},
journal = {Algorithmica},
number = {1},
pages = {17 -- 46},
publisher = {Springer},
title = {{Inference algorithms for pattern-based CRFs on sequence data}},
doi = {10.1007/s00453-015-0017-7},
volume = {76},
year = {2016},
}
@article{1833,
abstract = {Relational models for contingency tables are generalizations of log-linear models, allowing effects associated with arbitrary subsets of cells in the table, and not necessarily containing the overall effect, that is, a common parameter in every cell. Similarly to log-linear models, relational models can be extended to non-negative distributions, but the extension requires more complex methods. An extended relational model is defined as an algebraic variety, and it turns out to be the closure of the original model with respect to the Bregman divergence. In the extended relational model, the MLE of the cell parameters always exists and is unique, but some of its properties may be different from those of the MLE under log-linear models. The MLE can be computed using a generalized iterative scaling procedure based on Bregman projections. },
author = {Klimova, Anna and Rudas, Tamás},
journal = {Journal of Multivariate Analysis},
pages = {440 -- 452},
publisher = {Elsevier},
title = {{On the closure of relational models}},
doi = {10.1016/j.jmva.2015.10.005},
volume = {143},
year = {2016},
}
@article{1881,
abstract = {We consider random matrices of the form H=W+λV, λ∈ℝ+, where W is a real symmetric or complex Hermitian Wigner matrix of size N and V is a real bounded diagonal random matrix of size N with i.i.d.\ entries that are independent of W. We assume subexponential decay for the matrix entries of W and we choose λ∼1, so that the eigenvalues of W and λV are typically of the same order. Further, we assume that the density of the entries of V is supported on a single interval and is convex near the edges of its support. In this paper we prove that there is λ+∈ℝ+ such that the largest eigenvalues of H are in the limit of large N determined by the order statistics of V for λ>λ+. In particular, the largest eigenvalue of H has a Weibull distribution in the limit N→∞ if λ>λ+. Moreover, for N sufficiently large, we show that the eigenvectors associated to the largest eigenvalues are partially localized for λ>λ+, while they are completely delocalized for λ<λ+. Similar results hold for the lowest eigenvalues. },
author = {Lee, Jioon and Schnelli, Kevin},
journal = {Probability Theory and Related Fields},
number = {1-2},
pages = {165 -- 241},
publisher = {Springer},
title = {{Extremal eigenvalues and eigenvectors of deformed Wigner matrices}},
doi = {10.1007/s00440-014-0610-8},
volume = {164},
year = {2016},
}
@article{7279,
abstract = {Kinetics of electrochemical reactions are several orders of magnitude slower in solids than in liquids as a result of the much lower ion diffusivity. Yet, the solid state maximizes the density of redox species, which is at least two orders of magnitude lower in liquids because of solubility limitations. With regard to electrochemical energy storage devices, this leads to high-energy batteries with limited power and high-power supercapacitors with a well-known energy deficiency. For such devices the ideal system should endow the liquid state with a density of redox species close to the solid state. Here we report an approach based on biredox ionic liquids to achieve bulk-like redox density at liquid-like fast kinetics. The cation and anion of these biredox ionic liquids bear moieties that undergo very fast reversible redox reactions. As a first demonstration of their potential for high-capacity/high-rate charge storage, we used them in redox supercapacitors. These ionic liquids are able to decouple charge storage from an ion-accessible electrode surface, by storing significant charge in the pores of the electrodes, to minimize self-discharge and leakage current as a result of retaining the redox species in the pores, and to raise working voltage due to their wide electrochemical window.},
author = {Mourad, Eléonore and Coustan, Laura and Lannelongue, Pierre and Zigah, Dodzi and Mehdi, Ahmad and Vioux, André and Freunberger, Stefan Alexander and Favier, Frédéric and Fontaine, Olivier},
issn = {1476-1122},
journal = {Nature Materials},
number = {4},
pages = {446--453},
publisher = {Springer Nature},
title = {{Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors}},
doi = {10.1038/nmat4808},
volume = {16},
year = {2016},
}
@article{7297,
abstract = {Redox mediators facilitate the oxidation of the highly insulating discharge product in metal–oxygen batteries during recharge and offer opportunities to achieve high reversible capacities. Now a design principle for selecting redox mediators that can recharge the batteries more efficiently is suggested.},
author = {Freunberger, Stefan Alexander},
issn = {2058-7546},
journal = {Nature Energy},
number = {6},
publisher = {Springer Nature},
title = {{Batteries: Charging ahead rationally}},
doi = {10.1038/nenergy.2016.74},
volume = {1},
year = {2016},
}
@article{7599,
abstract = {Normal leaf margin development is important for leaf morphogenesis and contributes to diverse leaf shapes in higher plants. We here show the crucial roles of an atypical type II phosphatidylinositol 4-kinase, PI4Kγ5, in Arabidopsis leaf margin development. PI4Kγ5 presents a dynamics expression pattern along with leaf development and a T-DNA mutant lacking PI4Kγ5, pi4kγ5–1, presents serrated leaves, which is resulted from the accelerated cell division and increased auxin concentration at serration tips. Studies revealed that PI4Kγ5 interacts with and phosphorylates a membrane-bound NAC transcription factor, ANAC078. Previous studies demonstrated that membrane-bound transcription factors regulate gene transcription by undergoing proteolytic process to translocate into nucleus, and ANAC078 undergoes proteolysis by cleaving off the transmembrane region and carboxyl terminal. Western blot analysis indeed showed that ANAC078 deleting of carboxyl terminal is significantly reduced in pi4kγ5–1, indicating that PI4Kγ5 is important for the cleavage of ANAC078. This is consistent with the subcellular localization observation showing that fluorescence by GFP-ANAC078 is detected at plasma membrane but not nucleus in pi4kγ5–1 mutant and that expression of ANAC078 deleting of carboxyl terminal, driven by PI4Kγ5 promoter, could rescue the leaf serration defects of pi4kγ5–1. Further analysis showed that ANAC078 suppresses the auxin synthesis by directly binding and regulating the expression of auxin synthesis-related genes. These results indicate that PI4Kγ5 interacts with ANAC078 to negatively regulate auxin synthesis and hence influences cell proliferation and leaf development, providing informative clues for the regulation of in situ auxin synthesis and cell division, as well as the cleavage and functional mechanism of membrane-bound transcription factors.},
author = {Tang, Yong and Zhao, Chun-Yan and Tan, Shutang and Xue, Hong-Wei},
issn = {1553-7404},
journal = {PLOS Genetics},
number = {8},
publisher = {Public Library of Science},
title = {{Arabidopsis type II phosphatidylinositol 4-kinase PI4Kγ5 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor ANAC078}},
doi = {10.1371/journal.pgen.1006252},
volume = {12},
year = {2016},
}
@article{7737,
abstract = {Genome-wide association studies (GWAS) have identified thousands of genetic variants associated with human complex traits. However, the genes or functional DNA elements through which these variants exert their effects on the traits are often unknown. We propose a method (called SMR) that integrates summary-level data from GWAS with data from expression quantitative trait locus (eQTL) studies to identify genes whose expression levels are associated with a complex trait because of pleiotropy. We apply the method to five human complex traits using GWAS data on up to 339,224 individuals and eQTL data on 5,311 individuals, and we prioritize 126 genes (for example, TRAF1 and ANKRD55 for rheumatoid arthritis and SNX19 and NMRAL1 for schizophrenia), of which 25 genes are new candidates; 77 genes are not the nearest annotated gene to the top associated GWAS SNP. These genes provide important leads to design future functional studies to understand the mechanism whereby DNA variation leads to complex trait variation.},
author = {Zhu, Zhihong and Zhang, Futao and Hu, Han and Bakshi, Andrew and Robinson, Matthew Richard and Powell, Joseph E and Montgomery, Grant W and Goddard, Michael E and Wray, Naomi R and Visscher, Peter M and Yang, Jian},
issn = {1061-4036},
journal = {Nature Genetics},
number = {5},
pages = {481--487},
publisher = {Springer Nature},
title = {{Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets}},
doi = {10.1038/ng.3538},
volume = {48},
year = {2016},
}
@article{786,
abstract = {Lock-free concurrent algorithms guarantee that some concurrent operation will always make progress in a finite number of steps. Yet programmers prefer to treat concurrent code as if it were wait-free, guaranteeing that all operations always make progress. Unfortunately, designing wait-free algorithms is generally a very complex task, and the resulting algorithms are not always efficient. Although obtaining efficient wait-free algorithms has been a long-time goal for the theory community, most nonblocking commercial code is only lock-free. This article suggests a simple solution to this problem.We show that for a large class of lock-free algorithms, under scheduling conditions that approximate those found in commercial hardware architectures, lock-free algorithms behave as if they are wait-free. In other words, programmers can continue to design simple lock-free algorithms instead of complex wait-free ones, and in practice, they will get wait-free progress. Our main contribution is a new way of analyzing a general class of lock-free algorithms under a stochastic scheduler. Our analysis relates the individual performance of processes to the global performance of the system using Markov chain lifting between a complex per-process chain and a simpler system progress chain. We show that lock-free algorithms are not only wait-free with probability 1 but that in fact a general subset of lock-free algorithms can be closely bounded in terms of the average number of steps required until an operation completes. To the best of our knowledge, this is the first attempt to analyze progress conditions, typically stated in relation to a worst-case adversary, in a stochastic model capturing their expected asymptotic behavior.},
author = {Alistarh, Dan-Adrian and Censor Hillel, Keren and Shavit, Nir},
journal = {Journal of the ACM},
number = {4},
publisher = {ACM},
title = {{Are lock free concurrent algorithms practically wait free }},
doi = {10.1145/2903136},
volume = {63},
year = {2016},
}
@article{460,
abstract = {NF-κB signaling is a central pathway of immunity and integrates signal transduction upon a wide array of inflammatory stimuli. Noncanonical NF-κB signaling is activated by a small subset of TNF family receptors and characterized by NF-κB2/p52 transcriptional activity. The medical relevance of this pathway has recently re-emerged from the discovery of primary immunodeficiency patients that have loss-of-function mutations in the MAP3K14 gene encoding NIK. Nevertheless, knowledge of protein interactions that regulate noncanonical NF-κB signaling is sparse. Here we report a detailed state-of-the-art mass spectrometry-based protein–protein interaction network including the noncanonical NF-κB signaling nodes TRAF2, TRAF3, IKKα, NIK, and NF-κB2/p100. The value of the data set was confirmed by the identification of interactions already known to regulate this pathway. In addition, a remarkable number of novel interactors were identified. We provide validation of the novel NIK and IKKα interactor FKBP8, which may regulate processes downstream of noncanonical NF-κB signaling. To understand perturbed noncanonical NF-κB signaling in the context of misregulated NIK in disease, we also provide a differential interactome of NIK mutants that cause immunodeficiency. Altogether, this data set not only provides critical insight into how protein–protein interactions can regulate immune signaling but also offers a novel resource on noncanonical NF-κB signaling.},
author = {Willmann, Katharina L and Roberto Sacco and Martins, Rui and Garncarz, Wojciech and Krolo, Ana and Knapp, Sylvia and Bennett, Keiryn L and Boztug, Kaan},
journal = {Journal of Proteome Research},
number = {9},
pages = {2900 -- 2909},
publisher = {American Chemical Society},
title = {{Expanding the interactome of the noncanonical NF-κB signaling pathway}},
doi = {10.1021/acs.jproteome.5b01004},
volume = {15},
year = {2016},
}
@inproceedings{478,
abstract = {Magic: the Gathering is a game about magical combat for any number of players. Formally it is a zero-sum, imperfect information stochastic game that consists of a potentially unbounded number of steps. We consider the problem of deciding if a move is legal in a given single step of Magic. We show that the problem is (a) coNP-complete in general; and (b) in P if either of two small sets of cards are not used. Our lower bound holds even for single-player Magic games. The significant aspects of our results are as follows: First, in most real-life game problems, the task of deciding whether a given move is legal in a single step is trivial, and the computationally hard task is to find the best sequence of legal moves in the presence of multiple players. In contrast, quite uniquely our hardness result holds for single step and with only one-player. Second, we establish efficient algorithms for important special cases of Magic.},
author = {Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus},
location = {The Hague, Netherlands},
pages = {1432 -- 1439},
publisher = {IOS Press},
title = {{The complexity of deciding legality of a single step of magic: The gathering}},
doi = {10.3233/978-1-61499-672-9-1432},
volume = {285},
year = {2016},
}
@inproceedings{480,
abstract = {Graph games provide the foundation for modeling and synthesizing reactive processes. In the synthesis of stochastic reactive processes, the traditional model is perfect-information stochastic games, where some transitions of the game graph are controlled by two adversarial players, and the other transitions are executed probabilistically. We consider such games where the objective is the conjunction of several quantitative objectives (specified as mean-payoff conditions), which we refer to as generalized mean-payoff objectives. The basic decision problem asks for the existence of a finite-memory strategy for a player that ensures the generalized mean-payoff objective be satisfied with a desired probability against all strategies of the opponent. A special case of the decision problem is the almost-sure problem where the desired probability is 1. Previous results presented a semi-decision procedure for -approximations of the almost-sure problem. In this work, we show that both the almost-sure problem as well as the general basic decision problem are coNP-complete, significantly improving the previous results. Moreover, we show that in the case of 1-player stochastic games, randomized memoryless strategies are sufficient and the problem can be solved in polynomial time. In contrast, in two-player stochastic games, we show that even with randomized strategies exponential memory is required in general, and present a matching exponential upper bound. We also study the basic decision problem with infinite-memory strategies and present computational complexity results for the problem. Our results are relevant in the synthesis of stochastic reactive systems with multiple quantitative requirements.},
author = {Chatterjee, Krishnendu and Doyen, Laurent},
location = {New York, NY, USA},
pages = {247 -- 256},
publisher = {IEEE},
title = {{Perfect-information stochastic games with generalized mean-payoff objectives}},
doi = {10.1145/2933575.2934513},
volume = {05-08-July-2016},
year = {2016},
}
@article{510,
abstract = {The CLE (CLAVATA3/Embryo Surrounding Region-related) peptides are small secreted signaling peptides that are primarily involved in the regulation of stem cell homeostasis in different plant meristems. Particularly, the characterization of the CLE41-PXY/TDR signaling pathway has greatly advanced our understanding on the potential roles of CLE peptides in vascular development and wood formation. Nevertheless, our knowledge on this gene family in a tree species is limited. In a recent study, we reported on a systematically investigation of the CLE gene family in Populus trichocarpa . The potential roles of PtCLE genes were studied by comparative analysis and transcriptional pro fi ling. Among fi fty PtCLE members, many PtCLE proteins share identical CLE motifs or contain the same CLE motif as that of AtCLEs, while PtCLE genes exhibited either comparable or distinct expression patterns comparing to their Arabidopsis counterparts. These fi ndings indicate the existence of both functional conservation and functional divergence between PtCLEs and their AtCLE orthologues. Our results provide valuable resources for future functional investigations of these critical signaling molecules in woody plants. },
author = {Liu, Zhijun and Yang, Nan and Lv, Yanting and Pan, Lixia and Lv, Shuo and Han, Huibin and Wang, Guodong},
journal = {Plant Signaling & Behavior},
number = {6},
publisher = {Landes Bioscience},
title = {{The CLE gene family in Populus trichocarpa}},
doi = {10.1080/15592324.2016.1191734},
volume = {11},
year = {2016},
}
@misc{5445,
abstract = {We consider the quantitative analysis problem for interprocedural control-flow graphs (ICFGs). The input consists of an ICFG, a positive weight function that assigns every transition a positive integer-valued number, and a labelling of the transitions (events) as good, bad, and neutral events. The weight function assigns to each transition a numerical value that represents ameasure of how good or bad an event is. The quantitative analysis problem asks whether there is a run of the ICFG where the ratio of the sum of the numerical weights of good events versus the sum of weights of bad events in the long-run is at least a given threshold (or equivalently, to compute the maximal ratio among all valid paths in the ICFG). The quantitative analysis problem for ICFGs can be solved in polynomial time, and we present an efficient and practical algorithm for the problem. We show that several problems relevant for static program analysis, such as estimating the worst-case execution time of a program or the average energy consumption of a mobile application, can be modeled in our framework. We have implemented our algorithm as a tool in the Java Soot framework. We demonstrate the effectiveness of our approach with two case studies. First, we show that our framework provides a sound approach (no false positives) for the analysis of inefficiently-used containers. Second, we show that our approach can also be used for static profiling of programs which reasons about methods that are frequently invoked. Our experimental results show that our tool scales to relatively large benchmarks, and discovers relevant and useful information that can be used to optimize performance of the programs. },
author = {Chatterjee, Krishnendu and Pavlogiannis, Andreas and Velner, Yaron},
issn = {2664-1690},
pages = {33},
publisher = {IST Austria},
title = {{Quantitative interprocedural analysis}},
doi = {10.15479/AT:IST-2016-523-v1-1},
year = {2016},
}
@misc{5446,
abstract = {We study the problem of developing efficient approaches for proving termination of recursive programs with one-dimensional arrays. Ranking functions serve as a sound and complete approach for proving termination of non-recursive programs without array operations. First, we generalize ranking functions to the notion of measure functions, and prove that measure functions (i) provide a sound method to prove termination of recursive programs (with one-dimensional arrays), and (ii) is both sound and complete over recursive programs without array operations. Our second contribution is the synthesis of measure functions of specific forms in polynomial time. More precisely, we prove that (i) polynomial measure functions over recursive programs can be synthesized in polynomial time through Farkas’ Lemma and Handelman’s Theorem, and (ii) measure functions involving logarithm and exponentiation can be synthesized in polynomial time through abstraction of logarithmic or exponential terms and Handelman’s Theorem. A key application of our method is the worst-case analysis of recursive programs. While previous methods obtain worst-case polynomial bounds of the form O(n^k), where k is an integer, our polynomial time methods can synthesize bounds of the form O(n log n), as well as O(n^x), where x is not an integer. We show the applicability of our automated technique to obtain worst-case complexity of classical recursive algorithms such as (i) Merge-Sort, the divideand-
conquer algorithm for the Closest-Pair problem, where we obtain O(n log n) worst-case bound, and (ii) Karatsuba’s algorithm for polynomial multiplication and Strassen’s algorithm for matrix multiplication, where we obtain O(n^x) bound, where x is not an integer and close to the best-known bounds for the respective algorithms. Finally, we present experimental results to demonstrate the
effectiveness of our approach.},
author = {Anonymous, 1 and Anonymous, 2 and Anonymous, 3},
issn = {2664-1690},
pages = {26},
publisher = {IST Austria},
title = {{Termination and worst-case analysis of recursive programs}},
year = {2016},
}
@misc{5447,
abstract = {We consider the problem of developing automated techniques to aid the average-case complexity analysis of programs. Several classical textbook algorithms have quite efficient average-case complexity, whereas the corresponding worst-case bounds are either inefficient (e.g., QUICK-SORT), or completely ineffective (e.g., COUPONCOLLECTOR). Since the main focus of average-case analysis is to obtain efficient bounds, we consider bounds that are either logarithmic,
linear, or almost-linear (O(log n), O(n), O(n · log n),
respectively, where n represents the size of the input). Our main contribution is a sound approach for deriving such average-case bounds for randomized recursive programs. Our approach is efficient (a simple linear-time algorithm), and it is based on (a) the analysis of recurrence relations induced by randomized algorithms, and (b) a guess-and-check technique. Our approach can infer the asymptotically optimal average-case bounds for classical randomized algorithms, including RANDOMIZED-SEARCH, QUICKSORT, QUICK-SELECT, COUPON-COLLECTOR, where the worstcase
bounds are either inefficient (such as linear as compared to logarithmic of average-case, or quadratic as compared to linear or almost-linear of average-case), or ineffective. We have implemented our approach, and the experimental results show that we obtain the bounds efficiently for various classical algorithms.},
author = {Anonymous, 1 and Anonymous, 2 and Anonymous, 3},
issn = {2664-1690},
pages = {20},
publisher = {IST Austria},
title = {{Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds}},
year = {2016},
}
@misc{5448,
abstract = {We present a new dynamic partial-order reduction method for stateless model checking of concurrent programs. A common approach for exploring program behaviors relies on enumerating the traces of the program, without storing the visited states (aka stateless exploration). As the number of distinct traces grows exponentially, dynamic partial-order reduction (DPOR) techniques have been successfully used to partition the space of traces into equivalence classes (Mazurkiewicz partitioning), with the goal of exploring only few representative traces from each class.
We introduce a new equivalence on traces under sequential consistency semantics, which we call the observation equivalence. Two traces are observationally equivalent if every read event observes the same write event in both traces. While the traditional Mazurkiewicz equivalence is control-centric, our new definition is data-centric. We show that our observation equivalence is coarser than the Mazurkiewicz equivalence, and in many cases even exponentially coarser. We devise a DPOR exploration of the trace space, called data-centric DPOR, based on the observation equivalence.
1. For acyclic architectures, our algorithm is guaranteed to explore exactly one representative trace from each observation class, while spending polynomial time per class. Hence, our algorithm is optimal wrt the observation equivalence, and in several cases explores exponentially fewer traces than any enumerative method based on the Mazurkiewicz equivalence.
2. For cyclic architectures, we consider an equivalence between traces which is finer than the observation equivalence; but coarser than the Mazurkiewicz equivalence, and in some cases is exponentially coarser. Our data-centric DPOR algorithm remains optimal under this trace equivalence.
Finally, we perform a basic experimental comparison between the existing Mazurkiewicz-based DPOR and our data-centric DPOR on a set of academic benchmarks. Our results show a significant reduction in both running time and the number of explored equivalence classes.},
author = {Anonymous, 1 and Anonymous, 2 and Anonymous, 3 and Anonymous, 4},
issn = {2664-1690},
pages = {20},
publisher = {IST Austria},
title = {{Data-centric dynamic partial order reduction}},
year = {2016},
}
@misc{5449,
abstract = {The fixation probability is the probability that a new mutant introduced in a homogeneous population eventually takes over the entire population.
The fixation probability is a fundamental quantity of natural selection, and known to depend on the population structure.
Amplifiers of natural selection are population structures which increase the fixation probability of advantageous mutants, as compared to the baseline case of well-mixed populations. In this work we focus on symmetric population structures represented as undirected graphs. In the regime of undirected graphs, the strongest amplifier known has been the Star graph, and the existence of undirected graphs with stronger amplification properties has remained open for over a decade.
In this work we present the Comet and Comet-swarm families of undirected graphs. We show that for a range of fitness values of the mutants, the Comet and Comet-swarm graphs have fixation probability strictly larger than the fixation probability of the Star graph, for fixed population size and at the limit of large populations, respectively.},
author = {Pavlogiannis, Andreas and Tkadlec, Josef and Chatterjee, Krishnendu and Nowak, Martin},
issn = {2664-1690},
pages = {22},
publisher = {IST Austria},
title = {{Amplification on undirected population structures: Comets beat stars}},
doi = {10.15479/AT:IST-2016-648-v1-1},
year = {2016},
}
@misc{5451,
author = {Pavlogiannis, Andreas and Tkadlec, Josef and Chatterjee, Krishnendu and Nowak, Martin},
issn = {2664-1690},
pages = {34},
publisher = {IST Austria},
title = {{Strong amplifiers of natural selection}},
doi = {10.15479/AT:IST-2016-728-v1-1},
year = {2016},
}
@misc{5452,
author = {Pavlogiannis, Andreas and Tkadlec, Josef and Chatterjee, Krishnendu and Nowak, Martin},
issn = {2664-1690},
pages = {32},
publisher = {IST Austria},
title = {{Arbitrarily strong amplifiers of natural selection}},
doi = {10.15479/AT:IST-2017-728-v2-1},
year = {2016},
}
@misc{5453,
author = {Pavlogiannis, Andreas and Tkadlec, Josef and Chatterjee, Krishnendu and Nowak, Martin},
issn = {2664-1690},
pages = {34},
publisher = {IST Austria},
title = {{Arbitrarily strong amplifiers of natural selection}},
doi = {10.15479/AT:IST-2017-749-v3-1},
year = {2016},
}
@misc{5550,
abstract = {We collected flower colour information on species in the tribe Antirrhineae from taxonomic literature. We also retreived molecular data from GenBank for as many of these species as possible to estimate phylogenetic relationships among these taxa. We then used the R package 'diversitree' to examine patterns of evolutionary transitions between anthocyanin and yellow pigmentation across the phylogeny.
For full details of the methods see:
Ellis TJ and Field DL "Repeated gains in yellow and anthocyanin pigmentation in flower colour transitions in the Antirrhineae”, Annals of Botany (in press)},
author = {Ellis, Thomas and Field, David},
publisher = {IST Austria},
title = {{Flower colour data and phylogeny (NEXUS) files}},
doi = {10.15479/AT:ISTA:34},
year = {2016},
}
@misc{5551,
abstract = {Data from array experiments investigating pollinator behaviour on snapdragons in controlled conditions, and their effect on plant mating. Data were collected as part of Tom Ellis' PhD thesis , submitted February 2016.
We placed a total of 36 plants in a grid inside a closed organza tent, with a single hive of commercially bred bumblebees (Bombus hortorum). We used only the yellow-flowered Antirrhinum majus striatum and the magenta-flowered Antirrhinum majus pseudomajus, at ratios of 6:36, 12:24, 18:18, 24:12 and 30:6.
After 24 hours to learn how to deal with snapdragons, I observed pollinators foraging on plants, and recorded the transitions between plants. Thereafter seeds on plants were allowed to develops. A sample of these were grown to maturity when their flower colour could be determined, and they were scored as yellow, magenta, or hybrid.},
author = {Ellis, Thomas},
publisher = {IST Austria},
title = {{Data on pollinator observations and offpsring phenotypes}},
doi = {10.15479/AT:ISTA:35},
year = {2016},
}
@misc{5552,
abstract = {Data on pollinator visitation to wild snapdragons in a natural hybrid zone, collected as part of Tom Ellis' PhD thesis (submitted February 2016).
Snapdragon flowers have a mouth-like structure which pollinators must open to access nectar. We placed 5mm cellophane tags in these mouths, which are held in place by the pressure of the flower until a pollinator visits. When she opens the flower, the tag drops out, and one can infer a visit. We surveyed plants over multiple days in 2010, 2011 and 2012.
Also included are data on phenotypic and demographic variables which may be explanatory variables for pollinator visitation.},
author = {Ellis, Thomas},
publisher = {IST Austria},
title = {{Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data.}},
doi = {10.15479/AT:ISTA:36},
year = {2016},
}
@misc{5553,
abstract = {Genotypic, phenotypic and demographic data for 2128 wild snapdragons and 1127 open-pollinated progeny from a natural hybrid zone, collected as part of Tom Ellis' PhD thesis (submitted) February 2016).
Tissue samples were sent to LGC Genomics in Berlin for DNA extraction, and genotyping at 70 SNP markers by KASPR genotyping. 29 of these SNPs failed to amplify reliably, and have been removed from this dataset.
Other data were retreived from an online database of this population at www.antspec.org.},
author = {Field, David and Ellis, Thomas},
keywords = {paternity assignment, pedigree, matting patterns, assortative mating, Antirrhinum majus, frequency-dependent selection, plant-pollinator interaction},
publisher = {IST Austria},
title = {{Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012}},
doi = {10.15479/AT:ISTA:37},
year = {2016},
}
@misc{5555,
abstract = {This FIJI script calculates the population average of the migration speed as a function of time of all cells from wide field microscopy movies.},
author = {Hauschild, Robert},
keywords = {cell migration, wide field microscopy, FIJI},
publisher = {IST Austria},
title = {{Fiji script to determine average speed and direction of migration of cells}},
doi = {10.15479/AT:ISTA:44},
year = {2016},
}
@misc{5556,
abstract = {MATLAB code and processed datasets available for reproducing the results in:
Lukačišin, M.*, Landon, M.*, Jajoo, R*. (2016) Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.
*equal contributions},
author = {Lukacisin, Martin and Landon, Matthieu and Jajoo, Rishi},
keywords = {transcription, pausing, backtracking, polymerase, RNA, NET-seq, nucleosome, basepairing},
publisher = {IST Austria},
title = {{MATLAB analysis code for 'Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast'}},
doi = {10.15479/AT:ISTA:45},
year = {2016},
}
@misc{5557,
abstract = {Small synthetic discrete tomography problems.
Sizes are 32x32, 64z64 and 256x256.
Projection angles are 2, 4, and 6.
Number of labels are 3 and 5.},
author = {Swoboda, Paul},
keywords = {discrete tomography},
publisher = {IST Austria},
title = {{Synthetic discrete tomography problems}},
doi = {10.15479/AT:ISTA:46},
year = {2016},
}
@misc{5558,
abstract = {PhD thesis LaTeX source code},
author = {Bojsen-Hansen, Morten},
publisher = {IST Austria},
title = {{Tracking, Correcting and Absorbing Water Surface Waves}},
doi = {10.15479/AT:ISTA:48},
year = {2016},
}
@article{5771,
abstract = {Retroviruses such as HIV-1 assemble and bud from infected cells in an immature, non-infectious form. Subsequently, a series of proteolytic cleavages catalysed by the viral protease leads to a spectacular structural rearrangement of the viral particle into a mature form that is competent to fuse with and infect a new cell. Maturation involves changes in the structures of protein domains, in the interactions between protein domains, and in the architecture of the viral components that are assembled by the proteins. Tight control of proteolytic cleavages at different sites is required for successful maturation, and the process is a major target of antiretroviral drugs. Here we will describe what is known about the structures of immature and mature retrovirus particles, and about the maturation process by which one transitions into the other. Despite a wealth of available data, fundamental questions about retroviral maturation remain unanswered.},
author = {Mattei, Simone and Schur, Florian and Briggs, John AG},
issn = {1879-6257},
journal = {Current Opinion in Virology},
number = {6},
pages = {27--35},
publisher = {Elsevier},
title = {{Retrovirus maturation—an extraordinary structural transformation}},
doi = {10.1016/j.coviro.2016.02.008},
volume = {18},
year = {2016},
}
@article{587,
abstract = {Quantum metrology exploits entangled states of particles to improve sensing precision beyond the limit achievable with uncorrelated particles. All previous methods required detection noise levels below this standard quantum limit to realize the benefits of the intrinsic sensitivity provided by these states.We experimentally demonstrate a widely applicable method for entanglement-enhanced measurements without low-noise detection. The method involves an intermediate quantum phase magnification step that eases implementation complexity. We used it to perform squeezed-state metrology 8 decibels below the standard quantum limit with a detection system that has a noise floor 10 decibels above the standard quantum limit.},
author = {Onur Hosten and Krishnakumar, Rajiv and Engelsen, Nils J and Kasevich, Mark A},
journal = {Science},
number = {6293},
pages = {1552 -- 1555},
publisher = {American Association for the Advancement of Science},
title = {{Quantum phase magnification}},
doi = {10.1126/science.aaf3397},
volume = {352},
year = {2016},
}
@article{6732,
abstract = {Consider the transmission of a polar code of block length N and rate R over a binary memoryless symmetric channel W and let P e be the block error probability under successive cancellation decoding. In this paper, we develop new bounds that characterize the relationship of the parameters R, N, P e , and the quality of the channel W quantified by its capacity I(W) and its Bhattacharyya parameter Z(W). In previous work, two main regimes were studied. In the error exponent regime, the channel W and the rate R <; I(W) are fixed, and it was proved that the error probability Pe scales roughly as 2 -√N . In the scaling exponent approach, the channel W and the error probability Pe are fixed and it was proved that the gap to capacity I(W) - R scales as N -1/μ . Here, μ is called scaling exponent and this scaling exponent depends on the channel W. A heuristic computation for the binary erasure channel (BEC) gives μ = 3.627 and it was shown that, for any channel W, 3.579 ≤ μ ≤ 5.702. Our contributions are as follows. First, we provide the tighter upper bound μ <;≤ 4.714 valid for any W. With the same technique, we obtain the upper bound μ ≤ 3.639 for the case of the BEC; this upper bound approaches very closely the heuristically derived value for the scaling exponent of the erasure channel. Second, we develop a trade-off between the gap to capacity I(W)- R and the error probability Pe as the functions of the block length N. In other words, we neither fix the gap to capacity (error exponent regime) nor the error probability (scaling exponent regime), but we do consider a moderate deviations regime in which we study how fast both quantities, as the functions of the block length N, simultaneously go to 0. Third, we prove that polar codes are not affected by error floors. To do so, we fix a polar code of block length N and rate R. Then, we vary the channel W and study the impact of this variation on the error probability. We show that the error probability Pe scales as the Bhattacharyya parameter Z(W) raised to a power that scales roughly like VN. This agrees with the scaling in the error exponent regime.},
author = {Mondelli, Marco and Hassani, S. Hamed and Urbanke, Rudiger L.},
issn = {1557-9654},
journal = {IEEE Transactions on Information Theory},
number = {12},
pages = {6698--6712},
publisher = {IEEE},
title = {{Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors}},
doi = {10.1109/tit.2016.2616117},
volume = {62},
year = {2016},
}
@inproceedings{6733,
abstract = {The question whether RM codes are capacity-achieving is a long-standing open problem in coding theory that was recently answered in the affirmative for transmission over erasure channels [1], [2]. Remarkably, the proof does not rely on specific properties of RM codes, apart from their symmetry. Indeed, the main technical result consists in showing that any sequence of linear codes, with doubly-transitive permutation groups, achieves capacity on the memoryless erasure channel under bit-MAP decoding. Thus, a natural question is what happens under block-MAP decoding. In [1], [2], by exploiting further symmetries of the code, the bit-MAP threshold was shown to be sharp enough so that the block erasure probability also converges to 0. However, this technique relies heavily on the fact that the transmission is over an erasure channel. We present an alternative approach to strengthen results regarding the bit-MAP threshold to block-MAP thresholds. This approach is based on a careful analysis of the weight distribution of RM codes. In particular, the flavor of the main result is the following: assume that the bit-MAP error probability decays as N -δ , for some δ > 0. Then, the block-MAP error probability also converges to 0. This technique applies to transmission over any binary memoryless symmetric channel. Thus, it can be thought of as a first step in extending the proof that RM codes are capacity-achieving to the general case.},
author = {Kudekar, Shrinivas and Kumar, Santhosh and Mondelli, Marco and Pfister, Henry D. and Urbankez, Rudiger},
booktitle = {2016 IEEE International Symposium on Information Theory },
location = {Barcelona, Spain},
pages = {1755--1759},
publisher = {IEEE},
title = {{Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels}},
doi = {10.1109/isit.2016.7541600},
year = {2016},
}
@article{7068,
abstract = {Electrons in materials with linear dispersion behave as massless Weyl- or Dirac-quasiparticles, and continue to intrigue due to their close resemblance to elusive ultra-relativistic particles as well as their potential for future electronics. Yet the experimental signatures of Weyl-fermions are often subtle and indirect, in particular if they coexist with conventional, massive quasiparticles. Here we show a pronounced anomaly in the magnetic torque of the Weyl semimetal NbAs upon entering the quantum limit state in high magnetic fields. The torque changes sign in the quantum limit, signalling a reversal of the magnetic anisotropy that can be directly attributed to the topological nature of the Weyl electrons. Our results establish that anomalous quantum limit torque measurements provide a direct experimental method to identify and distinguish Weyl and Dirac systems.},
author = {Moll, Philip J. W. and Potter, Andrew C. and Nair, Nityan L. and Ramshaw, B. J. and Modic, Kimberly A and Riggs, Scott and Zeng, Bin and Ghimire, Nirmal J. and Bauer, Eric D. and Kealhofer, Robert and Ronning, Filip and Analytis, James G.},
issn = {2041-1723},
journal = {Nature Communications},
publisher = {Springer Nature},
title = {{Magnetic torque anomaly in the quantum limit of Weyl semimetals}},
doi = {10.1038/ncomms12492},
volume = {7},
year = {2016},
}
@article{1270,
abstract = {A crucial step in the early development of multicellular organisms involves the establishment of spatial patterns of gene expression which later direct proliferating cells to take on different cell fates. These patterns enable the cells to infer their global position within a tissue or an organism by reading out local gene expression levels. The patterning system is thus said to encode positional information, a concept that was formalized recently in the framework of information theory. Here we introduce a toy model of patterning in one spatial dimension, which can be seen as an extension of Wolpert's paradigmatic "French Flag" model, to patterning by several interacting, spatially coupled genes subject to intrinsic and extrinsic noise. Our model, a variant of an Ising spin system, allows us to systematically explore expression patterns that optimally encode positional information. We find that optimal patterning systems use positional cues, as in the French Flag model, together with gene-gene interactions to generate combinatorial codes for position which we call "Counter" patterns. Counter patterns can also be stabilized against noise and variations in system size or morphogen dosage by longer-range spatial interactions of the type invoked in the Turing model. The simple setup proposed here qualitatively captures many of the experimentally observed properties of biological patterning systems and allows them to be studied in a single, theoretically consistent framework.},
author = {Hillenbrand, Patrick and Gerland, Ulrich and Tkacik, Gasper},
journal = {PLoS One},
number = {9},
publisher = {Public Library of Science},
title = {{Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information}},
doi = {10.1371/journal.pone.0163628},
volume = {11},
year = {2016},
}
@article{1271,
abstract = {Background: High directional persistence is often assumed to enhance the efficiency of chemotactic migration. Yet, cells in vivo usually display meandering trajectories with relatively low directional persistence, and the control and function of directional persistence during cell migration in three-dimensional environments are poorly understood. Results: Here, we use mesendoderm progenitors migrating during zebrafish gastrulation as a model system to investigate the control of directional persistence during migration in vivo. We show that progenitor cells alternate persistent run phases with tumble phases that result in cell reorientation. Runs are characterized by the formation of directed actin-rich protrusions and tumbles by enhanced blebbing. Increasing the proportion of actin-rich protrusions or blebs leads to longer or shorter run phases, respectively. Importantly, both reducing and increasing run phases result in larger spatial dispersion of the cells, indicative of reduced migration precision. A physical model quantitatively recapitulating the migratory behavior of mesendoderm progenitors indicates that the ratio of tumbling to run times, and thus the specific degree of directional persistence of migration, are critical for optimizing migration precision. Conclusions: Together, our experiments and model provide mechanistic insight into the control of migration directionality for cells moving in three-dimensional environments that combine different protrusion types, whereby the proportion of blebs to actin-rich protrusions determines the directional persistence and precision of movement by regulating the ratio of tumbling to run times.},
author = {Diz Muñoz, Alba and Romanczuk, Pawel and Yu, Weimiao and Bergert, Martin and Ivanovitch, Kenzo and Salbreux, Guillame and Heisenberg, Carl-Philipp J and Paluch, Ewa},
journal = {BMC Biology},
number = {1},
publisher = {BioMed Central},
title = {{Steering cell migration by alternating blebs and actin-rich protrusions}},
doi = {10.1186/s12915-016-0294-x},
volume = {14},
year = {2016},
}
@article{1272,
abstract = {We study different means to extend offsetting based on skeletal structures beyond the well-known constant-radius and mitered offsets supported by Voronoi diagrams and straight skeletons, for which the orthogonal distance of offset elements to their respective input elements is constant and uniform over all input elements. Our main contribution is a new geometric structure, called variable-radius Voronoi diagram, which supports the computation of variable-radius offsets, i.e., offsets whose distance to the input is allowed to vary along the input. We discuss properties of this structure and sketch a prototype implementation that supports the computation of variable-radius offsets based on this new variant of Voronoi diagrams.},
author = {Held, Martin and Huber, Stefan and Palfrader, Peter},
journal = {Computer-Aided Design and Applications},
number = {5},
pages = {712 -- 721},
publisher = {Taylor and Francis},
title = {{Generalized offsetting of planar structures using skeletons}},
doi = {10.1080/16864360.2016.1150718},
volume = {13},
year = {2016},
}
@article{1273,
abstract = {Lateral root primordia (LRP) originate from pericycle stem cells located deep within parental root tissues. LRP emerge through overlying root tissues by inducing auxin-dependent cell separation and hydraulic changes in adjacent cells. The auxin-inducible auxin influx carrier LAX3 plays a key role concentrating this signal in cells overlying LRP. Delimiting LAX3 expression to two adjacent cell files overlying new LRP is crucial to ensure that auxin-regulated cell separation occurs solely along their shared walls. Multiscale modeling has predicted that this highly focused pattern of expression requires auxin to sequentially induce auxin efflux and influx carriers PIN3 and LAX3, respectively. Consistent with model predictions, we report that auxin-inducible LAX3 expression is regulated indirectly by AUXIN RESPONSE FACTOR 7 (ARF7). Yeast one-hybrid screens revealed that the LAX3 promoter is bound by the transcription factor LBD29, which is a direct target for regulation by ARF7. Disrupting auxin-inducible LBD29 expression or expressing an LBD29-SRDX transcriptional repressor phenocopied the lax3 mutant, resulting in delayed lateral root emergence. We conclude that sequential LBD29 and LAX3 induction by auxin is required to coordinate cell separation and organ emergence.},
author = {Porco, Silvana and Larrieu, Antoine and Du, Yujuan and Gaudinier, Allison and Goh, Tatsuaki and Swarup, Kamal and Swarup, Ranjan and Kuempers, Britta and Bishopp, Anthony and Lavenus, Julien and Casimiro, Ilda and Hill, Kristine and Benková, Eva and Fukaki, Hidehiro and Brady, Siobhan and Scheres, Ben and Peéet, Benjamin and Bennett, Malcolm},
journal = {Development},
number = {18},
pages = {3340 -- 3349},
publisher = {Company of Biologists},
title = {{Lateral root emergence in Arabidopsis is dependent on transcription factor LBD29 regulation of auxin influx carrier LAX3}},
doi = {10.1242/dev.136283},
volume = {143},
year = {2016},
}
@article{1274,
abstract = {Synchronized tissue polarization during regeneration or de novo vascular tissue formation is a plant-specific example of intercellular communication and coordinated development. According to the canalization hypothesis, the plant hormone auxin serves as polarizing signal that mediates directional channel formation underlying the spatio-temporal vasculature patterning. A necessary part of canalization is a positive feedback between auxin signaling and polarity of the intercellular auxin flow. The cellular and molecular mechanisms of this process are still poorly understood, not the least, because of a lack of a suitable model system. We show that the main genetic model plant, Arabidopsis (Arabidopsis thaliana) can be used to study the canalization during vascular cambium regeneration and new vasculature formation. We monitored localized auxin responses, directional auxin-transport channels formation, and establishment of new vascular cambium polarity during regenerative processes after stem wounding. The increased auxin response above and around the wound preceded the formation of PIN1 auxin transporter-marked channels from the primarily homogenous tissue and the transient, gradual changes in PIN1 localization preceded the polarity of newly formed vascular tissue. Thus, Arabidopsis is a useful model for studies of coordinated tissue polarization and vasculature formation after wounding allowing for genetic and mechanistic dissection of the canalization hypothesis.},
author = {Mazur, Ewa and Benková, Eva and Friml, Jirí},
journal = {Scientific Reports},
publisher = {Nature Publishing Group},
title = {{Vascular cambium regeneration and vessel formation in wounded inflorescence stems of Arabidopsis}},
doi = {10.1038/srep33754},
volume = {6},
year = {2016},
}
@article{1276,
abstract = {The cytochrome (cyt) bc 1 complex is an integral component of the respiratory electron transfer chain sustaining the energy needs of organisms ranging from humans to bacteria. Due to its ubiquitous role in the energy metabolism, both the oxidation and reduction of the enzyme's substrate co-enzyme Q has been studied vigorously. Here, this vast amount of data is reassessed after probing the substrate reduction steps at the Q i-site of the cyt bc 1 complex of Rhodobacter capsulatus using atomistic molecular dynamics simulations. The simulations suggest that the Lys251 side chain could rotate into the Q i-site to facilitate binding of half-protonated semiquinone-a reaction intermediate that is potentially formed during substrate reduction. At this bent pose, the Lys251 forms a salt bridge with the Asp252, thus making direct proton transfer possible. In the neutral state, the lysine side chain stays close to the conserved binding location of cardiolipin (CL). This back-and-forth motion between the CL and Asp252 indicates that Lys251 functions as a proton shuttle controlled by pH-dependent negative feedback. The CL/K/D switching, which represents a refinement to the previously described CL/K pathway, fine-tunes the proton transfer process. Lastly, the simulation data was used to formulate a mechanism for reducing the substrate at the Q i-site.},
author = {Postila, Pekka and Kaszuba, Karol and Kuleta, Patryk and Vattulainen, Ilpo and Sarewicz, Marcin and Osyczka, Artur and Róg, Tomasz},
journal = {Scientific Reports},
publisher = {Nature Publishing Group},
title = {{Atomistic determinants of co-enzyme Q reduction at the Qi-site of the cytochrome bc1 complex}},
doi = {10.1038/srep33607},
volume = {6},
year = {2016},
}