Brázdil, Tomás, Krishnendu Chatterjee, Martin Chmelik, Vojtbch Forejt, Jan Kretinsky, Marta Kwiatkowska, David Parker, and Mateusz Ujma. “Verification of Markov Decision Processes Using Learning Algorithms.”https://doi.org/10.1007/978-3-319-11936-6_8__In https://doi.org/10.1007/978-3-319-11936-6_8__Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Franck Cassez and Jean-François Raskin, 8837:98–114. Society of Industrial and Applied Mathematics, 2014.https://doi.org/10.1007/978-3-319-11936-6_8 .

Arai, itaru, and Peter M Jonas. “Nanodomain Coupling Explains Ca^2+ Independence of Transmitter Release Time Course at a Fast Central Synapse.”https://doi.org/10.7554/eLife.04057__ELife. eLife Sciences Publications, 2014.https://doi.org/10.7554/eLife.04057 .

Toshima, Junko, Show Nishinoaki, Yoshifumi Sato, Wataru Yamamoto, Daiki Furukawa, Daria E Siekhaus, Akira Sawaguchi, and Jiro Toshima. “Bifurcation of the Endocytic Pathway into Rab5-Dependent and -Independent Transport to the Vacuole.”https://doi.org/10.1038/ncomms4498__Nature Communications. Nature Publishing Group, 2014.https://doi.org/10.1038/ncomms4498 .

Bodova, Katarina, David Paydarfar, and Daniel Forger. “Characterizing Spiking in Noisy Type II Neurons.”https://doi.org/10.1016/j.jtbi.2014.09.041__https://doi.org/10.1016/j.jtbi.2014.09.041__Journal of Theoretical Biology. Academic Press, 2014.https://doi.org/10.1016/j.jtbi.2014.09.041 .

Komárková, Zuzana, and Jan Kretinsky. “Rabinizer 3: Safraless Translation of Ltl to Small Deterministic Automata.”https://doi.org/10.1007/978-3-319-11936-6_17__In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Franck Cassez and Jean-François Raskin, 8837:235–41. Springer, 2014.https://doi.org/10.1007/978-3-319-11936-6_17 .

Correggi, Michele, Alessandro Giuliani, and Robert Seiringer. “Validity of Spin-Wave Theory for the Quantum Heisenberg Model.”https://doi.org/10.1209/0295-5075/108/20003__EPL. IOP Publishing Ltd., 2014.https://doi.org/10.1209/0295-5075/108/20003 .

Hernandez Lobato, Daniel, Viktoriia Sharmanska, Kristian Kersting, Christoph Lampert, and Novi Quadrianto. “Mind the Nuisance: Gaussian Process Classification Using Privileged Noise.” In Advances in Neural Information Processing Systems, 1:837–45. Neural Information Processing Systems, 2014.

Inglés Prieto, Álvaro, Eva Gschaider-Reichhart, Karin Schelch, Harald L Janovjak, and Michael Grusch. “The Optogenetic Promise for Oncology: Episode I.”https://doi.org/10.4161/23723548.2014.964045__Molecular and Cellular Oncology. Taylor &; Francis, 2014.https://doi.org/10.4161/23723548.2014.964045 .

Dachman Soled, Dana, Georg Fuchsbauer, Payman Mohassel, and Adam O’Neill. “Enhanced Chosen-Ciphertext Security and Applications.”https://doi.org/10.1007/978-3-642-54631-0_19__In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Hugo Krawczyk, 8383:329–44. Springer, 2014.https://doi.org/10.1007/978-3-642-54631-0_19 .

Kupczok, Anne, and Jonathan P Bollback. “Motif Depletion in Bacteriophages Infecting Hosts with CRISPR Systems.”https://doi.org/10.1186/1471-2164-15-663__BMC Genomics. BioMed Central, 2014.https://doi.org/10.1186/1471-2164-15-663 .

Bauer, Ulrich, Michael Kerber, and Jan Reininghaus. “Distributed Computation of Persistent Homology.”https://doi.org/10.1137/1.9781611973198.4__In Proceedings of the Workshop on Algorithm Engineering and Experiments, edited by Catherinehttps://doi.org/10.1137/1.9781611973198.4__McGeoch and Ulrich Meyer, 31–38. Society of Industrial and Applied Mathematics, 2014.https://doi.org/10.1137/1.9781611973198.4 .

Jonas, Peter M, and John Lisman. “Structure, Function and Plasticity of Hippocampal Dentate Gyrus Microcircuits.”https://doi.org/10.3389/fncir.2014.00107__Frontiers in Neural Circuits. Frontiers Research Foundation, 2014.https://doi.org/10.3389/fncir.2014.00107 .

Bauer, Ulrich, Michael Kerber, and Jan Reininghaus. “Clear and Compress: Computing Persistent Homology in Chunks.”https://doi.org/10.1007/978-3-319-04099-8_7__In Topological Methods in Data Analysis and Visualization III, edited by Peer-Timo Bremer, Ingrid Hotz, Valerio Pascucci, and Ronald Peikert, 103–17. Mathematics and Visualization. Springer, 2014.https://doi.org/10.1007/978-3-319-04099-8_7 .

Kicheva, Anna, Mark Tobias Bollenbach, Ana Ribeiro, Helena Pérez Valle, Robin Lovell Badge, Vasso Episkopou, and James Briscoe. “Coordination of Progenitor Specification and Growth in Mouse and Chick Spinal Cord.”https://doi.org/10.1126/science.1254927__Science. American Association for the Advancement of Science, 2014.https://doi.org/10.1126/science.1254927 .

Yu, Fei, Michal Rybar, Caroline Uhler, and Stephen Fienberg. “Differentially-Private Logistic Regression for Detecting Multiple-SNP Association in GWAS Databases.”https://doi.org/10.1007/978-3-319-11257-2_14__In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Josep Domingo Ferrer, 8744:170–84. Springer, 2014.https://doi.org/10.1007/978-3-319-11257-2_14 .

Hermanns, Holger, Jan Krdál, and Jan Kretinsky. “Probabilistic Bisimulation: Naturally on Distributions.”https://doi.org/10.1007/978-3-662-44584-6_18__In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Paolo Baldan and Daniele Gorla, 8704:249–65. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014.https://doi.org/10.1007/978-3-662-44584-6_18 .

Aminof, Benjamin, Tomer Kotek, Sacha Rubin, Francesco Spegni, and Helmut Veith. “Parameterized Model Checking of Rendezvous Systems.”https://doi.org/10.1007/978-3-662-44584-6_9__In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Paolo Baldan and Daniele Gorla, 8704:109–24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014.https://doi.org/10.1007/978-3-662-44584-6_9 .

Bellare, Mihir, and Georg Fuchsbauer. “Policy-Based Signatures.”https://doi.org/10.1007/978-3-642-54631-0_30__In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Hugo Krawczyk, 8383:520–37. Springer, 2014.https://doi.org/10.1007/978-3-642-54631-0_30 .

Kühnen, Jakob, Markus Holzner, Björn Hof, and Hendrik Kuhlmann. “Experimental Investigation of Transitional Flow in a Toroidal Pipe.”https://doi.org/10.1017/jfm.2013.603__Journal of Fluid Mechanics. Cambridge University Press, 2014.https://doi.org/10.1017/jfm.2013.603 .

Dubas, Ewa, Jana Moravdíková, Jana Libantová, Ildikó Matusíková, Eva Benková, Iwona Zur, and Monika Krzewska. “The Influence of Heat Stress on Auxin Distribution in Transgenic B Napus Microspores and Microspore Derived Embryos.”https://doi.org/10.1007/s00709-014-0616-1__Protoplasma. Springer, 2014.https://doi.org/10.1007/s00709-014-0616-1 .