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 | Journal Article | IST-REx-ID: 2763
L. Erdös, J. Ramírez, B. Schlein, T. Tao, V. Van, and H. Yau, “Bulk universality for Wigner Hermitian matrices with subexponential decay,” Mathematical Research Letters, vol. 17, no. 4. International Press, pp. 667–674, 2010.
View
2010 | Journal Article | IST-REx-ID: 2870
F. Vandenbussche et al., “The auxin influx carriers AUX1 and LAX3 are involved in auxin-ethylene interactions during apical hook development in Arabidopsis thaliana seedlings,” Development, vol. 137, no. 4. Company of Biologists, pp. 597–606, 2010.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 2979 |
J. Almeida, E. Bangerter, M. Barbosa, S. Krenn, A. Sadeghi, and T. Schneider, “A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols,” presented at the ESORICS: European Symposium on Research in Computer Security, 2010, vol. 6345, pp. 151–167.
View
| DOI
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 2980 |
E. Bangerter, T. Briner, W. Henecka, S. Krenn, A. Sadeghi, and T. Schneider, “Automatic Generation of Sigma-Protocols,” presented at the EuroPKI: Public Key Infrastructures, Services and Applications, 2010, vol. 6391, pp. 67–82.
View
| DOI
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 2978 |
E. Bangerter, J. Camenisch, and S. Krenn, “Efficiency Limitations for Σ-Protocols for Group Homomorphisms,” presented at the TCC: Theory of Cryptography Conference, 2010, vol. 5978, pp. 553–571.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3073
P. Dhonukshe et al., “Plasma membrane-bound AGC3 kinases phosphorylate PIN auxin carriers at TPRXS(N/S) motifs to direct apical PIN recycling,” Development, vol. 137, no. 19. Company of Biologists, pp. 3245–3255, 2010.
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3072 |
W. Grunewald and J. Friml, “The march of the PINs: Developmental plasticity by dynamic polar targeting in plant cells,” EMBO Journal, vol. 29, no. 16. Wiley-Blackwell, pp. 2700–2714, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3077 |
J. Friml and A. Jones, “Endoplasmic reticulum: The rising compartment in auxin biology,” Plant Physiology, vol. 154, no. 2. American Society of Plant Biologists, pp. 458–462, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Conference Paper | IST-REx-ID: 10909
C. Chen and D. Freedman, “Hardness results for homology localization,” in Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, Austin, TX, United States, 2010, pp. 1594–1604.
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3303 |
D. Weissman, M. Feldman, and D. Fisher, “The rate of fitness-valley crossing in sexual populations,” Genetics, vol. 186, no. 4. Genetics Society of America, pp. 1389–1410, 2010.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Book Chapter | IST-REx-ID: 3459
B. Fakler and P. M. Jonas, “Grundlagen zellulärer Erregbarkeit,” in Physiologie Des Menschen, R. Schmidt, M. Heckmann, and F. Lang, Eds. Springer, 2010.
View
2010 | Journal Article | IST-REx-ID: 3538 |
P. Jiruska et al., “High-frequency network activity, global increase in neuronal activity, and synchrony expansion precede epileptic seizures in vitro,” Journal of Neuroscience, vol. 30, no. 16. Society for Neuroscience, pp. 5690–5701, 2010.
View
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3604
H. Senn, S. Goodman, G. Swanson, N. H. Barton, and J. Pemberton, “Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland,” Molecular Ecology, vol. 19, no. 5. Wiley-Blackwell, pp. 910–924, 2010.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3686
S. Nowozin and C. Lampert, “Global interactions in random field models: A potential function ensuring connectedness,” SIAM Journal on Imaging Sciences, vol. 3, no. 4 (Special Section on Optimization in Imaging Sciences). Society for Industrial and Applied Mathematics , pp. 1048–1074, 2010.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3702
J. Kober, K. Mülling, O. Krömer, C. Lampert, B. Schölkopf, and J. Peters, “Movement templates for learning of hitting and batting,” presented at the ICRA: International Conference on Robotics and Automation, 2010, pp. 853–858.
View
| DOI
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 3719 |
J. Feret, T. A. Henzinger, H. Koeppl, and T. Petrov, “Lumpability abstractions of rule-based systems,” presented at the MECBIC: Membrane Computing and Biologically Inspired Process Calculi, Jena, Germany, 2010, vol. 40, pp. 142–161.
[Submitted Version]
View
| Files available
| arXiv
2010 | Journal Article | IST-REx-ID: 3735
G. Tkačik, J. Prentice, J. Victor, and V. Balasubramanian, “Local statistics in natural scenes predict the saliency of synthetic textures,” PNAS, vol. 107, no. 42. National Academy of Sciences, pp. 18149–18154, 2010.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3736
G. Tkačik, J. Prentice, V. Balasubramanian, and E. Schneidman, “Optimal population coding by noisy spiking neurons,” PNAS, vol. 107, no. 32. National Academy of Sciences, pp. 14419–14424, 2010.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3738
A. Walczak, G. Tkačik, and W. Bialek, “Optimizing information flow in small genetic networks. II. Feed-forward interactions,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 81, no. 4. American Institute of Physics, 2010.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3748 |
H. Park, W. Pontius, C. C. Guet, J. Marko, T. Emonet, and P. Cluzel, “Interdependence of behavioural variability and response to small stimuli in bacteria,” Nature, vol. 468. Nature Publishing Group, pp. 819–823, 2010.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3749 |
H. Park, C. C. Guet, T. Emonet, and P. Cluzel, “Fine-tuning of chemotactic response in E. coli determined by high-throughput capillary assay,” Current Microbiology, vol. 62, no. 3. Springer, pp. 764–769, 2010.
View
| DOI
| Download (ext.)
2010 | Book Chapter | IST-REx-ID: 3795 |
H. Edelsbrunner, D. Morozov, and A. Patel, “The stability of the apparent contour of an orientable 2-manifold,” in Topological Data Analysis and Visualization: Theory, Algorithms and Applications, Springer, 2010, pp. 27–42.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3794
C. Lampert and O. Krömer, “Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning,” presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece, 2010, vol. 6312, pp. 566–579.
View
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3831 |
A. Norenberg, H. Hu, I. Vida, M. Bartos, and P. M. Jonas, “Distinct nonuniform cable properties optimize rapid and efficient activation of fast-spiking GABAergic interneurons,” PNAS, vol. 107, no. 2. National Academy of Sciences, pp. 894–9, 2010.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3832 |
J. Guzmán and P. M. Jonas, “Beyond TARPs: The growing list of auxiliary AMPAR subunits,” Neuron, vol. 66, no. 1. Elsevier, pp. 8–10, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3833
P. M. Jonas and S. Hefft, “GABA release at terminals of CCK-interneurons: synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali & Todorova),” The European Journal of Neuroscience, vol. 31, no. 7. Wiley-Blackwell, pp. 1194–1195, 2010.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3847 |
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “SABRE: A tool for the stochastic analysis of biochemical reaction networks,” presented at the QEST: Quantitative Evaluation of Systems, Williamsburg, USA, 2010, pp. 193–194.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3845 |
T. A. Henzinger, T. Hottelier, L. Kovács, and A. Rybalchenko, “Aligators for arrays,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia, 2010, vol. 6397, pp. 348–356.
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3842 |
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Fast adaptive uniformization of the chemical master equation,” IET Systems Biology, vol. 4, no. 6. Institution of Engineering and Technology, pp. 441–452, 2010.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3858 |
K. Chatterjee and L. Doyen, “The complexity of partial-observation parity games,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia, 2010, vol. 6397, pp. 1–14.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3856 |
K. Chatterjee, L. Doyen, H. Gimbert, and T. A. Henzinger, “Randomness for free,” presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic, 2010, vol. 6281, pp. 246–257.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2010 | Conference (Editor) | IST-REx-ID: 3859
K. Chatterjee and T. A. Henzinger, Eds., Formal modeling and analysis of timed systems, vol. 6246. Springer, 2010.
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3866 |
R. Bloem, K. Chatterjee, K. Greimel, T. A. Henzinger, and B. Jobstmann, “Robustness in the presence of liveness,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 410–424.
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3868 |
K. Chatterjee, L. De Alfaro, R. Majumdar, and V. Raman, “Algorithms for game metrics,” Logical Methods in Computer Science, vol. 6, no. 3. International Federation of Computational Logic, pp. 1–27, 2010.
[Published Version]
View
| Files available
| DOI
2010 | Book | IST-REx-ID: 3899
H. Edelsbrunner and J. Harer, Computational Topology: An Introduction, vol. 69. American Mathematical Society, 2010.
View
| Files available
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3960 |
M. Weber and M. K. Sixt, “MEK signalling tunes actin treadmilling for interstitial lymphocyte migration,” EMBO Journal, vol. 29, no. 17. Wiley-Blackwell, pp. 2861–2863, 2010.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 4243 |
N. H. Barton, A. Etheridge, and A. Véber, “A new model for evolution in a spatial continuum,” Electronic Journal of Probability, vol. 15, no. 7. Institute of Mathematical Statistics, pp. 162–216, 2010.
[Published Version]
View
| Files available
| DOI
2010 | Other Publication | IST-REx-ID: 4340 |
P. Danowski, Open bibliographic data. Elsevier, 2010.
View
| Files available
| Download None (ext.)
2010 | Book (Editor) | IST-REx-ID: 4346 |
P. Danowski and J. Bergmann, Eds., Handbuch Bibliothek 2.0, vol. 41. De Gruyter, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Conference Paper | IST-REx-ID: 4341
P. Danowski, “Step one: blow up the silo! - Open bibliographic data, the first step towards Linked Open Data,” presented at the WLIC: World Library and Information Congress, 2010.
View
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 4369 |
D. Nickovic and N. Piterman, “From MTL to deterministic timed automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria, 2010, vol. 6246, pp. 152–167.
[Submitted Version]
View
| Files available
| 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: 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: 2934
V. Kolmogorov, “Generalized roof duality and bisubmodular functions,” presented at the Neural Information Processing Systems, 2010.
View
| Files available
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 |
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 |
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 | Conference Paper | IST-REx-ID: 3430 |
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.)