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.
9471 Publications
2010 |Published| Journal Article | IST-REx-ID: 3498
M. Sabeti Aschraf, C. Gonano, E. Nemecek, L. Cichocki, and C. Schueller Weidekamm, “Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis,” Knee Surgery, Sports Traumatology, Arthroscopy, vol. 18, no. 12. Springer, pp. 1792–1794, 2010.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3676
J. Wanke, A. Ulges, C. Lampert, and T. Breuel, “Topic models for semantic video compression,” presented at the MIR: Multimedia Information Retrieval, 2010, pp. 275–284.
View
| DOI
| Download (ext.)
2010 |Published| Preprint | IST-REx-ID: 3743 |
G. Tkačik, “From statistical mechanics to information theory: understanding biophysical information-processing systems,” ArXiv, vol. q-MN. ArXiv, pp. 1–52, 2010.
View
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3759
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.
View
| DOI
| Download None (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3776 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3773 |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 3777 |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 3774
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.
View
| DOI
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 3772 |
N. H. Barton, “Understanding adaptation in large populations,” PLoS Genetics, vol. 6, no. 6. Public Library of Science, 2010.
[Published Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3790 |
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.
[Published Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3793 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3787 |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3788
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.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3786
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.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3834 |
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.
[Published Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3839 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3838 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3853 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3849 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3851 |
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.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2010 |Published| Journal Article | IST-REx-ID: 385 |
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.
View
| DOI
| Download None (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 3850
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.
View
2010 |Published| Conference Paper | IST-REx-ID: 3860 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3862 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Quantitative languages,” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 4. ACM, 2010.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3864 |
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.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3863 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3861 |
K. Chatterjee, T. A. Henzinger, and N. Piterman, “Strategy logic,” Information and Computation, vol. 208, no. 6. Elsevier, pp. 677–693, 2010.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3901 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3904 |
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.
View
| DOI
| Download None (ext.)
2010 |Published| Journal Article | IST-REx-ID: 4157 |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 |Published| Book Chapter | IST-REx-ID: 4339 |
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.
[Published Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4378 |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 |Published| Journal Article | IST-REx-ID: 4379 |
K. Jones, V. Konrad, and D. Nickovic, “Analog property checkers: a DDR2 case study,” Formal Methods in System Design, vol. 36, no. 2. Springer, pp. 114–130, 2010.
View
| DOI
| Download (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 4381 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4382 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4380 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4389 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4396 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3867 |
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.
[Published Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 488 |
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.
[Published Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 489 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 4393 |
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 235–268.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Technical Report | IST-REx-ID: 5388 |
K. Chatterjee, P. Cerny, T. A. Henzinger, A. Radhakrishna, and R. Singh, Quantitative synthesis for concurrent programs. IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
2010 |Published| Technical Report | IST-REx-ID: 5389 |
P. Cerny, T. A. Henzinger, and A. Radhakrishna, Simulation distances. IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4390 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4388 |
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.
[Submitted Version]
View
| Files available
| DOI
| arXiv
2010 |Published| Technical Report | IST-REx-ID: 5391 |
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, Model checking of linearizability of concurrent list implementations. IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
2010 |Published| Technical Report | IST-REx-ID: 5390 |
K. Chatterjee and N. Fijalkow, Topological, automata-theoretic and logical characterization of finitary languages. IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3857
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.
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3855 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 598 |
K. Meyer, S. Lin, C. Bernecky, Y. Gao, and D. Taatjes, “P53 activates transcription by directing structural shifts in Mediator,” Nature Structural and Molecular Biology, vol. 17, no. 6. Nature Publishing Group, pp. 753–760, 2010.
View
| DOI
| Download None (ext.)
2010 |Published| Journal Article | IST-REx-ID: 6142 |
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.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2010 |Published| Book Chapter | IST-REx-ID: 619
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 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, pp. 173–179.
View
2010 |Published| Journal Article | IST-REx-ID: 6198
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.
View
| DOI
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 6320 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |Published| Journal Article | IST-REx-ID: 7078 |
E. K. H. Salje et al., “Tin telluride: A weakly co-elastic metal,” Physical Review B, vol. 82, no. 18. APS, 2010.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |Published| Journal Article | IST-REx-ID: 7318
V. Giordani, S. A. Freunberger, P. G. Bruce, J.-M. Tarascon, and D. Larcher, “H2O2 decomposition reaction as selecting tool for catalysts in Li–O2 cells,” Electrochemical and Solid-State Letters, vol. 13, no. 12. The Electrochemical Society, 2010.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 755
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.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 89
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.
View
| DOI
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 9012 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 |Published| Journal Article | IST-REx-ID: 9013 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 |Published| Journal Article | IST-REx-ID: 9146 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 |Published| Journal Article | IST-REx-ID: 9485 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 9489 |
A. Zemach and D. Zilberman, “Evolution of eukaryotic DNA methylation and the pursuit of safer sex,” Current Biology, vol. 20, no. 17. Elsevier, pp. R780–R785, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 8473
A. Corazza 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, vol. 285, no. 8. American Society for Biochemistry & Molecular Biology, pp. 5827–5835, 2010.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 8472
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.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 872
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.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 9452
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.
View
| DOI
| PubMed | Europe PMC