Barton, Nicholas H, Alison Etheridge, and Amandine Véber. “The Infinitesimal Model: Definition Derivation and Implications.”https://doi.org/10.1016/j.tpb.2017.06.001__Theoretical Population Biology. Academic Press, 2017.https://doi.org/10.1016/j.tpb.2017.06.001 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “The Cost of Exactness in Quantitative Reachability.”https://doi.org/10.1007/978-3-319-63121-9_18__In Models, Algorithms, Logics and Tools, edited by Luca Aceto, Giorgio Bacci, Anna Ingólfsdóttir, Axel Legay, and Radu Mardare, 10460:367–81. Theoretical Computer Science and General Issues. Springer, 2017.https://doi.org/10.1007/978-3-319-63121-9_18 .

Nikolic, Nela, Zrinka Didara, and Isabella Moll. “MazF Activation Promotes Translational Heterogeneity of the GrcA MRNA in Escherichia Coli Populations.”https://doi.org/10.7717/peerj.3830__PeerJ. PeerJ, 2017.https://doi.org/10.7717/peerj.3830 .

Chatterjee, Krishnendu, Hongfei Fu, and Aniket Murhekar. “Automated Recurrence Analysis for Almost Linear Expected Runtime Bounds.”https://doi.org/10.1007/978-3-319-63387-9_6__edited by Rupak Majumdar and Viktor Kundak, 10426:118–39. Springer, 2017.https://doi.org/10.1007/978-3-319-63387-9_6 .

Sauermann, Stefan, Veronika David, Alois Schlögl, Reinhard Egelkraut, Matthias Frohner, Birgit Pohn, Philipp Urbauer, and Alexander Mense. “Biosignals Standards and FHIR: The Way to Go,”https://doi.org/10.3233/978-1-61499-759-7-356__236:356–62. IOS Press, 2017.https://doi.org/10.3233/978-1-61499-759-7-356 .

Lewin, Mathieu, Phan Nam, and Nicolas Rougerie. “A Note on 2D Focusing Many Boson Systems.”https://doi.org/10.1090/proc/13468__Proceedings of the American Mathematical Society. American Mathematical Society, 2017.https://doi.org/10.1090/proc/13468 .

Alwen, Joel F, Binchi Chen, Krzysztof Z Pietrzak, Leonid Reyzin, and Stefano Tessaro. “Scrypt Is Maximally Memory Hard.”https://doi.org/10.1007/978-3-319-56617-7_2__edited by Jean-Sébastien Coron and Jesper Buus Nielsen, 10212:33–62. Springer, 2017.https://doi.org/10.1007/978-3-319-56617-7_2 .

Bakhirkin, Alexey, Thomas Ferrere, Oded Maler, and Dogan Ulus. “On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.”https://doi.org/10.1007/978-3-319-65765-3_11__edited by Alessandro Abate and Gilles Geeraerts, 10419:189–206. Springer, 2017.https://doi.org/10.1007/978-3-319-65765-3_11 .

Alwen, Joel F, Jeremiah Blocki, and Krzysztof Z Pietrzak. “Depth-Robust Graphs and Their Cumulative Memory Complexity.”https://doi.org/10.1007/978-3-319-56617-7_1__edited by Jean-Sébastien Coron and Jesper Buus Nielsen, 10212:3–32. Springer, 2017.https://doi.org/10.1007/978-3-319-56617-7_1 .

Henzinger, Thomas A, Bernhard Kragl, and Shaz Qadeer. Synchronizing the Asynchronous. IST Austria, 2017.https://doi.org/10.15479/AT:IST-2018-853-v2-2 .

Gerencser, Mate, and István Gyöngy. “Localization Errors in Solving Stochastic Partial Differential Equations in the Whole Space.”https://doi.org/10.1090/mcom/3201__Mathematics of Computation. American Mathematical Society, 2017.https://doi.org/10.1090/mcom/3201 .

Ashok, Pranav, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretinsky, and Tobias Meggendorfer. “Value Iteration for Long Run Average Reward in Markov Decision Processes.”https://doi.org/10.1007/978-3-319-63387-9_10__edited by Rupak Majumdar and Viktor Kundak, 10426:201–21. Springer, 2017.https://doi.org/10.1007/978-3-319-63387-9_10 .

Kolmogorov, Vladimir, Andrei Krokhin, and Michal Rolinek. “The Complexity of General-Valued CSPs.”https://doi.org/10.1137/16M1091836__SIAM Journal on Computing. SIAM, 2017.https://doi.org/10.1137/16M1091836 .

Kuske, Jan, Paul Swoboda, and Stefanie Petra. “A Novel Convex Relaxation for Non Binary Discrete Tomography.”https://doi.org/10.1007/978-3-319-58771-4_19__edited by François Lauze, Yiqiu Dong, and Anders Bjorholm Dahl, 10302:235–46. Springer, 2017.https://doi.org/10.1007/978-3-319-58771-4_19 .

Skórski, Maciej. “On the Complexity of Breaking Pseudoentropy.”https://doi.org/10.1007/978-3-319-55911-7_43__edited by Gerhard Jäger and Silvia Steila, 10185:600–613. Springer, 2017.https://doi.org/10.1007/978-3-319-55911-7_43 .

Skórski, Maciej. “A Cryptographic View of Regularity Lemmas: Simpler Unified Proofs and Refined Bounds.”https://doi.org/10.1007/978-3-319-55911-7_42__edited by Gerhard Jäger and Silvia Steila, 10185:586–99. Springer, 2017.https://doi.org/10.1007/978-3-319-55911-7_42 .

Chatterjee, Krishnendu, Wolfgang Dvorák, Monika H Henzinger, and Veronika Loitzenbauer. “Improved Set-Based Symbolic Algorithms for Parity Games,”https://doi.org/10.4230/LIPICS.CSL.2017.18__Vol. 82. Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2017.https://doi.org/10.4230/LIPICS.CSL.2017.18 .

Fulek, Radoslav. “Embedding Graphs into Embedded Graphs,”https://doi.org/10.4230/LIPICS.ISAAC.2017.34__Vol. 92. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPICS.ISAAC.2017.34 .

Makohon Moore, Alvin, Ming Zhang, Johannes Reiter, Ivana Boei, Benjamin Allen, Deepanjan Kundu, Krishnendu Chatterjee, et al. “Limited Heterogeneity of Known Driver Gene Mutations among the Metastases of Individual Patients with Pancreatic Cancer.”https://doi.org/10.1038/ng.3764__Nature Genetics. Nature Publishing Group, 2017.https://doi.org/10.1038/ng.3764 .

Alwen, Joel F, Jeremiah Blocki, and Ben Harsha. “Practical Graphs for Optimal Side-Channel Resistant Memory-Hard Functions.”https://doi.org/10.1145/3133956.3134031__In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 1001–17. ACM Press, 2017.https://doi.org/10.1145/3133956.3134031 .

Kicheva, Anna, and Nicolas Rivron. “Creating to Understand – Developmental Biology Meets Engineering in Paris.”https://doi.org/10.1242/dev.144915__Development. Company of Biologists, 2017.https://doi.org/10.1242/dev.144915 .

Skórski, Maciej. “On the Complexity of Estimating Rènyi Divergences.”https://doi.org/10.1109/isit.2017.8006529__In 2017 IEEE International Symposium on Information Theory (ISIT). IEEE, 2017.https://doi.org/10.1109/isit.2017.8006529 .

Renault, Thibaud, Anthony Abraham, Tobias Bergmiller, Guillaume Paradis, Simon Rainville, Emmanuelle Charpentier, Calin C Guet, et al. “Bacterial Flagella Grow through an Injection Diffusion Mechanism.”https://doi.org/10.7554/eLife.23136__ELife. eLife Sciences Publications, 2017.https://doi.org/10.7554/eLife.23136 .

Möller, Barbara, Colette Ten Hove, Daoquan Xiang, Nerys Williams, Lorena López, Saiko Yoshida, Margot Smit, Raju Datla, and Dolf Weijers. “Auxin Response Cell Autonomously Controls Ground Tissue Initiation in the Early Arabidopsis Embryo.”https://doi.org/10.1073/pnas.1616493114__PNAS. National Academy of Sciences, 2017.https://doi.org/10.1073/pnas.1616493114 .

Der, Ralf, and Georg S Martius. “Self Organized Behavior Generation for Musculoskeletal Robots.”https://doi.org/10.3389/fnbot.2017.00008__Frontiers in Neurorobotics. Frontiers Research Foundation, 2017.https://doi.org/10.3389/fnbot.2017.00008 .

Kage, Frieda, Moritz Winterhoff, Vanessa Dimchev, Jan Müller, Tobias Thalheim, Anika Freise, Stefan Brühmann, et al. “FMNL Formins Boost Lamellipodial Force Generation.”https://doi.org/10.1038/ncomms14832__Nature Communications. Nature Publishing Group, 2017.https://doi.org/10.1038/ncomms14832 .

Rickman, Jamie, Christian F Düllberg, Nicholas Cade, Lewis Griffin, and Thomas Surrey. “Steady State EB Cap Size Fluctuations Are Determined by Stochastic Microtubule Growth and Maturation.”https://doi.org/10.1073/pnas.1620274114__PNAS. National Academy of Sciences, 2017.https://doi.org/10.1073/pnas.1620274114 .

Shi, Liang, Björn Hof, Markus Rampp, and Marc Avila. “Hydrodynamic Turbulence in Quasi Keplerian Rotating Flows.”https://doi.org/10.1063/1.4981525__Physics of Fluids. American Institute of Physics, 2017.https://doi.org/10.1063/1.4981525 .

Kong, Hui, Sergiy Bogomolov, Christian Schilling, Yu Jiang, and Thomas A Henzinger. “Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters.”https://doi.org/10.1145/3049797.3049814__In Proceedings of the 20th International Conference on Hybrid Systems, 163–72. ACM, 2017.https://doi.org/10.1145/3049797.3049814 .

Horsthemke, Markus, Anne Bachg, Katharina Groll, Sven Moyzio, Barbara Müther, Sandra Hemkemeyer, Roland Wedlich Söldner, et al. “Multiple Roles of Filopodial Dynamics in Particle Capture and Phagocytosis and Phenotypes of Cd and Myo10 Deletion.”https://doi.org/10.1074/jbc.M116.766923__Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2017.https://doi.org/10.1074/jbc.M116.766923 .

Synek, Lukás, Nemanja Vukasinovi, Ivan Kulich, Michal Hála, Klára Aldorfová, Matyas Fendrych, and Viktor dárský. “EXO70 Is a Key Regulatory Factor for Optimal Tip Growth of Pollen.”https://doi.org/10.1104/pp.16.01282__Plant Physiology. American Society of Plant Biologists, 2017.https://doi.org/10.1104/pp.16.01282 .

Hilbe, Christian, Vaquero Martinez, Krishnendu Chatterjee, and Martin Nowak. “Memory-n Strategies of Direct Reciprocity.”https://doi.org/10.1073/pnas.1621239114__PNAS. National Academy of Sciences, 2017.https://doi.org/10.1073/pnas.1621239114 .

Schreck, Camille, Damien Rohmer, and Stefanie Hahmann. “Interactive Paper Tearing.”https://doi.org/10.1111/cgf.13110__Computer Graphics Forum. Wiley, 2017.https://doi.org/10.1111/cgf.13110 .

Vaahtomeri, Kari, Markus Brown, Robert Hauschild, Ingrid de Vries, Alexander F Leithner, Matthias Mehling, Walter Kaufmann, and Michael K Sixt. “Locally Triggered Release of the Chemokine CCL21 Promotes Dendritic Cell Transmigration across Lymphatic Endothelia.”https://doi.org/10.1016/j.celrep.2017.04.027__Cell Reports. Cell Press, 2017.https://doi.org/10.1016/j.celrep.2017.04.027 .

Lademann, Claudio, Jörg Renkawitz, Boris Pfander, and Stefan Jentsch. “The INO80 Complex Removes A.Z to Promote Presynaptic Filament Formation during Homologous Recombination.”https://doi.org/10.1016/j.celrep.2017.04.051__Cell Reports. Cell Press, 2017.https://doi.org/10.1016/j.celrep.2017.04.051 .

Chatterjee, Krishnendu, Laurent Doyen, Emmanuel Filiot, and Jean Raskin. “Doomsday Equilibria for Omega-Regular Games.”https://doi.org/10.1016/j.ic.2016.10.012__Information and Computation. Elsevier, 2017.https://doi.org/10.1016/j.ic.2016.10.012 .

Martius, Georg S, and Christoph Lampert. “Extrapolation and Learning Equations.” In 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings. International Conference on Learning Representations, 2017.

Chatterjee, Krishnendu, and Nir Piterman. “Obligation Blackwell Games and P-Automata.”https://doi.org/10.1017/jsl.2016.71__Journal of Symbolic Logic. Cambridge University Press, 2017.https://doi.org/10.1017/jsl.2016.71 .

Briscoe, James, and Anna Kicheva. “The Physics of Development 100 Years after D’Arcy Thompson’s ‘on Growth and Form.’”https://doi.org/10.1016/j.mod.2017.03.005__Mechanisms of Development. Elsevier, 2017.https://doi.org/10.1016/j.mod.2017.03.005 .

Edelsbrunner, Herbert, and Hubert Wagner. “Topological Data Analysis with Bregman Divergences,”https://doi.org/10.4230/LIPIcs.SoCG.2017.39__77:391–3916. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.SoCG.2017.39 .

Davison, Ben. “The Critical CoHA of a Quiver with Potential.”https://doi.org/10.1093/qmath/haw053__Quarterly Journal of Mathematics. Oxford University Press, 2017.https://doi.org/10.1093/qmath/haw053 .

Miki, Takafumi, Walter Kaufmann, Gerardo Malagon, Laura Gomez, Katsuhiko Tabuchi, Masahiko Watanabe, Ryuichi Shigemoto, and Alain Marty. “Numbers of Presynaptic C+ Channel Clusters Match Those of Functionally Defined Vesicular Docking Sites in Single Central Synapses.”https://doi.org/10.1073/pnas.1704470114__PNAS. National Academy of Sciences, 2017.https://doi.org/10.1073/pnas.1704470114 .

Veß, Astrid, Ulrich Blache, Laura Leitner, Angela Kurz, Anja Ehrenpfordt, Michael K Sixt, and Guido Posern. “A Dual Phenotype of MDA MB 468 Cancer Cells Reveals Mutual Regulation of Tensin3 and Adhesion Plasticity.”https://doi.org/10.1242/jcs.200899__Journal of Cell Science. Company of Biologists, 2017.https://doi.org/10.1242/jcs.200899 .

Pietrzak, Krzysztof Z, and Maciej Skórski. “Non Uniform Attacks against Pseudoentropy,”https://doi.org/10.4230/LIPIcs.ICALP.2017.39__Vol. 80. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.ICALP.2017.39 .

Wang, Yejun, Mallika Nagarajan, Caroline Uhler, and Gv Shivashankar. “Orientation and Repositioning of Chromosomes Correlate with Cell Geometry Dependent Gene Expression.”https://doi.org/10.1091/mbc.E16-12-0825__Molecular Biology of the Cell. American Society for Cell Biology, 2017.https://doi.org/10.1091/mbc.E16-12-0825 .

Veller, Carl, Laura Hayward, Martin Nowak, and Christian Hilbe. “The Red Queen and King in Finite Populations.”https://doi.org/10.1073/pnas.1702020114__PNAS. National Academy of Sciences, 2017.https://doi.org/10.1073/pnas.1702020114 .

Barzanjeh, Shabir, Vahid Salari, Jack Tuszynski, Michal Cifra, and Christoph Simon. “Optomechanical Proposal for Monitoring Microtubule Mechanical Vibrations.”https://doi.org/10.1103/PhysRevE.96.012404__https://doi.org/10.1103/PhysRevE.96.012404__Physical Review E Statistical Nonlinear and Soft Matter Physics . American Institute of Physics, 2017.https://doi.org/10.1103/PhysRevE.96.012404 .

Kyndl, Jan, and Zuzana Patakova. “On the Nonexistence of k Reptile Simplices in d^3 and d^4.” The Electronic Journal of Combinatorics. International Press, 2017.

Akopyan, Arseniy, and Roman Karasev. “A Tight Estimate for the Waist of the Ball .”https://doi.org/10.1112/blms.12062__Bulletin of the London Mathematical Society. Wiley-Blackwell, 2017.https://doi.org/10.1112/blms.12062 .

Nagy, Balint, Anahit Hovhannisyan, Ruxandra Barzan, Ting Chen, and Maria Kukley. “Different Patterns of Neuronal Activity Trigger Distinct Responses of Oligodendrocyte Precursor Cells in the Corpus Callosum.”https://doi.org/10.1371/journal.pbio.2001993__PLoS Biology. Public Library of Science, 2017.https://doi.org/10.1371/journal.pbio.2001993 .

Obremski, Maciej, and Maciej Skórski. “Renyi Entropy Estimation Revisited,”https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20__Vol. 81. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20 .

Andergassen, Daniel, Christoph Dotter, Dyniel Wenzel, Verena Sigl, Philipp Bammer, Markus Muckenhuber, Daniela Mayer, et al. “Mapping the Mouse Allelome Reveals Tissue Specific Regulation of Allelic Expression.”https://doi.org/10.7554/eLife.25125__ELife. eLife Sciences Publications, 2017.https://doi.org/10.7554/eLife.25125 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Bidirectional Nested Weighted Automata,”https://doi.org/10.4230/LIPIcs.CONCUR.2017.5__Vol. 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.CONCUR.2017.5 .

Fischer, Julian L. “Weak–Strong Uniqueness of Solutions to Entropy Dissipating Reaction–Diffusion Equations.”https://doi.org/10.1016/j.na.2017.03.001__Nonlinear Analysis: Theory, Methods and Applications. Elsevier, 2017.https://doi.org/10.1016/j.na.2017.03.001 .

Brailoiu, Gabriela, Elena Deliu, Jeffrey Barr, Linda Console Bram, Alexandra Ciuciu, Mary Abood, Ellen Unterwald, and Eugen Breiloiu. “HIV Tat Exciteshttps://doi.org/10.1016/j.drugalcdep.2017.04.015__Receptor-like Expressing Neurons from Rat Nucleus Accumbens.”https://doi.org/10.1016/j.drugalcdep.2017.04.015__Drug and Alcohol Dependence. Elsevier, 2017.https://doi.org/10.1016/j.drugalcdep.2017.04.015 .

Chatterjee, Krishnendu, and Yaron Velner. “The Complexity of Mean-Payoff Pushdown Games.”https://doi.org/10.1145/3121408__Journal of the ACM. ACM, 2017.https://doi.org/10.1145/3121408 .

Chatterjee, Krishnendu, and Yaron Velner. “Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.”https://doi.org/10.1016/j.jcss.2017.04.005__Journal of Computer and System Sciences. Academic Press, 2017.https://doi.org/10.1016/j.jcss.2017.04.005 .

Humplik, Jan, and Gasper Tkadik. “Probabilistic Models for Neural Populations That Naturally Capture Global Coupling and Criticality.”https://doi.org/10.1371/journal.pcbi.1005763__PLoS Computational Biology. Public Library of Science, 2017.https://doi.org/10.1371/journal.pcbi.1005763 .

Ajanki, Oskari H, Torben H Krüger, and László Erdös. “Singularities of Solutions to Quadratic Vector Equations on the Complex Upper Half Plane.”https://doi.org/10.1002/cpa.21639__Communications on Pure and Applied Mathematics. Wiley-Blackwell, 2017.https://doi.org/10.1002/cpa.21639 .

Morris, Emily, Marcus Griffiths, Agata Golebiowska, Stefan Mairhofer, Jasmine Burr Hersey, Tatsuaki Goh, Daniel von Wangenheim, et al. “Shaping 3D Root System Architecture.”https://doi.org/10.1016/j.cub.2017.06.043__Current Biology. Cell Press, 2017.https://doi.org/10.1016/j.cub.2017.06.043 .

Harpaz, Roy, Gasper Tkadik, and Elad Schneidman. “Discrete Modes of Social Information Processing Predict Individual Behavior of Fish in a Group.”https://doi.org/10.1073/pnas.1703817114__PNAS. National Academy of Sciences, 2017.https://doi.org/10.1073/pnas.1703817114 .

Hetterich, Daniel, Maksym Serbyn, Fernando Domínguez, Frank Pollmann, and Björn Trauzettel. “Noninteracting Central Site Model Localization and Logarithmic Entanglement Growth.”https://doi.org/10.1103/PhysRevB.96.104203__Physical Review B. American Physical Society, 2017.https://doi.org/10.1103/PhysRevB.96.104203 .

Smole, Anee, Dusko Lainsdek, Urban Bezeljak, Simon Horvat, and Roman Jerala. “A Synthetic Mammalian Therapeutic Gene Circuit for Sensing and Suppressing Inflammation.”https://doi.org/10.1016/j.ymthe.2016.10.005__Molecular Therapy. Elsevier, 2017.https://doi.org/10.1016/j.ymthe.2016.10.005 .

Fulek, Radoslav, Jan Kyndl, and Dömötör Pálvölgyi. “Unified Hanani Tutte Theorem.”https://doi.org/10.37236/6663__Electronic Journal of Combinatorics. International Press, 2017.https://doi.org/10.37236/6663 .

Andrae, Magdalena, and Márton Villányi. “Der Springer Compact-Deal – Ein Erster Einblick in Die Evaluierung Einer Offsetting-Vereinbarung.”https://doi.org/10.31263/voebm.v70i2.1898__Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen Und Bibliothekare. VÖB, 2017.https://doi.org/10.31263/voebm.v70i2.1898 .

Petritsch, Barbara. “Metadata for Research Data in Practice.”https://doi.org/10.31263/voebm.v70i2.1678__Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen &; Bibliothekare. VÖB, 2017.https://doi.org/10.31263/voebm.v70i2.1678 .

Avni, Guy, Shibashis Guha, and Orna Kupferman. “Timed Network Games with Clocks,”https://doi.org/10.4230/LIPIcs.MFCS.2017.37__Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.MFCS.2017.37 .

Prentice, Jason, Olivier Marre, Mark Ioffe, Adrianna Loback, Gasper Tkadik, and Michael Berry. “Data from: Error-Robust Modes of the Retinal Population Code.”https://doi.org/10.5061/dryad.1f1rc__Dryad, 2017.https://doi.org/10.5061/dryad.1f1rc .

Nikolic, Nela, Frank Schreiber, Alma Dal Co, Daniel Kiviet, Tobias Bergmiller, Sten Littmann, Marcel Kuypers, and Martin Ackermann. “Cell-to-Cell Variation and Specialization in Sugar Metabolism in Clonal Bacterial Populations.”https://doi.org/10.1371/journal.pgen.1007122__PLoS Genetics. Public Library of Science, 2017.https://doi.org/10.1371/journal.pgen.1007122 .

Pleska, Maros, and Calin C Guet. “Supplementary Materials and Methods; Full Data Set from Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification.”https://doi.org/10.6084/m9.figshare.5633917.v1__The Royal Society, 2017.https://doi.org/10.6084/m9.figshare.5633917.v1 .

Chalk, Matthew J, Paul Masset, Boris Gutkin, and Sophie Denève. “Sensory Noise Predicts Divisive Reshaping of Receptive Fields.”https://doi.org/10.1371/journal.pcbi.1005582__PLoS Computational Biology. Public Library of Science, 2017.https://doi.org/10.1371/journal.pcbi.1005582 .

Riccio, Paul, Christina Cebrián, Hui Zong, Simon Hippenmeyer, and Frank Costantini. “Data from: Ret and Et Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis.”https://doi.org/10.5061/dryad.pk16b__Dryad, 2017.https://doi.org/10.5061/dryad.pk16b .

Schlögl, Alois, and Janos Kiss. “Scientific Computing at IST Austria.” In AHP – Austrian HPC Meeting 2017, 28. FSP Scientific Computing, 2017.

Kretinsky, Jan, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger. “Index Appearance Record for Transforming Rabin Automata into Parity Automata.”https://doi.org/10.1007/978-3-662-54577-5_26__In Tools and Algorithms for the Construction and Analysis of Systems, 10205:443–60. Springer, 2017.https://doi.org/10.1007/978-3-662-54577-5_26 .

Avni, Guy, Thomas A Henzinger, and Ventsislav K Chonev. “Infinite-Duration Bidding Games,”https://doi.org/10.4230/LIPIcs.CONCUR.2017.21__Vol. 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.CONCUR.2017.21 .

Lubiw, Anna, Zuzana Masárová, and Uli Wagner. “A Proof of the Orbit Conjecture for Flipping Edge Labelled Triangulations,”https://doi.org/10.4230/LIPIcs.SoCG.2017.49__Vol. 77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.SoCG.2017.49 .

Daca, Przemyslaw. “Statistical and Logical Methods for Property Checking.”https://doi.org/10.15479/AT:ISTA:TH_730__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:TH_730 .

Payne, Pavel. “Bacterial Herd and Social Immunity to Phages.” Institute of Science and Technology Austria, 2017.

Pleska, Maros, and Calin C Guet. “Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification.”https://doi.org/10.1098/rsbl.2017.0646__Biology Letters. The Royal Society, 2017.https://doi.org/10.1098/rsbl.2017.0646 .

Mitosch, Karin. “Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics.”https://doi.org/10.15479/AT:ISTA:th_862__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_862 .

Mitosch, Karin, Georg Rieckh, and Mark Tobias Bollenbach. “Noisy Response to Antibiotic Stress Predicts Subsequent Single Cell Survival in an Acidic Environment.”https://doi.org/10.1016/j.cels.2017.03.001__Cell Systems. Cell Press, 2017.https://doi.org/10.1016/j.cels.2017.03.001 .

Pavlogiannis, Andreas. “Algorithmic Advances in Program Analysis and Their Applications.”https://doi.org/10.15479/AT:ISTA:th_854__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_854 .

Jesse, Fabienne. “The Lac Operon in the Wild.”https://doi.org/10.15479/AT:ISTA:th_857__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_857 .

Rybar, Michal. “(The Exact Security of) Message Authentication Codes.”https://doi.org/10.15479/AT:ISTA:th_828__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_828 .

Gazi, Peter, Krzysztof Z Pietrzak, and Michal Rybar. “The Exact Security of PMAC.”https://doi.org/10.13154/TOSC.V2016.I2.145-161__IACR Transactions on Symmetric Cryptology. Ruhr University Bochum, 2017.https://doi.org/10.13154/TOSC.V2016.I2.145-161 .

Xu, Haibing. “Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks.”https://doi.org/10.15479/AT:ISTA:th_858__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_858 .

Adamowski, Maciek. “Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana .”https://doi.org/10.15479/AT:ISTA:th_842__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_842 .

Rolinek, Michal. “Complexity of Constraint Satisfaction.”https://doi.org/10.15479/AT:ISTA:th_815__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_815 .

Edelsbrunner, Herbert, Anton Nikitenko, and Matthias Reitzner. “Expected Sizes of Poisson Delaunay Mosaics and Their Discrete Morse Functions.”https://doi.org/10.1017/apr.2017.20__Advances in Applied Probability. Cambridge University Press, 2017.https://doi.org/10.1017/apr.2017.20 .

Abusalah, Hamza M, Joel F Alwen, Bram Cohen, Danylo Khilko, Krzysztof Z Pietrzak, and Leonid Reyzin. “Beyond Hellman’s Time-Memory Trade-Offs with Applications to Proofs of Space,”https://doi.org/10.1007/978-3-319-70697-9_13__10625:357–79. Springer, 2017.https://doi.org/10.1007/978-3-319-70697-9_13 .

Alt, Johannes. “Singularities of the Density of States of Random Gram Matrices.”https://doi.org/10.1214/17-ECP97__Electronic Communications in Probability. Institute of Mathematical Statistics, 2017.https://doi.org/10.1214/17-ECP97 .

Bogomolov, Sergiy, Mirco Giacobbe, Thomas A Henzinger, and Hui Kong. “Conic Abstractions for Hybrid Systems,”https://doi.org/10.1007/978-3-319-65765-3_7__10419:116–32. Springer, 2017.https://doi.org/10.1007/978-3-319-65765-3_7 .

Bogomolov, Sergiy, Goran Frehse, Mirco Giacobbe, and Thomas A Henzinger. “Counterexample Guided Refinement of Template Polyhedra,”https://doi.org/10.1007/978-3-662-54577-5_34__10205:589–606. Springer, 2017.https://doi.org/10.1007/978-3-662-54577-5_34 .

Erdös, László, and Dominik J Schröder. “Fluctuations of Functions of Wigner Matrices.”https://doi.org/10.1214/16-ECP38__Electronic Communications in Probability. Institute of Mathematical Statistics, 2017.https://doi.org/10.1214/16-ECP38 .

Elek, Oskar, Denis Sumin, Ran Zhang, Tim Weyrich, Karol Myszkowski, Bernd Bickel, Alexander Wilkie, and Jaroslav Krivanek. “Scattering-Aware Texture Reproduction for 3D Printing.”https://doi.org/10.1145/3130800.3130890__ACM Transactions on Graphics. ACM, 2017.https://doi.org/10.1145/3130800.3130890 .

Jafargholi, Zahra, Chethan Kamath Hosdurg, Karen Klein, Ilan Komargodski, Krzysztof Z Pietrzak, and Daniel Wichs. “Be Adaptive Avoid Overcommitting.”https://doi.org/10.1007/978-3-319-63688-7_5__edited by Jonathan Katz and Hovav Shacham, 10401:133–63. Springer, 2017.https://doi.org/10.1007/978-3-319-63688-7_5 .

Etheridge, Alison, and Nicholas H Barton. “Data for: Establishment in a New Habitat by Polygenic Adaptation.”https://doi.org/10.17632/nw68fxzjpm.1__Mendeley Data, 2017.https://doi.org/10.17632/nw68fxzjpm.1 .

Pleska, Maros. “Biology of Restriction-Modification Systems at the Single-Cell and Population Level.”https://doi.org/10.15479/AT:ISTA:th_916__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_916 .

Nikitenko, Anton. “Discrete Morse Theory for Random Complexes .”https://doi.org/10.15479/AT:ISTA:th_873__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_873 .

Prat, Tomas. “Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor.” Institute of Science and Technology Austria, 2017.