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.

11374 Publications


2009 | Published | Technical Report | IST-REx-ID: 5393 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2009. Gist: A solver for probabilistic games, IST Austria, 12p.
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee K, Henzinger TA, Horn F. 2009. Improved lower bounds for request-response and finitary Streett games, IST Austria, 11p.
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. Qualitative analysis of partially-observable Markov decision processes, IST Austria, 20p.
[Published Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 599 | OA
Knuesel M, Meyer K, Bernecky C, Taatjes D. 2009. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. 23(4), 439–451.
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. 2009. Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. 458(7241), 1030–1033.
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. 2009. Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling. Cell Metabolism. 9(4), 375–385.
View | DOI | PubMed | Europe PMC
 

2009 | Published | Journal Article | IST-REx-ID: 7080
Yang X-D, Riseborough PS, Modic KA, Fisher RA, Opeil CP, Finlayson TR, Cooley JC, Smith JL, Goddard PA, Silhanek AV, Lashley JC. 2009. Influence of magnetic fields on structural martensitic transitions. Philosophical Magazine. 89(22–24), 2083–2091.
View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 7319
Reum M, Freunberger SA, Wokaun A, Büchi FN. 2009. Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters. Journal of The Electrochemical Society. 156(3), B301.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 752
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. 2009. Of choices, failures and asynchrony: the many faces of set agreement. ISAAC: International Symposium on Algorithms and Computation, LNCS, vol. 5878 LNCS, 943–953.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3428
Bollenbach MT, Kishony R. 2009. Hydroxyurea triggers cellular responses that actively cause bacterial cell death. Molecular Cell. 36(5), 728–729.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3503 | OA
Chatterjee K, Henzinger TA. 2009. Probabilistic systems with limsup and liminf objectives. ILC: Infinity in Logic and Computation, LNCS, vol. 5489, 32–45.
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 3547
Remy S, Csicsvari JL, Beck H. 2009. Activity-dependent control of neuronal output by local and global dendritic spike attenuation. Neuron. 61(6), 906–916.
View | DOI
 

2009 | Published | Book Chapter | IST-REx-ID: 3578
Attali D, Boissonnat J, Edelsbrunner H. 2009.Stability and computation of medial axes: a state-of-the-art report. In: Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration. Mathematics and Visualization, , 109–125.
View | DOI | Download (ext.)
 

2009 | Published | Book Chapter | IST-REx-ID: 3675
Barton NH. 2009.Why sex and recombination? In: Cold Spring Harbor Symposia on Quantitative Biology. vol. 74, 187–195.
View | DOI | WoS
 

2009 | Published | Journal Article | IST-REx-ID: 3696
Lampert C, Blaschko M. 2009. Structured prediction by joint kernel support estimation. Machine Learning. 77(2–3), 249–269.
View | DOI
 

2009 | Published | Conference Poster | IST-REx-ID: 3699
Blaschko M, Lampert C, Bartels A. 2009. Semi-supervised analysis of human fMRI data, Berlin Institute of Technology,p.
View | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 3703
Blaschko M, Lampert C. 2009. Object localization with global and local context kernels. BMVC: British Machine Vision Conference, Proceedings of the BMVC, , 1–11.
View | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 3704
Lampert C, Nickisch H, Harmeling S. 2009. Learning to detect unseen object classes by between-class attribute transfer. CVPR: Computer Vision and Pattern Recognition, 951–958.
View | DOI
 

2009 | Published | Book | IST-REx-ID: 3707
Lampert C. 2009. Kernel Methods in Computer Vision, now publishers, 112p.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3708
Nowozin S, Lampert C. 2009. Global connectivity potentials for random field models. CVPR: Computer Vision and Pattern Recognition, 818–825.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed