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.
3830 Publications
2014 | Journal Article | IST-REx-ID: 2020
Existing cardiomyocytes generate cardiomyocytes at a low rate after birth in mice
S. Ali, S. Hippenmeyer, L. Saadat, L. Luo, I. Weissman, R. Ardehali, PNAS 111 (2014) 8850–8855.
View
| DOI
S. Ali, S. Hippenmeyer, L. Saadat, L. Luo, I. Weissman, R. Ardehali, PNAS 111 (2014) 8850–8855.
2014 | Journal Article | IST-REx-ID: 2021 | 
Dendrite morphogenesis depends on relative levels of NT-3/TrkC signaling
J. William, S. Hippenmeyer, L. Luo, Science 346 (2014) 626–629.
View
| DOI
| Download Submitted Version (ext.)
J. William, S. Hippenmeyer, L. Luo, Science 346 (2014) 626–629.
2014 | Journal Article | IST-REx-ID: 2022 |
Deterministic progenitor behavior and unitary production of neurons in the neocortex
P. Gao, M.P. Postiglione, T. Krieger, L. Hernandez, C. Wang, Z. Han, C. Streicher, E. Papusheva, R. Insolera, K. Chugh, O. Kodish, K. Huang, B. Simons, L. Luo, S. Hippenmeyer, S. Shi, Cell 159 (2014) 775–788.
View
| Files available
| DOI
P. Gao, M.P. Postiglione, T. Krieger, L. Hernandez, C. Wang, Z. Han, C. Streicher, E. Papusheva, R. Insolera, K. Chugh, O. Kodish, K. Huang, B. Simons, L. Luo, S. Hippenmeyer, S. Shi, Cell 159 (2014) 775–788.
2014 | Journal Article | IST-REx-ID: 2023 |
Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution
S. Novak, Ecology and Evolution 4 (2014) 4589–4597.
View
| Files available
| DOI
S. Novak, Ecology and Evolution 4 (2014) 4589–4597.
2014 | Journal Article | IST-REx-ID: 2024 |
Bifurcation of the endocytic pathway into Rab5-dependent and -independent transport to the vacuole
J. Toshima, S. Nishinoaki, Y. Sato, W. Yamamoto, D. Furukawa, D.E. Siekhaus, A. Sawaguchi, J. Toshima, Nature Communications 5 (2014).
View
| Files available
| DOI
J. Toshima, S. Nishinoaki, Y. Sato, W. Yamamoto, D. Furukawa, D.E. Siekhaus, A. Sawaguchi, J. Toshima, Nature Communications 5 (2014).
2014 | Conference Paper | IST-REx-ID: 2026
Rabinizer 3: Safraless translation of ltl to small deterministic automata
Z. Komárková, J. Kretinsky, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 235–241.
View
| DOI
Z. Komárková, J. Kretinsky, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 235–241.
2014 | Conference Paper | IST-REx-ID: 2027 |
Verification of markov decision processes using learning algorithms
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, D. Parker, M. Ujma, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Society of Industrial and Applied Mathematics, 2014, pp. 98–114.
View
| DOI
| Download Submitted Version (ext.)
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, D. Parker, M. Ujma, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Society of Industrial and Applied Mathematics, 2014, pp. 98–114.
2014 | Journal Article | IST-REx-ID: 2028 |
Characterizing spiking in noisy type II neurons
K. Bod’ová, D. Paydarfar, D. Forger, Journal of Theoretical Biology 365 (2014) 40–54.
View
| Files available
| DOI
K. Bod’ová, D. Paydarfar, D. Forger, Journal of Theoretical Biology 365 (2014) 40–54.
2014 | Journal Article | IST-REx-ID: 2029 |
Validity of spin-wave theory for the quantum Heisenberg model
M. Correggi, A. Giuliani, R. Seiringer, EPL 108 (2014).
View
| DOI
| Download Submitted Version (ext.)
M. Correggi, A. Giuliani, R. Seiringer, EPL 108 (2014).
2014 | Journal Article | IST-REx-ID: 2031 |
Nanodomain coupling explains Ca^2+ independence of transmitter release time course at a fast central synapse
itaru Arai, P.M. Jonas, ELife 3 (2014).
View
| Files available
| DOI
itaru Arai, P.M. Jonas, ELife 3 (2014).
2014 | Journal Article | IST-REx-ID: 2032 |
The optogenetic promise for oncology: Episode I
Á. Inglés Prieto, E. Gschaider-Reichhart, K. Schelch, H.L. Janovjak, M. Grusch, Molecular and Cellular Oncology 1 (2014).
View
| Files available
| DOI
Á. Inglés Prieto, E. Gschaider-Reichhart, K. Schelch, H.L. Janovjak, M. Grusch, Molecular and Cellular Oncology 1 (2014).
2014 | Conference Paper | IST-REx-ID: 2033 |
Mind the nuisance: Gaussian process classification using privileged noise
D. Hernandez Lobato, V. Sharmanska, K. Kersting, C. Lampert, N. Quadrianto, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems, 2014, pp. 837–845.
View
| Download Submitted Version (ext.)
D. Hernandez Lobato, V. Sharmanska, K. Kersting, C. Lampert, N. Quadrianto, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems, 2014, pp. 837–845.
2014 | Journal Article | IST-REx-ID: 2036 |
Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses
M. Lagator, N. Colegrave, P. Neve, Proceedings of the Royal Society of London Series B Biological Sciences 281 (2014).
View
| Files available
| DOI
| Download Submitted Version (ext.)
M. Lagator, N. Colegrave, P. Neve, Proceedings of the Royal Society of London Series B Biological Sciences 281 (2014).
2014 | Journal Article | IST-REx-ID: 2038 |
Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 15 (2014).
View
| Files available
| DOI
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 15 (2014).
2014 | Journal Article | IST-REx-ID: 2039 |
The time scale of evolutionary innovation
K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Nowak, PLoS Computational Biology 10 (2014).
View
| Files available
| DOI
K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Nowak, PLoS Computational Biology 10 (2014).
2014 | Journal Article | IST-REx-ID: 2040 |
Coordination of progenitor specification and growth in mouse and chick spinal cord
A. Kicheva, M.T. Bollenbach, A. Ribeiro, H. Pérez Valle, R. Lovell Badge, V. Episkopou, J. Briscoe, Science 345 (2014).
View
| DOI
| Download Submitted Version (ext.)
A. Kicheva, M.T. Bollenbach, A. Ribeiro, H. Pérez Valle, R. Lovell Badge, V. Episkopou, J. Briscoe, Science 345 (2014).
2014 | Journal Article | IST-REx-ID: 2041 |
Structure, function and plasticity of hippocampal dentate gyrus microcircuits
P.M. Jonas, J. Lisman, Frontiers in Neural Circuits 8 (2014).
View
| Files available
| DOI
P.M. Jonas, J. Lisman, Frontiers in Neural Circuits 8 (2014).
2014 | Journal Article | IST-REx-ID: 2042 |
Motif depletion in bacteriophages infecting hosts with CRISPR systems
A. Kupczok, J.P. Bollback, BMC Genomics 15 (2014).
View
| Files available
| DOI
A. Kupczok, J.P. Bollback, BMC Genomics 15 (2014).
2014 | Conference Paper | IST-REx-ID: 2043 |
Distributed computation of persistent homology
U. Bauer, M. Kerber, J. Reininghaus, in:, C. McGeoch, U. Meyer (Eds.), Proceedings of the Workshop on Algorithm Engineering and Experiments, Society of Industrial and Applied Mathematics, 2014, pp. 31–38.
View
| DOI
| Download Submitted Version (ext.)
U. Bauer, M. Kerber, J. Reininghaus, in:, C. McGeoch, U. Meyer (Eds.), Proceedings of the Workshop on Algorithm Engineering and Experiments, Society of Industrial and Applied Mathematics, 2014, pp. 31–38.
2014 | Book Chapter | IST-REx-ID: 2044 |
Clear and Compress: Computing Persistent Homology in Chunks
U. Bauer, M. Kerber, J. Reininghaus, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III, Springer, 2014, pp. 103–117.
View
| DOI
| Download Submitted Version (ext.)
U. Bauer, M. Kerber, J. Reininghaus, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III, Springer, 2014, pp. 103–117.