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. (2009). Efficient subwindow search: A branch and bound framework for object localization. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2009.144
View
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 3711
Dhillon, P., Nowozin, S., & Lampert, C. (2009). Combining appearance and motion for human action classification in videos (pp. 22–29). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPRW.2009.5204237
View
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 3715
Lampert, C., & Peters, J. (2009). Active structured learning for high-speed object detection (Vol. 5748, pp. 221–231). Presented at the DAGM: German Association For Pattern Recognition, Springer. https://doi.org/10.1007/978-3-642-03798-6_23
View
| DOI
2009 | Published | Conference Poster | IST-REx-ID: 3717
Lampert, C., & Peters, J. (2009). A high-speed object tracker from off-the-shelf components. ICCV: International Conference on Computer Vision. IEEE.
View
| Download (ext.)
2009 | Published | Preprint | IST-REx-ID: 3732 | 
Tkačik, G., Schneidman, E., Berry, M., & Bialek, W. (2009). Spin glass models for a network of real neurons. ArXiv. ArXiv.
View
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3733
Kryazhimskiy, S., Tkačik, G., & Plotkin, J. (2009). The dynamics of adaptation on correlated fitness landscapes. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0905497106
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3737
Tkačik, G., Walczak, A., & Bialek, W. (2009). Optimizing information flow in small genetic networks. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics. https://doi.org/10.1103/PhysRevE.80.031920
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3745
Tkačik, G., & Bialek, W. (2009). Diffusion, dimensionality, and noise in transcriptional regulation. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics. https://doi.org/10.1103/PhysRevE.79.051901
View
| DOI
2009 | Published | Book Chapter | IST-REx-ID: 3747
Tkačik, G., & Bialek, W. (2009). Cell Biology: Networks, regulation, pathways. In R. Meyers (Ed.), Encyclopedia of Complexity and Systems Science (pp. 719–741). Springer. https://doi.org/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. (2009). Deforming meshes that split and merge. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/1531326.1531382
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3768
Kupczok, A., & Von Haeseler, A. (2009). Comment on “{A} congruence index for testing topological similarity between trees”. Bioinformatics. Oxford University Press. https://doi.org/4199
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3775 |
Barton, N. H., & Coe, J. (2009). On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. Elsevier. https://doi.org/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, N. H., & Clarke, B. (2009). 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. Wiley. https://doi.org/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., Bildl, W., Kulik, Á., Heimrich, B., … Klocker, N. (2009). Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1167852
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3835
Bloem, R., Greimel, K., Henzinger, T. A., & Jobstmann, B. (2009). Synthesizing robust systems (pp. 85–92). Presented at the FMCAD: Formal Methods in Computer-Aided Design, Springer. https://doi.org/10.1109/FMCAD.2009.5351139
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3837 |
Tripakis, S., Lickly, B., Henzinger, T. A., & Lee, E. (2009). On relational interfaces. In EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software (pp. 67–76). Grenoble, France: ACM. https://doi.org/10.1145/1629335.1629346
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3841 |
Henzinger, T. A., Jobstmann, B., & Wolf, V. (2009). Formalisms for specifying Markovian population models (Vol. 5797, pp. 3–23). Presented at the RP: Reachability Problems, Palaiseau, France: Springer. https://doi.org/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, T. A., Mateescu, M., & Wolf, V. (2009). Fast adaptive uniformization of the chemical master equation (Vol. 4, pp. 118–127). Presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy: IEEE. https://doi.org/10.1109/HiBi.2009.23
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3844 |
Henzinger, T. A., Kirsch, C., Marques, E., & Sokolova, A. (2009). Distributed, modular HTL (pp. 171–180). Presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States: IEEE. https://doi.org/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. (2009). Qualitative logics and equivalences for probabilistic systems. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-5(2:7)2009
View
| DOI