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


2009 | Technical Report | IST-REx-ID: 5393 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 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 K, Henzinger TA, Horn F. 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 K, Doyen L, Henzinger TA. 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 M, Meyer K, Bernecky C, Taatjes D. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. 2009;23(4):439-451. doi:10.1101/gad.1767009
View | DOI | Download None (ext.)
 

2009 | Book Chapter | IST-REx-ID: 164 | OA
Browning TD, Heath Brown R. Integral points on cubic hypersurfaces. In: Analytic Number Theory: Essays in Honour of Klaus Roth. Cambridge University Press; 2009:75-90.
View | Download Preprint (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1038 | OA
Mark M, Danzl JG, Haller E, et al. Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. 2009;95(2):219-225. doi:10.1007/s00340-009-3407-1
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1040 | OA
Haller E, Gustavsson M, Mark M, et al. Realization of an excited, strongly correlated quantum gas Phase. Science. 2009;325(5945):1224-1227. doi:10.1126/science.1175850
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1041 | OA
Danzl JG, Mark M, Haller E, et al. Deeply bound ultracold molecules in an optical lattice. New Journal of Physics. 2009;11. doi:10.1088/1367-2630/11/5/055036
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1043 | OA
Danzl JG, Mark M, Haller E, et al. Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions. 2009;142:283-295. doi:10.1039/b820542f
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 9147 | OA
MULLER CJ, Bühler O. Saturation of the internal tides and induced mixing in the abyssal ocean. Journal of Physical Oceanography. 2009;39(9):2077-2096. doi:10.1175/2009jpo4141.1
View | DOI | Download Published Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 9148 | OA
MULLER CJ, Back LE, O’Gorman PA, Emanuel KA. A model for the relationship between tropical precipitation and column water vapor. Geophysical Research Letters. 2009;36(16). doi:10.1029/2009gl039667
View | DOI | Download Published Version (ext.)
 

2009 | Preprint | IST-REx-ID: 3732 | OA
Tkačik G, Schneidman E, Berry M, Bialek W. Spin glass models for a network of real neurons. ArXiv. 2009;q-NC.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3775 | OA
Barton NH, Coe J. On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. 2009;259(2):317-324. doi:10.1016/j.jtbi.2009.03.019
View | DOI | Download Submitted Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 3780 | OA
Davison A, Barton NH, Clarke B. 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. 2009;22(8):1624-1635. doi:10.1111/j.1420-9101.2009.01770.x
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis S, Lickly B, Henzinger TA, Lee E. On relational interfaces. In: EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software. ACM; 2009:67-76. doi:10.1145/1629335.1629346
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger TA, Jobstmann B, Wolf V. Formalisms for specifying Markovian population models. In: Vol 5797. Springer; 2009:3-23. doi:10.1007/978-3-642-04420-5_2
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier F, Henzinger TA, Mateescu M, Wolf V. Fast adaptive uniformization of the chemical master equation. In: Vol 4. IEEE; 2009:118-127. doi:10.1109/HiBi.2009.23
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger TA, Kirsch C, Marques E, Sokolova A. Distributed, modular HTL. In: IEEE; 2009:171-180. doi:10.1109/RTSS.2009.9
View | Files available | DOI
 

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

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee K, Doyen L, Henzinger TA. Probabilistic weighted automata. In: Vol 5710. Springer; 2009:244-258. doi:10.1007/978-3-642-04081-8_17
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3946 | OA
Cremer S, Sixt MK. Analogies in the evolution of individual and social immunity. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2009;364(1513):129-142. doi:10.1098/rstb.2008.0166
View | DOI | Download None (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3968 | OA
Edelsbrunner H, Harer J. The persistent Morse complex segmentation of a 3-manifold. In: Vol 5903. Springer; 2009:36-50. doi:10.1007/978-3-642-10470-1_4
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 4136 | OA
Polechova J, Barton NH, Marion G. Species’ range: Adaptation in space and time. American Naturalist. 2009;174(5):E186-E204. doi:10.1086/605958
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 4242 | OA
Barton NH, De Cara M. The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. 2009;63(5):1171-1190. doi:10.1111/j.1558-5646.2009.00622.x
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui R, Henzinger TA, Singh V. Software transactional memory on relaxed memory models. In: Vol 5643. Springer; 2009:321-336. doi:10.1007/978-3-642-02658-4_26
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. In: Vol 5771. Springer; 2009: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 TA, Mateescu M, Wolf V. Sliding-window abstraction for infinite Markov chains. In: Vol 5643. Springer; 2009:337-352. doi:10.1007/978-3-642-02658-4_27
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata. In: Vol 5699. Springer; 2009:3-13. doi:10.1007/978-3-642-03409-1_2
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544 | OA
Chatterjee K, De Alfaro L, Henzinger TA. Termination criteria for solving concurrent safety and reachability games. In: SIAM; 2009:197-206. doi:10.1137/1.9781611973068.23
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives. In: Vol 5556. Springer; 2009:1-15. doi:10.1007/978-3-642-02930-1_1
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives. In: Vol 5643. Springer; 2009:140-156. doi:10.1007/978-3-642-02658-4_14
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009: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 D, Friml J. SnapShot: Auxin signaling and transport. Cell. 2009;136(6):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 S, Friml J. Auxin: A trigger for change in plant development. Cell. 2009;136(6):1005-1016. 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 J, Friml J. Auxin transport routes in plant development. Development. 2009;136(16):2675-2688. 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 P, Skůpa P, Libus J, et al. The PIN-FORMED (PIN) protein family of auxin transporters. Genome Biology. 2009;10(12). 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 MP, Kolmogorov V, Torr P. An analysis of convex relaxations for MAP estimation of discrete MRFs. Journal of Machine Learning Research. 2009;10:71-106.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3503 | OA
Chatterjee K, Henzinger TA. Probabilistic systems with limsup and liminf objectives. In: Vol 5489. Springer; 2009:32-45. doi:10.1007/978-3-642-03092-5_4
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 9453 | OA
Hsieh T-F, Ibarra CA, Silva P, et al. Genome-wide demethylation of Arabidopsis endosperm. Science. 2009;324(5933):1451-1454. doi:10.1126/science.1172417
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2008 | Conference Paper | IST-REx-ID: 2331 | OA
Hainzl C, Seiringer R. Spectral properties of the BCS gap equation of superfluidity. In: World Scientific Publishing; 2008:117-136. doi:10.1142/9789812832382_0009
View | DOI | Download (ext.)
 

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

2008 | Journal Article | IST-REx-ID: 2374 | OA
Seiringer R. Free energy of a dilute Bose gas: Lower bound. Communications in Mathematical Physics. 2008;279(3):595-636. doi:10.1007/s00220-008-0428-2
View | DOI | Download (ext.)
 

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

2008 | Journal Article | IST-REx-ID: 2377 | OA
Hainzl C, Seiringer R. The BCS critical temperature for potentials with negative scattering length. Letters in Mathematical Physics. 2008;84(2-3):99-107. doi:10.1007/s11005-008-0242-y
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2378 | OA
Seiringer R, Yin J. Ground state energy of the low density hubbard model. Journal of Statistical Physics. 2008;131(6):1139-1154. doi:10.1007/s10955-008-9527-x
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2379 | OA
Frank R, Lieb É, Seiringer R. Hardy-Lieb-Thirring inequalities for fractional Schrödinger operators. Journal of the American Mathematical Society. 2008;21(4):925-950. doi:10.1090/S0894-0347-07-00582-6
View | DOI | Download (ext.)
 

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

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

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

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

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

2008 | Journal Article | IST-REx-ID: 1763 | OA
Fink JM, Göppl M, Baur M, et al. Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system. Nature. 2008;454(7202):315-318. doi:10.1038/nature07112
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1765 | OA
Göppl M, Fragner A, Baur M, et al. Coplanar waveguide resonators for circuit quantum electrodynamics. Journal of Applied Physics. 2008;104(11). doi:10.1063/1.3010859
View | DOI | Download (ext.)
 

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

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

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

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

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

2008 | Journal Article | IST-REx-ID: 1036 | OA
Gustavsson M, Haller E, Mark M, Danzl JG, Rojas Kopeinig G, Nägerl H. Control of interaction-induced dephasing of bloch oscillations. Physical Review Letters. 2008;100(8). doi:10.1103/PhysRevLett.100.080404
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1037 | OA
Knoop S, Mark M, Ferlaino F, et al. Metastable feshbach molecules in high rotational states. Physical Review Letters. 2008;100(8). doi:10.1103/PhysRevLett.100.083002
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1039 | OA
Danzl JG, Haller E, Gustavsson M, et al. Quantum gas of deeply bound ground state molecules. Science. 2008;321(5892):1062-1066. doi:10.1126/science.1159909
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 965 | OA
Morozov A, Serbyn M. Nonlinear algebra and Bogoliubov’s recursion. Theoretical and Mathematical Physics. 2008;154(2):270-293. doi:10.1007/s11232-008-0026-7
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3734 | OA
Tkačik G, Gregor T, Bialek W. The role of input noise in transcriptional regulation. PLoS One. 2008;3(7). doi:10.1371/journal.pone.0002774
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3740 | OA
Tkačik G, Callan C, Bialek W. Information flow and optimization in transcriptional regulation. PNAS. 2008;105(34):12265-12270. doi:10.1073/pnas.0806077105
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3744 | OA
Tkačik G, Magnasco M. Decoding spike timing: The differential reverse-correlation method. Biosystems. 2008;93(1-2):90-100. doi:10.1016/j.biosystems.2008.04.011
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3751 | OA
Kinkhabwala A, Guet CC. Uncovering cis regulatory codes using synthetic promoter shuffling. PLoS One. 2008;3(4). doi:10.1371/journal.pone.0002030
View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3822 | OA
Schmidt Hieber C, Jonas PM, Bischofberger J. Action potential initiation and propagation in hippocampal mossy fibre axons. Journal of Physiology. 2008;586(7):1849-1857. doi:10.1113/jphysiol.2007.150151
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3825 | OA
Aponte Y, Bischofberger J, Jonas PM. Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus. Journal of Physiology. 2008;586(8):2061-2075. doi:10.1113/jphysiol.2007.147298
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3878 | OA
Chatterjee K, De Alfaro L, Majumdar R. The complexity of coverage. In: Vol 5356. Springer; 2008:91-106. doi:10.1007/978-3-540-89330-1_7
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4384 | OA
Guerraoui R, Henzinger TA, Jobstmann B, Singh V. Model checking transactional memories. In: ACM; 2008:372-382. doi:10.1145/1375581.1375626
View | Files available | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3037 | OA
Feraru E, Friml J. PIN polar targeting. Plant Physiology. 2008;147(4):1553-1559. doi:10.1104/pp.108.121756
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

2008 | Journal Article | IST-REx-ID: 3435 | OA
Bollback JP, York T, Nielsen R. Estimation of 2Nes From Temporal Allele Frequency Data. Genetics. 2008;179(1):497-502. doi:10.1534/genetics.107.085019
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3504 | OA
Chatterjee K, De Alfaro L, Majumdar R, Raman V. Algorithms for game metrics. In: Vol 2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:107-118. doi:10.4230/LIPIcs.FSTTCS.2008.1745
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 9457 | OA
ZILBERMAN D, Coleman-Derr D, Ballinger T, Henikoff S. Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks. Nature. 2008;456(7218):125-129. doi:10.1038/nature07324
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 2367 | OA
Seiringer R. On the failure of subadditivity of the Wigner-Yanase entropy. Letters in Mathematical Physics. 2007;80(3):285-288. doi:10.1007/s11005-007-0159-x
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2370 | OA
Lieb É, Seiringer R, Yngvason J. Bose-Einstein condensation and spontaneous symmetry breaking. Reports on Mathematical Physics. 2007;59(3):389-399. doi:10.1016/S0034-4877(07)80074-7
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2371 | OA
Frank R, Lieb É, Seiringer R. Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value. Communications in Mathematical Physics. 2007;275(2):479-489. doi:10.1007/s00220-007-0307-2
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2372 | OA
Frank R, Lieb É, Seiringer R, Siedentop H. Müller’s exchange-correlation energy in density-matrix-functional theory. Physical Review A - Atomic, Molecular, and Optical Physics. 2007;76(5). doi:10.1103/PhysRevA.76.052517
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2373 | OA
Frank R, Hainzl C, Naboko S, Seiringer R. The critical temperature for the BCS equation at weak coupling. Journal of Geometric Analysis. 2007;17(4):559-567. doi:10.1007/BF02937429
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2375 | OA
Frank R, Lieb É, Seiringer R. Number of bound states of Schrödinger operators with matrix-valued potentials. Letters in Mathematical Physics. 2007;82(2-3):107-116. doi:10.1007/s11005-007-0211-x
View | DOI | Download (ext.)
 

2007 | Book Chapter | IST-REx-ID: 2705 | OA
Erdös L. Recent developments in quantum mechanics with magnetic fields. In: Gesztesy F, Deift P, Galvez P, Perry P, Schlag W, eds. Spectral Theory and Mathematical Physics: A Festschrift in Honor of Barry Simon’s 60th Birthday . Vol 76. American Mathematical Society; 2007:401-428.
View | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 1762 | OA
Leek P, Fink JM, Blais A, et al. Observation of Berry’s phase in a solid-state qubit. Science. 2007;318(5858):1889-1892. doi:10.1126/science.1149858
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 2091 | OA
Bickel B, Botsch M, Angst R, et al. Multi scale capture of facial geometry and motion. In: ACM; 2007. doi:doi:10.1145/1275808.1276419
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2093 | OA
Bickel B, Botsch M, Angst R, et al. Multi scale capture of facial geometry and motion. ACM Transactions on Graphics. 2007;26(3). doi:10.1145/1276377.1276419
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2118 | OA
Maas J, Van Neerven J. On analytic Ornstein-Uhlenbeck semigroups in infinite dimensions. Archiv der Mathematik. 2007;89(3):226-236. doi:10.1007/s00013-007-2082-x
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 221 | OA
De La Bretèche R, Browning TD. On Manin’s conjecture for singular del Pezzo surfaces of degree four, I. Michigan Mathematical Journal. 2007;55(1):51-80. doi:10.1307/mmj/1177681985
View | Files available | DOI | arXiv
 

2007 | Journal Article | IST-REx-ID: 222 | OA
De La Bretèche R, Browning TD. On Manin’s conjecture for singular del Pezzo surfaces of degree four, II. Mathematical Proceedings of the Cambridge Philosophical Society. 2007;143(3):579-605. doi:10.1017/S0305004107000205
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 223 | OA
Browning TD. Density of integer solutions to diagonal quadratic forms. Monatshefte fur Mathematik. 2007;152(1):13-38. doi:10.1007/s00605-007-0457-5
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 7753 | OA
Robinson MR, Kruuk LE. Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep. Biology Letters. 2007;3(6):651-654. doi:10.1098/rsbl.2007.0278
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Preprint | IST-REx-ID: 6321 | OA
Browning TD. The Manin conjecture in dimension 2. arXiv.
View | Download Preprint (ext.) | arXiv
 

2007 | Book Chapter | IST-REx-ID: 6323 | OA
Browning TD. An overview of Manin’s conjecture for del Pezzo surfaces. In: A Tribute to Gauss and Dirichlet. Vol 7. Analytic Number Theory. American Mathematical Society; 2007:39-56.
View | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 128 | OA
Carr A, Serchest Y, Waitukaitis SR, Perreault J, Lonij V, Cronin A. Cover slip external cavity diode laser. Review of Scientific Instruments. 2007;78(10). doi:10.1063/1.2801006
View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Book Chapter | IST-REx-ID: 167 | OA
Browning TD, Heath Brown R. Simultaneous equal sums of three powers. In: Zannier U, ed. Diophantine Geometry. Vol 4. Edizioni della Normale; 2007:93-100.
View | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 1035 | OA
Mark M, Ferlaino F, Knoop S, et al. Spectroscopy of ultracold trapped cesium Feshbach molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 2007;76(4). doi:10.1103/PhysRevA.76.042514
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 9149 | OA
BÜHLER O, MULLER CJ. Instability and focusing of internal tides in the deep ocean. Journal of Fluid Mechanics. 2007;588:1-28. doi:10.1017/s0022112007007410
View | DOI | Download None (ext.)
 

2007 | Preprint | IST-REx-ID: 3742 | OA
Broderick T, Dudik M, Tkačik G, Schapire R, Bialek W. Faster solutions of the inverse pairwise Ising problem. ArXiv. 2007;q-QM.
View | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 4234 | OA
de Vladar H, Pen I. Determinism, noise, and spurious estimations in a generalised model of population growth. Physica A. 2007;373:477-485. doi:10.1016/j.physa.2006.06.025
View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 3411 | OA
Preiner J, Janovjak HL, Rankl C, et al. Free energy of membrane protein unfolding derived from single-molecule force measurements. Biophysical Journal. 2007;93(3):930-937. doi:10.1529/biophysj.106.096982
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 3427 | OA
Bollenbach MT, Kruse K, Pantazis P, Gonzalez Gaitan M, Julicher F. Morphogen transport in epithelia. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2007;75(1). doi:10.1103/PhysRevE.75.011901
View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications