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.
6384 Publications
2014 | Published | Journal Article | IST-REx-ID: 2250 |
Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently "orphan" viral proteins
D. Kuchibhatla, W. Sherman, B. Chung, S. Cook, G. Schneider, B. Eisenhaber, D. Karlin, Journal of Virology 88 (2014) 10–20.
[Published Version]
View
| Files available
| DOI
D. Kuchibhatla, W. Sherman, B. Chung, S. Cook, G. Schneider, B. Eisenhaber, D. Karlin, Journal of Virology 88 (2014) 10–20.
2014 | Published | Journal Article | IST-REx-ID: 2251 |
Sharp wave/ripple network oscillations and learning-associated hippocampal maps
J.L. Csicsvari, D. Dupret, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 369 (2014).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J.L. Csicsvari, D. Dupret, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 369 (2014).
2014 | Published | Journal Article | IST-REx-ID: 2253 |
Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth
A. Bailly, B. Wang, M. Zwiewka, S. Pollmann, D. Schenck, H. Lüthen, A. Schulz, J. Friml, M. Geisler, Plant Journal 77 (2014) 108–118.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Bailly, B. Wang, M. Zwiewka, S. Pollmann, D. Schenck, H. Lüthen, A. Schulz, J. Friml, M. Geisler, Plant Journal 77 (2014) 108–118.
2014 | Published | Journal Article | IST-REx-ID: 2254 |
Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations
A. Pernia-Andrade, P.M. Jonas, Neuron 81 (2014) 140–152.
[Published Version]
View
| Files available
| DOI
A. Pernia-Andrade, P.M. Jonas, Neuron 81 (2014) 140–152.
2014 | Published | Journal Article | IST-REx-ID: 2255 |
Stable length estimates of tube-like shapes
H. Edelsbrunner, F. Pausinger, Journal of Mathematical Imaging and Vision 50 (2014) 164–177.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, F. Pausinger, Journal of Mathematical Imaging and Vision 50 (2014) 164–177.
2014 | Published | Journal Article | IST-REx-ID: 2257 |
Searching for collective behavior in a large network of sensory neurons
G. Tkačik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, M. Berry, PLoS Computational Biology 10 (2014).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
G. Tkačik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, M. Berry, PLoS Computational Biology 10 (2014).
2014 | Published | Journal Article | IST-REx-ID: 2261 |
DICE, an efficient system for iterative genomic editing in human pluripotent stem cells
F. Zhu, M. Gamboa, A. Farruggio, S. Hippenmeyer, B. Tasic, B. Schüle, Y. Chen Tsai, M. Calos, Nucleic Acids Research 42 (2014).
[Preprint]
View
| Files available
| DOI
F. Zhu, M. Gamboa, A. Farruggio, S. Hippenmeyer, B. Tasic, B. Schüle, Y. Chen Tsai, M. Calos, Nucleic Acids Research 42 (2014).
2014 | Published | Conference Paper | IST-REx-ID: 2275 |
Partial enumeration and curvature regularization
C. Olsson, J. Ulen, Y. Boykov, V. Kolmogorov, in:, IEEE, 2014, pp. 2936–2943.
[Submitted Version]
View
| Files available
| DOI
C. Olsson, J. Ulen, Y. Boykov, V. Kolmogorov, in:, IEEE, 2014, pp. 2936–2943.
2014 | Published | Journal Article | IST-REx-ID: 2281 |
On the mass concentration for Bose-Einstein condensates with attractive interactions
Y. Guo, R. Seiringer, Letters in Mathematical Physics 104 (2014) 141–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Guo, R. Seiringer, Letters in Mathematical Physics 104 (2014) 141–156.
2014 | Published | Journal Article | IST-REx-ID: 2285 |
Morpho-physiological criteria divide dentate gyrus interneurons into classes
J. Hosp, M. Strüber, Y. Yanagawa, K. Obata, I. Vida, P.M. Jonas, M. Bartos, Hippocampus 23 (2014) 189–203.
[Published Version]
View
| Files available
| DOI
J. Hosp, M. Strüber, Y. Yanagawa, K. Obata, I. Vida, P.M. Jonas, M. Bartos, Hippocampus 23 (2014) 189–203.
2014 | Published | Journal Article | IST-REx-ID: 2407 |
Equivalence of two definitions of the effective mass of a polaron
É. Lieb, R. Seiringer, Journal of Statistical Physics 154 (2014) 51–57.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
É. Lieb, R. Seiringer, Journal of Statistical Physics 154 (2014) 51–57.
2014 | Published | Journal Article | IST-REx-ID: 248 |
Rational points on pencils of conics and quadrics with many degenerate fibres
T.D. Browning, L. Matthiesen, A. Skorobogatov, Annals of Mathematics 180 (2014) 381–402.
View
| DOI
| Download (ext.)
T.D. Browning, L. Matthiesen, A. Skorobogatov, Annals of Mathematics 180 (2014) 381–402.
2014 | Published | Journal Article | IST-REx-ID: 2699 |
Universality of general β-ensembles
L. Erdös, P. Bourgade, H. Yau, Duke Mathematical Journal 163 (2014) 1127–1190.
[Preprint]
View
| DOI
| Download Preprint (ext.)
L. Erdös, P. Bourgade, H. Yau, Duke Mathematical Journal 163 (2014) 1127–1190.
2014 | Published | Journal Article | IST-REx-ID: 2716 |
Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J. Raskin, Acta Informatica 51 (2014) 129–163.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Randour, J. Raskin, Acta Informatica 51 (2014) 129–163.
2014 | Published | Journal Article | IST-REx-ID: 451 |
Computation of cubical homology, cohomology, and (co)homological operations via chain contraction
P. Pilarczyk, P. Real, Advances in Computational Mathematics 41 (2014) 253–275.
View
| DOI
| Download (ext.)
P. Pilarczyk, P. Real, Advances in Computational Mathematics 41 (2014) 253–275.
2014 | Published | Journal Article | IST-REx-ID: 468 |
Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin's finches
A. Cimadom, A. Ulloa, P. Meidl, M. Zöttl, E. Zöttl, B. Fessl, E. Nemeth, M. Dvorak, F. Cunninghame, S. Tebbich, PLoS One 9 (2014).
[Published Version]
View
| Files available
| DOI
A. Cimadom, A. Ulloa, P. Meidl, M. Zöttl, E. Zöttl, B. Fessl, E. Nemeth, M. Dvorak, F. Cunninghame, S. Tebbich, PLoS One 9 (2014).
2014 | Published | Conference Paper | IST-REx-ID: 475 |
First cycle games
B. Aminof, S. Rubin, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2014, pp. 83–90.
[Published Version]
View
| Files available
| DOI
| arXiv
B. Aminof, S. Rubin, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2014, pp. 83–90.
2014 | Published | Journal Article | IST-REx-ID: 535 |
Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, Algorithmica 70 (2014) 457–492.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, Algorithmica 70 (2014) 457–492.
2014 | Published | Journal Article | IST-REx-ID: 537 |
Fitness consequences of maternal and grandmaternal effects
R. Prizak, T. Ezard, R. Hoyle, Ecology and Evolution 4 (2014) 3139–3145.
[Published Version]
View
| Files available
| DOI
R. Prizak, T. Ezard, R. Hoyle, Ecology and Evolution 4 (2014) 3139–3145.
2014 | Published | Technical Report | IST-REx-ID: 5411 |
Compositional specifications for IOCO testing
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, Compositional Specifications for IOCO Testing, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, Compositional Specifications for IOCO Testing, IST Austria, 2014.