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.
8923 Publications
2013 |
Published |
Conference Paper |
IST-REx-ID: 2319 |
Frank R, Hainzl C, Seiringer R, Solovej J. Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction. In: Springer; 2013:57-88. doi:10.1007/978-3-0348-0531-5_3
View
| DOI
| Download (ext.)
2013 |
Published |
Conference Paper |
IST-REx-ID: 2327 |
Henzinger TA, Otop J. From model checking to model measuring. 2013;8052:273-287. doi:10.1007/978-3-642-40184-8_20
[Submitted Version]
View
| Files available
| DOI
2013 |
Published |
Conference Paper |
IST-REx-ID: 2328 |
Henzinger TA, Sezgin A, Vafeiadis V. Aspect-oriented linearizability proofs. 2013;8052:242-256. doi:10.1007/978-3-642-40184-8_18
[Submitted Version]
View
| Files available
| DOI
2013 |
Published |
Conference Paper |
IST-REx-ID: 2329 |
Chatterjee K, Velner Y. Hyperplane separation technique for multidimensional mean-payoff games. 2013;8052:500-515. doi:10.1007/978-3-642-40184-8_35
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 |
Published |
Journal Article |
IST-REx-ID: 2404 |
Frank R, Lewin M, Lieb É, Seiringer R. A positive density analogue of the Lieb-Thirring inequality. Duke Mathematical Journal. 2013;162(3):435-495. doi:10.1215/00127094-2019477
View
| DOI
| Download (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 2405 |
Frank R, Lieb É, Seiringer R. Symmetry of bipolaron bound states for small Coulomb repulsion. Communications in Mathematical Physics. 2013;319(2):557-573. doi:10.1007/s00220-012-1604-y
View
| DOI
| Download (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 2406
Seiringer R, Yngvason J, Zagrebnov V. Condensation of interacting bosons in a random potential. European Physical Journal: Special Topics. 2013;217(1):103-107. doi:10.1140/epjst/e2013-01759-5
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 2408 |
Grech P, Seiringer R. The excitation spectrum for weakly interacting Bosons in a trap. Communications in Mathematical Physics. 2013;322(2):559-591. doi:10.1007/s00220-013-1736-8
View
| DOI
| Download (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 2410 |
Fernandes Redondo RA, Kupczok A, Stift G, Bollback JP. Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis. Genome Announcements. 2013;1(3). doi:10.1128/genomeA.00216-13
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 2412 |
Kupczok A, Bollback JP. Probabilistic models for CRISPR spacer content evolution . BMC Evolutionary Biology. 2013;13(1):54-54. doi:10.1186/1471-2148-13-54
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Book Chapter |
IST-REx-ID: 2413
Valderrama M, Botella Soler V, Le Van Quyen M. Neuronal oscillations scale up and scale down the brain dynamics . In: Meyer M, Pesenson Z, eds. Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain. Wiley-VCH; 2013. doi:10.1002/9783527671632.ch08
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 6768 |
Mondelli M. A finite difference scheme for the stack filter simulating the MCM. Image Processing On Line. 2013;3:68-111. doi:10.5201/ipol.2013.53
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 7306
Ottakam Thotiyl MM, Freunberger SA, Peng Z, Chen Y, Liu Z, Bruce PG. A stable cathode for the aprotic Li–O2 battery. Nature Materials. 2013;12(11):1050-1056. doi:10.1038/nmat3737
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 7307
Chen Y, Freunberger SA, Peng Z, Fontaine O, Bruce PG. Charging a Li–O2 battery using a redox mediator. Nature Chemistry. 2013;5(6):489-494. doi:10.1038/nchem.1646
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 7595
Tang Y, Tan S, Xue H. Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development. Acta Biochimica et Biophysica Sinica. 2013;45(7):549-560. doi:10.1093/abbs/gmt039
View
| DOI
| PubMed | Europe PMC
2013 |
Published |
Journal Article |
IST-REx-ID: 7596
Tan S, Dai C, Liu H-T, Xue H-W. Arabidopsis casein kinase1 proteins CK1.3 and CK1.4 phosphorylate cryptochrome2 to regulate blue light signaling. The Plant Cell. 2013;25(7):2618-2632. doi:10.1105/tpc.113.114322
View
| DOI
| PubMed | Europe PMC
2013 |
Published |
Conference Paper |
IST-REx-ID: 765
Alistarh D-A, Aspnes J, Giakkoupis G, Woelfel P. Randomized loose renaming in O(loglogn) time. In: ACM; 2013:200-209. doi:10.1145/2484239.2484240
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 7745
Robinson MR, Santure AW, DeCauwer I, Sheldon BC, Slate J. Partitioning of genetic variation across the genome using multimarker methods in a wild bird population. Molecular Ecology. 2013;22(15):3963-3980. doi:10.1111/mec.12375
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 7746
Santure AW, De Cauwer I, Robinson MR, Poissant J, Sheldon BC, Slate J. Genomic dissection of variation in clutch size and egg mass in a wild great tit (Parus major) population. Molecular Ecology. 2013;22(15):3949-3962. doi:10.1111/mec.12376
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 7747
Robinson MR, Beckerman AP. Quantifying multivariate plasticity: Genetic variation in resource acquisition drives plasticity in resource allocation to components of life history. Ecology Letters. 2013;16(3):281-290. doi:10.1111/ele.12047
View
| DOI