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.

11680 Publications


2009 | Published | Technical Report | IST-REx-ID: 5392 | OA
Chatterjee, K. (2009). Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria. https://doi.org/10.15479/AT:IST-2009-0004
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5393 | OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2009). Gist: A solver for probabilistic games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0003
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Improved lower bounds for request-response and finitary Streett games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0002
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Qualitative analysis of partially-observable Markov decision processes. IST Austria. https://doi.org/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. (2009). The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.1767009
View | DOI | Download None (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 6144
Persson, A., Gross, E., Laurent, P., Busch, K. E., Bretes, H., & de Bono, M. (2009). Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. Springer Nature. https://doi.org/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. (2009). Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling. Cell Metabolism. Elsevier. https://doi.org/10.1016/j.cmet.2009.02.003
View | DOI | PubMed | Europe PMC
 

2009 | Published | Journal Article | IST-REx-ID: 7080
Yang, X.-D., Riseborough, P. S., Modic, K. A., Fisher, R. A., Opeil, C. P., Finlayson, T. R., … Lashley, J. C. (2009). Influence of magnetic fields on structural martensitic transitions. Philosophical Magazine. Taylor & Francis. https://doi.org/10.1080/14786430902865518
View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 7319
Reum, M., Freunberger, S. A., Wokaun, A., & Büchi, F. N. (2009). Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.3043422
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 (Vol. 5878 LNCS, pp. 943–953). Presented at the ISAAC: International Symposium on Algorithms and Computation, Springer. https://doi.org/10.1007/978-3-642-10631-6_95
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3428
Bollenbach, M. T., & Kishony, R. (2009). Hydroxyurea triggers cellular responses that actively cause bacterial cell death. Molecular Cell. Cell Press. https://doi.org/10.1016/j.molcel.2009.11.027
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3503 | OA
Chatterjee, K., & Henzinger, T. A. (2009). Probabilistic systems with limsup and liminf objectives (Vol. 5489, pp. 32–45). Presented at the ILC: Infinity in Logic and Computation, Springer. https://doi.org/10.1007/978-3-642-03092-5_4
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 3547
Remy, S., Csicsvari, J. L., & Beck, H. (2009). Activity-dependent control of neuronal output by local and global dendritic spike attenuation. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2009.01.032
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 (pp. 109–125). Springer. https://doi.org/10.1007/b106657_6
View | DOI | Download (ext.)
 

2009 | Published | Book Chapter | IST-REx-ID: 3675
Barton, N. H. (2009). Why sex and recombination? In Cold Spring Harbor Symposia on Quantitative Biology (Vol. 74, pp. 187–195). Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/sqb.2009.74.030
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. Springer. https://doi.org/10.1007/s10994-009-5111-0
View | DOI
 

2009 | Published | Conference Poster | IST-REx-ID: 3699
Blaschko, M., Lampert, C., & Bartels, A. (2009). Semi-supervised analysis of human fMRI data. BBCI: Berlin Brain-Computer Interface Workshop - Advances in Neurotechnology. Berlin Institute of Technology.
View | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 3703
Blaschko, M., & Lampert, C. (2009). Object localization with global and local context kernels (pp. 1–11). Presented at the BMVC: British Machine Vision Conference, BMVA Press. https://doi.org/10.5244/C.23.63
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 (pp. 951–958). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2009.5206594
View | DOI
 

2009 | Published | Book | IST-REx-ID: 3707
Lampert, C. (2009). Kernel Methods in Computer Vision (Vol. 4). now publishers. https://doi.org/10.1561/0600000027
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed