Please note that IST 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.

3466 Publications


2010 | Journal Article | IST-REx-ID: 2095 | OA
Beeler, Thabo, Bernd Bickel, Paul Beardsley, Bob Sumner, and Markus Groß. “High-Quality Single-Shot Capture of Facial Geometry.” ACM Transactions on Graphics. ACM, 2010. https://doi.org/10.1145/1778765.1778777.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2124 | OA
Maas, Jan. “Malliavin Calculus and Decoupling Inequalities in Banach Spaces.” Journal of Mathematical Analysis and Applications. Academic Press, 2010. https://doi.org/10.1016/j.jmaa.2009.08.041.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2194 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “An Analytic Model of the Stereodynamics of Rotationally Inelastic Molecular Collisions.” Physical Chemistry Chemical Physics. Royal Society of Chemistry, 2010. https://doi.org/10.1039/B920899B .
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2195 | OA
Lemeshko, Mikhail, Pablo Jambrina, Marcelo De Miranda, and Břetislav Friedrich. “Communications: When Diffraction Rules the Stereodynamics of Rotationally Inelastic Collisions.” Journal of Chemical Physics. American Institute of Physics, 2010. https://doi.org/10.1063/1.3386530.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2196 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “Fine-Tuning Molecular Energy Levels by Nonresonant Laser Pulses.” Journal of Physical Chemistry A. American Chemical Society, 2010. https://doi.org/10.1021/jp1032299.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2197 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “Multiple Scattering of Matter Waves: An Analytic Model of the Refractive Index for Atomic and Molecular Gases.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2010. https://doi.org/10.1103/PhysRevA.82.022711.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 488 | OA
Alur, Rajeev, and Pavol Cerny. “Expressiveness of Streaming String Transducers,” 8:1–12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 489 | OA
Cristau, Julien, Claire David, and Florian Horn. “How Do We Remember the Past in Randomised Strategies? .” In Proceedings of GandALF 2010, 25:30–39. Open Publishing Association, 2010. https://doi.org/10.4204/EPTCS.25.7.
View | DOI | Download Published Version (ext.)
 

2010 | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee, Krishnendu, Pavol Cerny, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0004.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5389 | OA
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. Simulation Distances. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0003.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5390 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0002.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5391 | OA
Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. Model Checking of Linearizability of Concurrent List Implementations. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0001.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 598 | OA
Meyer, Krista, Shih Lin, Carrie Bernecky, Yuefeng Gao, and Dylan Taatjes. “P53 Activates Transcription by Directing Structural Shifts in Mediator.” Nature Structural and Molecular Biology. Nature Publishing Group, 2010. https://doi.org/10.1038/nsmb.1816.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 6142 | OA
Weber, Katherine P., Subhajyoti De, Iwanka Kozarewa, Daniel J. Turner, M. Madan Babu, and Mario de Bono. “Whole Genome Sequencing Highlights Genetic Changes Associated with Laboratory Domestication of C. Elegans.” PLoS ONE. Public Library of Science, 2010. https://doi.org/10.1371/journal.pone.0013922.
View | Files available | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 6320 | OA
Bretèche, Régis de la, and Timothy D Browning. “Le Problème Des Diviseurs Pour Des Formes Binaires de Degré 4.” Crelles Journal. Walter de Gruyter GmbH, 2010. https://doi.org/10.1515/crelle.2010.064.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 7078 | OA
Salje, E. K. H., D. J. Safarik, Kimberly A Modic, J. E. Gubernatis, J. C. Cooley, R. D. Taylor, B. Mihaila, et al. “Tin Telluride: A Weakly Co-Elastic Metal.” Physical Review B. APS, 2010. https://doi.org/10.1103/physrevb.82.184112.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 1465 | OA
Hausel, Tamás. “Kac’s Conjecture from Nakajima Quiver Varieties.” Inventiones Mathematicae. Springer, 2010. https://doi.org/10.1007/s00222-010-0241-3.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1466 | OA
Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Topology of Character Varieties and Representations of Quivers.” Comptes Rendus Mathematique. Elsevier, 2010. https://doi.org/10.1016/j.crma.2010.01.025.
View | DOI | Download (ext.)
 

2010 | Book Chapter | IST-REx-ID: 1468 | OA
Hausel, Tamás. “S-Duality in HyperkäHler Hodge Theory.” In The Many Facets of Geometry: A Tribute to Nigel Hitchin. Oxford University Press, 2010. https://doi.org/10.1093/acprof:oso/9780199534920.003.0016.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1044 | OA
Danzl, Johann G, Manfred Mark, Elmar Haller, Mattias Gustavsson, Russell Hart, Jesus Aldegunde, Jeremy Hutson, and Hanns Nägerl. “An Ultracold High-Density Sample of Rovibronic Ground-State Molecules in an Optical Lattice.” Nature Physics. Nature Publishing Group, 2010. https://doi.org/10.1038/nphys1533.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 1045 | OA
Haller, Elmar, Manfred Mark, Russell Hart, Johann G Danzl, Lukas Reichsöllner, Vladimir Melezhik, Peter Schmelcher, and Hanns Nägerl. “Confinement-Induced Resonances in Low-Dimensional Quantum Systems.” Physical Review Letters. American Physical Society, 2010. https://doi.org/10.1103/PhysRevLett.104.153203.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 1047 | OA
Haller, Elmar, Russell Hart, Manfred Mark, Johann G Danzl, Lukas Reichsöllner, and Hanns Nägerl. “Inducing Transport in a Dissipation-Free Lattice with Super Bloch Oscillations.” Physical Review Letters. American Physical Society, 2010. https://doi.org/10.1103/PhysRevLett.104.200403.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 1049 | OA
Haller, Elmar, Russell Hart, Manfred Mark, Johann G Danzl, Lukas Reichsöllner, Mattias Gustavsson, Marcello Dalmonte, Guido Pupillo, and Hanns Nägerl. “Pinning Quantum Phase Transition for a Luttinger Liquid of Strongly Interacting Bosons.” Nature. Nature Publishing Group, 2010. https://doi.org/10.1038/nature09259.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 9012 | OA
Palacci, Jérémie A, Benjamin Abécassis, Cécile Cottin-Bizonne, Christophe Ybert, and Lydéric Bocquet. “Colloidal Motility and Pattern Formation under Rectified Diffusiophoresis.” Physical Review Letters. American Physical Society, 2010. https://doi.org/10.1103/physrevlett.104.138302.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Journal Article | IST-REx-ID: 9013 | OA
Palacci, Jérémie A, Cécile Cottin-Bizonne, Christophe Ybert, and Lydéric Bocquet. “Sedimentation and Effective Temperature of Active Colloidal Suspensions.” Physical Review Letters. American Physical Society , 2010. https://doi.org/10.1103/physrevlett.105.088304.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Journal Article | IST-REx-ID: 9146 | OA
O’Gorman, P A, and Caroline J MULLER. “How Closely Do Changes in Surface and Column Water Vapor Follow Clausius–Clapeyron Scaling in Climate Change Simulations?” Environmental Research Letters. IOP Publishing, 2010. https://doi.org/10.1088/1748-9326/5/2/025207.
View | DOI | Download Published Version (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3719 | OA
Feret, Jérôme, Thomas A Henzinger, Heinz Koeppl, and Tatjana Petrov. “Lumpability Abstractions of Rule-Based Systems,” 40:142–61. Open Publishing Association, 2010.
View | Files available | arXiv
 

2010 | Preprint | IST-REx-ID: 3743 | OA
Tkačik, Gašper. “From Statistical Mechanics to Information Theory: Understanding Biophysical Information-Processing Systems.” ArXiv. ArXiv, 2010.
View | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3748 | OA
Park, Heungwon, William Pontius, Calin C Guet, John Marko, Thierry Emonet, and Philippe Cluzel. “Interdependence of Behavioural Variability and Response to Small Stimuli in Bacteria.” Nature. Nature Publishing Group, 2010. https://doi.org/10.1038/nature09551.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3749 | OA
Park, Heungwon, Calin C Guet, Thierry Emonet, and Philippe Cluzel. “Fine-Tuning of Chemotactic Response in E. Coli Determined by High-Throughput Capillary Assay.” Current Microbiology. Springer, 2010. https://doi.org/10.1007/s00284-010-9778-z.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3772 | OA
Barton, Nicholas H. “Understanding Adaptation in Large Populations.” PLoS Genetics. Public Library of Science, 2010. https://doi.org/10.1371/journal.pgen.1000987.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3773 | OA
Barton, Nicholas H. “What Role Does Natural Selection Play in Speciation?” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010. https://doi.org/10.1098/rstb.2010.0001.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3776 | OA
Barton, Nicholas H. “Genetic Linkage and Natural Selection.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010. https://doi.org/10.1098/rstb.2010.0106.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3777 | OA
Barton, Nicholas H. “Mutation and the Evolution of Recombination.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010. https://doi.org/10.1098/rstb.2009.0320.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3787 | OA
Palero, Ferran, Sally Hall, Paul Clark, David Johnston, Jackie Mackenzie Dodds, and Sven Thatje. “DNA Extraction from Formalin-Fixed Tissue: New Light from the Deep Sea.” Scientia Marina. Consejo Superior de Investigaciones Científicas, 2010. https://doi.org/10.3989/scimar.2010.74n3465.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 3790 | OA
Diz Muñoz, Alba, Michael Krieg, Martin Bergert, Itziar Ibarlucea Benitez, Daniel Müller, Ewa Paluch, and Carl-Philipp J Heisenberg. “Control of Directed Cell Migration in Vivo by Membrane-to-Cortex Attachment.” PLoS Biology. Public Library of Science, 2010. https://doi.org/10.1371/journal.pbio.1000544.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3793 | OA
Nowozin, Sebastian, Peter Gehler, and Christoph Lampert. “On Parameter Learning in CRF-Based Approaches to Object Class Image Segmentation,” 6316:98–111. Springer, 2010. https://doi.org/10.1007/978-3-642-15567-3_8.
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 3795 | OA
Edelsbrunner, Herbert, Dmitriy Morozov, and Amit Patel. “The Stability of the Apparent Contour of an Orientable 2-Manifold.” In Topological Data Analysis and Visualization: Theory, Algorithms and Applications, 27–42. Springer, 2010. https://doi.org/10.1007/978-3-642-15014-2_3.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3831 | OA
Norenberg, Anja, Hua Hu, Imre Vida, Marlene Bartos, and Peter M Jonas. “Distinct Nonuniform Cable Properties Optimize Rapid and Efficient Activation of Fast-Spiking GABAergic Interneurons.” PNAS. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.0910716107.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3832 | OA
Guzmán, José, and Peter M Jonas. “Beyond TARPs: The Growing List of Auxiliary AMPAR Subunits.” Neuron. Elsevier, 2010. https://doi.org/10.1016/j.neuron.2010.04.003.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3834 | OA
Wolf, Verena, Rushil Goel, Maria Mateescu, and Thomas A Henzinger. “Solving the Chemical Master Equation Using Sliding Windows.” BMC Systems Biology. BioMed Central, 2010. https://doi.org/10.1186/1752-0509-4-42.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3838 | OA
Henzinger, Thomas A, Maria Mateescu, Linar Mikeev, and Verena Wolf. “Hybrid Numerical Solution of the Chemical Master Equation,” 55–65. Springer, 2010. https://doi.org/10.1145/1839764.1839772.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3839 | OA
Henzinger, Thomas A, Thibaud Hottelier, Laura Kovács, and Andrei Voronkov. “Invariant and Type Inference for Matrices,” 5944:163–79. Springer, 2010. https://doi.org/10.1007/978-3-642-11319-2_14.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3842 | OA
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Fast Adaptive Uniformization of the Chemical Master Equation.” IET Systems Biology. Institution of Engineering and Technology, 2010. https://doi.org/10.1049/iet-syb.2010.0005.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3845 | OA
Henzinger, Thomas A, Thibaud Hottelier, Laura Kovács, and Andrey Rybalchenko. “Aligators for Arrays,” 6397:348–56. Springer, 2010. https://doi.org/10.1007/978-3-642-16242-8_25.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3847 | OA
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “SABRE: A Tool for the Stochastic Analysis of Biochemical Reaction Networks,” 193–94. IEEE, 2010. https://doi.org/10.1109/QEST.2010.33.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3849 | OA
Bendich, Paul, Herbert Edelsbrunner, Michael Kerber, and Amit Patel. “Persistent Homology under Non-Uniform Error,” 6281:12–23. Springer, 2010. https://doi.org/10.1007/978-3-642-15155-2_2.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 385 | OA
Alpichshev, Zhanybek, James Analytis, Jiunhaw Chu, Ian Fisher, Yulin Chen, Zhixun Shen, Aiping Fang, and Aharon Kapitulnik. “STM Imaging of Electronic Waves on the Surface of Bi2Te3 Topologically Protected Surface States and Hexagonal Warping Effects.” Physical Review Letters. American Physical Society, 2010. https://doi.org/10.1103/PhysRevLett.104.016401.
View | DOI | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3851 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Energy Parity Games,” 6199:599–610. Springer, 2010. https://doi.org/10.1007/978-3-642-14162-1_50.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3852 | OA
Chatterjee, Krishnendu, and Ritankar Majumdar. “Discounting in Games across Time Scales,” 25:22–29. EPTCS, 2010. https://doi.org/10.4204/EPTCS.25.6.
View | Files available | DOI | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications