Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

4095 Publications

2016 | Journal Article | IST-REx-ID: 1323 | OA
N. Vyleta, C. Borges Merjane, and P. M. Jonas, “Plasticity-dependent, full detonation at hippocampal mossy fiber–CA3 pyramidal neuron synapses,” eLife, vol. 5. eLife Sciences Publications, 2016.
View | Files available | DOI
2016 | Conference Paper | IST-REx-ID: 1324
K. Chatterjee and M. Chmelik, “Indefinite-horizon reachability in Goal-DEC-POMDPs,” in Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling, London, United Kingdom, 2016, vol. 2016–January, pp. 88–96.
View | Download None (ext.)
2016 | Conference Paper | IST-REx-ID: 1325 | OA
T. Brázdil, V. Forejt, A. Kučera, and P. Novotný, “Stability in graphs and games,” presented at the CONCUR: Concurrency Theory, Quebec City, Canada, 2016, vol. 59.
View | Files available | DOI
2016 | Conference Paper | IST-REx-ID: 1326 | OA
T. Brázdil, A. Kučera, and P. Novotný, “Optimizing the expected mean payoff in Energy Markov Decision Processes,” presented at the ATVA: Automated Technology for Verification and Analysis, Chiba, Japan, 2016, vol. 9938, pp. 32–49.
View | DOI | Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1327 | OA
T. Brázdil, K. Chatterjee, M. Chmelik, A. Gupta, and P. Novotný, “Stochastic shortest path with energy constraints in POMDPs,” in Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, Singapore, 2016, pp. 1465–1466.
View | Download Preprint (ext.)

Filters and Search Terms



Filter Publications