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.
9789 Publications
2015 | Published | Journal Article | IST-REx-ID: 1679 | 
Taylor's Forest
G.M. Lemoult, P. Maier, B. Hof, Physics of Fluids 27 (2015).
[Published Version]
View
| Files available
| DOI
G.M. Lemoult, P. Maier, B. Hof, Physics of Fluids 27 (2015).
2015 | Published | Journal Article | IST-REx-ID: 1681 |
Evolution of decisions in population games with sequentially searching individuals
T. Priklopil, K. Chatterjee, Games 6 (2015) 413–437.
[Published Version]
View
| Files available
| DOI
T. Priklopil, K. Chatterjee, Games 6 (2015) 413–437.
2015 | Published | Journal Article | IST-REx-ID: 1682 |
Robust satisfiability of systems of equations
P. Franek, M. Krcál, Journal of the ACM 62 (2015).
[Preprint]
View
| DOI
| Download Preprint (ext.)
P. Franek, M. Krcál, Journal of the ACM 62 (2015).
2015 | Published | Journal Article | IST-REx-ID: 1683
Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions
J.A. Letts, L.A. Sazanov, Current Opinion in Structural Biology 33 (2015) 135–145.
View
| DOI
J.A. Letts, L.A. Sazanov, Current Opinion in Structural Biology 33 (2015) 135–145.
2015 | Published | Journal Article | IST-REx-ID: 1684 |
Numerous transitions of sex chromosomes in Diptera
B. Vicoso, D. Bachtrog, PLoS Biology 13 (2015).
[Published Version]
View
| Files available
| DOI
B. Vicoso, D. Bachtrog, PLoS Biology 13 (2015).
2015 | Published | Conference Paper | IST-REx-ID: 1685 |
A fixed parameter tractable approximation scheme for the optimal cut graph of a surface
V. Cohen Addad, A.N. de Mesmay, in:, Springer, 2015, pp. 386–398.
[Preprint]
View
| DOI
| Download Preprint (ext.)
V. Cohen Addad, A.N. de Mesmay, in:, Springer, 2015, pp. 386–398.
2015 | Published | Journal Article | IST-REx-ID: 1686
Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection
E. Kiermaier, M.K. Sixt, Science 349 (2015) 1055–1056.
View
| DOI
E. Kiermaier, M.K. Sixt, Science 349 (2015) 1055–1056.
2015 | Published | Journal Article | IST-REx-ID: 1687 |
Navigating in tissue mazes: Chemoattractant interpretation in complex environments
M. Sarris, M.K. Sixt, Current Opinion in Cell Biology 36 (2015) 93–102.
[Published Version]
View
| Files available
| DOI
M. Sarris, M.K. Sixt, Current Opinion in Cell Biology 36 (2015) 93–102.
2015 | Published | Journal Article | IST-REx-ID: 1688 |
Bounds for Pach's selection theorem and for the minimum solid angle in a simplex
R. Karasev, J. Kynčl, P. Paták, Z. Patakova, M. Tancer, Discrete & Computational Geometry 54 (2015) 610–636.
[Preprint]
View
| DOI
| Download Preprint (ext.)
R. Karasev, J. Kynčl, P. Paták, Z. Patakova, M. Tancer, Discrete & Computational Geometry 54 (2015) 610–636.
2015 | Published | Conference Paper | IST-REx-ID: 1689 |
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–268.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–268.
2015 | Published | Conference Paper | IST-REx-ID: 1691
Temporal logic motion planning using POMDPs with parity objectives: Case study paper
M. Svoreňová, M. Chmelik, K. Leahy, H. Eniser, K. Chatterjee, I. Cěrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 233–238.
View
| DOI
M. Svoreňová, M. Chmelik, K. Leahy, H. Eniser, K. Chatterjee, I. Cěrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 233–238.
2015 | Published | Journal Article | IST-REx-ID: 1693 |
Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3
P. Amaro, B. Franke, J. Krauth, M. Diepold, F. Fratini, L. Safari, J. Machado, A. Antognini, F. Kottmann, P. Indelicato, R. Pohl, J. Santos, Physical Review A 92 (2015).
[Preprint]
View
| DOI
| Download Preprint (ext.)
P. Amaro, B. Franke, J. Krauth, M. Diepold, F. Fratini, L. Safari, J. Machado, A. Antognini, F. Kottmann, P. Indelicato, R. Pohl, J. Santos, Physical Review A 92 (2015).
2015 | Published | Journal Article | IST-REx-ID: 1694
Quantitative temporal simulation and refinement distances for timed systems
K. Chatterjee, V. Prabhu, IEEE Transactions on Automatic Control 60 (2015) 2291–2306.
View
| DOI
K. Chatterjee, V. Prabhu, IEEE Transactions on Automatic Control 60 (2015) 2291–2306.
2015 | Published | Journal Article | IST-REx-ID: 1695 |
Evaluation techniques for Gutzwiller wave functions in finite dimensions
J. Kaczmarczyk, T. Schickling, J. Bünemann, Physica Status Solidi (B): Basic Solid State Physics 252 (2015) 2059–2071.
[Preprint]
View
| DOI
| Download Preprint (ext.)
J. Kaczmarczyk, T. Schickling, J. Bünemann, Physica Status Solidi (B): Basic Solid State Physics 252 (2015) 2059–2071.
2015 | Published | Journal Article | IST-REx-ID: 1696 |
Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states
M. Wysokiński, J. Kaczmarczyk, J. Spałek, Physical Review B 92 (2015).
[Preprint]
View
| DOI
| Download Preprint (ext.)
M. Wysokiński, J. Kaczmarczyk, J. Spałek, Physical Review B 92 (2015).
2015 | Published | Journal Article | IST-REx-ID: 1697 |
High accuracy decoding of dynamical motion from a large retinal population
O. Marre, V. Botella Soler, K. Simmons, T. Mora, G. Tkačik, M. Berry, PLoS Computational Biology 11 (2015).
[Published Version]
View
| Files available
| DOI
O. Marre, V. Botella Soler, K. Simmons, T. Mora, G. Tkačik, M. Berry, PLoS Computational Biology 11 (2015).
2015 | Published | Journal Article | IST-REx-ID: 1698 |
The complexity of multi-mean-payoff and multi-energy games
Y. Velner, K. Chatterjee, L. Doyen, T.A. Henzinger, A. Rabinovich, J. Raskin, Information and Computation 241 (2015) 177–196.
[Preprint]
View
| DOI
| Download Preprint (ext.)
Y. Velner, K. Chatterjee, L. Doyen, T.A. Henzinger, A. Rabinovich, J. Raskin, Information and Computation 241 (2015) 177–196.
2015 | Published | Journal Article | IST-REx-ID: 1699 |
Adaptive gene introgression after secondary contact
H. Uecker, D. Setter, J. Hermisson, Journal of Mathematical Biology 70 (2015) 1523–1580.
[Published Version]
View
| Files available
| DOI
H. Uecker, D. Setter, J. Hermisson, Journal of Mathematical Biology 70 (2015) 1523–1580.
2015 | Published | Journal Article | IST-REx-ID: 1700 |
Ultralong-range order in the Fermi-Hubbard model with long-range interactions
E. Van Loon, M. Katsnelson, M. Lemeshko, Physical Review B 92 (2015).
[Preprint]
View
| DOI
| Download Preprint (ext.)
E. Van Loon, M. Katsnelson, M. Lemeshko, Physical Review B 92 (2015).
2015 | Published | Journal Article | IST-REx-ID: 1701 |
Thermodynamics and signatures of criticality in a network of neurons
G. Tkačik, T. Mora, O. Marre, D. Amodei, S. Palmer, M. Berry Ii, W. Bialek, PNAS 112 (2015) 11508–11513.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
G. Tkačik, T. Mora, O. Marre, D. Amodei, S. Palmer, M. Berry Ii, W. Bialek, PNAS 112 (2015) 11508–11513.