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 | OA
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009:58-61. doi:10.1007/978-3-642-00768-2_7
View | Files available | DOI | Download (ext.)
 

earlier version | 2009 | Published | Technical Report | IST-REx-ID: 5392 | OA
Chatterjee K. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria; 2009. doi:10.15479/AT:IST-2009-0004
[Published Version] View | Files available | DOI
 

earlier version | 2009 | Published | Technical Report | IST-REx-ID: 5393 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. Gist: A Solver for Probabilistic Games. IST Austria; 2009. doi:10.15479/AT:IST-2009-0003
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee K, Henzinger TA, Horn F. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria; 2009. doi:10.15479/AT:IST-2009-0002
[Published Version] View | Files available | DOI
 

earlier version | 2009 | Published | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee K, Doyen L, Henzinger TA. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria; 2009. doi:10.15479/AT:IST-2009-0001
[Published Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 599 | OA
Knuesel M, Meyer K, Bernecky C, Taatjes D. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. 2009;23(4):439-451. doi:10.1101/gad.1767009
View | DOI | Download None (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 6144
Persson A, Gross E, Laurent P, Busch KE, Bretes H, de Bono M. Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. 2009;458(7241):1030-1033. doi:10.1038/nature07820
View | DOI | PubMed | Europe PMC
 

2009 | Published | Journal Article | IST-REx-ID: 6145
Cohen M, Reale V, Olofsson B, Knights A, Evans P, de Bono M. Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling. Cell Metabolism. 2009;9(4):375-385. doi:10.1016/j.cmet.2009.02.003
View | DOI | PubMed | Europe PMC
 

2009 | Published | Journal Article | IST-REx-ID: 1983
Loose M, Schwille P. Biomimetic membrane systems to study cellular organization. Journal of Structural Biology. 2009;168(1):143-151. doi:10.1016/j.jsb.2009.03.016
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 1984
Dinarina A, Pugieux C, Corral M, et al. Chromatin shapes the mitotic spindle. Cell. 2009;138(3):502-513. doi:10.1016/j.cell.2009.05.027
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2067
Vicoso B, Charlesworth B. Recombination rates may affect the ratio of X to autosomal noncoding polymorphism in African populations of Drosophila melanogaster. Genetics. 2009;181(4):1699-1701. doi:10.1534/genetics.108.098004
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2068
Vicoso B, Charlesworth B. The deficit of male-biased genes on the D. melanogaster X chromosome is expression-dependent: A consequence of dosage compensation? Journal of Molecular Evolution. 2009;68(5):576-583. doi:10.1007/s00239-009-9235-4
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2069
Vicoso B, Charlesworth B. Effective population size and the faster-X effect: An extended model. Evolution. 2009;63(9):2413-2426. doi:10.1111/j.1558-5646.2009.00719.x
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2070
Vicoso B, Bachtrog D. Progress and prospects toward our understanding of the evolution of dosage compensation. Chromosome Research. 2009;17(5):585-602. doi:10.1007/s10577-009-9053-y
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 1038 | OA
Mark M, Danzl JG, Haller E, et al. Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. 2009;95(2):219-225. doi:10.1007/s00340-009-3407-1
View | DOI | Download None (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 1040 | OA
Haller E, Gustavsson M, Mark M, et al. Realization of an excited, strongly correlated quantum gas Phase. Science. 2009;325(5945):1224-1227. doi:10.1126/science.1175850
View | DOI | Download None (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 1041 | OA
Danzl JG, Mark M, Haller E, et al. Deeply bound ultracold molecules in an optical lattice. New Journal of Physics. 2009;11. doi:10.1088/1367-2630/11/5/055036
View | DOI | Download None (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 1043 | OA
Danzl JG, Mark M, Haller E, et al. Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions. 2009;142:283-295. doi:10.1039/b820542f
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 3197 | OA
Kumar MP, Kolmogorov V, Torr P. An analysis of convex relaxations for MAP estimation of discrete MRFs. Journal of Machine Learning Research. 2009;10:71-106.
View | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 3199
Vicente S, Kolmogorov V, Rother C. Joint optimization of segmentation and appearance models. In: IEEE; 2009:755-762. doi:10.1109/ICCV.2009.5459287
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed