Verification of markov decision processes using learning algorithms
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, D. Parker, M. Ujma, in:, F. Cassez, J.-F. Raskin (Eds.),  Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Society of Industrial and Applied Mathematics, 2014, pp. 98–114.
LibreCat: https://research-explorer.ista.ac.at/record/2027
DOI: 10.1007/978-3-319-11936-6_8

Nanodomain coupling explains Ca^2+ independence of transmitter release time course at a fast central synapse
itaru Arai, P.M. Jonas, ELife 3 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/2031
DOI: 10.7554/eLife.04057

Bifurcation of the endocytic pathway into Ra-dependent and -independent transport to the vacuole
J. Toshima, S. Nishinoaki, Y. Sato, W. Yamamoto, D. Furukawa, D.E. Siekhaus, A. Sawaguchi, J. Toshima, Nature Communications 5 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/2024
DOI: 10.1038/ncomms4498

Characterizing spiking in noisy type II neurons
K. Bodova, D. Paydarfar, D. Forger,  Journal of Theoretical Biology 365 (2014) 40–54.
LibreCat: https://research-explorer.ista.ac.at/record/2028
DOI: 10.1016/j.jtbi.2014.09.041

Rabinizer 3: Safraless translation of ltl to small deterministic automata
Z. Komárková, J. Kretinsky, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 235–241.
LibreCat: https://research-explorer.ista.ac.at/record/2026
DOI: 10.1007/978-3-319-11936-6_17

Validity of spin-wave theory for the quantum Heisenberg model
M. Correggi, A. Giuliani, R. Seiringer, EPL 108 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/2029
DOI: 10.1209/0295-5075/108/20003

Mind the nuisance: Gaussian process classification using privileged noise
D. Hernandez Lobato, V. Sharmanska, K. Kersting, C. Lampert, N. Quadrianto, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems, 2014, pp. 837–845.
LibreCat: https://research-explorer.ista.ac.at/record/2033

The optogenetic promise for oncology: Episode I
Á. Inglés Prieto, E. Gschaider-Reichhart, K. Schelch, H.L. Janovjak, M. Grusch, Molecular and Cellular Oncology 1 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/2032
DOI: 10.4161/23723548.2014.964045

Enhanced chosen-ciphertext security and applications
D. Dachman Soled, G. Fuchsbauer, P. Mohassel, A. O’Neill, in:, H. Krawczyk (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 329–344.
LibreCat: https://research-explorer.ista.ac.at/record/2045
DOI: 10.1007/978-3-642-54631-0_19

Motif depletion in bacteriophages infecting hosts with CRISPR systems
A. Kupczok, J.P. Bollback, BMC Genomics 15 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/2042
DOI: 10.1186/1471-2164-15-663

Distributed computation of persistent homology
U. Bauer, M. Kerber, J. Reininghaus, in:, C.  McGeoch, U. Meyer (Eds.), Proceedings of the Workshop on Algorithm Engineering and Experiments, Society of Industrial and Applied Mathematics, 2014, pp. 31–38.
LibreCat: https://research-explorer.ista.ac.at/record/2043
DOI: 10.1137/1.9781611973198.4

Structure, function and plasticity of hippocampal dentate gyrus microcircuits
P.M. Jonas, J. Lisman, Frontiers in Neural Circuits 8 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/2041
DOI: 10.3389/fncir.2014.00107

Clear and Compress: Computing Persistent Homology in Chunks
U. Bauer, M. Kerber, J. Reininghaus, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III, Springer, 2014, pp. 103–117.
LibreCat: https://research-explorer.ista.ac.at/record/2044
DOI: 10.1007/978-3-319-04099-8_7

Coordination of progenitor specification and growth in mouse and chick spinal cord
A. Kicheva, M.T. Bollenbach, A. Ribeiro, H. Pérez Valle, R. Lovell Badge, V. Episkopou, J. Briscoe, Science 345 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/2040
DOI: 10.1126/science.1254927

Differentially-private logistic regression for detecting multiple-SNP association in GWAS databases
F. Yu, M. Rybar, C. Uhler, S. Fienberg, in:, J. Domingo Ferrer (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 170–184.
LibreCat: https://research-explorer.ista.ac.at/record/2047
DOI: 10.1007/978-3-319-11257-2_14
arXiv: 1407.8067

Probabilistic bisimulation: Naturally on distributions
H. Hermanns, J. Krdál, J. Kretinsky, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 249–265.
LibreCat: https://research-explorer.ista.ac.at/record/2053
DOI: 10.1007/978-3-662-44584-6_18

Parameterized model checking of rendezvous systems
B. Aminof, T. Kotek, S. Rubin, F. Spegni, H. Veith, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 109–124.
LibreCat: https://research-explorer.ista.ac.at/record/2052
DOI: 10.1007/978-3-662-44584-6_9

Policy-based signatures
M. Bellare, G. Fuchsbauer, in:, H. Krawczyk (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 520–537.
LibreCat: https://research-explorer.ista.ac.at/record/2046
DOI: 10.1007/978-3-642-54631-0_30

Experimental investigation of transitional flow in a toroidal pipe
J. Kühnen, M. Holzner, B. Hof, H. Kuhlmann, Journal of Fluid Mechanics 738 (2014) 463–491.
LibreCat: https://research-explorer.ista.ac.at/record/2050
DOI: 10.1017/jfm.2013.603
arXiv: 1508.06546

The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos
E. Dubas, J. Moravdíková, J. Libantová, I. Matusíková, E. Benková, I. Zur, M. Krzewska, Protoplasma 251 (2014) 1077–1087.
LibreCat: https://research-explorer.ista.ac.at/record/2059
DOI: 10.1007/s00709-014-0616-1