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.
9118 Publications
2009 | Journal Article | IST-REx-ID: 2703
L. Erdös, B. Schlein, and H. Yau, “Semicircle law on short scales and delocalization of eigenvectors for Wigner random matrices,” Annals of Probability, vol. 37, no. 3. Institute of Mathematical Statistics, pp. 815–852, 2009.
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 2796
A. De Lózar and B. Hof, “An experimental study of the decay of turbulent puffs in pipe flow,” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, vol. 367, no. 1888. Royal Society of London, pp. 589–599, 2009.
View
| DOI
2009 | Journal Article | IST-REx-ID: 3061 |
P. Křeček et al., “The PIN-FORMED (PIN) protein family of auxin transporters,” Genome Biology, vol. 10, no. 12. BioMed Central, 2009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 3059
J. Kleine Vehn et al., “PIN auxin efflux carrier polarity is regulated by PINOID kinase mediated recruitment into GNOM independent trafficking in arabidopsis,” Plant Cell, vol. 21, no. 12. American Society of Plant Biologists, pp. 3839–3849, 2009.
View
| DOI
2009 | Journal Article | IST-REx-ID: 3057 |
J. Petrášek and J. Friml, “Auxin transport routes in plant development,” Development, vol. 136, no. 16. Company of Biologists, pp. 2675–2688, 2009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Conference Paper | IST-REx-ID: 3231
E. Kiltz and K. Z. Pietrzak, “On the security of padding based encryption schemes Why We cannot prove OAEP secure in the standard model,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, 2009, vol. 5479, pp. 389–406.
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3503 |
K. Chatterjee and T. A. Henzinger, “Probabilistic systems with limsup and liminf objectives,” presented at the ILC: Infinity in Logic and Computation, 2009, vol. 5489, pp. 32–45.
View
| DOI
| Download (ext.)
2009 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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.)
2009 | Journal Article | IST-REx-ID: 3947
T. Lämmermann, J. Renkawitz, X. Wu, K. Hirsch, C. Brakebusch, and M. K. Sixt, “Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper),” Blood, vol. 113, no. 23. American Society of Hematology, pp. 5703–5710, 2009.
View
| DOI