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.

2421 Publications


2009 | Journal Article | IST-REx-ID: 88   OA
Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments
A.P. Higginbotham, O. Semonin, S. Bruce, C. Chan, M. Maindi, T. Donnelly, M. Maurer, W. Bang, I.. Churina, J. Osterholz, I. Kim, A. Bernstein, T. Ditmire, Review of Scientific Instruments 80 (2009).
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2009 | Conference Paper | IST-REx-ID: 3843   OA
Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 1040   OA
Realization of an excited, strongly correlated quantum gas Phase
E. Haller, M. Gustavsson, M. Mark, J. Danzl, R. Hart, G. Pupillo, H. Nägerl, Science 325 (2009) 1224–1227.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1038   OA
Dark resonances for ground-state transfer of molecular quantum gases
M. Mark, J. Danzl, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Salami, T. Bergeman, H. Ritsch, R. Hart, H. Nägerl, Applied Physics B: Lasers and Optics 95 (2009) 219–225.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1766   OA
Using sideband transitions for two-qubit operations in superconducting circuits
P. Leek, S. Filipp, P. Maurer, M. Baur, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, A. Wallraff, Physical Review B - Condensed Matter and Materials Physics 79 (2009).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2137   OA
Rotational structure of weakly bound molecular ions
M. Lemeshko, B. Frierich, Journal of Atomic and Molecular Sciences 1 (2009) 41–47.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2149   OA
Collisions of paramagnetic molecules in magnetic fields: An analytic model based on Fraunhofer diffraction of matter waves
M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 229   OA
Linear growth for Châtelet surfaces
T.D. Browning, Mathematische Annalen 346 (2009) 41–50.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2384   OA
The ground state energy of the weakly interacting Bose gas at high density
A. Giuliani, R. Seiringer, Journal of Statistical Physics 135 (2009) 915–934.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3197   OA
An analysis of convex relaxations for MAP estimation of discrete MRFs
M.P. Kumar, V. Kolmogorov, P. Torr, Journal of Machine Learning Research 10 (2009) 71–106.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3503   OA
Probabilistic systems with limsup and liminf objectives
K. Chatterjee, T.A. Henzinger, in:, Springer, 2009, pp. 32–45.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3837   OA
On relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844   OA
Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3870   OA
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544   OA
Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
View | Files available | DOI | Download (ext.)
 

2009 | Technical Report | IST-REx-ID: 5395   OA
Qualitative analysis of partially-observable Markov decision processes
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 1039   OA
Quantum gas of deeply bound ground state molecules
J. Danzl, E. Haller, M. Gustavsson, M. Mark, R. Hart, N. Bouloufa, O. Dulieu, H. Ritsch, H. Nägerl, Science 321 (2008) 1062–1066.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2121   OA
A Clark-Ocone formula in UMD Banach spaces
J. Van Neerven, J. Maas, Electronic Communications in Probability 13 (2008) 151–164.
View | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2378   OA
Ground state energy of the low density hubbard model
R. Seiringer, J. Yin, Journal of Statistical Physics 131 (2008) 1139–1154.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2380   OA
The BCS functional for general pair interactions
C. Hainzl, E. Hamza, R. Seiringer, J. Solovej, Communications in Mathematical Physics 281 (2008) 349–367.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3307   OA
A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing
R. Green, A. Malaspinas, J. Krause, A. Briggs, P. Johnson, C. Uhler, M. Meyer, J. Good, T. Maricic, U. Stenzel, K. Prüfer, M. Siebauer, H. Burbano, M. Ronan, J. Rothberg, M. Egholm, P. Rudan, D. Brajković, Ž. Kućan, I. Gušić, M. Wikström, L. Laakkonen, J. Kelso, M. Slatkin, S. Pääbo, Cell 134 (2008) 416–426.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3744   OA
Decoding spike timing: The differential reverse-correlation method
G. Tkacik, M. Magnasco, Biosystems 93 (2008) 90–100.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3751   OA
Uncovering cis regulatory codes using synthetic promoter shuffling
A. Kinkhabwala, C.C. Guet, PLoS One 3 (2008).
View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 965   OA
Nonlinear algebra and Bogoliubov's recursion
A. Morozov, M. Serbyn, Theoretical and Mathematical Physics 154 (2008) 270–293.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1460   OA
Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz
T. Hausel, F. Rodríguez Villegas, Inventiones Mathematicae 174 (2008) 555–624.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1763   OA
Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system
J.M. Fink, M. Göppl, M. Baur, R. Bianchetti, P. Leek, A. Blais, A. Wallraff, Nature 454 (2008) 315–318.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2146   OA
An analytic model of rotationally inelastic collisions of polar molecules in electric fields
M. Lemeshko, B. Friedrich, Journal of Chemical Physics 129 (2008).
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2331   OA
Spectral properties of the BCS gap equation of superfluidity
C. Hainzl, R. Seiringer, in:, World Scientific Publishing, 2008, pp. 117–136.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2374   OA
Free energy of a dilute Bose gas: Lower bound
R. Seiringer, Communications in Mathematical Physics 279 (2008) 595–636.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2379   OA
Hardy-Lieb-Thirring inequalities for fractional Schrödinger operators
R. Frank, É. Lieb, R. Seiringer, Journal of the American Mathematical Society 21 (2008) 925–950.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2381   OA
Non-linear ground state representations and sharp Hardy inequalities
R. Frank, R. Seiringer, Journal of Functional Analysis 255 (2008) 3407–3430.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3740   OA
Information flow and optimization in transcriptional regulation
G. Tkacik, C. Callan, W. Bialek, PNAS 105 (2008) 12265–12270.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3435   OA
Estimation of 2Nes From Temporal Allele Frequency Data
J.P. Bollback, T. York, R. Nielsen, Genetics 179 (2008) 497–502.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3822   OA
Action potential initiation and propagation in hippocampal mossy fibre axons
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Journal of Physiology 586 (2008) 1849–57.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1036   OA
Control of interaction-induced dephasing of bloch oscillations
M. Gustavsson, E. Haller, M. Mark, J. Danzl, G. Rojas Kopeinig, H. Nägerl, Physical Review Letters 100 (2008).
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2332   OA
Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases
R. Seiringer, in:, World Scientific Publishing, 2008, pp. 241–254.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2382   OA
The Lieb-Liniger model as a limit of dilute bosons in three dimensions
R. Seiringer, J. Yin, Communications in Mathematical Physics 284 (2008) 459–479.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3037   OA
PIN polar targeting
E. Feraru, J. Friml, Plant Physiology 147 (2008) 1553–1559.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3734   OA
The role of input noise in transcriptional regulation
G. Tkacik, T. Gregor, W. Bialek, PLoS One 3 (2008).
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3878   OA
The complexity of coverage
K. Chatterjee, L. De Alfaro, R. Majumdar, in:, Springer, 2008, pp. 91–106.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1037   OA
Metastable feshbach molecules in high rotational states
S. Knoop, M. Mark, F. Ferlaino, J. Danzl, T. Kraemer, H. Nägerl, R. Grimm, Physical Review Letters 100 (2008).
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1765   OA
Coplanar waveguide resonators for circuit quantum electrodynamics
M. Göppl, A. Fragner, M. Baur, R. Bianchetti, S. Filipp, J.M. Fink, P. Leek, G. Puebla, L. Steffen, A. Wallraff, Journal of Applied Physics 104 (2008).
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2376   OA
Critical temperature and energy gap for the BCS equation
C. Hainzl, R. Seiringer, Physical Review B - Condensed Matter and Materials Physics 77 (2008).
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2383   OA
A nonlinear model for relativistic electrons at positive temperature
C. Hainzl, M. Lewin, R. Seiringer, Reviews in Mathematical Physics 20 (2008) 1283–1307.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4384   OA
Model checking transactional memories
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.
View | Files available | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2120   OA
On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces
J. Maas, J. Van Neerven, Infinite Dimensional Analysis, Quantum Probability and Related Topics 11 (2008) 603–626.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2377   OA
The BCS critical temperature for potentials with negative scattering length
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 84 (2008) 99–107.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2702   OA
Feynman graphs and renormalization in quantum diffusion
L. Erdös, M. Salmhofer, H. Yau, in:, World Scientific Publishing, 2008, pp. 167–182.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3825   OA
Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus
Y. Aponte, J. Bischofberger, P.M. Jonas, Journal of Physiology 586 (2008) 2061–75.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 6146   OA
A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans
A.J. Bretscher, K.E. Busch, M. de Bono, Proceedings of the National Academy of Sciences 105 (2008) 8044–8049.
View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed