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.
9114 Publications
2009 | Conference Paper | IST-REx-ID: 3709
Lampert, C. (2009). Detecting objects in large image collections and videos by efficient subimage retrieval (pp. 987–994). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2009.5459359
View
| DOI
2009 | 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 | 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 | 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 | 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