@article{2405,
abstract = {We consider the bipolaron in the Pekar-Tomasevich approximation and address the question whether the ground state is spherically symmetric or not. Numerical analysis has, so far, not completely settled the question. Our contribution is to prove rigorously that the ground state remains spherical for small values of the electron-electron Coulomb repulsion.},
author = {Frank, Rupert L and Lieb, Élliott H and Robert Seiringer},
journal = {Communications in Mathematical Physics},
number = {2},
pages = {557 -- 573},
publisher = {Springer},
title = {{Symmetry of bipolaron bound states for small Coulomb repulsion}},
doi = {10.1007/s00220-012-1604-y},
volume = {319},
year = {2013},
}
@article{2408,
abstract = {We investigate the low-energy excitation spectrum of a Bose gas confined in a trap, with weak long-range repulsive interactions. In particular, we prove that the spectrum can be described in terms of the eigenvalues of an effective one-particle operator, as predicted by the Bogoliubov approximation.},
author = {Grech, Philip and Robert Seiringer},
journal = {Communications in Mathematical Physics},
number = {2},
pages = {559 -- 591},
publisher = {Springer},
title = {{The excitation spectrum for weakly interacting Bosons in a trap}},
doi = {10.1007/s00220-013-1736-8},
volume = {322},
year = {2013},
}
@article{2410,
abstract = {Here, we describe a novel virulent bacteriophage that infects Bacillus weihenstephanensis, isolated from soil in Austria. It is the first phage to be discovered that infects this species. Here, we present the complete genome sequence of this podovirus. },
author = {Fernandes Redondo, Rodrigo A and Kupczok, Anne and Stift, Gertraud and Bollback, Jonathan P},
journal = {Genome Announcements},
number = {3},
publisher = {American Society for Microbiology},
title = {{Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis}},
doi = {10.1128/genomeA.00216-13},
volume = {1},
year = {2013},
}
@article{2412,
abstract = {Background: The CRISPR/Cas system is known to act as an adaptive and heritable immune system in Eubacteria and Archaea. Immunity is encoded in an array of spacer sequences. Each spacer can provide specific immunity to invasive elements that carry the same or a similar sequence. Even in closely related strains, spacer content is very dynamic and evolves quickly. Standard models of nucleotide evolutioncannot be applied to quantify its rate of change since processes other than single nucleotide changes determine its evolution.Methods We present probabilistic models that are specific for spacer content evolution. They account for the different processes of insertion and deletion. Insertions can be constrained to occur on one end only or are allowed to occur throughout the array. One deletion event can affect one spacer or a whole fragment of adjacent spacers. Parameters of the underlying models are estimated for a pair of arrays by maximum likelihood using explicit ancestor enumeration.Results Simulations show that parameters are well estimated on average under the models presented here. There is a bias in the rate estimation when including fragment deletions. The models also estimate times between pairs of strains. But with increasing time, spacer overlap goes to zero, and thus there is an upper bound on the distance that can be estimated. Spacer content similarities are displayed in a distance based phylogeny using the estimated times.We use the presented models to analyze different Yersinia pestis data sets and find that the results among them are largely congruent. The models also capture the variation in diversity of spacers among the data sets. A comparison of spacer-based phylogenies and Cas gene phylogenies shows that they resolve very different time scales for this data set.Conclusions The simulations and data analyses show that the presented models are useful for quantifying spacer content evolution and for displaying spacer content similarities of closely related strains in a phylogeny. This allows for comparisons of different CRISPR arrays or for comparisons between CRISPR arrays and nucleotide substitution rates.},
author = {Kupczok, Anne and Bollback, Jonathan P},
journal = {BMC Evolutionary Biology},
number = {1},
pages = {54 -- 54},
publisher = {BioMed Central},
title = {{Probabilistic models for CRISPR spacer content evolution }},
doi = {10.1186/1471-2148-13-54},
volume = {13},
year = {2013},
}
@inproceedings{2444,
abstract = {We consider two core algorithmic problems for probabilistic verification: the maximal end-component decomposition and the almost-sure reachability set computation for Markov decision processes (MDPs). For MDPs with treewidth k, we present two improved static algorithms for both the problems that run in time O(n·k 2.38·2k ) and O(m·logn· k), respectively, where n is the number of states and m is the number of edges, significantly improving the previous known O(n·k·√n· k) bound for low treewidth. We also present decremental algorithms for both problems for MDPs with constant treewidth that run in amortized logarithmic time, which is a huge improvement over the previously known algorithms that require amortized linear time.},
author = {Chatterjee, Krishnendu and Ła̧Cki, Jakub},
location = {St. Petersburg, Russia},
pages = {543 -- 558},
publisher = {Springer},
title = {{Faster algorithms for Markov decision processes with low treewidth}},
doi = {10.1007/978-3-642-39799-8_36},
volume = {8044},
year = {2013},
}