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.
6985 Publications
2009 |Published| Conference Paper | IST-REx-ID: 3715
Active structured learning for high-speed object detection
C. Lampert, J. Peters, in:, Springer, 2009, pp. 221–231.
View
| DOI
C. Lampert, J. Peters, in:, Springer, 2009, pp. 221–231.
2009 |Published| Conference Poster | IST-REx-ID: 3717
A high-speed object tracker from off-the-shelf components
C. Lampert, J. Peters, A High-Speed Object Tracker from off-the-Shelf Components, IEEE, 2009.
View
| Download (ext.)
C. Lampert, J. Peters, A High-Speed Object Tracker from off-the-Shelf Components, IEEE, 2009.
2009 |Published| Journal Article | IST-REx-ID: 3737
Optimizing information flow in small genetic networks
G. Tkačik, A. Walczak, W. Bialek, Physical Review E Statistical Nonlinear and Soft Matter Physics 80 (2009).
View
| DOI
| Download (ext.)
G. Tkačik, A. Walczak, W. Bialek, Physical Review E Statistical Nonlinear and Soft Matter Physics 80 (2009).
2009 |Published| Journal Article | IST-REx-ID: 3733
The dynamics of adaptation on correlated fitness landscapes
S. Kryazhimskiy, G. Tkačik, J. Plotkin, PNAS 106 (2009) 18638–18643.
View
| DOI
| Download (ext.)
S. Kryazhimskiy, G. Tkačik, J. Plotkin, PNAS 106 (2009) 18638–18643.
2009 |Published| Preprint | IST-REx-ID: 3732 |
Spin glass models for a network of real neurons
G. Tkačik, E. Schneidman, M. Berry, W. Bialek, ArXiv q-NC (2009).
View
| Download (ext.)
G. Tkačik, E. Schneidman, M. Berry, W. Bialek, ArXiv q-NC (2009).
2009 |Published| Book Chapter | IST-REx-ID: 3747
Cell Biology: Networks, regulation, pathways
G. Tkačik, W. Bialek, in:, R. Meyers (Ed.), Encyclopedia of Complexity and Systems Science, Springer, 2009, pp. 719–741.
View
| DOI
G. Tkačik, W. Bialek, in:, R. Meyers (Ed.), Encyclopedia of Complexity and Systems Science, Springer, 2009, pp. 719–741.
2009 |Published| Journal Article | IST-REx-ID: 3764
Deforming meshes that split and merge
C. Wojtan, N. Thürey, M. Gross, G. Turk, ACM Transactions on Graphics 28 (2009).
View
| DOI
C. Wojtan, N. Thürey, M. Gross, G. Turk, ACM Transactions on Graphics 28 (2009).
2009 |Published| Journal Article | IST-REx-ID: 3768
Comment on '{A} congruence index for testing topological similarity between trees'.
A. Kupczok, A. Von Haeseler, Bioinformatics 25 (2009) 147–149.
View
| DOI
A. Kupczok, A. Von Haeseler, Bioinformatics 25 (2009) 147–149.
2009 |Published| Journal Article | IST-REx-ID: 3780 |
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
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.
[Submitted Version]
View
| Files available
| DOI
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.
2009 |Published| Journal Article | IST-REx-ID: 3828
Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors
J. Schwenk, N. Harmel, G. Zolles, W. Bildl, Á. Kulik, B. Heimrich, O. Chisaka, P.M. Jonas, U. Schulte, B. Fakler, N. Klocker, Science 323 (2009) 1313–9.
View
| DOI
J. Schwenk, N. Harmel, G. Zolles, W. Bildl, Á. Kulik, B. Heimrich, O. Chisaka, P.M. Jonas, U. Schulte, B. Fakler, N. Klocker, Science 323 (2009) 1313–9.
2009 |Published| Conference Paper | IST-REx-ID: 3843 |
Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
[Submitted Version]
View
| Files available
| DOI
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
2009 |Published| Conference Paper | IST-REx-ID: 3841 |
Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
2009 |Published| Conference Paper | IST-REx-ID: 3844 |
Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
2009 |Published| Conference Paper | IST-REx-ID: 3871 |
Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
2009 |Published| Journal Article | IST-REx-ID: 3870 |
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
2009 |Published| Journal Article | IST-REx-ID: 3869
Qualitative logics and equivalences for probabilistic systems
K. Chatterjee, L. De Alfaro, M. Faella, A. Legay, Logical Methods in Computer Science 5 (2009).
View
| DOI
K. Chatterjee, L. De Alfaro, M. Faella, A. Legay, Logical Methods in Computer Science 5 (2009).
2009 |Published| Journal Article | IST-REx-ID: 3946 |
Analogies in the evolution of individual and social immunity
S. Cremer, M.K. Sixt, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 364 (2009) 129–142.
View
| DOI
| Download None (ext.)
S. Cremer, M.K. Sixt, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 364 (2009) 129–142.
2009 |Published| Journal Article | IST-REx-ID: 3947
Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper)
T. Lämmermann, J. Renkawitz, X. Wu, K. Hirsch, C. Brakebusch, M.K. Sixt, Blood 113 (2009) 5703–5710.
View
| DOI
T. Lämmermann, J. Renkawitz, X. Wu, K. Hirsch, C. Brakebusch, M.K. Sixt, Blood 113 (2009) 5703–5710.
2009 |Published| Journal Article | IST-REx-ID: 3948
β1 integrins differentially control extravasation of inflammatory cell subsets into the CNS during autoimmunity
M. Bauer, C. Brakebusch, C. Coisne, M.K. Sixt, H. Wekerle, B. Engelhardt, R. Fässler, PNAS 106 (2009) 1920–1925.
View
| DOI
M. Bauer, C. Brakebusch, C. Coisne, M.K. Sixt, H. Wekerle, B. Engelhardt, R. Fässler, PNAS 106 (2009) 1920–1925.
2009 |Published| Journal Article | IST-REx-ID: 3949
Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells
T. Quast, B. Tappertzhofen, C. Schild, J. Grell, N. Czeloth, R. Förster, R. Alon, L. Fraemohs, K. Dreck, C. Weber, T. Lämmermann, M.K. Sixt, W. Kolanus, Blood 113 (2009) 5801–5810.
View
| DOI
T. Quast, B. Tappertzhofen, C. Schild, J. Grell, N. Czeloth, R. Förster, R. Alon, L. Fraemohs, K. Dreck, C. Weber, T. Lämmermann, M.K. Sixt, W. Kolanus, Blood 113 (2009) 5801–5810.