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.
7053 Publications
2015 |Published| Journal Article | IST-REx-ID: 1682 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Franek, Peter, and Marek Krcál. “Robust Satisfiability of Systems of Equations.” Journal of the ACM, vol. 62, no. 4, 26, ACM, 2015, doi:10.1145/2751524.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 1683
Letts, James A., and Leonid A. Sazanov. “Gaining Mass: The Structure of Respiratory Complex I-from Bacterial towards Mitochondrial Versions.” Current Opinion in Structural Biology, vol. 33, no. 8, Elsevier, 2015, pp. 135–45, doi:10.1016/j.sbi.2015.08.008.
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1686
Kiermaier, Eva, and Michael K. Sixt. “Fragmented Communication between Immune Cells: Neutrophils Blaze a Trail with Migratory Cues for T Cells to Follow to Sites of Infection.” Science, vol. 349, no. 6252, American Association for the Advancement of Science, 2015, pp. 1055–56, doi:10.1126/science.aad0867.
View
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1692
Frehse, Goran, et al. “Eliminating Spurious Transitions in Reachability with Support Functions.” Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 149–58, 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, Pedro, et al. “Quantum Interference Effects in Laser Spectroscopy of Muonic Hydrogen, Deuterium, and Helium-3.” Physical Review A, vol. 92, no. 2, 022514, American Physical Society, 2015, doi:10.1103/PhysRevA.92.022514.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 1690
Bak, Stanley, et al. HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models. Springer, 2015, pp. 128–33, doi:10.1145/2728606.2728630.
View
| DOI
2015 |Published| 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 |Published| 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 |Published| Journal Article | IST-REx-ID: 1695 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 1697 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 1699 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 1696 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 1701 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 1698 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 1700 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 1704 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.)
2015 |Published| Journal Article | IST-REx-ID: 1703
Broadhurst, Linda, et al. “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, vol. 63, no. 5, CSIRO, 2015, pp. 455–66, 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, Anastasia, and Shai Ben David. Multi-Task and Lifelong Learning of Kernels. Vol. 9355, Springer, 2015, pp. 194–208, doi:10.1007/978-3-319-24486-0_13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 1712 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ratheesh, Aparna, et al. “Drosophila Immune Cell Migration and Adhesion during Embryonic Development and Larval Immune Responses.” Current Opinion in Cell Biology, vol. 36, no. 10, Elsevier, 2015, pp. 71–79, doi:10.1016/j.ceb.2015.07.003.
[Published Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1710 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Akopyan, Arseniy, and Alexander Plakhov. “Minimal Resistance of Curves under the Single Impact Assumption.” Society for Industrial and Applied Mathematics, vol. 47, no. 4, SIAM, 2015, pp. 2754–69, doi:10.1137/140993843.
[Preprint]
View
| DOI
| Download Preprint (ext.)