@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 = {Institute of Science and Technology 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 = {Institute of Science and Technology 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 = {Institute of Science and Technology 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 = {Institute of Science and Technology 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{5554, abstract = {The data stored here is used in Murat Tugrul's PhD thesis (Chapter 3), which is related to the evolution of bacterial RNA polymerase binding. Magdalena Steinrueck (PhD Student in Calin Guet's group at IST Austria) performed the experiments and created the data on de novo promoter evolution. Fabienne Jesse (PhD Student in Jon Bollback's group at IST Austria) performed the experiments and created the data on lac promoter evolution.}, author = {Tugrul, Murat}, keywords = {RNAP binding, de novo promoter evolution, lac promoter}, publisher = {Institute of Science and Technology Austria}, title = {{Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase}}, doi = {10.15479/AT:ISTA:43}, 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 = {Institute of Science and Technology 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 = {Institute of Science and Technology 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 = {Institute of Science and Technology 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 = {Institute of Science and Technology Austria}, title = {{Tracking, Correcting and Absorbing Water Surface Waves}}, doi = {10.15479/AT:ISTA:48}, year = {2016}, } @article{5749, abstract = {Parasitism creates selection for resistance mechanisms in host populations and is hypothesized to promote increased host evolvability. However, the influence of these traits on host evolution when parasites are no longer present is unclear. We used experimental evolution and whole-genome sequencing of Escherichia coli to determine the effects of past and present exposure to parasitic viruses (phages) on the spread of mutator alleles, resistance, and bacterial competitive fitness. We found that mutator alleles spread rapidly during adaptation to any of four different phage species, and this pattern was even more pronounced with multiple phages present simultaneously. However, hypermutability did not detectably accelerate adaptation in the absence of phages and recovery of fitness costs associated with resistance. Several lineages evolved phage resistance through elevated mucoidy, and during subsequent evolution in phage-free conditions they rapidly reverted to nonmucoid, phage-susceptible phenotypes. Genome sequencing revealed that this phenotypic reversion was achieved by additional genetic changes rather than by genotypic reversion of the initial resistance mutations. Insertion sequence (IS) elements played a key role in both the acquisition of resistance and adaptation in the absence of parasites; unlike single nucleotide polymorphisms, IS insertions were not more frequent in mutator lineages. Our results provide a genetic explanation for rapid reversion of mucoidy, a phenotype observed in other bacterial species including human pathogens. Moreover, this demonstrates that the types of genetic change underlying adaptation to fitness costs, and consequently the impact of evolvability mechanisms such as increased point-mutation rates, depend critically on the mechanism of resistance.}, author = {Wielgoss, Sébastien and Bergmiller, Tobias and Bischofberger, Anna M. and Hall, Alex R.}, issn = {1537-1719}, journal = {Molecular Biology and Evolution}, number = {3}, pages = {770--782}, publisher = {Oxford University Press}, title = {{Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria}}, doi = {10.1093/molbev/msv270}, volume = {33}, 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}, } @inbook{5805, abstract = {Discretization of sphere in the integer space follows a particular discretization scheme, which, in principle, conforms to some topological model. This eventually gives rise to interesting topological properties of a discrete spherical surface, which need to be investigated for its analytical characterization. This paper presents some novel results on the local topological properties of the naive model of discrete sphere. They follow from the bijection of each quadraginta octant of naive sphere with its projection map called f -map on the corresponding functional plane and from the characterization of certain jumps in the f-map. As an application, we have shown how these properties can be used in designing an efficient reconstruction algorithm for a naive spherical surface from an input voxel set when it is sparse or noisy.}, author = {Sen, Nabhasmita and Biswas, Ranita and Bhowmick, Partha}, booktitle = {Computational Topology in Image Context}, isbn = {978-3-319-39440-4}, issn = {1611-3349}, location = {Marseille, France}, pages = {253--264}, publisher = {Springer Nature}, title = {{On some local topological properties of naive discrete sphere}}, doi = {10.1007/978-3-319-39441-1_23}, volume = {9667}, year = {2016}, } @inproceedings{5806, abstract = {Although the concept of functional plane for naive plane is studied and reported in the literature in great detail, no similar study is yet found for naive sphere. This article exposes the first study in this line, opening up further prospects of analyzing the topological properties of sphere in the discrete space. We show that each quadraginta octant Q of a naive sphere forms a bijection with its projected pixel set on a unique coordinate plane, which thereby serves as the functional plane of Q, and hence gives rise to merely mono-jumps during back projection. The other two coordinate planes serve as para-functional and dia-functional planes for Q, as the former is ‘mono-jumping’ but not bijective, whereas the latter holds neither of the two. Owing to this, the quadraginta octants form symmetry groups and subgroups with equivalent jump conditions. We also show a potential application in generating a special class of discrete 3D circles based on back projection and jump bridging by Steiner voxels. A circle in this class possesses 4-symmetry, uniqueness, and bounded distance from the underlying real sphere and real plane.}, author = {Biswas, Ranita and Bhowmick, Partha}, booktitle = {Discrete Geometry for Computer Imagery}, isbn = {978-3-319-32359-6}, issn = {0302-9743}, location = {Nantes, France}, pages = {256--267}, publisher = {Springer Nature}, title = {{On functionality of quadraginta octants of naive sphere with application to circle drawing}}, doi = {10.1007/978-3-319-32360-2_20}, volume = {9647}, year = {2016}, } @inbook{5809, abstract = {A discrete spherical circle is a topologically well-connected 3D circle in the integer space, which belongs to a discrete sphere as well as a discrete plane. It is one of the most important 3D geometric primitives, but has not possibly yet been studied up to its merit. This paper is a maiden exposition of some of its elementary properties, which indicates a sense of its profound theoretical prospects in the framework of digital geometry. We have shown how different types of discretization can lead to forbidden and admissible classes, when one attempts to define the discretization of a spherical circle in terms of intersection between a discrete sphere and a discrete plane. Several fundamental theoretical results have been presented, the algorithm for construction of discrete spherical circles has been discussed, and some test results have been furnished to demonstrate its practicality and usefulness.}, author = {Biswas, Ranita and Bhowmick, Partha and Brimkov, Valentin E.}, booktitle = {Combinatorial image analysis}, isbn = {978-3-319-26144-7}, issn = {1611-3349}, location = {Kolkata, India}, pages = {86--100}, publisher = {Springer Nature}, title = {{On the connectivity and smoothness of discrete spherical circles}}, doi = {10.1007/978-3-319-26145-4_7}, volume = {9448}, 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}, }