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.

3307 Publications


2010 | Conference Paper | IST-REx-ID: 4390 | OA
Cerny, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. Vol. 6174, Springer, 2010, pp. 465–79, doi:10.1007/978-3-642-14295-6_41.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Cerny, Pavol, et al. Simulation Distances. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–68, doi:10.1007/978-3-642-15375-4_18.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
Beyer, Dirk, et al. Shape Refinement through Explicit Heap Analysis. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 263–77, doi:10.1007/978-3-642-12029-9_19.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 2980 | OA
Bangerter, Endre, et al. Automatic Generation of Sigma-Protocols. Edited by Fabio Martinelli and Bart Preneel, vol. 6391, Springer, 2010, pp. 67–82, doi:10.1007/978-3-642-16441-5.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3072 | OA
Grunewald, Wim, and Jiří Friml. “The March of the PINs: Developmental Plasticity by Dynamic Polar Targeting in Plant Cells.” EMBO Journal, vol. 29, no. 16, Wiley-Blackwell, 2010, pp. 2700–14, doi:10.1038/emboj.2010.181.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3077 | OA
Friml, Jiří, and Angharad Jones. “Endoplasmic Reticulum: The Rising Compartment in Auxin Biology.” Plant Physiology, vol. 154, no. 2, American Society of Plant Biologists, 2010, pp. 458–62, doi:10.1104/pp.110.161380.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3303 | OA
Weissman, Daniel, et al. “The Rate of Fitness-Valley Crossing in Sexual Populations.” Genetics, vol. 186, no. 4, Genetics Society of America, 2010, pp. 1389–410, doi:10.1534/genetics.110.123240.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 3306 | OA
Evans, Steven, et al. “Commuting Birth and Death Processes.” The Annals of Applied Probability, vol. 20, Institute of Mathematical Statistics, 2010, pp. 238–66, doi:10.1214/09-AAP615.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3308 | OA
Sturmfels, Bernd, and Caroline Uhler. “Multivariate Gaussians, Semidefinite Matrix Completion, and Convex Algebraic Geometry.” Annals of the Institute of Statistical Mathematics, vol. 62, no. 4, Springer, 2010, pp. 603–38, doi:10.1007/s10463-010-0295-4.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3430 | OA
Tkačik, Gašper. Lecture Notes for 2010 Summer School on Quantitative Evolutionary and Comparative Genomics. Elsevier, 2010.
View | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3538 | OA
Jiruska, Premysl, et al. “High-Frequency Network Activity, Global Increase in Neuronal Activity, and Synchrony Expansion Precede Epileptic Seizures in Vitro.” Journal of Neuroscience, vol. 30, no. 16, Society for Neuroscience, 2010, pp. 5690–701, doi:10.1523/JNEUROSCI.0535-10.2010.
View | DOI | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
Wies, Thomas, et al. Forward Analysis of Depth-Bounded Processes. Edited by Luke Ong, vol. 6014, Springer, 2010, pp. 94–108, doi:10.1007/978-3-642-12032-9_8.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 9485 | OA
Zemach, Assaf, 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, 2010, pp. 18729–34, doi:10.1073/pnas.1009695107.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 9489 | OA
Zemach, Assaf, and Daniel ZILBERMAN. “Evolution of Eukaryotic DNA Methylation and the Pursuit of Safer Sex.” Current Biology, vol. 20, no. 17, Elsevier, 2010, pp. R780–85, doi:10.1016/j.cub.2010.07.007.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 228 | OA
Browning, Timothy D., and Roger Heath Brown. “Rational Points on Quartic Hypersurfaces.” Journal Fur Die Reine Und Angewandte Mathematik, no. 629, Walter de Gruyter, 2009, pp. 37–88, doi:10.1515/CRELLE.2009.026.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 229 | OA
Browning, Timothy D. “Linear Growth for Châtelet Surfaces.” Mathematische Annalen, vol. 346, no. 1, Springer Nature, 2009, pp. 41–50, doi:10.1007/s00208-009-0383-z.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2384 | OA
Giuliani, Alessandro, and Robert Seiringer. “The Ground State Energy of the Weakly Interacting Bose Gas at High Density.” Journal of Statistical Physics, vol. 135, no. 5–6, Springer, 2009, pp. 915–34, doi:10.1007/s10955-009-9718-0.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2385 | OA
Lieb, Élliott, et al. “Yrast Line of a Rapidly Rotating Bose Gas: Gross-Pitaevskii Regime.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 79, no. 6, American Physical Society, 2009, doi:10.1103/PhysRevA.79.063626.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2386 | OA
Seiringer, Robert, and Daniel Ueltschi. “Rigorous Upper Bound on the Critical Temperature of Dilute Bose Gases.” Physical Review B - Condensed Matter and Materials Physics, vol. 80, no. 1, American Physical Society, 2009, doi:10.1103/PhysRevB.80.014502.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2387 | OA
Lewin, Mathieu, and Robert Seiringer. “Strongly Correlated Phases in Rapidly Rotating Bose Gases.” Journal of Statistical Physics, vol. 137, no. 5, Springer, 2009, pp. 1040–62, doi:10.1007/s10955-009-9833-y.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2388 | OA
Predd, Joel, et al. “Probabilistic Coherence and Proper Scoring Rules.” IEEE Transactions on Information Theory, vol. 55, no. 10, IEEE, 2009, pp. 4786–92, doi:10.1109/TIT.2009.2027573.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 2433 | OA
Matoušek, Jiří, et al. Hardness of Embedding Simplicial Complexes in ℝd. SIAM, 2009, pp. 855–64.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2499 | OA
Rives, Marie, et al. “Crosstalk between GABAB and MGlu1a Receptors Reveals New Insight into GPCR Signal Integration.” EMBO Journal, vol. 28, no. 15, Wiley-Blackwell, 2009, pp. 2195–208, doi:10.1038/emboj.2009.177.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 8026 | OA
Vogels, Tim P., and L. F. Abbott. “Gating Multiple Signals through Detailed Balance of Excitation and Inhibition in Spiking Networks.” Nature Neuroscience, vol. 12, no. 4, Springer Nature, 2009, pp. 483–91, doi:10.1038/nn.2276.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 88 | OA
Higginbotham, Andrew P., et al. “Generation of Mie Size Microdroplet Aerosols with Applications in Laser-Driven Fusion Experiments.” Review of Scientific Instruments, vol. 80, no. 6, 063503, American Institute of Physics, 2009, doi:10.1063/1.3155302.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 1766 | OA
Leek, Peter, et al. “Using Sideband Transitions for Two-Qubit Operations in Superconducting Circuits.” Physical Review B - Condensed Matter and Materials Physics, vol. 79, no. 18, American Physical Society, 2009, doi:10.1103/PhysRevB.79.180511.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1767 | OA
Baur, Matthias, et al. “Measurement of Autler-Townes and Mollow Transitions in a Strongly Driven Superconducting Qubit.” Physical Review Letters, vol. 102, no. 24, American Physical Society, 2009, doi:10.1103/PhysRevLett.102.243602.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1768 | OA
Filipp, Stefan, et al. “Two-Qubit State Tomography Using a Joint Dispersive Readout.” Physical Review Letters, vol. 102, no. 20, American Physical Society, 2009, doi:10.1103/PhysRevLett.102.200402.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1769 | OA
Fink, Johannes M., et al. “Dressed Collective Qubit States and the Tavis-Cummings Model in Circuit QED.” Physical Review Letters, vol. 103, no. 8, American Physical Society, 2009, doi:10.1103/PhysRevLett.103.083601.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1770 | OA
Bianchetti, R., et al. “Dynamics of Dispersive Single-Qubit Readout in Circuit Quantum Electrodynamics.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 80, no. 4, American Physical Society, 2009, doi:10.1103/PhysRevA.80.043840.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1771 | OA
Fink, Johannes M., et al. “Thermal Excitation of Multi-Photon Dressed States in Circuit Quantum Electrodynamics.” Physica Scripta T, vol. T137, IOP Publishing Ltd., 2009, doi:10.1088/0031-8949/2009/T137/014013.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1825 | OA
Friedlander, Tamar, and Naama Brenner. “Adaptive Response by State-Dependent Inactivation.” PNAS, vol. 106, no. 52, National Academy of Sciences, 2009, pp. 22558–63, doi:10.1073/pnas.0902146106 .
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2119 | OA
Maas, Jan, and Jan Van Neerven. “Boundedness of Riesz Transforms for Elliptic Operators on Abstract Wiener Spaces.” Journal of Functional Analysis, vol. 257, no. 8, Academic Press, 2009, pp. 2410–75, doi:10.1016/j.jfa.2009.07.001.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2137 | OA
Lemeshko, Mikhail, and Bretislav Frierich. “Rotational Structure of Weakly Bound Molecular Ions.” Journal of Atomic and Molecular Sciences, vol. 1, no. 1, Global Science Press, 2009, pp. 41–47, doi:10.4208/jams.101009.110209a.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2149 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “Collisions of Paramagnetic Molecules in Magnetic Fields: An Analytic Model Based on Fraunhofer Diffraction of Matter Waves.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 79, no. 1, American Physical Society, 2009, doi:10.1103/PhysRevA.79.012718.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2150 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “The Effect of a Nonresonant Radiative Field on Low-Energy Rotationally Inelastic Na+ + N2 Collisions.” International Journal of Mass Spectrometry, vol. 280, no. 1–3, Elsevier, 2009, pp. 19–25, doi:10.1016/j.ijms.2008.06.010 .
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2191 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “Rotational and Rotationless States of Weakly Bound Molecules.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 79, no. 5, American Physical Society, 2009, doi:10.1103/PhysRevA.79.050501.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2192 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “Model Analysis of Rotationally Inelastic Ar + H2O Scattering in an Electric Field.” Journal of Physical Chemistry A, vol. 113, no. 52, American Chemical Society, 2009, pp. 15055–63, doi:10.1021/jp9051598.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2193 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “Probing Weakly Bound Molecules with Nonresonant Light.” Physical Review Letters, vol. 103, no. 5, American Physical Society, 2009, doi:10.1103/PhysRevLett.103.053003.
View | DOI | Download (ext.)
 

2009 | Technical Report | IST-REx-ID: 5392 | OA
Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009, doi:10.15479/AT:IST-2009-0004.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5393 | OA
Chatterjee, Krishnendu, et al. Gist: A Solver for Probabilistic Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0003.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee, Krishnendu, et al. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0002.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009, doi:10.15479/AT:IST-2009-0001.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 599 | OA
Knuesel, Matthew, et al. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” Genes and Development, vol. 23, no. 4, Cold Spring Harbor Laboratory Press, 2009, pp. 439–51, doi:10.1101/gad.1767009.
View | DOI | Download None (ext.)
 

2009 | Book Chapter | IST-REx-ID: 164 | OA
Browning, Timothy D., and Roger Heath Brown. “Integral Points on Cubic Hypersurfaces.” Analytic Number Theory: Essays in Honour of Klaus Roth, Cambridge University Press, 2009, pp. 75–90.
View | Download Preprint (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1038 | OA
Mark, Manfred, et al. “Dark Resonances for Ground-State Transfer of Molecular Quantum Gases.” Applied Physics B: Lasers and Optics, vol. 95, no. 2, Springer, 2009, pp. 219–25, doi:10.1007/s00340-009-3407-1.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1040 | OA
Haller, Elmar, et al. “Realization of an Excited, Strongly Correlated Quantum Gas Phase.” Science, vol. 325, no. 5945, American Association for the Advancement of Science, 2009, pp. 1224–27, doi:10.1126/science.1175850.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1041 | OA
Danzl, Johann G., et al. “Deeply Bound Ultracold Molecules in an Optical Lattice.” New Journal of Physics, vol. 11, IOP Publishing Ltd., 2009, doi:10.1088/1367-2630/11/5/055036.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1043 | OA
Danzl, Johann G., et al. “Precision Molecular Spectroscopy for Ground State Transfer of Molecular Quantum Gases.” Faraday Discussions, vol. 142, Royal Society of Chemistry, 2009, pp. 283–95, doi:10.1039/b820542f.
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 9147 | OA
MULLER, Caroline J., and Oliver Bühler. “Saturation of the Internal Tides and Induced Mixing in the Abyssal Ocean.” Journal of Physical Oceanography, vol. 39, no. 9, American Meteorological Society, 2009, pp. 2077–96, doi:10.1175/2009jpo4141.1.
View | DOI | Download Published Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 9148 | OA
MULLER, Caroline J., et al. “A Model for the Relationship between Tropical Precipitation and Column Water Vapor.” Geophysical Research Letters, vol. 36, no. 16, L16804, American Geophysical Union, 2009, doi:10.1029/2009gl039667.
View | DOI | Download Published Version (ext.)
 

2009 | Preprint | IST-REx-ID: 3732 | OA
Tkačik, Gašper, et al. “Spin Glass Models for a Network of Real Neurons.” ArXiv, vol. q-NC, ArXiv, 2009.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3775 | OA
Barton, Nicholas H., and Jason Coe. “On the Application of Statistical Physics to Evolutionary Biology.” Journal of Theoretical Biology, vol. 259, no. 2, Elsevier, 2009, pp. 317–24, doi:10.1016/j.jtbi.2009.03.019.
View | DOI | Download Submitted Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 3780 | OA
Davison, Angus, et al. “The Effect of Chirality Phenotype and Genotype on the Fecundity and Viability of Partula Suturalis and Lymnaea Stagnalis: Implications for the Evolution of Sinistral Snails.” Journal of Evolutionary Biology, vol. 22, no. 8, Wiley, 2009, pp. 1624–35, doi:10.1111/j.1420-9101.2009.01770.x.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis, Stavros, et al. “On Relational Interfaces.” EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76, doi:10.1145/1629335.1629346.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger, Thomas A., et al. Formalisms for Specifying Markovian Population Models. Vol. 5797, Springer, 2009, pp. 3–23, doi:10.1007/978-3-642-04420-5_2.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier, Frédéric, et al. Fast Adaptive Uniformization of the Chemical Master Equation. Vol. 4, no. 6, IEEE, 2009, pp. 118–27, doi:10.1109/HiBi.2009.23.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger, Thomas A., et al. Distributed, Modular HTL. IEEE, 2009, pp. 171–80, doi:10.1109/RTSS.2009.9.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee, Krishnendu, et al. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1, 1, ACM, 2009, doi:10.1145/1614431.1614432.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3946 | OA
Cremer, Sylvia, and Michael K. Sixt. “Analogies in the Evolution of Individual and Social Immunity.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 364, no. 1513, Royal Society, The, 2009, pp. 129–42, doi:10.1098/rstb.2008.0166.
View | DOI | Download None (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3968 | OA
Edelsbrunner, Herbert, and John Harer. The Persistent Morse Complex Segmentation of a 3-Manifold. Vol. 5903, Springer, 2009, pp. 36–50, doi:10.1007/978-3-642-10470-1_4.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 4136 | OA
Polechova, Jitka, et al. “Species’ Range: Adaptation in Space and Time.” American Naturalist, vol. 174, no. 5, University of Chicago Press, 2009, pp. E186–204, doi:10.1086/605958.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 4242 | OA
Barton, Nicholas H., and Maria De Cara. “The Evolution of Strong Reproductive Isolation.” Evolution; International Journal of Organic Evolution, vol. 63, no. 5, Wiley, 2009, pp. 1171–90, doi:10.1111/j.1558-5646.2009.00622.x.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui, Rachid, et al. Software Transactional Memory on Relaxed Memory Models. Vol. 5643, Springer, 2009, pp. 321–36, doi:10.1007/978-3-642-02658-4_26.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
Alur, Rajeev, et al. Algorithmic Analysis of Array-Accessing Programs. Vol. 5771, Springer, 2009, pp. 86–101, doi:10.1007/978-3-642-04027-6_9.
View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
Henzinger, Thomas A., et al. Sliding-Window Abstraction for Infinite Markov Chains. Vol. 5643, Springer, 2009, pp. 337–52, doi:10.1007/978-3-642-02658-4_27.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee, Krishnendu, et al. Alternating Weighted Automata. Vol. 5699, Springer, 2009, pp. 3–13, doi:10.1007/978-3-642-03409-1_2.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544 | OA
Chatterjee, Krishnendu, et al. Termination Criteria for Solving Concurrent Safety and Reachability Games. SIAM, 2009, pp. 197–206, doi:10.1137/1.9781611973068.23.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee, Krishnendu, et al. A Survey of Stochastic Games with Limsup and Liminf Objectives. Vol. 5556, Springer, 2009, pp. 1–15, doi:10.1007/978-3-642-02930-1_1.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
Bloem, Roderick, et al. Better Quality in Synthesis through Quantitative Objectives. Vol. 5643, Springer, 2009, pp. 140–56, doi:10.1007/978-3-642-02658-4_14.
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
Berwanger, Dietmar, et al. Alpaga: A Tool for Solving Parity Games with Imperfect Information. Vol. 5505, Springer, 2009, pp. 58–61, doi:10.1007/978-3-642-00768-2_7.
View | Files available | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3051 | OA
Weijers, Dolf, and Jiří Friml. “SnapShot: Auxin Signaling and Transport.” Cell, vol. 136, no. 6, Cell Press, 2009, pp. 1172–1172, doi:10.1016/j.cell.2009.03.009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3052 | OA
Vanneste, Steffen, and Jiří Friml. “Auxin: A Trigger for Change in Plant Development.” Cell, vol. 136, no. 6, Cell Press, 2009, pp. 1005–16, doi:10.1016/j.cell.2009.03.001.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3057 | OA
Petrášek, Jan, and Jiří Friml. “Auxin Transport Routes in Plant Development.” Development, vol. 136, no. 16, Company of Biologists, 2009, pp. 2675–88, doi:10.1242/dev.030353.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3061 | OA
Křeček, Pavel, et al. “The PIN-FORMED (PIN) Protein Family of Auxin Transporters.” Genome Biology, vol. 10, no. 12, BioMed Central, 2009, doi:10.1186/gb-2009-10-12-249.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3197 | OA
Kumar, M. Pawan, et al. “An Analysis of Convex Relaxations for MAP Estimation of Discrete MRFs.” Journal of Machine Learning Research, vol. 10, Microtome Publishing, 2009, pp. 71–106.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3503 | OA
Chatterjee, Krishnendu, and Thomas A. Henzinger. Probabilistic Systems with Limsup and Liminf Objectives. Vol. 5489, Springer, 2009, pp. 32–45, doi:10.1007/978-3-642-03092-5_4.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 9453 | OA
Hsieh, Tzung-Fu, et al. “Genome-Wide Demethylation of Arabidopsis Endosperm.” Science, vol. 324, no. 5933, American Association for the Advancement of Science, 2009, pp. 1451–54, doi:10.1126/science.1172417.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2008 | Conference Paper | IST-REx-ID: 2331 | OA
Hainzl, Christian, and Robert Seiringer. Spectral Properties of the BCS Gap Equation of Superfluidity. World Scientific Publishing, 2008, pp. 117–36, doi:10.1142/9789812832382_0009.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2332 | OA
Seiringer, Robert. Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases. World Scientific Publishing, 2008, pp. 241–54, doi:10.1142/9789812832382_0017.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2374 | OA
Seiringer, Robert. “Free Energy of a Dilute Bose Gas: Lower Bound.” Communications in Mathematical Physics, vol. 279, no. 3, Springer, 2008, pp. 595–636, doi:10.1007/s00220-008-0428-2.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2376 | OA
Hainzl, Christian, and Robert Seiringer. “Critical Temperature and Energy Gap for the BCS Equation.” Physical Review B - Condensed Matter and Materials Physics, vol. 77, no. 18, American Physical Society, 2008, doi:10.1103/PhysRevB.77.184517.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2377 | OA
Hainzl, Christian, and Robert Seiringer. “The BCS Critical Temperature for Potentials with Negative Scattering Length.” Letters in Mathematical Physics, vol. 84, no. 2–3, Springer, 2008, pp. 99–107, doi:10.1007/s11005-008-0242-y.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2378 | OA
Seiringer, Robert, and Jun Yin. “Ground State Energy of the Low Density Hubbard Model.” Journal of Statistical Physics, vol. 131, no. 6, Springer, 2008, pp. 1139–54, doi:10.1007/s10955-008-9527-x.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2379 | OA
Frank, Rupert, et al. “Hardy-Lieb-Thirring Inequalities for Fractional Schrödinger Operators.” Journal of the American Mathematical Society, vol. 21, no. 4, American Mathematical Society, 2008, pp. 925–50, doi:10.1090/S0894-0347-07-00582-6.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2380 | OA
Hainzl, Christian, et al. “The BCS Functional for General Pair Interactions.” Communications in Mathematical Physics, vol. 281, no. 2, Springer, 2008, pp. 349–67, doi:10.1007/s00220-008-0489-2.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2381 | OA
Frank, Rupert, and Robert Seiringer. “Non-Linear Ground State Representations and Sharp Hardy Inequalities.” Journal of Functional Analysis, vol. 255, no. 12, Academic Press, 2008, pp. 3407–30, doi:10.1016/j.jfa.2008.05.015.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2382 | OA
Seiringer, Robert, and Jun Yin. “The Lieb-Liniger Model as a Limit of Dilute Bosons in Three Dimensions.” Communications in Mathematical Physics, vol. 284, no. 2, Springer, 2008, pp. 459–79, doi:10.1007/s00220-008-0521-6.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2383 | OA
Hainzl, Christian, et al. “A Nonlinear Model for Relativistic Electrons at Positive Temperature.” Reviews in Mathematical Physics, vol. 20, no. 10, World Scientific Publishing, 2008, pp. 1283–307, doi:10.1142/S0129055X08003547.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2702 | OA
Erdös, László, et al. Feynman Graphs and Renormalization in Quantum Diffusion. World Scientific Publishing, 2008, pp. 167–82, doi:10.1142/9789812833556_0011.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1763 | OA
Fink, Johannes M., et al. “Climbing the Jaynes-Cummings Ladder and Observing Its √n Nonlinearity in a Cavity QED System.” Nature, vol. 454, no. 7202, Nature Publishing Group, 2008, pp. 315–18, doi:10.1038/nature07112.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1765 | OA
Göppl, M., et al. “Coplanar Waveguide Resonators for Circuit Quantum Electrodynamics.” Journal of Applied Physics, vol. 104, no. 11, American Institute of Physics, 2008, doi:10.1063/1.3010859.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2120 | OA
Maas, Jan, and Jan Van Neerven. “On the Domain of Non-Symmetric Ornstein-Uhlenbeck Operators in Banach Spaces.” Infinite Dimensional Analysis, Quantum Probability and Related Topics, vol. 11, no. 4, World Scientific Publishing, 2008, pp. 603–26, doi:10.1142/S0219025708003245.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2121 | OA
Van Neerven, Jan, and Jan Maas. “A Clark-Ocone Formula in UMD Banach Spaces.” Electronic Communications in Probability, vol. 13, Institute of Mathematical Statistics, 2008, pp. 151–64.
View | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2146 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “An Analytic Model of Rotationally Inelastic Collisions of Polar Molecules in Electric Fields.” Journal of Chemical Physics, vol. 129, no. 2, American Institute of Physics, 2008, doi:10.1063/1.2948392.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 6146 | OA
Bretscher, A. J., et al. “A Carbon Dioxide Avoidance Behavior Is Integrated with Responses to Ambient Oxygen and Food in Caenorhabditis Elegans.” Proceedings of the National Academy of Sciences, vol. 105, no. 23, Proceedings of the National Academy of Sciences, 2008, pp. 8044–49, doi:10.1073/pnas.0707607105.
View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 1460 | OA
Hausel, Tamás, and Fernando Rodríguez Villegas. “Mixed Hodge Polynomials of Character Varieties: With an Appendix by Nicholas M. Katz.” Inventiones Mathematicae, vol. 174, no. 3, Springer, 2008, pp. 555–624, doi:10.1007/s00222-008-0142-x.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1036 | OA
Gustavsson, Mattias, et al. “Control of Interaction-Induced Dephasing of Bloch Oscillations.” Physical Review Letters, vol. 100, no. 8, American Physical Society, 2008, doi:10.1103/PhysRevLett.100.080404.
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1037 | OA
Knoop, Steven, et al. “Metastable Feshbach Molecules in High Rotational States.” Physical Review Letters, vol. 100, no. 8, American Physical Society, 2008, doi:10.1103/PhysRevLett.100.083002.
View | DOI | Download None (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications