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.
7050 Publications
2015 |Published| Journal Article | IST-REx-ID: 1688 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Karasev R, Kynčl J, Paták P, Patakova Z, Tancer M. Bounds for Pach’s selection theorem and for the minimum solid angle in a simplex. Discrete & Computational Geometry. 2015;54(3):610-636. doi:10.1007/s00454-015-9720-z
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 1680
Michaliszyn J, Otop J, Kieroňski E. On the decidability of elementary modal logics. ACM Transactions on Computational Logic. 2015;17(1). doi:10.1145/2817825
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1682 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Franek P, Krcál M. Robust satisfiability of systems of equations. Journal of the ACM. 2015;62(4). doi:10.1145/2751524
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 1683
Letts JA, Sazanov LA. Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions. Current Opinion in Structural Biology. 2015;33(8):135-145. doi:10.1016/j.sbi.2015.08.008
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1686
Kiermaier E, Sixt MK. Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection. Science. 2015;349(6252):1055-1056. doi:10.1126/science.aad0867
View
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1692
Frehse G, Bogomolov S, Greitschus M, Strump T, Podelski A. Eliminating spurious transitions in reachability with support functions. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. ACM; 2015:149-158. doi:10.1145/2728606.2728622
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1693 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Amaro P, Franke B, Krauth J, et al. Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3. Physical Review A. 2015;92(2). doi:10.1103/PhysRevA.92.022514
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 1690
Bak S, Bogomolov S, Johnson T. HYST: A source transformation and translation tool for hybrid automaton models. In: Springer; 2015:128-133. doi:10.1145/2728606.2728630
View
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1691
Svoreňová M, Chmelik M, Leahy K, et al. Temporal logic motion planning using POMDPs with parity objectives: Case study paper. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. ACM; 2015:233-238. doi:10.1145/2728606.2728617
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1694
Chatterjee K, Prabhu V. Quantitative temporal simulation and refinement distances for timed systems. IEEE Transactions on Automatic Control. 2015;60(9):2291-2306. doi:10.1109/TAC.2015.2404612
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1695 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kaczmarczyk J, Schickling T, Bünemann J. Evaluation techniques for Gutzwiller wave functions in finite dimensions. Physica Status Solidi (B): Basic Solid State Physics. 2015;252(9):2059-2071. doi:10.1002/pssb.201552082
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 1697 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Marre O, Botella Soler V, Simmons K, Mora T, Tkačik G, Berry M. High accuracy decoding of dynamical motion from a large retinal population. PLoS Computational Biology. 2015;11(7). doi:10.1371/journal.pcbi.1004304
[Published Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1699 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Uecker H, Setter D, Hermisson J. Adaptive gene introgression after secondary contact. Journal of Mathematical Biology. 2015;70(7):1523-1580. doi:10.1007/s00285-014-0802-y
[Published Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1696 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Wysokiński M, Kaczmarczyk J, Spałek J. Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states. Physical Review B. 2015;92(12). doi:10.1103/PhysRevB.92.125135
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 1701 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tkačik G, Mora T, Marre O, et al. Thermodynamics and signatures of criticality in a network of neurons. PNAS. 2015;112(37):11508-11513. doi:10.1073/pnas.1514188112
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 |Published| Journal Article | IST-REx-ID: 1698 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Velner Y, Chatterjee K, Doyen L, Henzinger TA, Rabinovich A, Raskin J. The complexity of multi-mean-payoff and multi-energy games. Information and Computation. 2015;241(4):177-196. doi:10.1016/j.ic.2015.03.001
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 1700 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Van Loon E, Katsnelson M, Lemeshko M. Ultralong-range order in the Fermi-Hubbard model with long-range interactions. Physical Review B. 2015;92(8). doi:10.1103/PhysRevB.92.081106
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 1704 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Deuchert A, Hainzl C, Seiringer R. Note on a family of monotone quantum relative entropies. Letters in Mathematical Physics. 2015;105(10):1449-1466. doi:10.1007/s11005-015-0787-5
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 1703
Broadhurst L, Fifield G, Vanzella B, Pickup M. An evaluation of the genetic structure of seed sources and the maintenance of genetic diversity during establishment of two yellow box (Eucalyptus melliodora) seed-production areas. Australian Journal of Botany. 2015;63(5):455-466. doi:10.1071/BT15023
View
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1706 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pentina A, Ben David S. Multi-task and lifelong learning of kernels. In: Vol 9355. Springer; 2015:194-208. doi:10.1007/978-3-319-24486-0_13
[Preprint]
View
| DOI
| Download Preprint (ext.)