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.
442 Publications
2015 | Conference Paper | IST-REx-ID: 1691
Svoreňová, Mária, et al. “Temporal Logic Motion Planning Using POMDPs with Parity Objectives: Case Study Paper.” Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 233–38, doi:10.1145/2728606.2728617.
View
| DOI
2015 | Journal Article | IST-REx-ID: 1694
Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Temporal Simulation and Refinement Distances for Timed Systems.” IEEE Transactions on Automatic Control, vol. 60, no. 9, IEEE, 2015, pp. 2291–306, doi:10.1109/TAC.2015.2404612.
View
| DOI
2015 | Journal Article | IST-REx-ID: 1695 | 
Kaczmarczyk, Jan, et al. “Evaluation Techniques for Gutzwiller Wave Functions in Finite Dimensions.” Physica Status Solidi (B): Basic Solid State Physics, vol. 252, no. 9, Wiley, 2015, pp. 2059–71, doi:10.1002/pssb.201552082.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1697 |
Marre, Olivier, et al. “High Accuracy Decoding of Dynamical Motion from a Large Retinal Population.” PLoS Computational Biology, vol. 11, no. 7, e1004304, Public Library of Science, 2015, doi:10.1371/journal.pcbi.1004304.
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1699 |
Uecker, Hildegard, et al. “Adaptive Gene Introgression after Secondary Contact.” Journal of Mathematical Biology, vol. 70, no. 7, Springer, 2015, pp. 1523–80, doi:10.1007/s00285-014-0802-y.
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1696 |
Wysokiński, Marcin, et al. “Gutzwiller Wave Function Solution for Anderson Lattice Model: Emerging Universal Regimes of Heavy Quasiparticle States.” Physical Review B, vol. 92, no. 12, 125135, American Physical Society, 2015, doi:10.1103/PhysRevB.92.125135.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1701 |
Tkačik, Gašper, et al. “Thermodynamics and Signatures of Criticality in a Network of Neurons.” PNAS, vol. 112, no. 37, National Academy of Sciences, 2015, pp. 11508–13, doi:10.1073/pnas.1514188112.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1698 |
Velner, Yaron, et al. “The Complexity of Multi-Mean-Payoff and Multi-Energy Games.” Information and Computation, vol. 241, no. 4, Elsevier, 2015, pp. 177–96, doi:10.1016/j.ic.2015.03.001.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1700 |
Van Loon, Erik, et al. “Ultralong-Range Order in the Fermi-Hubbard Model with Long-Range Interactions.” Physical Review B, vol. 92, no. 8, 081106, American Physical Society, 2015, doi:10.1103/PhysRevB.92.081106.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1704 |
Deuchert, Andreas, et al. “Note on a Family of Monotone Quantum Relative Entropies.” Letters in Mathematical Physics, vol. 105, no. 10, Springer, 2015, pp. 1449–66, doi:10.1007/s11005-015-0787-5.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)