M. Konrad, A. V. Grasse, S. Tragust, and S. Cremer, “Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1799. The Royal Society, 2015.

C. Westhus, L. V. Ugelvig, E. Tourdot, J. Heinze, C. Doums, and S. Cremer, “Data from: Increased grooming after repeated brood care provides sanitary benefits in a clonal ant.” Dryad, 2015.

F. Pellicciotti, C. Stephan, E. Miles, S. Herreid, W. W. Immerzeel, and T. Bolch, “Mass-balance changes of the debris-covered glaciers in the Langtang Himal, Nepal, from 1974 to 1999,” Journal of Glaciology, vol. 61, no. 226. International Glaciological Society, pp. 373–386, 2015.

J. M. Shea, P. Wagnon, W. W. Immerzeel, R. Biron, F. Brun, and F. Pellicciotti, “A comparative high-altitude meteorological analysis from three catchments in the Nepalese Himalaya,” International Journal of Water Resources Development, vol. 31, no. 2. Taylor &; Francis, pp. 174–200, 2015.

J. F. Steiner, F. Pellicciotti, P. Buri, E. S. Miles, W. W. Immerzeel, and T. D. Reid, “Modelling ice-cliff backwasting on a debris-covered glacier in the Nepalese Himalaya,” Journal of Glaciology, vol. 61, no. 229. International Glaciological Society, pp. 889–907, 2015.

S. Herreid et al., “Satellite observations show no net change in the percentage of supraglacial debris-covered area in northern Pakistan from 1977 to 2014,” Journal of Glaciology, vol. 61, no. 227. International Glaciological Society, pp. 524–536, 2015.

C. Veldkamp et al., “Solution structure of CCL19 and identification of overlapping CC and PSGL-1 binding sites,” Biochemistry, vol. 54, no. 27. American Chemical Society, pp. 4163–4166, 2015.

G. S. Martius and E. Olbrich, “Quantifying self-organizing behavior of autonomous robots,” in Proceedings of the 13th European Conference on Artificial Life, York, United Kingdom, 2015, p. 78.

J.-W. Lee and R. Klajn, “Dual-responsive nanoparticles that aggregate under the simultaneous action of light and CO2,” Chemical Communications, vol. 51, no. 11. Royal Society of Chemistry, pp. 2036–2039, 2015.

G. Singh et al., “Magnetic field-induced self-assembly of iron oxide nanocubes,” Faraday Discussions, vol. 181. Royal Society of Chemistry, pp. 403–421, 2015.

S. B. Zhang, D. R. Baykusheva, P. M. Kraus, H. J. Wörner, and N. Rohringer, “Theoretical study of molecular electronic and rotational coherences by high-order-harmonic generation,” Physical Review A, vol. 91, no. 2. American Physical Society, 2015.

P. M. Kraus et al., “Observation of laser-induced electronic structure in oriented polyatomic molecules,” Nature Communications, vol. 6. Springer Nature, 2015.

P. M. Kraus et al., “Attosecond charge migration and its laser control,” Journal of Physics: Conference Series, vol. 635, no. 11. IOP Publishing, 2015.

S. G. Walt, N. B. Ram, A. von Conta, D. R. Baykusheva, M. Atala, and H. J. Wörner, “Resolving the dynamics of valence-shell electrons and nuclei through laser-induced diffraction and holography,” Journal of Physics: Conference Series, vol. 635, no. 11. IOP Publishing, 2015.

S. Wielgoss, T. Bergmiller, A. M. Bischofberger, and A. R. Hall, “Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria.” Dryad, 2015.

V. Sharmanska, “Learning with attributes for object recognition: Parametric and non-parametrics views,” Institute of Science and Technology Austria, 2015.

J. Reiter, A. Kanodia, R. Gupta, M. Nowak, and K. Chatterjee, “Biological auctions with multiple rewards,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1812. Royal Society, 2015.

M. Tugrul, T. Paixao, N. H. Barton, and G. Tkadik, “Dynamics of transcription factor binding site evolution,” PLoS Genetics, vol. 11, no. 11. Public Library of Science, 2015.

N. Benes, P. Daca, T. A. Henzinger, J. Kretinsky, and D. Nickovic, “Complete composition operators for IOCO-testing theory,” presented at the CBSE: Component-Based Software Engineering , Montreal, QC, Canada, 2015, pp. 101–110.

K. Chatterjee, M. Chmelik, and P. Daca, “CEGAR for compositional analysis of qualitative properties in Markov decision processes,” Formal Methods in System Design, vol. 47, no. 2. Springer, pp. 230–264, 2015.

K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, and P. Goyal, “Faster algorithms for algebraic path properties in recursive state machines with constant treewidth,” ACM SIGPLAN Notices, vol. 50, no. 1. ACM, pp. 97–109, 2015.

K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Faster algorithms for quantitative verification in constant treewidth graphs,” presented at the CAV: Computer Aided Verification, San Francisco, CA, USA, 2015, vol. 9206, pp. 140–157.

D. Hahn and C. Wojtan, “High-resolution brittle fracture simulation with boundary elements,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.

V. Ruprecht et al., “Cortical contractility triggers a stochastic switch to fast amoeboid cell motility,” Cell, vol. 160, no. 4. Cell Press, pp. 673–685, 2015.

M. Adamowski and J. Friml, “PIN-dependent auxin transport: Action, regulation, and evolution,” Plant Cell, vol. 27, no. 1. American Society of Plant Biologists, pp. 20–32, 2015.

J. Alt, “The local semicircle law for random matrices with a fourfold symmetry,” Journal of Mathematical Physics, vol. 56, no. 10. American Institute of Physics, 2015.

Á. Inglés Prieto et al., “Light-assisted small-molecule screening against protein kinases,” Nature Chemical Biology, vol. 11, no. 12. Nature Publishing Group, pp. 952–954, 2015.

S. A. Cepeda Humerez, G. Rieckh, and G. Tkadik, “Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation,” Physical Review Letters, vol. 115, no. 24. American Physical Society, 2015.

S. Avvakumov, I. Mabillard, A. Skopenkov, and U. Wagner, “Eliminating higher-multiplicity intersections, III. Codimension 2,” arXiv. .

K. Chatterjee, R. Ibsen-Jensen, A. K. Goharshady, and A. Pavlogiannis, Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria, 2015.

1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria, 2015.

M. Svoreová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cbrná, and C. Belta, “Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games,” in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, United States, 2015, pp. 259–268.

M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking gene regulatory networks,” vol. 9035. Springer, pp. 469–483, 2015.

J. Michalko, M. Lukacisinova, M. T. Bollenbach, and J. Friml, “Embryo-lethal phenotypes in early ab mutants are due to disruption of the neighboring BSM gene,” 00 Research , vol. 4. 00 Research, 2015.

T. Priklopil and K. Chatterjee, “Evolution of decisions in population games with sequentially searching individuals,” Games, vol. 6, no. 4. MDPI, pp. 413–437, 2015.

G. S. Martius and E. Olbrich, “Quantifying emergent behavior of autonomous robots,” Entropy, vol. 17, no. 10. MDPI, pp. 7266–7297, 2015.

C. Chen et al., “Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats,” ASN Neuro, vol. 7, no. 2. SAGE Publications, 2015.

M. Erbar, J. Maas, and P. Tetali, “Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models,” Annales de la faculté des sciences de Toulouse, vol. 24, no. 4. Faculté des sciences de Toulouse, pp. 781–800, 2015.

B. Kick, F. M. Praetorius, H. Dietz, and D. Weuster-Botz, “Efficient production of single-stranded phage DNA as scaffolds for DNA origami,” Nano Letters, vol. 15, no. 7. ACS Publications, pp. 4672–4676, 2015.

T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, and J. Kretinsky, “Counterexample explanation by learning small strategies in Markov decision processes,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 158–177.

A. Fellner, “Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes.” Institute of Science and Technology Austria, 2015.

X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Bounding Helly numbers via Betti numbers,” presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands, 2015, vol. 34, pp. 507–521.

T. D. Browning and S. Prendiville, “Improvements in Birch’s theorem on forms in many variables,” Journal fur die Reine und Angewandte Mathematik, vol. 2017, no. 731. Walter de Gruyter, pp. 203–234.

S. Dziembowski, S. Faust, V. Kolmogorov, and K. Z. Pietrzak, “Proofs of space,” in 35th Annual Cryptology Conference, Santa Barbara, CA, United States, 2015, vol. 9216, pp. 585–605.

A. K. Michael et al., “Cancer/Testis antigen PAS silences the circadian clock,” Molecular Cell, vol. 58, no. 5. Elsevier, pp. 743–754, 2015.

G. Chevereau et al., “Quantifying the determinants of evolutionary dynamics leading to drug resistance,” PLoS Biology, vol. 13, no. 11. Public Library of Science, 2015.

A. Sari, Y. C. Chebaro, T. P. J. Knowles, and D. Frenkel, “Crucial role of nonspecific interactions in amyloid nucleation,” Proceedings of the National Academy of Sciences, vol. 111, no. 50. National Academy of Sciences, pp. 17869–17874, 2014.

S. A. Mallory, A. Sari, C. Valeriani, and A. Cacciuto, “Anomalous thermomechanical properties of a self-propelled colloidal fluid,” Physical Review E, vol. 89, no. 5. American Physical Society, 2014.

M. Hashimoto, H. Morita, and N. Ueno, “Molecular and cellular mechanisms of development underlying congenital diseases,” Congenital Anomalies, vol. 54, no. 1. Wiley, pp. 1–7, 2014.

B. Aminof, S. Jacobs, A. Khalimov, and S. Rubin, “Parameterized model checking of token-passing systems,” in Verification, Model Checking, and Abstract Interpretation, San Diego, CA, United States, 2014, vol. 8318, pp. 262–281.

A. Buchwalter and M. Hetzer, “Nuclear pores set the speed limit for mitosis,” Cell, vol. 156, no. 5. Elsevier, pp. 868–869, 2014.

A. L. Buchwalter, Y. Liang, and M. Hetzer, “Nu is required for cell differentiation and exhibits transcription-dependent dynamics,” Molecular Biology of the Cell, vol. 25, no. 16. American Society for Cell Biology, pp. 2472–2484, 2014.

E. Hatch and M. Hetzer, “Breaching the nuclear envelope in development and disease,” Journal of Cell Biology, vol. 205, no. 2. Rockefeller University Press, pp. 133–141, 2014.

J. J. Matthee et al., “A 10 de Lyman ;1 survey at z=8.8 with spectroscopic follow-up: Strong constraints on the luminosity function and implications for other surveys,” Monthly Notices of the Royal Astronomical Society, vol. 440, no. 3. Oxford University Press, pp. 2375–2387, 2014.

J. P. Stott et al., “A relationship between specific star formation rate and metallicity gradient within z c 1 galaxies from KMOS-HiZELS,” Monthly Notices of the Royal Astronomical Society, vol. 443, no. 3. Oxford University Press, pp. 2695–2704, 2014.

M. Charikar, M. H. Henzinger, and H. L. Nguyên, “Online bipartite matching with decomposable weights,” in 22nd Annual European Symposium on Algorithms, Wroclaw, Poland, 2014, vol. 8737, pp. 260–271.

M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Decremental single-source shortest paths on undirected graphs in near-linear total update time,” in 55th Annual Symposium on Foundations of Computer Science, Philadelphia, PA, United States, 2014, pp. 146–155.

M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Sublinear-time decremental algorithms for single-source reachability and shortest paths on directed graphs,” in 46th Annual ACM Symposium on Theory of Computing, New York, NY, United States, 2014.

M. H. Henzinger, S. Krinninger, and D. Nanongkai, “A subquadratic-time algorithm for decremental single-source shortest paths,” in 25th Annual ACM-SIAM Symposium on Discrete Algorithms, Portland, OR, United States, 2014, pp. 1053–1072.

S. Bhattacharya, M. H. Henzinger, and G. F. Italiano, “Deterministic fully dynamic data structures for vertex cover and matching,” in 26th Annual ACM-SIAM Symposium on Discrete Algorithms, San Diego, CA, United States, 2014, pp. 785–804.

S. R. Waitukaitis, V. Lee, J. Pierson, S. Forman, and H. Jaeger, “Size-dependent same-material tribocharging in insulating grains,” APS Physics, Physical Review Letters, vol. 112, no. 21. American Physical Society, 2014.

H. F. Hofbauer et al., “Regulation of gene expression through a transcriptional repressor that senses acyl-chain length in membrane phospholipids,” Developmental Cell, vol. 29, no. 6. Elsevier, pp. 9-739, 2014.

K. Chatterjee, M. H. Henzinger, S. Krinninger, V. Loitzenbauer, and M. Raskin, “Approximating the minimum cycle mean,” Theoretical Computer Science, vol. 547, no. C. Elsevier, pp. 104–116, 2014.

C. Dragoi, T. A. Henzinger, H. Veith, J. Widder, and D. Zufferey, “A logic-based framework for verifying consensus algorithms,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA, 2014, vol. 8318, pp. 161–181.

A. Gordon, T. A. Henzinger, A. Nori, and S. Rajamani, “Probabilistic programming,” in Proceedings of the on Future of Software Engineering, Hyderabad, India, 2014, pp. 167–181.

G. Bräunlich, C. Hainzl, and R. Seiringer, “On the BCS gap equation for superfluid fermionic gases,” in Proceedings of the QMat Conference, Berlin, Germany, 2014, pp. 127–137.

P. Guerrero, S. Jeschke, M. Wimmer, and P. Wonka, “Edit propagation using geometric relationship functions,” ACM Transactions on Graphics, vol. 33, no. 2. ACM, 2014.

G. Fuchsbauer, “Constrained Verifiable Random Functions ,” in SCN 2014, Amalfi, Italy, 2014, vol. 8642, pp. 95–114.

A. Gupta, C. Popeea, and A. Rybalchenko, “Generalised interpolation by solving recursion free-horn clauses,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, Vienna, Austria, 2014, vol. 169, pp. 31–38.

M. Mongillo et al., “PtSi clustering in silicon probed by transport spectroscopy,” Physical Review X, vol. 3, no. 4. American Physical Society, 2014.

S. Huber, M. Held, P. Meerwald, and R. Kwitt, “Topology-preserving watermarking of vector graphics,” International Journal of Computational Geometry and Applications, vol. 24, no. 1. World Scientific Publishing, pp. 61–86, 2014.

R. Seiringer, “Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation,” Journal of Mathematical Physics, vol. 55, no. 7. American Institute of Physics, 2014.

V. Risso et al., “Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history,” Molecular Biology and Evolution, vol. 32, no. 2. Oxford University Press, pp. 440–455, 2014.

J. Cibulka, P. Gao, M. Krcál, T. Valla, and P. Valtr, “On the geometric ramsey number of outerplanar graphs,” Discrete &; Computational Geometry, vol. 53, no. 1. Springer, pp. 64–79, 2014.

P. Guerrero, T. Auzinger, M. Wimmer, and S. Jeschke, “Partial shape matching using transformation parameter similarity,” Computer Graphics Forum, vol. 34, no. 1. Wiley, pp. 239–252, 2014.

M. Sassi et al., “An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis,” Current Biology, vol. 24, no. 19. Cell Press, pp. 2335–2342, 2014.

X. Chen et al., “Inhibition of cell expansion by rapid AB-mediated auxin effect on microtubules,” Nature, vol. 516, no. 729. Nature Publishing Group, pp. 90–93, 2014.

A. Gupta, L. Kovács, B. Kragl, and A. Voronkov, “Extensional crisis and proving identity,” in ATVA 2014, Sydney, Australia, 2014, vol. 8837, pp. 185–200.

T. A. Henzinger, J. Otop, and R. Samanta, “Lipschitz robustness of finite-state transducers,” in Leibniz International Proceedings in Informatics, LIPIcs, Delhi, India, 2014, vol. 29, pp. 431–443.

R. Samanta, O. Olivo, and E. Allen, “Cost-aware automatic program repair,” presented at the SAS: Static Analysis Symposium, Munich, Germany, 2014, vol. 8723, pp. 268–284.

N. Dolbilin, H. Edelsbrunner, A. Glazyrin, and O. Musin, “Functionals on triangulations of delaunay sets,” Moscow Mathematical Journal, vol. 14, no. 3. Independent University of Moscow, pp. 491–504, 2014.

A. Hermundstad, J. Briguglio, M. Conte, J. Victor, V. Balasubramanian, and G. Tkadik, “Variance predicts salience in central sensory processing,” eLife, no. November. eLife Sciences Publications, 2014.

C. Körner, V. Braunstein, M. Stangl, A. Schlögl, C. Neuper, and A. Ischebeck, “Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection,” Psychophysiology, vol. 51, no. 4. Wiley-Blackwell, pp. 385–395, 2014.

S. Ocana, P. Meidl, D. Bonfils, and M. Taborsky, “Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 281, no. 1794. The Royal Society, 2014.

G. Bräunlich, C. Hainzl, and R. Seiringer, “Translation-invariant quasi-free states for fermionic systems and the BCS approximation,” Reviews in Mathematical Physics, vol. 26, no. 7. World Scientific Publishing, 2014.

A. Grabowska et al., “Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA,” PLoS One, vol. 9, no. 9. Public Library of Science, 2014.

M. Edamura et al., “Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice,” PLoS One, vol. 9, no. 9. Public Library of Science, 2014.

P. Marhavá et al., “SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis,” PNAS, vol. 111, no. 7. National Academy of Sciences, pp. 2818–2823, 2014.

R. Kollár, K. Bodova, J. Nosek, and d. Tomáska, “Mathematical model of alternative mechanism of telomere length maintenance,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 3. American Institute of Physics, 2014.

S. Naramoto et al., “Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis,” Plant Cell, vol. 26, no. 7. American Society of Plant Biologists, pp. 3062–3076, 2014.

S. Williams, L. Ratliff, M. P. Postiglione, J. Knoblich, and E. Fuchs, “Par3-mInsc and G;1 i3 cooperate to promote oriented epidermal cell divisions through LGN,” Nature Cell Biology, vol. 16, no. 8. Nature Publishing Group, pp. 758–769, 2014.

M. Arikan, R. Preiner, C. Scheiblauer, S. Jeschke, and M. Wimmer, “Large-scale point-cloud visualization through localized textured surface reconstruction,” IEEE Transactions on Visualization and Computer Graphics, vol. 20, no. 9. IEEE, pp. 1280–1292, 2014.

R. Frank, M. Lewin, É. Lieb, and R. Seiringer, “Strichartz inequality for orthonormal functions,” Journal of the European Mathematical Society, vol. 16, no. 7. European Mathematical Society, pp. 1507–1526, 2014.

T. Ezard, R. Prizak, and R. Hoyle, “The fitness costs of adaptation via phenotypic plasticity and maternal effects,” Functional Ecology, vol. 28, no. 3. Wiley-Blackwell, pp. 693–701, 2014.

G. Demay, P. Gazi, U. Maurer, and B. Tackmann, “Optimality of non-adaptive strategies: The case of parallel games,” in IEEE International Symposium on Information Theory, Honolulu, USA, 2014.

D. Weissman and O. Hallatschek, “The rate of adaptation in large sexual populations with linear chromosomes,” Genetics, vol. 196, no. 4. Genetics Society of America, pp. 1167–1183, 2014.

G. Novarino et al., “Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders,” Science, vol. 343, no. 6170. American Association for the Advancement of Science, pp. 506–511, 2014.

T. Xu et al., “Cell surface AB-TMK auxin sensing complex activates ROP GTPase signaling,” Science, vol. 343, no. 6174. American Association for the Advancement of Science, pp. 1025–1028, 2014.

W. Wang et al., “Distinct cerebellar engrams in short-term and long-term motor learning,” PNAS, vol. 111, no. 1. National Academy of Sciences, pp. 8–3, 2014.

W. Aziz, W. Wang, S. Kesaf, A. Mohamed, Y. Fukazawa, and R. Shigemoto, “Distinct kinetics of synaptic structural plasticity, memory formation, and memory decay in massed and spaced learning,” PNAS, vol. 111, no. 1. National Academy of Sciences, pp. 4–2, 2014.