Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
11732 Publications
2009 |
Published |
Conference Paper |
IST-REx-ID: 4580 |
Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Alpaga: A Tool for Solving Parity Games with Imperfect Information,” 5505:58–61. Springer, 2009. https://doi.org/10.1007/978-3-642-00768-2_7.
View
| Files available
| DOI
| Download (ext.)
earlier version | 2009 |
Published |
Technical Report |
IST-REx-ID: 5392 |
Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0004.
[Published Version]
View
| Files available
| DOI
earlier version | 2009 |
Published |
Technical Report |
IST-REx-ID: 5393 |
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. Gist: A Solver for Probabilistic Games. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0003.
[Published Version]
View
| Files available
| DOI
2009 |
Published |
Technical Report |
IST-REx-ID: 5394 |
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0002.
[Published Version]
View
| Files available
| DOI
earlier version | 2009 |
Published |
Technical Report |
IST-REx-ID: 5395 |
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0001.
[Published Version]
View
| Files available
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 599 |
Knuesel, Matthew, Krista Meyer, Carrie Bernecky, and Dylan Taatjes. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” Genes and Development. Cold Spring Harbor Laboratory Press, 2009. https://doi.org/10.1101/gad.1767009.
View
| DOI
| Download None (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 6144
Persson, Annelie, Einav Gross, Patrick Laurent, Karl Emanuel Busch, Hugo Bretes, and Mario de Bono. “Natural Variation in a Neural Globin Tunes Oxygen Sensing in Wild Caenorhabditis Elegans.” Nature. Springer Nature, 2009. https://doi.org/10.1038/nature07820.
View
| DOI
| PubMed | Europe PMC
2009 |
Published |
Journal Article |
IST-REx-ID: 6145
Cohen, Merav, Vincenzina Reale, Birgitta Olofsson, Andrew Knights, Peter Evans, and Mario de Bono. “Coordinated Regulation of Foraging and Metabolism in C. Elegans by RFamide Neuropeptide Signaling.” Cell Metabolism. Elsevier, 2009. https://doi.org/10.1016/j.cmet.2009.02.003.
View
| DOI
| PubMed | Europe PMC
2009 |
Published |
Journal Article |
IST-REx-ID: 1983
Loose, Martin, and Petra Schwille. “Biomimetic Membrane Systems to Study Cellular Organization.” Journal of Structural Biology. Academic Press, 2009. https://doi.org/10.1016/j.jsb.2009.03.016.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 1984
Dinarina, Ana, Céline Pugieux, Maria Corral, Martin Loose, Joachim Spatz, Éric Karsenti, and François Nédélec. “Chromatin Shapes the Mitotic Spindle.” Cell. Cell Press, 2009. https://doi.org/10.1016/j.cell.2009.05.027.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2067
Vicoso, Beatriz, and Brian Charlesworth. “Recombination Rates May Affect the Ratio of X to Autosomal Noncoding Polymorphism in African Populations of Drosophila Melanogaster.” Genetics. Genetics Society of America, 2009. https://doi.org/10.1534/genetics.108.098004.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2068
Vicoso, Beatriz, and Brian Charlesworth. “The Deficit of Male-Biased Genes on the D. Melanogaster X Chromosome Is Expression-Dependent: A Consequence of Dosage Compensation?” Journal of Molecular Evolution. Springer, 2009. https://doi.org/10.1007/s00239-009-9235-4.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2069
Vicoso, Beatriz, and Brian Charlesworth. “Effective Population Size and the Faster-X Effect: An Extended Model.” Evolution. Wiley-Blackwell, 2009. https://doi.org/10.1111/j.1558-5646.2009.00719.x.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2070
Vicoso, Beatriz, and Doris Bachtrog. “Progress and Prospects toward Our Understanding of the Evolution of Dosage Compensation.” Chromosome Research. Springer, 2009. https://doi.org/10.1007/s10577-009-9053-y.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 1038 |
Mark, Manfred, Johann G Danzl, Elmar Haller, Mattias Gustavsson, Nadia Bouloufa, Olivier Dulieu, Houssam Salami, et al. “Dark Resonances for Ground-State Transfer of Molecular Quantum Gases.” Applied Physics B: Lasers and Optics. Springer, 2009. https://doi.org/10.1007/s00340-009-3407-1.
View
| DOI
| Download None (ext.)
| arXiv
2009 |
Published |
Journal Article |
IST-REx-ID: 1040 |
Haller, Elmar, Mattias Gustavsson, Manfred Mark, Johann G Danzl, Russell Hart, Guido Pupillo, and Hanns Nägerl. “Realization of an Excited, Strongly Correlated Quantum Gas Phase.” Science. American Association for the Advancement of Science, 2009. https://doi.org/10.1126/science.1175850.
View
| DOI
| Download None (ext.)
| arXiv
2009 |
Published |
Journal Article |
IST-REx-ID: 1041 |
Danzl, Johann G, Manfred Mark, Elmar Haller, Mattias Gustavsson, Russell Hart, Andreas Liem, Holger Zellmer, and Hanns Nägerl. “Deeply Bound Ultracold Molecules in an Optical Lattice.” New Journal of Physics. IOP Publishing Ltd., 2009. https://doi.org/10.1088/1367-2630/11/5/055036.
View
| DOI
| Download None (ext.)
| arXiv
2009 |
Published |
Journal Article |
IST-REx-ID: 1043 |
Danzl, Johann G, Manfred Mark, Elmar Haller, Mattias Gustavsson, Nadia Bouloufa, Olivier Dulieu, Helmut Ritsch, Russell Hart, and Hanns Nägerl. “Precision Molecular Spectroscopy for Ground State Transfer of Molecular Quantum Gases.” Faraday Discussions. Royal Society of Chemistry, 2009. https://doi.org/10.1039/b820542f.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |
Published |
Journal Article |
IST-REx-ID: 3197 |
Kumar, M Pawan, Vladimir Kolmogorov, and Philip Torr. “An Analysis of Convex Relaxations for MAP Estimation of Discrete MRFs.” Journal of Machine Learning Research. Microtome Publishing, 2009.
View
| Download (ext.)
2009 |
Published |
Conference Paper |
IST-REx-ID: 3199
Vicente, Sara, Vladimir Kolmogorov, and Carsten Rother. “Joint Optimization of Segmentation and Appearance Models,” 755–62. IEEE, 2009. https://doi.org/10.1109/ICCV.2009.5459287.
View
| DOI
| Download (ext.)