Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9084 Publications
2010 | Journal Article | IST-REx-ID: 3777 | 
Barton NH. Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2010;365(1544):1281-1294. doi:10.1098/rstb.2009.0320
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3774
Senn H, Swanson G, Goodman S, Barton NH, Pemberton J. Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology. 2010;79(2):414-425. doi:10.1111/j.1365-2656.2009.01633.x
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3772 |
Barton NH. Understanding adaptation in large populations. PLoS Genetics. 2010;6(6). doi:10.1371/journal.pgen.1000987
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3790 |
Diz Muñoz A, Krieg M, Bergert M, et al. Control of directed cell migration in vivo by membrane-to-cortex attachment. PLoS Biology. 2010;8(11). doi:10.1371/journal.pbio.1000544
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3793 |
Nowozin S, Gehler P, Lampert C. On parameter learning in CRF-based approaches to object class image segmentation. In: Vol 6316. Springer; 2010:98-111. doi:10.1007/978-3-642-15567-3_8
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3789
Quesada-Hernández E, Caneparo L, Schneider S, et al. Stereotypical cell division orientation controls neural rod midline formation in zebrafish. Current Biology. 2010;20(21):1966-1972. doi:10.1016/j.cub.2010.10.009
View
| DOI
2010 | Journal Article | IST-REx-ID: 3787 |
Palero F, Hall S, Clark P, Johnston D, Mackenzie Dodds J, Thatje S. DNA extraction from formalin-fixed tissue: new light from the deep sea. Scientia Marina. 2010;74(3):465-470. doi:10.3989/scimar.2010.74n3465
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Journal Article | IST-REx-ID: 3788
Klopper A, Krens G, Grill S, Heisenberg C-PJ. Finite-size corrections to scaling behavior in sorted cell aggregates. The European Physical Journal E: Soft Matter and Biological Physics. 2010;33(2):99-103. doi:10.1140/epje/i2010-10642-y
View
| DOI
2010 | Journal Article | IST-REx-ID: 3786
Palero F, Guerao G, Clark P, Abello P. Final-stage phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The first complete description. Zootaxa. 2010;2403(1):42-58. doi:10.11646/zootaxa.2403.1.4
View
| DOI
2010 | Journal Article | IST-REx-ID: 3792
Carvalho L, Heisenberg C-PJ. The yolk syncytial layer in early, zebrafish development. Trends in Cell Biology. 2010;20(10):586-592. doi:10.1016/j.tcb.2010.06.009
View
| DOI
2010 | Journal Article | IST-REx-ID: 3834 |
Wolf V, Goel R, Mateescu M, Henzinger TA. Solving the chemical master equation using sliding windows. BMC Systems Biology. 2010;4(42):1-19. doi:10.1186/1752-0509-4-42
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3840
Henzinger TA. From boolean to quantitative notions of correctness. In: Vol 45. ACM; 2010:157-158. doi:10.1145/1706299.1706319
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3839 |
Henzinger TA, Hottelier T, Kovács L, Voronkov A. Invariant and type inference for matrices. In: Vol 5944. Springer; 2010:163-179. doi:10.1007/978-3-642-11319-2_14
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3838 |
Henzinger TA, Mateescu M, Mikeev L, Wolf V. Hybrid numerical solution of the chemical master equation. In: Springer; 2010:55-65. doi:10.1145/1839764.1839772
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3853 |
Chatterjee K, Doyen L, Edelsbrunner H, Henzinger TA, Rannou P. Mean-payoff automaton expressions. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:269-283. doi:10.1007/978-3-642-15375-4_19
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3849 |
Bendich P, Edelsbrunner H, Kerber M, Patel A. Persistent homology under non-uniform error. In: Vol 6281. Springer; 2010:12-23. doi:10.1007/978-3-642-15155-2_2
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3854
Chatterjee K, Horn F, Löding C. Obliging games. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:284-296. doi:10.1007/978-3-642-15375-4_20
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3851 |
Chatterjee K, Doyen L. Energy parity games. In: Vol 6199. Springer; 2010:599-610. doi:10.1007/978-3-642-14162-1_50
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 385 |
Alpichshev Z, Analytis J, Chu J, et al. STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects. Physical Review Letters. 2010;104(1). doi:10.1103/PhysRevLett.104.016401
View
| DOI
| Download None (ext.)
2010 | Conference Paper | IST-REx-ID: 3850
Berberich E, Halperin D, Kerber M, Pogalnikova R. Polygonal reconstruction from approximate offsets. In: TU Dortmund; 2010:12-23.
View
2010 | Conference Paper | IST-REx-ID: 3860 |
Chatterjee K, Doyen L, Henzinger TA, Raskin J. Generalized mean-payoff and energy games. In: Vol 8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:505-516. doi:10.4230/LIPIcs.FSTTCS.2010.505
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3862 |
Chatterjee K, Doyen L, Henzinger TA. Quantitative languages. ACM Transactions on Computational Logic (TOCL). 2010;11(4). doi:10.1145/1805950.1805953
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3864 |
Chatterjee K, Henzinger TA, Jobstmann B, Singh R. Measuring and synthesizing systems in probabilistic environments. In: Vol 6174. Springer; 2010:380-395. doi:10.1007/978-3-642-14295-6_34
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2010 | Conference Paper | IST-REx-ID: 3865
Chatterjee K, De Alfaro L, Raman V, Sánchez C. Analyzing the impact of change in multi-threaded programs. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:293-307. doi:10.1007/978-3-642-12029-9_21
View
| DOI
2010 | Journal Article | IST-REx-ID: 3863 |
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Strategy construction for parity games with imperfect information. Information and Computation. 2010;208(10):1206-1220. doi:10.1016/j.ic.2009.09.006
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3861 |
Chatterjee K, Henzinger TA, Piterman N. Strategy logic. Information and Computation. 2010;208(6):677-693. doi:10.1016/j.ic.2009.07.004
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3901 |
Bendich P, Edelsbrunner H, Kerber M. Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics. 2010;16(6):1251-1260. doi:10.1109/TVCG.2010.139
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3904 |
Ugelvig LV, Kronauer D, Schrempf A, Heinze J, Cremer S. Rapid anti-pathogen response in ant societies relies on high genetic diversity. Proceedings of the Royal Society of London Series B Biological Sciences. 2010;277(1695):2821-2828. doi:10.1098/rspb.2010.0644
View
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3956
Nourshargh S, Hordijk P, Sixt MK. Breaching multiple barriers: leukocyte motility through venular walls and the interstitium. Nature Reviews Molecular Cell Biology. 2010;11(5):366-378. doi:10.1038/nrm2889
View
| DOI
2010 | Journal Article | IST-REx-ID: 4157 |
Papusheva E, Heisenberg C-PJ. Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal. 2010;29(16):2753-2768. doi:10.1038/emboj.2010.182
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 4187
Kardash E, Reichman Fried M, Maître J, et al. A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo. Nature Cell Biology. 2010;12(1):47-53. doi:10.1038/ncb2003
View
| DOI
2010 | Journal Article | IST-REx-ID: 4221
Arboleda Estudillo Y, Krieg M, Stuehmer J, Licata N, Mueller D, Heisenberg C-PJ. Movement directionality in collective migration of germ layer progenitors. Current Biology. 2010;20(2):161-169. doi:10.1016/j.cub.2009.11.036
View
| DOI
2010 | Book Chapter | IST-REx-ID: 4339 |
Bergmann J, Danowski P. Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In: Bergmann J, Danowski P, eds. Handbuch Bibliothek 2.0. Bibliotheks- und Informationspraxis 41. De Gruyter; 2010:5-20. doi:10.1515/9783110232103
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 4358
Guinane C, Ben Zakour N, Tormo Mas M, et al. Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation. Genome Biology and Evolution. 2010;2:454-466. doi:10.1093/gbe/evq031
View
| DOI
2010 | Conference Paper | IST-REx-ID: 4362
Singh V. Runtime verification for software transactional memories. In: Sokolsky O, Rosu G, Tilmann N, et al., eds. Vol 6418. Springer; 2010:421-435. doi:10.1007/978-3-642-16612-9_32
View
| DOI
2010 | Conference Paper | IST-REx-ID: 4378 |
Kuncak V, Piskac R, Suter P, Wies T. Building a calculus of data structures. In: Barthe G, Hermenegildo M, eds. Vol 5944. Springer; 2010:26-44. doi:10.1007/978-3-642-11319-2_6
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Journal Article | IST-REx-ID: 4379 |
Jones K, Konrad V, Nickovic D. Analog property checkers: a DDR2 case study. Formal Methods in System Design. 2010;36(2):114-130. doi:10.1007/s10703-009-0085-x
View
| DOI
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 4381 |
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. FlexPRICE: Flexible provisioning of resources in a cloud environment. In: IEEE; 2010:83-90. doi:10.1109/CLOUD.2010.71
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4382 |
Guerraoui R, Henzinger TA, Kapalka M, Singh V. Transactions in the jungle. In: ACM; 2010:263-272. doi:10.1145/1810479.1810529
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4380 |
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. A marketplace for cloud resources. In: ACM; 2010:1-8. doi:10.1145/1879021.1879022
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4389 |
Doyen L, Henzinger TA, Legay A, Nickovic D. Robustness of sequential circuits. In: IEEE; 2010:77-84. doi:10.1109/ACSD.2010.26
[Submitted Version]
View
| Files available
| DOI
2010 | Book Chapter | IST-REx-ID: 4392
Cerny P, Henzinger TA, Radhakrishna A. Quantitative Simulation Games. In: Manna Z, Peled D, eds. Time For Verification: Essays in Memory of Amir Pnueli. Vol 6200. Essays in Memory of Amir Pnueli. Springer; 2010:42-60. doi:10.1007/978-3-642-13754-9_3
View
| DOI
2010 | Conference Paper | IST-REx-ID: 4396 |
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. Shape refinement through explicit heap analysis. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:263-277. doi:10.1007/978-3-642-12029-9_19
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4395
Burckhardt S, Musuvathi M, Singh V. Verifying local transformations on relaxed memory models. In: Gupta R, ed. Vol 6011. Springer; 2010:104-123. doi:10.1007/978-3-642-11970-5_7
View
| DOI
2010 | Journal Article | IST-REx-ID: 3867 |
Chatterjee K, Doyen L, Henzinger TA. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. 2010;6(3):1-23. doi:10.2168/LMCS-6(3:10)2010
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 474
Barton NH, Kelleher J, Etheridge A. A new model for extinction and recolonization in two dimensions: Quantifying phylogeography. Evolution. 2010;64(9):2701-2715. doi:10.1111/j.1558-5646.2010.01019.x
View
| DOI
2010 | Conference Paper | IST-REx-ID: 488 |
Alur R, Cerny P. Expressiveness of streaming string transducers. In: Vol 8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:1-12. doi:10.4230/LIPIcs.FSTTCS.2010.1
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 489 |
Cristau J, David C, Horn F. How do we remember the past in randomised strategies? . In: Proceedings of GandALF 2010. Vol 25. Open Publishing Association; 2010:30-39. doi:10.4204/EPTCS.25.7
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Journal Article | IST-REx-ID: 533
Hoenicke J, Leino K, Podelski A, Schäf M, Wies T. Doomed program points. Formal Methods in System Design. 2010;37(2-3):171-199. doi:10.1007/s10703-010-0102-0
View
| DOI
2010 | Conference Paper | IST-REx-ID: 4393 |
Cerny P, Henzinger TA, Radhakrishna A. Simulation distances. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:235-268. doi:10.1007/978-3-642-15375-4_18
[Submitted Version]
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5388 |
Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. Quantitative Synthesis for Concurrent Programs. IST Austria; 2010. doi:10.15479/AT:IST-2010-0004
[Published Version]
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5389 |
Cerny P, Henzinger TA, Radhakrishna A. Simulation Distances. IST Austria; 2010. doi:10.15479/AT:IST-2010-0003
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4390 |
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model checking of linearizability of concurrent list implementations. In: Vol 6174. Springer; 2010:465-479. doi:10.1007/978-3-642-14295-6_41
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4388 |
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. GIST: A solver for probabilistic games. In: Vol 6174. Springer; 2010:665-669. doi:10.1007/978-3-642-14295-6_57
[Submitted Version]
View
| Files available
| DOI
| arXiv
2010 | Technical Report | IST-REx-ID: 5391 |
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model Checking of Linearizability of Concurrent List Implementations. IST Austria; 2010. doi:10.15479/AT:IST-2010-0001
[Published Version]
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5390 |
Chatterjee K, Fijalkow N. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria; 2010. doi:10.15479/AT:IST-2010-0002
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3857
Chatterjee K, Henzinger TA. Probabilistic Automata on infinite words: decidability and undecidability results. In: Vol 6252. Springer; 2010:1-16. doi:10.1007/978-3-642-15643-4_1
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3855 |
Chatterjee K, Doyen L, Henzinger TA. Qualitative analysis of partially-observable Markov Decision Processes. In: Vol 6281. Springer; 2010:258-269. doi:10.1007/978-3-642-15155-2_24
[Submitted Version]
View
| Files available
| DOI
2010 | Book Chapter | IST-REx-ID: 5940
Juhás G, Kazlov I, Juhásová A. Instance Deadlock: A Mystery behind Frozen Programs. In: Applications and Theory of Petri Nets. Berlin, Heidelberg: Springer Berlin Heidelberg; 2010:1-17. doi:10.1007/978-3-642-13675-7_1
View
| DOI
2010 | Journal Article | IST-REx-ID: 598 |
Meyer K, Lin S, Bernecky C, Gao Y, Taatjes D. P53 activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. 2010;17(6):753-760. doi:10.1038/nsmb.1816
View
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 6142 |
Weber KP, De S, Kozarewa I, Turner DJ, Babu MM, de Bono M. Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. 2010;5(11). doi:10.1371/journal.pone.0013922
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2010 | Book Chapter | IST-REx-ID: 619
Zacharasiewicz W, Kirsch F. “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 West : Impressions of an Exploratory Field Trip and Academic Interaction in the Canadian West : Rapports Interculturels et Paysages Littéraires Dans l’Ouest Canadien. Facultas.WUV; 2010:173-179.
View
2010 | Journal Article | IST-REx-ID: 6198
Zhou L, Li F, Xu H, et al. Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95. Nature Medicine. 2010;16(12):1439-1443. doi:10.1038/nm.2245
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 6320 |
Bretèche R de la, Browning TD. Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. 2010;2010(646):1-44. doi:10.1515/crelle.2010.064
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 7078 |
Salje EKH, Safarik DJ, Modic KA, et al. Tin telluride: A weakly co-elastic metal. Physical Review B. 2010;82(18). doi:10.1103/physrevb.82.184112
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 7079
Drymiotis FR, Drye TB, Wang Y, et al. Structure formation and very low thermal conductivity in Pb:Te:Ag:Se mixtures. Journal of Applied Physics. 2010;107(3). doi:10.1063/1.3284946
View
| DOI
2010 | Journal Article | IST-REx-ID: 7318
Giordani V, Freunberger SA, Bruce PG, Tarascon J-M, Larcher D. H2O2 decomposition reaction as selecting tool for catalysts in Li–O2 cells. Electrochemical and Solid-State Letters. 2010;13(12). doi:10.1149/1.3494045
View
| DOI
2010 | Conference Paper | IST-REx-ID: 754
Alistarh D-A, Attiya H, Gilbert S, Giurgiu A, Guerraoui R. Fast randomized test-and-set and renaming. In: Vol 6343 LNCS. Springer; 2010:94-108. doi:10.1007/978-3-642-15763-9_9
View
| DOI
2010 | Conference Paper | IST-REx-ID: 755
Alistarh D-A, Gilbert S, Guerraoui R, Zadimoghaddam M. How efficient can gossip be? (On the cost of resilient information exchange). In: Vol 6199 LNCS. Springer; 2010:115-126. doi:10.1007/978-3-642-14162-1_10
View
| DOI
2010 | Conference Paper | IST-REx-ID: 756
Alistarh D-A, Gilbert S, Guerraoui R, Milošević Ž, Newport C. Securing every bit: Authenticated broadcast in radio networks. In: ACM; 2010:50-59. doi:10.1145/1810479.1810489
View
| DOI
2010 | Conference Paper | IST-REx-ID: 758
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. Brief announcement: New bounds for partially synchronous set agreement. In: Vol 6343 LNCS. Springer; 2010:404-405. doi:10.1007/978-3-642-15763-9_40
View
| DOI
2010 | Journal Article | IST-REx-ID: 89
Wright I, Higginbotham AP, Baker S, Donnelly T. Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution. ACS Applied Materials and Interfaces. 2010;2(8):2360-2364. doi:10.1021/am100375w
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 891
Innan H, Kondrashov F. The evolution of gene duplications: Classifying and distinguishing between models. Nature Reviews Genetics. 2010;11(2):97-108. doi:10.1038/nrg2689
View
| DOI
2010 | Journal Article | IST-REx-ID: 9012 |
Palacci JA, Abécassis B, Cottin-Bizonne C, Ybert C, Bocquet L. Colloidal motility and pattern formation under rectified diffusiophoresis. Physical Review Letters. 2010;104(13). doi:10.1103/physrevlett.104.138302
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 | Journal Article | IST-REx-ID: 9013 |
Palacci JA, Cottin-Bizonne C, Ybert C, Bocquet L. Sedimentation and effective temperature of active colloidal suspensions. Physical Review Letters. 2010;105(8). doi:10.1103/physrevlett.105.088304
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 | Journal Article | IST-REx-ID: 901
Breen M, Kondrashov F. Mitochondrial pathogenic mutations are population-specific. Biology Direct. 2010;5. doi:10.1186/1745-6150-5-68
View
| DOI
2010 | Journal Article | IST-REx-ID: 9145
Canuto VM, Howard AM, Cheng Y, Muller CJ, Leboissetier A, Jayne SR. Ocean turbulence, III: New GISS vertical mixing scheme. Ocean Modelling. 2010;34(3-4):70-91. doi:10.1016/j.ocemod.2010.04.006
View
| DOI
2010 | Journal Article | IST-REx-ID: 9146 |
O’Gorman PA, Muller CJ. How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. 2010;5(2). doi:10.1088/1748-9326/5/2/025207
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Journal Article | IST-REx-ID: 920
Angelini T, Hannezo EB, Trepat X, Fredberg J, Weitz D. Cell migration driven by cooperative substrate deformation patterns. Physical Review Letters. 2010;104(16). doi:10.1103/PhysRevLett.104.168104
View
| DOI
2010 | Journal Article | IST-REx-ID: 9485 |
Zemach A, Kim MY, Silva P, et al. Local DNA hypomethylation activates genes in rice endosperm. Proceedings of the National Academy of Sciences. 2010;107(43):18729-18734. doi:10.1073/pnas.1009695107
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 9489 |
Zemach A, Zilberman D. Evolution of eukaryotic DNA methylation and the pursuit of safer sex. Current Biology. 2010;20(17):R780-R785. doi:10.1016/j.cub.2010.07.007
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 8473
Corazza A, Rennella E, Schanda P, et al. Native-unlike long-lived intermediates along the folding pathway of the amyloidogenic protein β2-Microglobulin revealed by real-time two-dimensional NMR. Journal of Biological Chemistry. 2010;285(8):5827-5835. doi:10.1074/jbc.m109.061168
View
| DOI
2010 | Journal Article | IST-REx-ID: 8472
Schanda P, Meier BH, Ernst M. Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy. Journal of the American Chemical Society. 2010;132(45):15957-15967. doi:10.1021/ja100726a
View
| DOI
2010 | Conference Paper | IST-REx-ID: 8507
Kaloshin V, ZHANG K, ZHENG Y. Almost dense orbit on energy surface. In: XVIth International Congress on Mathematical Physics. World Scientific; 2010:314-322. doi:10.1142/9789814304634_0017
View
| DOI
2010 | Book Chapter | IST-REx-ID: 8506
Hunt BR, Kaloshin V. Prevalence. In: Handbook of Dynamical Systems. Vol 3. Elsevier; 2010:43-87. doi:10.1016/s1874-575x(10)00310-3
View
| DOI
2010 | Journal Article | IST-REx-ID: 857
Povolotskaya I, Kondrashov F. Sequence space and the ongoing expansion of the protein universe. Nature. 2010;465(7300):922-926. doi:10.1038/nature09105
View
| DOI
2010 | Journal Article | IST-REx-ID: 862
Meer M, Kondrashov A, Artzy Randrup Y, Kondrashov F. Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness. Nature. 2010;464(7286):279-282. doi:10.1038/nature08691
View
| DOI
2010 | Journal Article | IST-REx-ID: 872
Kondrashov F, Kondrashov A. 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. 2010;365(1544):1169-1176. doi:10.1098/rstb.2009.0286
View
| DOI
2010 | Journal Article | IST-REx-ID: 884
Kondrashov A, Povolotskaya I, Ivankov D, Kondrashov F. Rate of sequence divergence under constant selection. Biology Direct. 2010;5. doi:10.1186/1745-6150-5-5
View
| DOI
2010 | Journal Article | IST-REx-ID: 9452
Zemach A, McDaniel IE, Silva P, Zilberman D. Genome-wide evolutionary analysis of eukaryotic DNA methylation. Science. 2010;328(5980):916-919. doi:10.1126/science.1186366
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3779 |
Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. Cryptic variation between species and the basis of hybrid performance. PLoS Biology. 2010;8(7). doi:10.1371/journal.pbio.1000429
[Published Version]
View
| Files available
| DOI
2010 | Research Data Reference | IST-REx-ID: 9764
Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. Heterosis and the drift load. 2010. doi:10.1371/journal.pbio.1000429.s003
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 12199
Feng X, Dickinson HG. Tapetal cell fate, lineage and proliferation in the Arabidopsis anther. Development. 2010;137(14):2409-2416. doi:10.1242/dev.049320
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 12200
Feng X, Dickinson HG. Cell–cell interactions during patterning of the Arabidopsis anther. Biochemical Society Transactions. 2010;38(2):571-576. doi:10.1042/bst0380571
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 13410
Coskun A, Wesson PJ, Klajn R, et al. Molecular-mechanical switching at the nanoparticle−solvent interface: Practice and theory. Journal of the American Chemical Society. 2010;132(12):4310-4320. doi:10.1021/ja9102327
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 13409 |
Klajn R. Immobilized azobenzenes for the construction of photoresponsive materials. Pure and Applied Chemistry. 2010;82(12):2247-2279. doi:10.1351/pac-con-10-09-04
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Journal Article | IST-REx-ID: 13412
Klajn R, Stoddart JF, Grzybowski BA. Nanoparticles functionalised with reversible molecular and supramolecular switches. Chemical Society Reviews. 2010;39(6):2203-2237. doi:10.1039/b920377j
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 13411
Klajn R, Browne KP, Soh S, Grzybowski BA. Nanoparticles that “remember” temperature. Small. 2010;6(13):1385-1387. doi:10.1002/smll.200902272
View
| DOI
| PubMed | Europe PMC
2010 | Conference Paper | IST-REx-ID: 3852 |
Chatterjee K, Majumdar R. Discounting in games across time scales. In: Vol 25. EPTCS; 2010:22-29. doi:10.4204/EPTCS.25.6
[Published Version]
View
| Files available
| DOI
| arXiv
2010 | Thesis | IST-REx-ID: 3962
Pflicke H. Dendritic cell migration across basement membranes in the skin. 2010.
View