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.
9101 Publications
2009 | Conference Paper | IST-REx-ID: 3503 | 
Chatterjee, Krishnendu, and Thomas A. Henzinger. Probabilistic Systems with Limsup and Liminf Objectives. Vol. 5489, Springer, 2009, pp. 32–45, doi:10.1007/978-3-642-03092-5_4.
View
| DOI
| Download (ext.)
2009 | Conference Poster | IST-REx-ID: 3699
Blaschko, Matthew, et al. “Semi-Supervised Analysis of Human FMRI Data.” BBCI: Berlin Brain-Computer Interface Workshop - Advances in Neurotechnology, Berlin Institute of Technology, 2009.
View
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 3703
Blaschko, Matthew, and Christoph Lampert. Object Localization with Global and Local Context Kernels. BMVA Press, 2009, pp. 1–11, doi:10.5244/C.23.63.
View
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 3704
Lampert, Christoph, et al. Learning to Detect Unseen Object Classes by Between-Class Attribute Transfer. IEEE, 2009, pp. 951–58, doi:10.1109/CVPR.2009.5206594.
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3715
Lampert, Christoph, and Jan Peters. Active Structured Learning for High-Speed Object Detection. Vol. 5748, Springer, 2009, pp. 221–31, doi:10.1007/978-3-642-03798-6_23.
View
| DOI
2009 | Conference Poster | IST-REx-ID: 3717
Lampert, Christoph, and Jan Peters. “A High-Speed Object Tracker from off-the-Shelf Components.” ICCV: International Conference on Computer Vision, IEEE, 2009.
View
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 3737
Tkačik, Gašper, et al. “Optimizing Information Flow in Small Genetic Networks.” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 80, no. 3, American Institute of Physics, 2009, doi:10.1103/PhysRevE.80.031920.
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 3733
Kryazhimskiy, Sergey, et al. “The Dynamics of Adaptation on Correlated Fitness Landscapes.” PNAS, vol. 106, no. 44, National Academy of Sciences, 2009, pp. 18638–43, doi:10.1073/pnas.0905497106.
View
| DOI
| Download (ext.)
2009 | Preprint | IST-REx-ID: 3732 |
Tkačik, Gašper, et al. “Spin Glass Models for a Network of Real Neurons.” ArXiv, vol. q-NC, ArXiv, 2009.
View
| Download (ext.)
2009 | Book Chapter | IST-REx-ID: 3747
Tkačik, Gašper, and William Bialek. “Cell Biology: Networks, Regulation, Pathways.” Encyclopedia of Complexity and Systems Science, edited by R. Meyers, Springer, 2009, pp. 719–41, doi:10.1007/978-0-387-30440-3_48.
View
| DOI
2009 | Journal Article | IST-REx-ID: 3764
Wojtan, Chris, et al. “Deforming Meshes That Split and Merge.” ACM Transactions on Graphics, vol. 28, no. 3, ACM, 2009, doi:10.1145/1531326.1531382.
View
| DOI
2009 | Journal Article | IST-REx-ID: 3780 |
Davison, Angus, et al. “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.” Journal of Evolutionary Biology, vol. 22, no. 8, Wiley, 2009, pp. 1624–35, doi:10.1111/j.1420-9101.2009.01770.x.
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3828
Schwenk, Jochen, et al. “Functional Proteomics Identify Cornichon Proteins as Auxiliary Subunits of AMPA Receptors.” Science, vol. 323, no. 5919, American Association for the Advancement of Science, 2009, pp. 1313–19, doi:10.1126/science.1167852.
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3843 |
Didier, Frédéric, et al. Fast Adaptive Uniformization of the Chemical Master Equation. Vol. 4, no. 6, IEEE, 2009, pp. 118–27, doi:10.1109/HiBi.2009.23.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3841 |
Henzinger, Thomas A., et al. Formalisms for Specifying Markovian Population Models. Vol. 5797, Springer, 2009, pp. 3–23, doi:10.1007/978-3-642-04420-5_2.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3844 |
Henzinger, Thomas A., et al. Distributed, Modular HTL. IEEE, 2009, pp. 171–80, doi:10.1109/RTSS.2009.9.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3871 |
Chatterjee, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3870 |
Chatterjee, Krishnendu, et al. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1, 1, ACM, 2009, doi:10.1145/1614431.1614432.
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3869
Chatterjee, Krishnendu, et al. “Qualitative Logics and Equivalences for Probabilistic Systems.” Logical Methods in Computer Science, vol. 5, no. 2, International Federation of Computational Logic, 2009, doi:10.2168/LMCS-5(2:7)2009.
View
| DOI