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.

289 Publications


2010 | Conference Paper | IST-REx-ID: 4364
A. Podelski and T. Wies, “Counterexample-guided focus,” presented at the POPL: Principles of Programming Languages, 2010, pp. 249–260.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3068
K. Růžička et al., “Arabidopsis PIS1 encodes the ABCG37 transporter of auxinic compounds including the auxin precursor indole 3 butyric acid,” PNAS, vol. 107, no. 23. National Academy of Sciences, pp. 10749–10753, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3067
A. Jelínková et al., “Probing plant membranes with FM dyes: Tracking dragging or blocking?,” Plant Journal, vol. 61, no. 5. Wiley-Blackwell, pp. 883–892, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3065
P. Žádníková et al., “Role of PIN-mediated auxin efflux in apical hook development of Arabidopsis thaliana,” Development, vol. 137, no. 4. Company of Biologists, pp. 607–617, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3064
J. Zhang, T. Nodzyński, A. Pěnčík, J. Rolčík, and J. Friml, “PIN phosphorylation is sufficient to mediate PIN polarity and direct auxin transport,” PNAS, vol. 107, no. 2. National Academy of Sciences, pp. 918–922, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3066
Ł. Łangowski, K. Růžička, S. Naramoto, J. Kleine Vehn, and J. Friml, “Trafficking to the outer polar domain defines the root soil interface,” Current Biology, vol. 20, no. 10. Cell Press, pp. 904–908, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3070
T. Nawy, M. Bayer, J. Mravec, J. Friml, K. Birnbaum, and W. Lukowitz, “The GATA factor HANABA TARANU is required to position the proembryo boundary in the early Arabidopsis embryo,” Developmental Cell, vol. 19, no. 1. Cell Press, pp. 103–113, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3069
Z. Ding and J. Friml, “Auxin regulates distal stem cell differentiation in Arabidopsis roots,” PNAS, vol. 107, no. 26. National Academy of Sciences, pp. 12046–12051, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3063
J. Friml, “Subcellular trafficking of PIN auxin efflux carriers in auxin transport,” European Journal of Cell Biology, vol. 89, no. 2–3. Elsevier, pp. 231–235, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3081
S. Naramoto et al., “ADP ribosylation factor machinery mediates endocytosis in plant cells,” PNAS, vol. 107, no. 50. National Academy of Sciences, pp. 21890–21895, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3080
J. Kleine Vehn, Z. Ding, A. Jones, M. Tasaka, M. Morita, and J. Friml, “Gravity induced PIN transcytosis for polarization of auxin fluxes in gravity sensing root cells,” PNAS, vol. 107, no. 51. National Academy of Sciences, pp. 22344–22349, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3153
D. E. Siekhaus, M. Haesemeyer, O. Moffitt, and R. Lehmann, “RhoL controls invasion and Rap1 localization during immune cell transmigration in Drosophila,” Nature Cell Biology, vol. 12, no. 6. Nature Publishing Group, pp. 605–610, 2010.
View | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3201
S. Vicente, V. Kolmogorov, and C. Rother, “Cosegmentation revisited: Models and optimization,” presented at the ECCV: European Conference on Computer Vision, 2010, vol. 6312, pp. 465–479.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3237
E. Kiltz and K. Z. Pietrzak, “Leakage resilient ElGamal encryption,” presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, 2010, vol. 6477, pp. 595–612.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3235
Y. Dodis and K. Z. Pietrzak, “Leakage resilient pseudorandom functions and side channel attacks on feistel networks,” presented at the CRYPTO: International Cryptology Conference, 2010, vol. 6223, pp. 21–40.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3234
S. Faust, E. Kiltz, K. Z. Pietrzak, and G. Rothblum, “Leakage resilient signatures,” presented at the TCC: Theory of Cryptography Conference, 2010, vol. 5978, pp. 343–360.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3233
J. Håstad, R. Pass, D. Wikström, and K. Z. Pietrzak, “An efficient parallel repetition theorem,” presented at the TCC: Theory of Cryptography Conference, 2010, vol. 5978, pp. 1–18.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 2934
V. Kolmogorov, “Generalized roof duality and bisubmodular functions,” presented at the Neural Information Processing Systems, 2010.
View | Files available
 

2010 | Journal Article | IST-REx-ID: 3294
A. Iyengar, S. Chakraborty Tuhin, S. Goswami, C. Wu, and O. Siddiqi, “Post eclosion odor experience modifies olfactory receptor neuron coding in Drosophila,” PNAS, vol. 107, no. 21. National Academy of Sciences, pp. 9855–60, 2010.
View | DOI
 

2010 | Thesis | IST-REx-ID: 3296
C. Wojtan, “Animating physical phenomena with embedded surface meshes,” Georgia Institute of Technology, 2010.
View | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3306 | OA
S. Evans, B. Sturmfels, and C. Uhler, “Commuting birth and death processes,” The Annals of Applied Probability, vol. 20. Institute of Mathematical Statistics, pp. 238–266, 2010.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3308 | OA
B. Sturmfels and C. Uhler, “Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry,” Annals of the Institute of Statistical Mathematics, vol. 62, no. 4. Springer, pp. 603–638, 2010.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3402
R. Guerraoui, T. A. Henzinger, and V. Singh, “Model checking transactional memories,” Distributed Computing, vol. 22, no. 3. Springer, pp. 129–145, 2010.
View | DOI | Download (ext.)
 

2010 | Book Review | IST-REx-ID: 3403
B. Pleydell Bouverie and J. L. Csicsvari, “Rate remapping: When the code goes beyond space (preview),” Neuron, vol. 68, no. 6. Elsevier, pp. 1015–1016, 2010.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3430 | OA
G. Tkačik, “Lecture notes for 2010 summer school on Quantitative Evolutionary and Comparative Genomics,” presented at the Summer School on Quantitative Evolutionary and Comparative Genomics, 2010.
View | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3498
M. Sabeti Aschraf, C. Gonano, E. Nemecek, L. Cichocki, and C. Schueller Weidekamm, “Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis,” Knee Surgery, Sports Traumatology, Arthroscopy, vol. 18, no. 12. Springer, pp. 1792–1794, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3592
L. Carvalho and C.-P. J. Heisenberg, “Imaging zebrafish embryos by two-photon excitation time-lapse microscopy,” Methods in Molecular Biology, vol. 546, no. Part 5. Springer, pp. 273–287, 2010.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3676
J. Wanke, A. Ulges, C. Lampert, and T. Breuel, “Topic models for semantic video compression,” presented at the MIR: Multimedia Information Retrieval, 2010, pp. 275–284.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3697
T. Tuytelaars, C. Lampert, M. Blaschko, and W. Buntine, “Unsupervised object discovery: A comparison,” International Journal of Computer Vision, vol. 88, no. 2. Springer, pp. 284–302, 2010.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3713
C. Lampert, “An efficient divide-and-conquer cascade for nonlinear object detection,” presented at the CVPR: Computer Vision and Pattern Recognition, 2010, pp. 1022–1029.
View | DOI
 

2010 | Preprint | IST-REx-ID: 3743 | OA
G. Tkačik, “From statistical mechanics to information theory: understanding biophysical information-processing systems,” ArXiv, vol. q-MN. ArXiv, pp. 1–52, 2010.
View | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3761
N. Kwatra, C. Wojtan, M. Carlson, I. Essa, P. Mucha, and G. Turk, “Fluid simulation with articulated bodies,” IEEE Transactions on Visualization and Computer Graphics, vol. 16, no. 1. IEEE, pp. 70–80, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3759
C. Wojtan, N. Thürey, M. Gross, and G. Turk, “Physics-inspired topology changes for thin fluid features,” ACM Transactions on Graphics, vol. 29, no. 4. ACM, 2010.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3776 | OA
N. H. Barton, “Genetic linkage and natural selection,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1552. Royal Society, pp. 2559–2569, 2010.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3773 | OA
N. H. Barton, “What role does natural selection play in speciation?,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1547. Royal Society, pp. 1825–1840, 2010.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3777 | OA
N. H. Barton, “Mutation and the evolution of recombination,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1544. Royal Society, pp. 1281–1294, 2010.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3774
H. Senn, G. Swanson, S. Goodman, N. H. Barton, and J. Pemberton, “Phenotypic correlates of hybridisation between red and sika deer (genus Cervus),” Journal of Animal Ecology, vol. 79, no. 2. Wiley-Blackwell, pp. 414–425, 2010.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3772 | OA
N. H. Barton, “Understanding adaptation in large populations,” PLoS Genetics, vol. 6, no. 6. Public Library of Science, 2010.
[Published Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3790 | OA
A. Diz Muñoz et al., “Control of directed cell migration in vivo by membrane-to-cortex attachment,” PLoS Biology, vol. 8, no. 11. Public Library of Science, 2010.
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3793 | OA
S. Nowozin, P. Gehler, and C. Lampert, “On parameter learning in CRF-based approaches to object class image segmentation,” presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece, 2010, vol. 6316, pp. 98–111.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3789
E. Quesada-Hernández et al., “Stereotypical cell division orientation controls neural rod midline formation in zebrafish,” Current Biology, vol. 20, no. 21. Cell Press, pp. 1966–1972, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3787 | OA
F. Palero, S. Hall, P. Clark, D. Johnston, J. Mackenzie Dodds, and S. Thatje, “DNA extraction from formalin-fixed tissue: new light from the deep sea,” Scientia Marina, vol. 74, no. 3. Consejo Superior de Investigaciones Científicas, pp. 465–470, 2010.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 3788
A. Klopper, G. Krens, S. Grill, and C.-P. J. Heisenberg, “Finite-size corrections to scaling behavior in sorted cell aggregates,” The European Physical Journal E: Soft Matter and Biological Physics, vol. 33, no. 2. Springer, pp. 99–103, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3786
F. Palero, G. Guerao, P. Clark, and P. Abello, “Final-stage phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The first complete description,” Zootaxa, vol. 2403, no. 1. Magnolia Press, pp. 42–58, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3792
L. Carvalho and C.-P. J. Heisenberg, “The yolk syncytial layer in early, zebrafish development,” Trends in Cell Biology, vol. 20, no. 10. Cell Press, pp. 586–592, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3834 | OA
V. Wolf, R. Goel, M. Mateescu, and T. A. Henzinger, “Solving the chemical master equation using sliding windows,” BMC Systems Biology, vol. 4, no. 42. BioMed Central, pp. 1–19, 2010.
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3840
T. A. Henzinger, “From boolean to quantitative notions of correctness,” presented at the POPL: Principles of Programming Languages, Madrid, Spain, 2010, vol. 45, no. 1, pp. 157–158.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3839 | OA
T. A. Henzinger, T. Hottelier, L. Kovács, and A. Voronkov, “Invariant and type inference for matrices,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 163–179.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3838 | OA
T. A. Henzinger, M. Mateescu, L. Mikeev, and V. Wolf, “Hybrid numerical solution of the chemical master equation,” presented at the CMSB: Computational Methods in Systems Biology, Trento, Italy, 2010, pp. 55–65.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3853 | OA
K. Chatterjee, L. Doyen, H. Edelsbrunner, T. A. Henzinger, and P. Rannou, “Mean-payoff automaton expressions,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 269–283.
[Submitted Version] View | Files available | DOI
 

Filters and Search Terms

year=2010

Search

Filter Publications