@article{2193,
abstract = {We show that weakly bound molecules can be probed by "shaking" in a pulsed nonresonant laser field. The field introduces a centrifugal term which expels the highest vibrational level from the potential that binds it. Our numerical simulations applied to the Rb2 and KRb Feshbach molecules indicate that shaking by feasible laser pulses can be used to accurately recover the square of the vibrational wave function and, by inversion, also the long-range part of the molecular potential.},
author = {Mikhail Lemeshko and Friedrich, Břetislav},
journal = {Physical Review Letters},
number = {5},
publisher = {American Physical Society},
title = {{Probing weakly bound molecules with nonresonant light}},
doi = {10.1103/PhysRevLett.103.053003},
volume = {103},
year = {2009},
}
@misc{5392,
abstract = {We consider probabilistic automata on infinite words with acceptance defined by safety, reachability, Büchi, coBüchi and limit-average conditions. We consider quantitative and qualitative decision problems. We present extensions and adaptations of proofs of [GO09] and present a precise characterization of the decidability and undecidability frontier of the quantitative and qualitative decision problems.},
author = {Chatterjee, Krishnendu},
issn = {2664-1690},
pages = {17},
publisher = {IST Austria},
title = {{Probabilistic automata on infinite words: Decidability and undecidability results}},
doi = {10.15479/AT:IST-2009-0004},
year = {2009},
}
@misc{5393,
abstract = {Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with ω-regular objectives; and (b) synthesizes reasonable environment assumptions for synthesis of unrealizable specifications. Our tool provides efficient implementations of several reduction based techniques to solve turn-based probabilistic games, and uses the analysis of turn-based probabilistic games for synthesizing environment assumptions for unrealizable specifications.},
author = {Chatterjee, Krishnendu and Henzinger, Thomas A and Jobstmann, Barbara and Radhakrishna, Arjun},
issn = {2664-1690},
pages = {12},
publisher = {IST Austria},
title = {{Gist: A solver for probabilistic games}},
doi = {10.15479/AT:IST-2009-0003},
year = {2009},
}
@misc{5394,
abstract = {We consider two-player games played on graphs with request-response and finitary Streett objectives. We show these games are PSPACE-hard, improving the previous known NP-hardness. We also improve the lower bounds on memory required by the winning strategies for the players.},
author = {Chatterjee, Krishnendu and Henzinger, Thomas A and Horn, Florian},
issn = {2664-1690},
pages = {11},
publisher = {IST Austria},
title = {{Improved lower bounds for request-response and finitary Streett games}},
doi = {10.15479/AT:IST-2009-0002},
year = {2009},
}
@misc{5395,
abstract = {We study observation-based strategies for partially-observable Markov decision processes (POMDPs) with omega-regular objectives. An observation-based strategy relies on partial information about the history of a play, namely, on the past sequence of observa- tions. We consider the qualitative analysis problem: given a POMDP with an omega-regular objective, whether there is an observation-based strategy to achieve the objective with probability 1 (almost-sure winning), or with positive probability (positive winning). Our main results are twofold. First, we present a complete picture of the computational complexity of the qualitative analysis of POMDPs with parity objectives (a canonical form to express omega-regular objectives) and its subclasses. Our contribution consists in establishing several upper and lower bounds that were not known in literature. Second, we present optimal bounds (matching upper and lower bounds) on the memory required by pure and randomized observation-based strategies for the qualitative analysis of POMDPs with parity objectives and its subclasses.},
author = {Chatterjee, Krishnendu and Doyen, Laurent and Henzinger, Thomas A},
issn = {2664-1690},
pages = {20},
publisher = {IST Austria},
title = {{Qualitative analysis of partially-observable Markov decision processes}},
doi = {10.15479/AT:IST-2009-0001},
year = {2009},
}
@article{599,
abstract = {The human CDK8 subcomplex (CDK8, cyclin C, Med12, and Med13) negatively regulates transcription in ways not completely defined; past studies suggested CDK8 kinase activity was required for its repressive function. Using a reconstituted transcription system together with recombinant or endogenous CDK8 subcomplexes, we demonstrate that, in fact, Med12 and Med13 are critical for subcomplex-dependent repression, whereas CDK8 kinase activity is not. A hallmark of activated transcription is efficient reinitiation from promoter-bound scaffold complexes that recruit a series of pol II enzymes to the gene. Notably, the CDK8 submodule strongly represses even reinitiation events, suggesting a means to fine tune transcript levels. Structural and biochemical studies confirm the CDK8 submodule binds the Mediator leg/tail domain via the Med13 subunit, and this submodule-Mediator association precludes pol II recruitment. Collectively, these results reveal the CDK8 subcomplex functions as a simple switch that controls the Mediator-pol II interaction to help regulate transcription initiation and reinitiation events. As Mediator is generally required for expression of protein-coding genes, this may reflect a common mechanism by which activated transcription is shut down in human cells.},
author = {Knuesel, Matthew and Meyer, Krista and Bernecky, Carrie A and Taatjes, Dylan},
journal = {Genes and Development},
number = {4},
pages = {439 -- 451},
publisher = {Cold Spring Harbor Laboratory Press},
title = {{The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function}},
doi = {10.1101/gad.1767009},
volume = {23},
year = {2009},
}
@inbook{164,
abstract = {Let g be a cubic polynomial with integer coefficients and n>9 variables, and assume that the congruence g=0 modulo p^k is soluble for all prime powers p^k. We show that the equation g=0 has infinitely many integer solutions when the cubic part of g defines a projective hypersurface with singular locus of dimension <n-10. The proof is based on the Hardy-Littlewood circle method.},
author = {Browning, Timothy D and Heath Brown, Roger},
booktitle = {Analytic Number Theory: Essays in honour of Klaus Roth},
pages = {75 -- 90},
publisher = {Cambridge University Press},
title = {{Integral points on cubic hypersurfaces}},
year = {2009},
}
@article{1038,
abstract = {One possible way to produce ultra-cold, high-phase-space-density quantum gases of molecules in the rovibronic ground state is given by molecule association from quantum-degenerate atomic gases on a Feshbach resonance and subsequent coherent optical multi-photon transfer into the rovibronic ground state. In ultra-cold samples of Cs2 molecules, we observe two-photon dark resonances that connect the intermediate rovibrational level |v=73,J=2 with the rovibrational ground state |v=0,J=0 of the singlet X 1 ∑ g + ground-state potential. For precise dark resonance spectroscopy we exploit the fact that it is possible to efficiently populate the level |v=73,J=2 by two-photon transfer from the dissociation threshold with the stimulated Raman adiabatic passage (STIRAP) technique. We find that at least one of the two-photon resonances is sufficiently strong to allow future implementation of coherent STIRAP transfer of a molecular quantum gas to the rovibrational ground state |v=0,J=0.},
author = {Mark, Manfred and Danzl, Johann G and Haller, Elmar and Gustavsson, Mattias and Bouloufa, Nadia and Dulieu, Olivier and Salami, Houssam and Bergeman, Thomas and Ritsch, Helmut and Hart, Russell and Nägerl, Hanns},
journal = {Applied Physics B: Lasers and Optics},
number = {2},
pages = {219 -- 225},
publisher = {Springer},
title = {{Dark resonances for ground-state transfer of molecular quantum gases}},
doi = {10.1007/s00340-009-3407-1},
volume = {95},
year = {2009},
}
@article{1040,
abstract = {Ultracold atomic physics offers myriad possibilities to study strongly correlated many-body systems in lower dimensions. Typically, only ground-state phases are accessible. Using a tunable quantum gas of bosonic cesium atoms, we realized and controlled in one-dimensional geometry a highly excited quantum phase that is stabilized in the presence of attractive interactions by maintaining and strengthening quantum correlations across a confinement-induced resonance. We diagnosed the crossover from repulsive to attractive interactions in terms of the stiffness and energy of the system. Our results open up the experimental study of metastable, excited, many-body phases with strong correlations and their dynamical properties.},
author = {Haller, Elmar and Gustavsson, Mattias and Mark, Manfred and Danzl, Johann G and Hart, Russell and Pupillo, Guido and Nägerl, Hanns},
journal = {Science},
number = {5945},
pages = {1224 -- 1227},
publisher = {American Association for the Advancement of Science},
title = {{Realization of an excited, strongly correlated quantum gas Phase}},
doi = {10.1126/science.1175850},
volume = {325},
year = {2009},
}
@article{1041,
abstract = {We demonstrate efficient transfer of ultracold molecules into a deeply bound rovibrational level of the singlet ground state potential in the presence of an optical lattice. The overall molecule creation efficiency is 25%, and the transfer efficiency to the rovibrational level |v = 73, J = 2) is above 80%. We find that the molecules in |v = 73, J = 2) are trapped in the optical lattice, and that the lifetime in the lattice is limited by optical excitation by the lattice light. The molecule trapping time for a lattice depth of 15 atomic recoil energies is about 20 ms. We determine the trapping frequency by the lattice phase and amplitude modulation technique. It will now be possible to transfer the molecules to the rovibrational ground state |v = 0, J = 0) in the presence of the optical lattice.},
author = {Danzl, Johann G and Mark, Manfred and Haller, Elmar and Gustavsson, Mattias and Hart, Russell and Liem, Andreas and Zellmer, Holger and Nägerl, Hanns},
journal = {New Journal of Physics},
publisher = {IOP Publishing Ltd.},
title = {{Deeply bound ultracold molecules in an optical lattice}},
doi = {10.1088/1367-2630/11/5/055036},
volume = {11},
year = {2009},
}
@article{1043,
abstract = {One possibility for the creation of ultracold, high phase space density quantum gases of molecules in the rovibronic ground state relies on first associating weakly-bound molecules from quantum-degenerate atomic gases on a Feshbach resonance and then transferring the molecules via several steps of coherent two-photon stimulated Raman adiabatic passage (STIRAP) into the rovibronic ground state. Here, in ultracold samples of Cs2 Feshbach molecules produced out of ultracold samples of Cs atoms, we observe several optical transitions to deeply-bound rovibrational levels of the excited 0 u+ molecular potentials with high resolution. At least one of these transitions, although rather weak, allows efficient STIRAP transfer into the deeply-bound vibrational level v = 73> of the singlet X 1Σg+ ground state potential, as recently demonstrated (J. G. Danzl, E. Haller, M. Gustavsson, M. J. Mark, R. Hart, N. Bouloufa, O. Dulieu, H. Ritsch, and H.-C. Nägerl, Science, 2008, 321, 1062). From this level, the rovibrational ground state v = 0, J = 0> can be reached with one more transfer step. In total, our results show that coherent ground state transfer for Cs2 is possible using a maximum of two successive two-photon STIRAP processes or one single four-photon STIRAP process.},
author = {Danzl, Johann G and Mark, Manfred and Haller, Elmar and Gustavsson, Mattias and Bouloufa, Nadia and Dulieu, Olivier and Ritsch, Helmut and Hart, Russell and Nägerl, Hanns},
journal = {Faraday Discussions},
pages = {283 -- 295},
publisher = {Royal Society of Chemistry},
title = {{Precision molecular spectroscopy for ground state transfer of molecular quantum gases}},
doi = {10.1039/b820542f},
volume = {142},
year = {2009},
}
@article{9147,
abstract = {As part of an ongoing effort to develop a parameterization of wave-induced abyssal mixing, the authors derive an heuristic model for nonlinear wave breaking and energy dissipation associated with internal tides. Then the saturation and dissipation of internal tides for idealized and observed topography samples are investigated. One of the main results is that the wave-induced mixing could be more intense and more confined to the bottom than previously assumed in numerical models. Furthermore, in this model wave breaking and mixing clearly depend on the small scales of the topography below 10 km or so, which is below the current resolution of global bathymetry. This motivates the use of a statistical approach to represent the unresolved topography when addressing the role of internal tides in mixing the deep ocean.},
author = {MULLER, Caroline J and Bühler, Oliver},
issn = {1520-0485},
journal = {Journal of Physical Oceanography},
keywords = {Oceanography},
number = {9},
pages = {2077--2096},
publisher = {American Meteorological Society},
title = {{Saturation of the internal tides and induced mixing in the abyssal ocean}},
doi = {10.1175/2009jpo4141.1},
volume = {39},
year = {2009},
}
@article{9148,
abstract = {Several observational studies have shown a tight relationship between tropical precipitation and column‐integrated water vapor. We show that the observed relationship in the tropics between column‐integrated water vapor, precipitation, and its variance can be qualitatively reproduced by a simple and physically motivated two‐layer model. It has previously been argued that features of this relationship could be explained by analogy with the theory of continuous phase transitions. Instead, our model explicitly assumes that the onset of precipitation is governed by a stability threshold involving boundary‐layer water vapor. This allows us to explain the precipitation‐humidity relationship over a broader range of water vapor values, and may explain the observed temperature dependence of the relationship.},
author = {MULLER, Caroline J and Back, Larissa E. and O'Gorman, Paul A. and Emanuel, Kerry A.},
issn = {0094-8276},
journal = {Geophysical Research Letters},
keywords = {General Earth and Planetary Sciences, Geophysics},
number = {16},
publisher = {American Geophysical Union},
title = {{A model for the relationship between tropical precipitation and column water vapor}},
doi = {10.1029/2009gl039667},
volume = {36},
year = {2009},
}
@unpublished{3732,
abstract = {Ising models with pairwise interactions are the least structured, or maximum-entropy, probability distributions that exactly reproduce measured pairwise correlations between spins. Here we use this equivalence to construct Ising models that describe the correlated spiking activity of populations of 40 neurons in the salamander retina responding to natural movies. We show that pairwise interactions between neurons account for observed higher-order correlations, and that for groups of 10 or more neurons pairwise interactions can no longer be regarded as small perturbations in an independent system. We then construct network ensembles that generalize the network instances observed in the experiment, and study their thermodynamic behavior and coding capacity. Based on this construction, we can also create synthetic networks of 120 neurons, and find that with increasing size the networks operate closer to a critical point and start exhibiting collective behaviors reminiscent of spin glasses. We examine closely two such behaviors that could be relevant for neural code: tuning of the network to the critical point to maximize the ability to encode diverse stimuli, and using the metastable states of the Ising Hamiltonian as neural code words.},
author = {Gasper Tkacik and Schneidman, Elad and Berry, Michael J and Bialek, William S},
booktitle = {ArXiv},
publisher = {ArXiv},
title = {{Spin glass models for a network of real neurons}},
volume = {q-bio.NC},
year = {2009},
}
@article{3775,
abstract = {There is a close analogy between statistical thermodynamics and the evolution of allele frequencies under mutation, selection and random drift. Wright's formula for the stationary distribution of allele frequencies is analogous to the Boltzmann distribution in statistical physics. Population size, 2N, plays the role of the inverse temperature, 1/kT, and determines the magnitude of random fluctuations. Log mean fitness, View the MathML source, tends to increase under selection, and is analogous to a (negative) energy; a potential function, U, increases under mutation in a similar way. An entropy, SH, can be defined which measures the deviation from the distribution of allele frequencies expected under random drift alone; the sum View the MathML source gives a free fitness that increases as the population evolves towards its stationary distribution. Usually, we observe the distribution of a few quantitative traits that depend on the frequencies of very many alleles. The mean and variance of such traits are analogous to observable quantities in statistical thermodynamics. Thus, we can define an entropy, SΩ, which measures the volume of allele frequency space that is consistent with the observed trait distribution. The stationary distribution of the traits is View the MathML source; this applies with arbitrary epistasis and dominance. The entropies SΩ, SH are distinct, but converge when there are so many alleles that traits fluctuate close to their expectations. Populations tend to evolve towards states that can be realised in many ways (i.e., large SΩ), which may lead to a substantial drop below the adaptive peak; we illustrate this point with a simple model of genetic redundancy. This analogy with statistical thermodynamics brings together previous ideas in a general framework, and justifies a maximum entropy approximation to the dynamics of quantitative traits.},
author = {Barton, Nicholas H and Coe, Jason},
journal = {Journal of Theoretical Biology},
number = {2},
pages = {317 -- 324},
publisher = {Elsevier},
title = {{On the application of statistical physics to evolutionary biology}},
doi = {10.1016/j.jtbi.2009.03.019},
volume = {259},
year = {2009},
}
@article{3780,
abstract = {Why are sinistral snails so rare? Two main hypotheses are that selection acts against the establishment of new coiling morphs, because dextral and sinistral snails have trouble mating, or else a developmental constraint prevents the establishment of sinistrals. We therefore used an isolate of the snail Lymnaea stagnalis, in which sinistrals are rare, and populations of Partula suturalis, in which sinistrals are common, as well as a mathematical model, to understand the circumstances by which new morphs evolve. The main finding is that the sinistral genotype is associated with reduced egg viability in L. stagnalis, but in P. suturalis individuals of sinistral and dextral genotype appear equally fecund, implying a lack of a constraint. As positive frequency-dependent selection against the rare chiral morph in P. suturalis also operates over a narrow range (< 3%), the results suggest a model for chiral evolution in snails in which weak positive frequency-dependent selection may be overcome by a negative frequency-dependent selection, such as reproductive character displacement. In snails, there is not always a developmental constraint. As the direction of cleavage, and thus the directional asymmetry of the entire body, does not generally vary in other Spiralia (annelids, echiurans, vestimentiferans, sipunculids and nemerteans), it remains an open question as to whether this is because of a constraint and/or because most taxa do not have a conspicuous external asymmetry (like a shell) upon which selection can act.},
author = {Davison, Angus and Barton, Nicholas H and Clarke, Bryan},
journal = {Journal of Evolutionary Biology},
number = {8},
pages = {1624 -- 1635},
publisher = {Wiley},
title = {{The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails}},
doi = {10.1111/j.1420-9101.2009.01770.x},
volume = {22},
year = {2009},
}
@inproceedings{3837,
abstract = {In this paper we extend the work of Alfaro, Henzinger et al. on interface theories for component-based design. Existing interface theories often fail to capture functional relations between the inputs and outputs of an interface. For example, a simple synchronous interface that takes as input a number n ≥ 0 and returns, at the same time, as output n + 1, cannot be expressed in existing theories. In this paper we provide a theory of relational interfaces, where such input-output relations can be captured. Our theory supports synchronous interfaces, both stateless and stateful. It includes explicit notions of environments and pluggability, and satisfies fundamental properties such as preservation of refinement by composition, and characterization of pluggability by refinement. We achieve these properties by making reasonable restrictions on feedback loops in interface compositions.},
author = {Tripakis, Stavros and Lickly, Ben and Henzinger, Thomas A and Lee, Edward},
booktitle = {EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software},
location = {Grenoble, France},
pages = {67 -- 76},
publisher = {ACM},
title = {{On relational interfaces}},
doi = {10.1145/1629335.1629346},
year = {2009},
}
@inproceedings{3841,
abstract = {We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, stochastic Petri nets, stoichiometric equations, stochastic process algebras, and guarded command models— all describe continuous-time Markov chains, but they differ according to important properties, such as compositionality, expressiveness and succinctness, executability, ease of use, and the support they provide for checking the well-formedness of a model and for analyzing a model. },
author = {Henzinger, Thomas A and Jobstmann, Barbara and Wolf, Verena},
location = {Palaiseau, France},
pages = {3 -- 23},
publisher = {Springer},
title = {{Formalisms for specifying Markovian population models}},
doi = {10.1007/978-3-642-04420-5_2},
volume = {5797},
year = {2009},
}
@inproceedings{3843,
abstract = {Within systems biology there is an increasing interest in the stochastic behavior of biochemical reaction networks. An appropriate stochastic description is provided by the chemical master equation, which represents a continuous- time Markov chain (CTMC).
Standard Uniformization (SU) is an efficient method for the transient analysis of CTMCs. For systems with very different time scales, such as biochemical reaction networks, SU is computationally expensive. In these cases, a variant of SU, called adaptive uniformization (AU), is known to reduce the large number of iterations needed by SU. The additional difficulty of AU is that it requires the solution of a birth process.
In this paper we present an on-the-fly variant of AU, where we improve the original algorithm for AU at the cost of a small approximation error. By means of several examples, we show that our approach is particularly well-suited for biochemical reaction networks.},
author = {Didier, Frédéric and Henzinger, Thomas A and Mateescu, Maria and Wolf, Verena},
location = {Trento, Italy},
number = {6},
pages = {118 -- 127},
publisher = {IEEE},
title = {{Fast adaptive uniformization of the chemical master equation}},
doi = {10.1109/HiBi.2009.23},
volume = {4},
year = {2009},
}
@inproceedings{3844,
abstract = {The Hierarchical Timing Language (HTL) is a real-time coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedom, transmission safety (schedulability of inter-host communication), and time safety (schedulability of host computation). We present a modular abstract syntax and semantics for HTL, modular checks of well-formedness, race freedom, and transmission safety, and modular code distribution. Our contributions here complement previous results on HTL time safety and modular code generation. Modularity in HTL can be utilized in easy program composition as well as fast program analysis and code generation, but also in so-called runtime patching, where program components may be modified at runtime.},
author = {Henzinger, Thomas A and Kirsch, Christoph and Marques, Eduardo and Sokolova, Ana},
location = {Washington, DC, United States},
pages = {171 -- 180},
publisher = {IEEE},
title = {{Distributed, modular HTL}},
doi = {10.1109/RTSS.2009.9},
year = {2009},
}