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.
4571 Publications
2010 | Conference Paper | IST-REx-ID: 488 | 
Alur R, Cerny P. Expressiveness of streaming string transducers. In: Vol 8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:1-12. doi:10.4230/LIPIcs.FSTTCS.2010.1
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 489 |
Cristau J, David C, Horn F. How do we remember the past in randomised strategies? . In: Proceedings of GandALF 2010. Vol 25. Open Publishing Association; 2010:30-39. doi:10.4204/EPTCS.25.7
View
| DOI
| Download Published Version (ext.)
2010 | Technical Report | IST-REx-ID: 5388 |
Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. Quantitative Synthesis for Concurrent Programs. IST Austria; 2010. doi:10.15479/AT:IST-2010-0004
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5389 |
Cerny P, Henzinger TA, Radhakrishna A. Simulation Distances. IST Austria; 2010. doi:10.15479/AT:IST-2010-0003
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5390 |
Chatterjee K, Fijalkow N. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria; 2010. doi:10.15479/AT:IST-2010-0002
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5391 |
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model Checking of Linearizability of Concurrent List Implementations. IST Austria; 2010. doi:10.15479/AT:IST-2010-0001
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 598 |
Meyer K, Lin S, Bernecky C, Gao Y, Taatjes D. P53 activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. 2010;17(6):753-760. doi:10.1038/nsmb.1816
View
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 7078 |
Salje EKH, Safarik DJ, Modic KA, et al. Tin telluride: A weakly co-elastic metal. Physical Review B. 2010;82(18). doi:10.1103/physrevb.82.184112
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 1752 |
Katsaros G, Spathis P, Stoffel M, et al. Hybrid superconductor-semiconductor devices made from self-assembled SiGe nanocrystals on silicon. Nature Nanotechnology. 2010;5(6):458-464. doi:10.1038/nnano.2010.84
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 1753 |
Songmuang R, Katsaros G, Monroy E, et al. Quantum transport in GaN/AlN double-barrier heterostructure nanowires. Nano Letters. 2010;10(9):3545-3550. doi:10.1021/nl1017578
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 1773 |
Fink JM, Steffen L, Studer P, et al. Quantum-to-classical transition in cavity quantum electrodynamics. Physical Review Letters. 2010;105(16). doi:10.1103/PhysRevLett.105.163601
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 1774 |
Bianchetti R, Filipp S, Baur M, et al. Control and tomography of a three level superconducting artificial atom. Physical Review Letters. 2010;105(22). doi:10.1103/PhysRevLett.105.223601
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 6142 |
Weber KP, De S, Kozarewa I, Turner DJ, Babu MM, de Bono M. Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. 2010;5(11). doi:10.1371/journal.pone.0013922
View
| Files available
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 6320 |
Bretèche R de la, Browning TD. Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. 2010;2010(646):1-44. doi:10.1515/crelle.2010.064
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 9012 |
Palacci JA, Abécassis B, Cottin-Bizonne C, Ybert C, Bocquet L. Colloidal motility and pattern formation under rectified diffusiophoresis. Physical Review Letters. 2010;104(13). doi:10.1103/physrevlett.104.138302
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 | Journal Article | IST-REx-ID: 9013 |
Palacci JA, Cottin-Bizonne C, Ybert C, Bocquet L. Sedimentation and effective temperature of active colloidal suspensions. Physical Review Letters. 2010;105(8). doi:10.1103/physrevlett.105.088304
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 | Journal Article | IST-REx-ID: 9146 |
O’Gorman PA, Muller CJ. How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. 2010;5(2). doi:10.1088/1748-9326/5/2/025207
View
| DOI
| Download Published Version (ext.)
2010 | Journal Article | IST-REx-ID: 1465 |
Hausel T. Kac’s conjecture from Nakajima quiver varieties. Inventiones Mathematicae. 2010;181(1):21-37. doi:10.1007/s00222-010-0241-3
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 1466 |
Hausel T, Letellier E, Rodríguez Villegas F. Topology of character varieties and representations of quivers. Comptes Rendus Mathematique. 2010;348(3-4):131-135. doi:10.1016/j.crma.2010.01.025
View
| DOI
| Download (ext.)
2010 | Book Chapter | IST-REx-ID: 1468 |
Hausel T. S-Duality in HyperkäHler Hodge Theory. In: The Many Facets of Geometry: A Tribute to Nigel Hitchin. Oxford University Press; 2010. doi:10.1093/acprof:oso/9780199534920.003.0016
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 10127 |
Šarić A, Cacciuto A. Particle self-assembly on soft elastic shells. Soft Matter. 2010;7(5):1874-1878. doi:10.1039/c0sm01143f
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 10390 |
Šarić A, Bozorgui B, Cacciuto A. Packing of soft asymmetric dumbbells. The Journal of Physical Chemistry B. 2010;115(22):7182-7189. doi:10.1021/jp107545w
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 | Journal Article | IST-REx-ID: 10391 |
Šarić A, Pàmies JC, Cacciuto A. Effective elasticity of a flexible filament bound to a deformable cylindrical surface. Physical Review Letters. 2010;104(22). doi:10.1103/physrevlett.104.226101
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 | Journal Article | IST-REx-ID: 1044 |
Danzl JG, Mark M, Haller E, et al. An ultracold high-density sample of rovibronic ground-state molecules in an optical lattice. Nature Physics. 2010;6(4):265-270. doi:10.1038/nphys1533
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 1045 |
Haller E, Mark M, Hart R, et al. Confinement-induced resonances in low-dimensional quantum systems. Physical Review Letters. 2010;104(15). doi:10.1103/PhysRevLett.104.153203
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 1047 |
Haller E, Hart R, Mark M, Danzl JG, Reichsöllner L, Nägerl H. Inducing transport in a dissipation-free lattice with super bloch oscillations. Physical Review Letters. 2010;104(20). doi:10.1103/PhysRevLett.104.200403
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 1049 |
Haller E, Hart R, Mark M, et al. Pinning quantum phase transition for a Luttinger liquid of strongly interacting bosons. Nature. 2010;466(7306):597-600. doi:10.1038/nature09259
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 2095 |
Beeler T, Bickel B, Beardsley P, Sumner B, Groß M. High-quality single-shot capture of facial geometry. ACM Transactions on Graphics. 2010;29(4). doi:10.1145/1778765.1778777
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2124 |
Maas J. Malliavin calculus and decoupling inequalities in Banach spaces. Journal of Mathematical Analysis and Applications. 2010;363(2):383-398. doi:10.1016/j.jmaa.2009.08.041
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2194 |
Lemeshko M, Friedrich B. An analytic model of the stereodynamics of rotationally inelastic molecular collisions. Physical Chemistry Chemical Physics. 2010;12(5):1038-1041. doi:10.1039/B920899B
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2195 |
Lemeshko M, Jambrina P, De Miranda M, Friedrich B. Communications: When diffraction rules the stereodynamics of rotationally inelastic collisions. Journal of Chemical Physics. 2010;132(16). doi:10.1063/1.3386530
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2196 |
Lemeshko M, Friedrich B. Fine-tuning molecular energy levels by nonresonant laser pulses. Journal of Physical Chemistry A. 2010;114(36):9848-9854. doi:10.1021/jp1032299
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2197 |
Lemeshko M, Friedrich B. 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. 2010;82(2). doi:10.1103/PhysRevA.82.022711
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 232 |
De La Bretèche R, Browning TD. Le problème des diviseurs pour des formes binaires de degré 4. Journal fur die Reine und Angewandte Mathematik. 2010;(646):1-44. doi:10.1515/CRELLE.2010.064
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Conference Paper | IST-REx-ID: 2322 |
Frank R, Lieb É, Seiringer R. Equivalence of Sobolev inequalities and Lieb-Thirring inequalities. In: World Scientific Publishing; 2010:523-535. doi:10.1142/9789814304634_0045
View
| DOI
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 2323 |
Seiringer R. Hot topics on cold gases. In: World Scientific Publishing; 2010:231-245. doi:10.1142/9789814304634_0013
View
| DOI
| Download (ext.)
2010 | Book Chapter | IST-REx-ID: 2324 |
Frank R, Seiringer R. Sharp fractional Hardy inequalities in half-spaces. In: Around the Research of Vladimir Maz’ya I. Vol 11. Springer; 2010:161-167. doi:10.1007/978-1-4419-1341-8_6
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2389 |
Hainzl C, Seiringer R. Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy. Mathematische Nachrichten. 2010;283(3):489-499. doi:10.1002/mana.200810195
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2392 |
Frank R, Lieb É, Seiringer R, Thomas L. Bipolaron and N-polaron binding energies. Physical Review Letters. 2010;104(21). doi:10.1103/PhysRevLett.104.210402
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2409 |
Kupczok A, Schmidt H, Von Haeseler A. Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology. 2010;5(1). doi:10.1186/1748-7188-5-37
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 2442 |
Beeckman T, Friml J. Nitrate Contra Auxin: Nutrient Sensing by roots. Developmental Cell. 2010;18(6):877-878. doi:10.1016/j.devcel.2010.05.020
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 2701 |
Erdös L, Schlein B, Yau H. Wegner estimate and level repulsion for Wigner random matrices. International Mathematics Research Notices. 2010;(3):436-479. doi:10.1093/imrn/rnp136
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 9485 |
Zemach A, Kim MY, Silva P, et al. Local DNA hypomethylation activates genes in rice endosperm. Proceedings of the National Academy of Sciences. 2010;107(43):18729-18734. doi:10.1073/pnas.1009695107
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 9489 |
Zemach A, Zilberman D. Evolution of eukaryotic DNA methylation and the pursuit of safer sex. Current Biology. 2010;20(17):R780-R785. doi:10.1016/j.cub.2010.07.007
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Conference Paper | IST-REx-ID: 3430 |
Tkačik G. Lecture notes for 2010 summer school on Quantitative Evolutionary and Comparative Genomics. In: Elsevier; 2010.
View
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3538 |
Jiruska P, Csicsvari JL, Powell A, et al. High-frequency network activity, global increase in neuronal activity, and synchrony expansion precede epileptic seizures in vitro. Journal of Neuroscience. 2010;30(16):5690-5701. doi:10.1523/JNEUROSCI.0535-10.2010
View
| DOI
| Download None (ext.)
2010 | Conference Paper | IST-REx-ID: 3719 |
Feret J, Henzinger TA, Koeppl H, Petrov T. Lumpability abstractions of rule-based systems. In: Vol 40. Open Publishing Association; 2010:142-161.
View
| Files available
| arXiv
2010 | Preprint | IST-REx-ID: 3743 |
Tkačik G. From statistical mechanics to information theory: understanding biophysical information-processing systems. ArXiv. 2010;q-MN:1-52.
View
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3748 |
Park H, Pontius W, Guet CC, Marko J, Emonet T, Cluzel P. Interdependence of behavioural variability and response to small stimuli in bacteria. Nature. 2010;468:819-823. doi:10.1038/nature09551
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3749 |
Park H, Guet CC, Emonet T, Cluzel P. Fine-tuning of chemotactic response in E. coli determined by high-throughput capillary assay. Current Microbiology. 2010;62(3):764-769. doi:10.1007/s00284-010-9778-z
View
| DOI
| Download (ext.)