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.
8915 Publications
2009 | Published | Journal Article | IST-REx-ID: 3710
Lampert C, Blaschko M, Hofmann T. Efficient subwindow search: A branch and bound framework for object localization. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2009;31(12):2129-2142. doi:10.1109/TPAMI.2009.144
View
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 3711
Dhillon P, Nowozin S, Lampert C. Combining appearance and motion for human action classification in videos. In: IEEE; 2009:22-29. doi:10.1109/CVPRW.2009.5204237
View
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 3715
Lampert C, Peters J. Active structured learning for high-speed object detection. In: Vol 5748. Springer; 2009:221-231. doi:10.1007/978-3-642-03798-6_23
View
| DOI
2009 | Published | Conference Poster | IST-REx-ID: 3717
Lampert C, Peters J. A High-Speed Object Tracker from off-the-Shelf Components. IEEE; 2009.
View
| Download (ext.)
2009 | Published | Preprint | IST-REx-ID: 3732 | 
Tkačik G, Schneidman E, Berry M, Bialek W. Spin glass models for a network of real neurons. ArXiv. 2009;q-NC.
View
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3733
Kryazhimskiy S, Tkačik G, Plotkin J. The dynamics of adaptation on correlated fitness landscapes. PNAS. 2009;106(44):18638-18643. doi:10.1073/pnas.0905497106
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3737
Tkačik G, Walczak A, Bialek W. Optimizing information flow in small genetic networks. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2009;80(3). doi:10.1103/PhysRevE.80.031920
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3745
Tkačik G, Bialek W. Diffusion, dimensionality, and noise in transcriptional regulation. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2009;79(5). doi:10.1103/PhysRevE.79.051901
View
| DOI
2009 | Published | Book Chapter | IST-REx-ID: 3747
Tkačik G, Bialek W. Cell Biology: Networks, regulation, pathways. In: Meyers R, ed. Encyclopedia of Complexity and Systems Science. Springer; 2009:719-741. doi:10.1007/978-0-387-30440-3_48
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3764
Wojtan C, Thürey N, Gross M, Turk G. Deforming meshes that split and merge. ACM Transactions on Graphics. 2009;28(3). doi:10.1145/1531326.1531382
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3775 |
Barton NH, Coe J. On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. 2009;259(2):317-324. doi:10.1016/j.jtbi.2009.03.019
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3780 |
Davison A, Barton NH, Clarke B. 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. 2009;22(8):1624-1635. doi:10.1111/j.1420-9101.2009.01770.x
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3828
Schwenk J, Harmel N, Zolles G, et al. Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors. Science. 2009;323(5919):1313-1319. doi:10.1126/science.1167852
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3835
Bloem R, Greimel K, Henzinger TA, Jobstmann B. Synthesizing robust systems. In: Springer; 2009:85-92. doi:10.1109/FMCAD.2009.5351139
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3837 |
Tripakis S, Lickly B, Henzinger TA, Lee E. On relational interfaces. In: EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software. ACM; 2009:67-76. doi:10.1145/1629335.1629346
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3841 |
Henzinger TA, Jobstmann B, Wolf V. Formalisms for specifying Markovian population models. In: Vol 5797. Springer; 2009:3-23. doi:10.1007/978-3-642-04420-5_2
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3843 |
Didier F, Henzinger TA, Mateescu M, Wolf V. Fast adaptive uniformization of the chemical master equation. In: Vol 4. IEEE; 2009:118-127. doi:10.1109/HiBi.2009.23
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3844 |
Henzinger TA, Kirsch C, Marques E, Sokolova A. Distributed, modular HTL. In: IEEE; 2009:171-180. doi:10.1109/RTSS.2009.9
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3869
Chatterjee K, De Alfaro L, Faella M, Legay A. Qualitative logics and equivalences for probabilistic systems. Logical Methods in Computer Science. 2009;5(2). doi:10.2168/LMCS-5(2:7)2009
View
| DOI