G. Tkadik, “From statistical mechanics to information theory: understanding biophysical information-processing systems,” ArXiv, vol. q-MN. ArXiv, pp. 1–52, 2010.

N. Kwatra, C. Wojtan, M. Carlson, I. Essa, P. Mucha, and G. Turk, “Fluid simulation with articulated bodies,” IEEE Transactions on Visualization and Computer Graphics, vol. 16, no. 1. IEEE, pp. 70–80, 2010.

C. Wojtan, N. Thürey, M. Gross, and G. Turk, “Physics-inspired topology changes for thin fluid features,” ACM Transactions on Graphics, vol. 29, no. 4. ACM, 2010.

N. H. Barton, “Genetic linkage and natural selection,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1552. Royal Society, pp. 2559–2569, 2010.

N. H. Barton, “What role does natural selection play in speciation?,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1547. Royal Society, pp. 1825–1840, 2010.

N. H. Barton, “Mutation and the evolution of recombination,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1544. Royal Society, pp. 1281–1294, 2010.

H. Senn, G. Swanson, S. Goodman, N. H. Barton, and J. Pemberton, “Phenotypic correlates of hybridisation between red and sika deer (genus Cervus),” Journal of Animal Ecology, vol. 79, no. 2. Wiley-Blackwell, pp. 414–425, 2010.

N. H. Barton, “Understanding adaptation in large populations,” PLoS Genetics, vol. 6, no. 6. Public Library of Science, 2010.

A. Diz Muñoz et al., “Control of directed cell migration in vivo by membrane-to-cortex attachment,” PLoS Biology, vol. 8, no. 11. Public Library of Science, 2010.

S. Nowozin, P. Gehler, and C. Lampert, “On parameter learning in CRF-based approaches to object class image segmentation,” presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece, 2010, vol. 6316, pp. 98–111.

E. Quesada-Hernández et al., “Stereotypical cell division orientation controls neural rod midline formation in zebrafish,” Current Biology, vol. 20, no. 21. Cell Press, pp. 1966–1972, 2010.

F. Palero, S. Hall, P. Clark, D. Johnston, J. Mackenzie Dodds, and S. Thatje, “DNA extraction from formalin-fixed tissue: new light from the deep sea,” Scientia Marina, vol. 74, no. 3. Consejo Superior de Investigaciones Científicas, pp. 465–470, 2010.

A. Klopper, G. Krens, S. Grill, and C.-P. J. Heisenberg, “Finite-size corrections to scaling behavior in sorted cell aggregates,” The European Physical Journal E: Soft Matter and Biological Physics, vol. 33, no. 2. Springer, pp. 99–103, 2010.

F. Palero, G. Guerao, P. Clark, and P. Abello, “Final-stage phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The first complete description,” Zootaxa, vol. 2403, no. 1. Magnolia Press, pp. 42–58, 2010.

L. Carvalho and C.-P. J. Heisenberg, “The yolk syncytial layer in early, zebrafish development,” Trends in Cell Biology, vol. 20, no. 10. Cell Press, pp. 586–592, 2010.

V. Wolf, R. Goel, M. Mateescu, and T. A. Henzinger, “Solving the chemical master equation using sliding windows,” BMC Systems Biology, vol. 4, no. 42. BioMed Central, pp. 1–19, 2010.

T. A. Henzinger, “From boolean to quantitative notions of correctness,” presented at the POPL: Principles of Programming Languages, Madrid, Spain, 2010, vol. 45, no. 1, pp. 157–158.

T. A. Henzinger, T. Hottelier, L. Kovács, and A. Voronkov, “Invariant and type inference for matrices,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 163–179.

T. A. Henzinger, M. Mateescu, L. Mikeev, and V. Wolf, “Hybrid numerical solution of the chemical master equation,” presented at the CMSB: Computational Methods in Systems Biology, Trento, Italy, 2010, pp. 55–65.

K. Chatterjee, L. Doyen, H. Edelsbrunner, T. A. Henzinger, and P. Rannou, “Mean-payoff automaton expressions,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 269–283.

P. Bendich, H. Edelsbrunner, M. Kerber, and A. Patel, “Persistent homology under non-uniform error,” presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic, 2010, vol. 6281, pp. 12–23.

K. Chatterjee, F. Horn, and C. Löding, “Obliging games,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 284–296.

K. Chatterjee and L. Doyen, “Energy parity games,” presented at the  ICALP: Automata, Languages and Programming, 37th International Colloquium, Bordeaux, France, 2010, vol. 6199, pp. 599–610.

Z. Alpichshev et al., “STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects,” Physical Review Letters, vol. 104, no. 1. American Physical Society, 2010.

E. Berberich, D. Halperin, M. Kerber, and R. Pogalnikova, “Polygonal reconstruction from approximate offsets,” presented at the EuroCG: European Workshop on Computational Geometry, Dortmund, Germany, 2010, pp. 12–23.

K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, “Generalized mean-payoff and energy games,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India, 2010, vol. 8, pp. 505–516.

K. Chatterjee, L. Doyen, and T. A. Henzinger, “Quantitative languages,” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 4. ACM, 2010.

K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “Measuring and synthesizing systems in probabilistic environments,” presented at the CAV: Computer Aided Verification, Edinburgh, United Kingdom, 2010, vol. 6174, pp. 380–395.

K. Chatterjee, L. De Alfaro, V. Raman, and C. Sánchez, “Analyzing the impact of change in multi-threaded programs,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 293–307.

D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Strategy construction for parity games with imperfect information,” Information and Computation, vol. 208, no. 10. Elsevier, pp. 1206–1220, 2010.

K. Chatterjee, T. A. Henzinger, and N. Piterman, “Strategy logic,” Information and Computation, vol. 208, no. 6. Elsevier, pp. 677–693, 2010.

P. Bendich, H. Edelsbrunner, and M. Kerber, “Computing robustness and persistence for images,” IEEE Transactions of Visualization and Computer Graphics, vol. 16, no. 6. IEEE, pp. 1251–1260, 2010.

L. V. Ugelvig, D. Kronauer, A. Schrempf, J. Heinze, and S. Cremer, “Rapid anti-pathogen response in ant societies relies on high genetic diversity,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 277, no. 1695. Royal Society, The, pp. 2821–2828, 2010.

S. Nourshargh, P. Hordijk, and M. K. Sixt, “Breaching multiple barriers: leukocyte motility through venular walls and the interstitium,” Nature Reviews Molecular Cell Biology, vol. 11, no. 5. Nature Publishing Group, pp. 366–378, 2010.

E. Papusheva and C.-P. J. Heisenberg, “Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis,” EMBO Journal, vol. 29, no. 16. Wiley-Blackwell, pp. 2753–2768, 2010.

E. Kardash et al., “A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo,” Nature Cell Biology, vol. 12, no. 1. Nature Publishing Group, pp. 47–53, 2010.

Y. Arboleda Estudillo, M. Krieg, J. Stuehmer, N. Licata, D. Mueller, and C.-P. J. Heisenberg, “Movement directionality in collective migration of germ layer progenitors,” Current Biology, vol. 20, no. 2. Cell Press, pp. 161–169, 2010.

J. Bergmann and P. Danowski, “Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch,” in Handbuch Bibliothek 2.0, J. Bergmann and P. Danowski, Eds. De Gruyter, 2010, pp. 5–20.

C. Guinane et al., “Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation,” Genome Biology and Evolution, vol. 2. Oxford University Press, pp. 454–466, 2010.

V. Singh, “Runtime verification for software transactional memories,” presented at the RV: International Conference on Runtime Verification, St. Julians, Malta, 2010, vol. 6418, pp. 421–435.

V. Kuncak, R. Piskac, P. Suter, and T. Wies, “Building a calculus of data structures,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 26–44.

K. Jones, V. Konrad, and D. Nickovic, “Analog property checkers: a DD case study,” Formal Methods in System Design, vol. 36, no. 2. Springer, pp. 114–130, 2010.

T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “FlexPRICE: Flexible provisioning of resources in a cloud environment,” presented at the CLOUD: Cloud Computing, Miami, USA, 2010, pp. 83–90.

R. Guerraoui, T. A. Henzinger, M. Kapalka, and V. Singh, “Transactions in the jungle,” presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece, 2010, pp. 263–272.

T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “A marketplace for cloud resources,” presented at the EMSOFT: Embedded Software , Arizona, USA, 2010, pp. 1–8.

L. Doyen, T. A. Henzinger, A. Legay, and D. Nickovic, “Robustness of sequential circuits,” presented at the ACSD: Application of Concurrency to System Design, 2010, pp. 77–84.

P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Quantitative Simulation Games,” in Time For Verification: Essays in Memory of Amir Pnueli, vol. 6200, Z. Manna and D. Peled, Eds. Springer, 2010, pp. 42–60.

D. Beyer, T. A. Henzinger, G. Théoduloz, and D. Zufferey, “Shape refinement through explicit heap analysis,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 263–277.

S. Burckhardt, M. Musuvathi, and V. Singh, “Verifying local transformations on relaxed memory models,” presented at the CC: Compiler Construction, Pahos, Cyprus, 2010, vol. 6011, pp. 104–123.

K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure properties for quantitative languages,” Logical Methods in Computer Science, vol. 6, no. 3. International Federation of Computational Logic, pp. 1–23, 2010.

N. H. Barton, J. Kelleher, and A. Etheridge, “A new model for extinction and recolonization in two dimensions: Quantifying phylogeography,” Evolution, vol. 64, no. 9. Wiley-Blackwell, pp. 2701–2715, 2010.

R. Alur and P. Cerny, “Expressiveness of streaming string transducers,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India, 2010, vol. 8, pp. 1–12.

J. Cristau, C. David, and F. Horn, “How do we remember the past in randomised strategies? ,” in Proceedings of GandALF 2010, Minori, Amalfi Coast, Italy, 2010, vol. 25, pp. 30–39.

J. Hoenicke, K. Leino, A. Podelski, M. Schäf, and T. Wies, “Doomed program points,” Formal Methods in System Design, vol. 37, no. 2–3. Springer, pp. 171–199, 2010.

P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 235–268.

K. Chatterjee, P. Cerny, T. A. Henzinger, A. Radhakrishna, and R. Singh, Quantitative synthesis for concurrent programs. IST Austria, 2010.

P. Cerny, T. A. Henzinger, and A. Radhakrishna, Simulation distances. IST Austria, 2010.

P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, “Model checking of linearizability of concurrent list implementations,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 465–479.

K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, “GIST: A solver for probabilistic games,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 665–669.

P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, Model checking of linearizability of concurrent list implementations. IST Austria, 2010.

K. Chatterjee and N. Fijalkow, Topological, automata-theoretic and logical characterization of finitary languages. IST Austria, 2010.

K. Chatterjee and T. A. Henzinger, “Probabilistic Automata on infinite words: decidability and undecidability results,” presented at the ATVA: Automated Technology for Verification and Analysis, Singapore, Singapore, 2010, vol. 6252, pp. 1–16.

K. Chatterjee, L. Doyen, and T. A. Henzinger, “Qualitative analysis of partially-observable Markov Decision Processes,” presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic, 2010, vol. 6281, pp. 258–269.

G. Juhás, I. Kazlov, and A. Juhásová, “Instance Deadlock: A Mystery behind Frozen Programs,” in Applications and Theory of Petri Nets, Berlin, Heidelberg: Springer Berlin Heidelberg, 2010, pp. 1–17.

K. Meyer, S. Lin, C. Bernecky, Y. Gao, and D. Taatjes, “activates transcription by directing structural shifts in Mediator,” Nature Structural and Molecular Biology, vol. 17, no. 6. Nature Publishing Group, pp. 753–760, 2010.

K. P. Weber, S. De, I. Kozarewa, D. J. Turner, M. M. Babu, and M. de Bono, “Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans,” PLoS ONE, vol. 5, no. 11. Public Library of Science, 2010.

W. Zacharasiewicz and F. Kirsch, “‘This is a fundamentalist town’: The Prairie Town as a Site of Social and Cultural Conflict in Sinclair Ross’s As for Me and My House,” in Social and cultural interaction and literary landscapes in the Canadian Westf: impressions of an exploratory field trip and academic interaction in the Canadian Westf: Rapports interculturels et paysages littéraires dans l’Ouest canadien, Facultas.WUV, 2010, pp. 173–179.

L. Zhou et al., “Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95,” Nature Medicine, vol. 16, no. 12. Nature Publishing Group, pp. 1439–1443, 2010.

R. de la Bretèche and T. D. Browning, “Le problème des diviseurs pour des formes binaires de degré 4,” Crelles Journal, vol. 2010, no. 646. Walter de Gruyter GmbH, pp. 1–44, 2010.

E. K. H. Salje et al., “Tin telluride: A weakly co-elastic metal,” Physical Review B, vol. 82, no. 18. APS, 2010.

F. R. Drymiotis et al., “Structure formation and very low thermal conductivity in Pb:Te:Ag:Se mixtures,” Journal of Applied Physics, vol. 107, no. 3. AIP, 2010.

V. Giordani, S. A. Freunberger, P. G. Bruce, J.-M. Tarascon, and D. Larcher, “O2 decomposition reaction as selecting tool for catalysts in Li–O2 cells,” Electrochemical and Solid-State Letters, vol. 13, no. 12. The Electrochemical Society, 2010.

D.-A. Alistarh, H. Attiya, S. Gilbert, A. Giurgiu, and R. Guerraoui, “Fast randomized test-and-set and renaming,” presented at the DISC: Distributed Computing, 2010, vol. 6343 LNCS, pp. 94–108.

D.-A. Alistarh, S. Gilbert, R. Guerraoui, and M. Zadimoghaddam, “How efficient can gossip be? (On the cost of resilient information exchange),” presented at the ICALP: International Colloquium on Automota, Languages and Programming, 2010, vol. 6199 LNCS, no. PART 2, pp. 115–126.

D.-A. Alistarh, S. Gilbert, R. Guerraoui, d. Milosevi, and C. Newport, “Securing every bit: Authenticated broadcast in radio networks,” presented at the SPAA: Symposium on Parallelism in Algorithms and Architectures, 2010, pp. 50–59.

D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Brief announcement: New bounds for partially synchronous set agreement,” presented at the DISC: Distributed Computing, 2010, vol. 6343 LNCS, pp. 404–405.

I. Wright, A. P. Higginbotham, S. Baker, and T. Donnelly, “Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution,” ACS Applied Materials and Interfaces, vol. 2, no. 8. American Chemical Society, pp. 2360–2364, 2010.

H. Innan and F. Kondrashov, “The evolution of gene duplications: Classifying and distinguishing between models,” Nature Reviews Genetics, vol. 11, no. 2. Nature Publishing Group, pp. 97–108, 2010.

J. A. Palacci, B. Abécassis, C. Cottin-Bizonne, C. Ybert, and L. Bocquet, “Colloidal motility and pattern formation under rectified diffusiophoresis,” Physical Review Letters, vol. 104, no. 13. American Physical Society, 2010.

J. A. Palacci, C. Cottin-Bizonne, C. Ybert, and L. Bocquet, “Sedimentation and effective temperature of active colloidal suspensions,” Physical Review Letters, vol. 105, no. 8. American Physical Society , 2010.

M. Breen and F. Kondrashov, “Mitochondrial pathogenic mutations are population-specific,” Biology Direct, vol. 5. BioMed Central, 2010.

V. M. Canuto, A. M. Howard, Y. Cheng, C. J. Muller, A. Leboissetier, and S. R. Jayne, “Ocean turbulence, III: New GISS vertical mixing scheme,” Ocean Modelling, vol. 34, no. 3–4. Elsevier, pp. 70–91, 2010.

P. A. O’Gorman and C. J. Muller, “How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations?,” Environmental Research Letters, vol. 5, no. 2. IOP Publishing, 2010.

T. Angelini, E. B. Hannezo, X. Trepat, J. Fredberg, and D. Weitz, “Cell migration driven by cooperative substrate deformation patterns,” Physical Review Letters, vol. 104, no. 16. American Physical Society, 2010.

A. Zemach et al., “Local DNA hypomethylation activates genes in rice endosperm,” Proceedings of the National Academy of Sciences, vol. 107, no. 43. National Academy of Sciences, pp. 18729–18734, 2010.

A. Zemach and D. Zilberman, “Evolution of eukaryotic DNA methylation and the pursuit of safer sex,” Current Biology, vol. 20, no. 17. Elsevier, pp. 0–5, 2010.

A. Corazza et al., “Native-unlike long-lived intermediates along the folding pathway of the amyloidogenic protein ;22-Microglobulin revealed by real-time two-dimensional NMR,” Journal of Biological Chemistry, vol. 285, no. 8. American Society for Biochemistry &; Molecular Biology, pp. 5827–5835, 2010.

P. Schanda, B. H. Meier, and M. Ernst, “Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy,” Journal of the American Chemical Society, vol. 132, no. 45. American Chemical Society, pp. 15957–15967, 2010.

V. Kaloshin, K. ZHANG, and Y. ZHENG, “Almost dense orbit on energy surface,” in XVIth International Congress on Mathematical Physics, Prague, Czech Republic, 2010, pp. 314–322.

B. R. Hunt and V. Kaloshin, “Prevalence,” in Handbook of Dynamical Systems, vol. 3, Elsevier, 2010, pp. 43–87.

I. Povolotskaya and F. Kondrashov, “Sequence space and the ongoing expansion of the protein universe,” Nature, vol. 465, no. 7300. Nature Publishing Group, pp. 922–926, 2010.

M. Meer, A. Kondrashov, Y. Artzy Randrup, and F. Kondrashov, “Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness,” Nature, vol. 464, no. 7286. Nature Publishing Group, pp. 279–282, 2010.

F. Kondrashov and A. Kondrashov, “Measurements of spontaneous rates of mutations in the recent past and the near future,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1544. Royal Society, The, pp. 1169–1176, 2010.

A. Kondrashov, I. Povolotskaya, D. Ivankov, and F. Kondrashov, “Rate of sequence divergence under constant selection,” Biology Direct, vol. 5. BioMed Central, 2010.

A. Zemach, I. E. McDaniel, P. Silva, and D. Zilberman, “Genome-wide evolutionary analysis of eukaryotic DNA methylation,” Science, vol. 328, no. 5980. American Association for the Advancement of Science, pp. 916–919, 2010.

U. Rosas, N. H. Barton, L. Copsey, P. Barbier De Reuille, and E. Coen, “Cryptic variation between species and the basis of hybrid performance,” PLoS Biology, vol. 8, no. 7. Public Library of Science, 2010.

U. Rosas, N. H. Barton, L. Copsey, P. Barbier De Reuille, and E. Coen, “Heterosis and the drift load.” Public Library of Science, 2010.

X. Feng and H. G. Dickinson, “Tapetal cell fate, lineage and proliferation in the Arabidopsis anther,” Development, vol. 137, no. 14. The Company of Biologists, pp. 2409–2416, 2010.

X. Feng and H. G. Dickinson, “Cell–cell interactions during patterning of the Arabidopsis anther,” Biochemical Society Transactions, vol. 38, no. 2. Portland Press Ltd., pp. 571–576, 2010.

A. Coskun et al., “Molecular-mechanical switching at the nanoparticlesolvent interface: Practice and theory,” Journal of the American Chemical Society, vol. 132, no. 12. American Chemical Society, pp. 4310–4320, 2010.