Please note that IST 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.
2015 | Conference Paper | IST-REx-ID: 1692
Frehse, Goran, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, and Andreas Podelski. “Eliminating Spurious Transitions in Reachability with Support Functions.” In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 149–58. ACM, 2015. https://doi.org/10.1145/2728606.2728622.View | DOI
2015 | Journal Article | IST-REx-ID: 1697
Marre, Olivier, Vicente Botella Soler, Kristina Simmons, Thierry Mora, Gasper Tkacik, and Michael Berry. “High Accuracy Decoding of Dynamical Motion from a Large Retinal Population.” PLoS Computational Biology 11, no. 7 (2015). https://doi.org/10.1371/journal.pcbi.1004304.View | Files available | DOI
2015 | Journal Article | IST-REx-ID: 1700
Van Loon, Erik, Mikhail Katsnelson, and Mikhail Lemeshko. “Ultralong-Range Order in the Fermi-Hubbard Model with Long-Range Interactions.” Physical Review B 92, no. 8 (2015). https://doi.org/10.1103/PhysRevB.92.081106.View | DOI | Download (ext.)
2015 | Journal Article | IST-REx-ID: 1712
Ratheesh, Aparna, Vera Belyaeva, and Daria E Siekhaus. “Drosophila Immune Cell Migration and Adhesion during Embryonic Development and Larval Immune Responses.” Current Opinion in Cell Biology 36, no. 10 (2015): 71–79. https://doi.org/10.1016/j.ceb.2015.07.003.View | Files available | DOI
2015 | Conference Paper | IST-REx-ID: 1820
Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Optimal Cost Almost-Sure Reachability in POMDPs.” In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , 5:3496–3502. AAAI Press, 2015.View | Files available | Download (ext.) | arXiv