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.
235 Publications
2009 |Published| Conference Poster | IST-REx-ID: 3699
M. Blaschko, C. Lampert, and A. Bartels, Semi-supervised analysis of human fMRI data. Berlin Institute of Technology, 2009.
View
| Download (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 3703
M. Blaschko and C. Lampert, “Object localization with global and local context kernels,” presented at the BMVC: British Machine Vision Conference, 2009, pp. 1–11.
View
| DOI
| Download (ext.)
2009 |Published| Conference Poster | IST-REx-ID: 3717
C. Lampert and J. Peters, A high-speed object tracker from off-the-shelf components. IEEE, 2009.
View
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 3737
G. Tkačik, A. Walczak, and W. Bialek, “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.
View
| DOI
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 3733
S. Kryazhimskiy, G. Tkačik, and J. Plotkin, “The dynamics of adaptation on correlated fitness landscapes,” PNAS, vol. 106, no. 44. National Academy of Sciences, pp. 18638–18643, 2009.
View
| DOI
| Download (ext.)
2009 |Published| Preprint | IST-REx-ID: 3732 |
G. Tkačik, E. Schneidman, M. Berry, and W. Bialek, “Spin glass models for a network of real neurons,” ArXiv, vol. q-NC. ArXiv, 2009.
View
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 3780 |
A. Davison, N. H. Barton, and B. Clarke, “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, pp. 1624–1635, 2009.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3843 |
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Fast adaptive uniformization of the chemical master equation,” presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy, 2009, vol. 4, no. 6, pp. 118–127.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3841 |
T. A. Henzinger, B. Jobstmann, and V. Wolf, “Formalisms for specifying Markovian population models,” presented at the RP: Reachability Problems, Palaiseau, France, 2009, vol. 5797, pp. 3–23.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3844 |
T. A. Henzinger, C. Kirsch, E. Marques, and A. Sokolova, “Distributed, modular HTL,” presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States, 2009, pp. 171–180.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3871 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Probabilistic weighted automata,” presented at the CONCUR: Concurrency Theory, Bologna, Italy, 2009, vol. 5710, pp. 244–258.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3870 |
K. Chatterjee, T. A. Henzinger, and F. Horn, “Finitary winning in omega-regular games,” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1. ACM, 2009.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3946 |
S. Cremer and M. K. Sixt, “Analogies in the evolution of individual and social immunity,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 364, no. 1513. Royal Society, The, pp. 129–142, 2009.
View
| DOI
| Download None (ext.)