Evans, S., Sturmfels, B., &; Uhler, C. (2010). Commuting birth and death processes. The Annals of Applied Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/09-AAP615 

Sturmfels, B., &; Uhler, C. (2010). Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry. Annals of the Institute of Statistical Mathematics. Springer.https://doi.org/10.1007/s10463-010-0295-4 

Guerraoui, R., Henzinger, T. A., &; Singh, V. (2010). Model checking transactional memories. Distributed Computing. Springer.https://doi.org/10.1007/s00446-009-0092-6 

Pleydell Bouverie, B., &; Csicsvari, J. L. (2010). Rate remapping: When the code goes beyond space (preview). Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2010.12.011 

Tkadik, G. (2010). Lecture notes for 2010 summer school on Quantitative Evolutionary and Comparative Genomics. Presented at the Summer School on Quantitative Evolutionary and Comparative Genomics, Elsevier.

Sabeti Aschraf, M., Gonano, C., Nemecek, E., Cichocki, L., &; Schueller Weidekamm, C. (2010). Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis. Knee Surgery, Sports Traumatology, Arthroscopy. Springer.https://doi.org/10.1007/s00167-010-1227-9 

Carvalho, L., &; Heisenberg, C.-P. J. (2010). Imaging zebrafish embryos by two-photon excitation time-lapse microscopy. Methods in Molecular Biology. Springer.https://doi.org/10.1007/978-1-60327-977-2_17 

Wanke, J., Ulges, A., Lampert, C., &; Breuel, T. (2010). Topic models for semantic video compression (pp. 275–284). Presented at the MIR: Multimedia Information Retrieval, ACM.https://doi.org/10.1145/1743384.1743433 

Tuytelaars, T., Lampert, C., Blaschko, M., &; Buntine, W. (2010). Unsupervised object discovery: A comparison. International Journal of Computer Vision. Springer.https://doi.org/10.1007/s11263-009-0271-8 

Lampert, C. (2010). An efficient divide-and-conquer cascade for nonlinear object detection (pp. 1022–1029). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE.https://doi.org/10.1109/CVPR.2010.5540107 

Tkadik, G. (2010). From statistical mechanics to information theory: understanding biophysical information-processing systems. ArXiv. ArXiv.

Kwatra, N., Wojtan, C., Carlson, M., Essa, I., Mucha, P., &; Turk, G. (2010). Fluid simulation with articulated bodies. IEEE Transactions on Visualization and Computer Graphics. IEEE.https://doi.org/10.1109/TVCG.2009.66 

Wojtan, C., Thürey, N., Gross, M., &; Turk, G. (2010). Physics-inspired topology changes for thin fluid features. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/1778765.1778787 

Barton, N. H. (2010). Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society.https://doi.org/10.1098/rstb.2010.0106 

Barton, N. H. (2010). What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society.https://doi.org/10.1098/rstb.2010.0001 

Barton, N. H. (2010). Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society.https://doi.org/10.1098/rstb.2009.0320 

Senn, H., Swanson, G., Goodman, S., Barton, N. H., &; Pemberton, J. (2010). Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology. Wiley-Blackwell.https://doi.org/10.1111/j.1365-2656.2009.01633.x 

Barton, N. H. (2010). Understanding adaptation in large populations. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1000987 

Diz Muñoz, A., Krieg, M., Bergert, M., Ibarlucea Benitez, I., Müller, D., Paluch, E., &; Heisenberg, C.-P. J. (2010). Control of directed cell migration in vivo by membrane-to-cortex attachment. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.1000544 

Nowozin, S., Gehler, P., &; Lampert, C. (2010). On parameter learning in CRF-based approaches to object class image segmentation (Vol. 6316, pp. 98–111). Presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece: Springer.https://doi.org/10.1007/978-3-642-15567-3_8 

Quesada-Hernández, E., Caneparo, L., Schneider, S., Winkler, S., Liebling, M., Fraser, S., &; Heisenberg, C.-P. J. (2010). Stereotypical cell division orientation controls neural rod midline formation in zebrafish. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2010.10.009 

Palero, F., Hall, S., Clark, P., Johnston, D., Mackenzie Dodds, J., &; Thatje, S. (2010). DNA extraction from formalin-fixed tissue: new light from the deep sea. Scientia Marina. Consejo Superior de Investigaciones Científicas.https://doi.org/10.3989/scimar.2010.74n3465 

Klopper, A., Krens, G., Grill, S., &; Heisenberg, C.-P. J. (2010). Finite-size corrections to scaling behavior in sorted cell aggregates. The European Physical Journal E: Soft Matter and Biological Physics. Springer.https://doi.org/10.1140/epje/i2010-10642-y 

Palero, F., Guerao, G., Clark, P., &; Abello, P. (2010). Final-stage phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The first complete description. Zootaxa. Magnolia Press.https://doi.org/10.11646/zootaxa.2403.1.4 

Carvalho, L., &; Heisenberg, C.-P. J. (2010). The yolk syncytial layer in early, zebrafish development. Trends in Cell Biology. Cell Press.https://doi.org/10.1016/j.tcb.2010.06.009 

Wolf, V., Goel, R., Mateescu, M., &; Henzinger, T. A. (2010). Solving the chemical master equation using sliding windows. BMC Systems Biology. BioMed Central.https://doi.org/10.1186/1752-0509-4-42 

Henzinger, T. A. (2010). From boolean to quantitative notions of correctness (Vol. 45, pp. 157–158). Presented at the POPL: Principles of Programming Languages, Madrid, Spain: ACM.https://doi.org/10.1145/1706299.1706319 

Henzinger, T. A., Hottelier, T., Kovács, L., &; Voronkov, A. (2010). Invariant and type inference for matrices (Vol. 5944, pp. 163–179). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain: Springer.https://doi.org/10.1007/978-3-642-11319-2_14 

Henzinger, T. A., Mateescu, M., Mikeev, L., &; Wolf, V. (2010). Hybrid numerical solution of the chemical master equation (pp. 55–65). Presented at the CMSB: Computational Methods in Systems Biology, Trento, Italy: Springer.https://doi.org/10.1145/1839764.1839772 

Chatterjee, K., Doyen, L., Edelsbrunner, H., Henzinger, T. A., &; Rannou, P. (2010). Mean-payoff automaton expressions (Vol. 6269, pp. 269–283). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-642-15375-4_19 

Bendich, P., Edelsbrunner, H., Kerber, M., &; Patel, A. (2010). Persistent homology under non-uniform error (Vol. 6281, pp. 12–23). Presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic: Springer.https://doi.org/10.1007/978-3-642-15155-2_2 

Chatterjee, K., Horn, F., &; Löding, C. (2010). Obliging games (Vol. 6269, pp. 284–296). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-642-15375-4_20 

Chatterjee, K., &; Doyen, L. (2010). Energy parity games (Vol. 6199, pp. 599–610). Presented at thehttps://doi.org/10.1007/978-3-642-14162-1_50__ICALP: Automata, Languages and Programming, 37th International Colloquium, Bordeaux, France: Springer.https://doi.org/10.1007/978-3-642-14162-1_50 

Alpichshev, Z., Analytis, J., Chu, J., Fisher, I., Chen, Y., Shen, Z.,https://doi.org/10.1103/PhysRevLett.104.016401__Kapitulnik, A. (2010). STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.104.016401 

Berberich, E., Halperin, D., Kerber, M., &; Pogalnikova, R. (2010). Polygonal reconstruction from approximate offsets (pp. 12–23). Presented at the EuroCG: European Workshop on Computational Geometry, Dortmund, Germany: TU Dortmund.

Chatterjee, K., Doyen, L., Henzinger, T. A., &; Raskin, J. (2010). Generalized mean-payoff and energy games (Vol. 8, pp. 505–516). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505 

Chatterjee, K., Doyen, L., &; Henzinger, T. A. (2010). Quantitative languages. ACM Transactions on Computational Logic (TOCL). ACM.https://doi.org/10.1145/1805950.1805953 

Chatterjee, K., Henzinger, T. A., Jobstmann, B., &; Singh, R. (2010). Measuring and synthesizing systems in probabilistic environments (Vol. 6174, pp. 380–395). Presented at the CAV: Computer Aided Verification, Edinburgh, United Kingdom: Springer.https://doi.org/10.1007/978-3-642-14295-6_34 

Chatterjee, K., De Alfaro, L., Raman, V., &; Sánchez, C. (2010). Analyzing the impact of change in multi-threaded programs. In D. Rosenblum &; G. Taenzer (Eds.) (Vol. 6013, pp. 293–307). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer.https://doi.org/10.1007/978-3-642-12029-9_21 

Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., &; Henzinger, T. A. (2010). Strategy construction for parity games with imperfect information. Information and Computation. Elsevier.https://doi.org/10.1016/j.ic.2009.09.006 

Chatterjee, K., Henzinger, T. A., &; Piterman, N. (2010). Strategy logic. Information and Computation. Elsevier.https://doi.org/10.1016/j.ic.2009.07.004 

Bendich, P., Edelsbrunner, H., &; Kerber, M. (2010). Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics. IEEE.https://doi.org/10.1109/TVCG.2010.139 

Ugelvig, L. V., Kronauer, D., Schrempf, A., Heinze, J., &; Cremer, S. (2010). Rapid anti-pathogen response in ant societies relies on high genetic diversity. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The.https://doi.org/10.1098/rspb.2010.0644 

Nourshargh, S., Hordijk, P., &; Sixt, M. K. (2010). Breaching multiple barriers: leukocyte motility through venular walls and the interstitium. Nature Reviews Molecular Cell Biology. Nature Publishing Group.https://doi.org/10.1038/nrm2889 

Papusheva, E., &; Heisenberg, C.-P. J. (2010). Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal. Wiley-Blackwell.https://doi.org/10.1038/emboj.2010.182 

Kardash, E., Reichman Fried, M., Maître, J., Boldajipour, B., Papusheva, E., Messerschmidt, E.,https://doi.org/10.1038/ncb2003__Raz, E. (2010). A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/ncb2003 

Arboleda Estudillo, Y., Krieg, M., Stuehmer, J., Licata, N., Mueller, D., &; Heisenberg, C.-P. J. (2010). Movement directionality in collective migration of germ layer progenitors. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2009.11.036 

Bergmann, J., &; Danowski, P. (2010). Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In J. Bergmann &; P. Danowski (Eds.), Handbuch Bibliothek 2.0 (pp. 5–20). De Gruyter.https://doi.org/10.1515/9783110232103 

Guinane, C., Ben Zakour, N., Tormo Mas, M., Weinert, L., Lowder, B., Cartwright, R.,https://doi.org/10.1093/gbe/evq031__Fitzgerald, J. R. (2010). Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation. Genome Biology and Evolution. Oxford University Press.https://doi.org/10.1093/gbe/evq031 

Singh, V. (2010). Runtime verification for software transactional memories. In O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner,https://doi.org/10.1007/978-3-642-16612-9_32__G. Pace (Eds.) (Vol. 6418, pp. 421–435). Presented at the RV: International Conference on Runtime Verification, St. Julians, Malta: Springer.https://doi.org/10.1007/978-3-642-16612-9_32 

Kuncak, V., Piskac, R., Suter, P., &; Wies, T. (2010). Building a calculus of data structures. In G. Barthe &; M. Hermenegildo (Eds.) (Vol. 5944, pp. 26–44). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain: Springer.https://doi.org/10.1007/978-3-642-11319-2_6 

Jones, K., Konrad, V., &; Nickovic, D. (2010). Analog property checkers: a DD case study. Formal Methods in System Design. Springer.https://doi.org/10.1007/s10703-009-0085-x 

Henzinger, T. A., Tomar, A., Singh, V., Wies, T., &; Zufferey, D. (2010). FlexPRICE: Flexible provisioning of resources in a cloud environment (pp. 83–90). Presented at the CLOUD: Cloud Computing, Miami, USA: IEEE.https://doi.org/10.1109/CLOUD.2010.71 

Guerraoui, R., Henzinger, T. A., Kapalka, M., &; Singh, V. (2010). Transactions in the jungle (pp. 263–272). Presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece: ACM.https://doi.org/10.1145/1810479.1810529 

Henzinger, T. A., Tomar, A., Singh, V., Wies, T., &; Zufferey, D. (2010). A marketplace for cloud resources (pp. 1–8). Presented at the EMSOFT: Embedded Software , Arizona, USA: ACM.https://doi.org/10.1145/1879021.1879022 

Doyen, L., Henzinger, T. A., Legay, A., &; Nickovic, D. (2010). Robustness of sequential circuits (pp. 77–84). Presented at the ACSD: Application of Concurrency to System Design, IEEE.https://doi.org/10.1109/ACSD.2010.26 

Cerny, P., Henzinger, T. A., &; Radhakrishna, A. (2010). Quantitative Simulation Games. In Z. Manna &; D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli (Vol. 6200, pp. 42–60). Springer.https://doi.org/10.1007/978-3-642-13754-9_3 

Beyer, D., Henzinger, T. A., Théoduloz, G., &; Zufferey, D. (2010). Shape refinement through explicit heap analysis. In D. Rosenblum &; G. Taenzer (Eds.) (Vol. 6013, pp. 263–277). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer.https://doi.org/10.1007/978-3-642-12029-9_19 

Burckhardt, S., Musuvathi, M., &; Singh, V. (2010). Verifying local transformations on relaxed memory models. In R. Gupta (Ed.) (Vol. 6011, pp. 104–123). Presented at the CC: Compiler Construction, Pahos, Cyprus: Springer.https://doi.org/10.1007/978-3-642-11970-5_7 

Chatterjee, K., Doyen, L., &; Henzinger, T. A. (2010). Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.2168/LMCS-6(3:10)2010 

Barton, N. H., Kelleher, J., &; Etheridge, A. (2010). A new model for extinction and recolonization in two dimensions: Quantifying phylogeography. Evolution. Wiley-Blackwell.https://doi.org/10.1111/j.1558-5646.2010.01019.x 

Alur, R., &; Cerny, P. (2010). Expressiveness of streaming string transducers (Vol. 8, pp. 1–12). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1 

Cristau, J., David, C., &; Horn, F. (2010). How do we remember the past in randomised strategies? . In Proceedings of GandALF 2010 (Vol. 25, pp. 30–39). Minori, Amalfi Coast, Italy: Open Publishing Association.https://doi.org/10.4204/EPTCS.25.7 

Hoenicke, J., Leino, K., Podelski, A., Schäf, M., &; Wies, T. (2010). Doomed program points. Formal Methods in System Design. Springer.https://doi.org/10.1007/s10703-010-0102-0 

Cerny, P., Henzinger, T. A., &; Radhakrishna, A. (2010). Simulation distances (Vol. 6269, pp. 235–268). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-642-15375-4_18 

Chatterjee, K., Cerny, P., Henzinger, T. A., Radhakrishna, A., &; Singh, R. (2010). Quantitative synthesis for concurrent programs. IST Austria.https://doi.org/10.15479/AT:IST-2010-0004 

Cerny, P., Henzinger, T. A., &; Radhakrishna, A. (2010). Simulation distances. IST Austria.https://doi.org/10.15479/AT:IST-2010-0003 

Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., &; Alur, R. (2010). Model checking of linearizability of concurrent list implementations (Vol. 6174, pp. 465–479). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer.https://doi.org/10.1007/978-3-642-14295-6_41 

Chatterjee, K., Henzinger, T. A., Jobstmann, B., &; Radhakrishna, A. (2010). GIST: A solver for probabilistic games (Vol. 6174, pp. 665–669). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer.https://doi.org/10.1007/978-3-642-14295-6_57 

Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., &; Alur, R. (2010). Model checking of linearizability of concurrent list implementations. IST Austria.https://doi.org/10.15479/AT:IST-2010-0001 

Chatterjee, K., &; Fijalkow, N. (2010). Topological, automata-theoretic and logical characterization of finitary languages. IST Austria.https://doi.org/10.15479/AT:IST-2010-0002 

Chatterjee, K., &; Henzinger, T. A. (2010). Probabilistic Automata on infinite words: decidability and undecidability results (Vol. 6252, pp. 1–16). Presented at the ATVA: Automated Technology for Verification and Analysis, Singapore, Singapore: Springer.https://doi.org/10.1007/978-3-642-15643-4_1 

Chatterjee, K., Doyen, L., &; Henzinger, T. A. (2010). Qualitative analysis of partially-observable Markov Decision Processes (Vol. 6281, pp. 258–269). Presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic: Springer.https://doi.org/10.1007/978-3-642-15155-2_24 

Juhás, G., Kazlov, I., &; Juhásová, A. (2010). Instance Deadlock: A Mystery behind Frozen Programs. In Applications and Theory of Petri Nets (pp. 1–17). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-642-13675-7_1 

Meyer, K., Lin, S., Bernecky, C., Gao, Y., &; Taatjes, D. (2010).https://doi.org/10.1038/nsmb.1816__activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. Nature Publishing Group.https://doi.org/10.1038/nsmb.1816 

Weber, K. P., De, S., Kozarewa, I., Turner, D. J., Babu, M. M., &; de Bono, M. (2010). Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. Public Library of Science.https://doi.org/10.1371/journal.pone.0013922 

Zacharasiewicz, W., &; Kirsch, F. (2010). “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 (pp. 173–179). Facultas.WUV.

Zhou, L., Li, F., Xu, H., Luo, C., Wu, H., Zhu, M.,https://doi.org/10.1038/nm.2245__Zhu, D. (2010). Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95. Nature Medicine. Nature Publishing Group.https://doi.org/10.1038/nm.2245 

Bretèche, R. de la, &; Browning, T. D. (2010). Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. Walter de Gruyter GmbH.https://doi.org/10.1515/crelle.2010.064 

Salje, E. K. H., Safarik, D. J., Modic, K. A., Gubernatis, J. E., Cooley, J. C., Taylor, R. D.,https://doi.org/10.1103/physrevb.82.184112__Lashley, J. C. (2010). Tin telluride: A weakly co-elastic metal. Physical Review B. APS.https://doi.org/10.1103/physrevb.82.184112 

Drymiotis, F. R., Drye, T. B., Wang, Y., He, J., Rhodes, D., Modic, K. A.,https://doi.org/10.1063/1.3284946__Zhang, Q. R. (2010). Structure formation and very low thermal conductivity in Pb:Te:Ag:Se mixtures. Journal of Applied Physics. AIP.https://doi.org/10.1063/1.3284946 

Giordani, V., Freunberger, S. A., Bruce, P. G., Tarascon, J.-M., &; Larcher, D. (2010). O2 decomposition reaction as selecting tool for catalysts in Li–O2 cells. Electrochemical and Solid-State Letters. The Electrochemical Society.https://doi.org/10.1149/1.3494045 

Alistarh, D.-A., Attiya, H., Gilbert, S., Giurgiu, A., &; Guerraoui, R. (2010). Fast randomized test-and-set and renaming (Vol. 6343 LNCS, pp. 94–108). Presented at the DISC: Distributed Computing, Springer.https://doi.org/10.1007/978-3-642-15763-9_9 

Alistarh, D.-A., Gilbert, S., Guerraoui, R., &; Zadimoghaddam, M. (2010). How efficient can gossip be? (On the cost of resilient information exchange) (Vol. 6199 LNCS, pp. 115–126). Presented at the ICALP: International Colloquium on Automota, Languages and Programming, Springer.https://doi.org/10.1007/978-3-642-14162-1_10 

Alistarh, D.-A., Gilbert, S., Guerraoui, R., Milosevi, d., &; Newport, C. (2010). Securing every bit: Authenticated broadcast in radio networks (pp. 50–59). Presented at the SPAA: Symposium on Parallelism in Algorithms and Architectures, ACM.https://doi.org/10.1145/1810479.1810489 

Alistarh, D.-A., Gilbert, S., Guerraoui, R., &; Travers, C. (2010). Brief announcement: New bounds for partially synchronous set agreement (Vol. 6343 LNCS, pp. 404–405). Presented at the DISC: Distributed Computing, Springer.https://doi.org/10.1007/978-3-642-15763-9_40 

Wright, I., Higginbotham, A. P., Baker, S., &; Donnelly, T. (2010). Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution. ACS Applied Materials and Interfaces. American Chemical Society.https://doi.org/10.1021/am100375w 

Innan, H., &; Kondrashov, F. (2010). The evolution of gene duplications: Classifying and distinguishing between models. Nature Reviews Genetics. Nature Publishing Group.https://doi.org/10.1038/nrg2689 

Palacci, J. A., Abécassis, B., Cottin-Bizonne, C., Ybert, C., &; Bocquet, L. (2010). Colloidal motility and pattern formation under rectified diffusiophoresis. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.104.138302 

Palacci, J. A., Cottin-Bizonne, C., Ybert, C., &; Bocquet, L. (2010). Sedimentation and effective temperature of active colloidal suspensions. Physical Review Letters. American Physical Society .https://doi.org/10.1103/physrevlett.105.088304 

Breen, M., &; Kondrashov, F. (2010). Mitochondrial pathogenic mutations are population-specific. Biology Direct. BioMed Central.https://doi.org/10.1186/1745-6150-5-68 

Canuto, V. M., Howard, A. M., Cheng, Y., Muller, C. J., Leboissetier, A., &; Jayne, S. R. (2010). Ocean turbulence, III: New GISS vertical mixing scheme. Ocean Modelling. Elsevier.https://doi.org/10.1016/j.ocemod.2010.04.006 

O’Gorman, P. A., &; Muller, C. J. (2010). How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. IOP Publishing.https://doi.org/10.1088/1748-9326/5/2/025207 

Angelini, T., Hannezo, E. B., Trepat, X., Fredberg, J., &; Weitz, D. (2010). Cell migration driven by cooperative substrate deformation patterns. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.104.168104 

Zemach, A., Kim, M. Y., Silva, P., Rodrigues, J. A., Dotson, B., Brooks, M. D., &; Zilberman, D. (2010). Local DNA hypomethylation activates genes in rice endosperm. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1009695107 

Zemach, A., &; Zilberman, D. (2010). Evolution of eukaryotic DNA methylation and the pursuit of safer sex. Current Biology. Elsevier.https://doi.org/10.1016/j.cub.2010.07.007 

Corazza, A., Rennella, E., Schanda, P., Mimmi, M. C., Cutuil, T., Raimondi, S.,https://doi.org/10.1074/jbc.m109.061168__Esposito, G. (2010). 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. American Society for Biochemistry &; Molecular Biology.https://doi.org/10.1074/jbc.m109.061168 

Schanda, P., Meier, B. H., &; Ernst, M. (2010). Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy. Journal of the American Chemical Society. American Chemical Society.https://doi.org/10.1021/ja100726a 

Kaloshin, V., ZHANG, K., &; ZHENG, Y. (2010). Almost dense orbit on energy surface. In XVIth International Congress on Mathematical Physics (pp. 314–322). Prague, Czech Republic: World Scientific.https://doi.org/10.1142/9789814304634_0017 

Hunt, B. R., &; Kaloshin, V. (2010). Prevalence. In Handbook of Dynamical Systems (Vol. 3, pp. 43–87). Elsevier.https://doi.org/10.1016/s1874-575x(10)00310-3