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.
517 Publications
2019 | Journal Article | IST-REx-ID: 9580 | 
Conlon D, Fox J, Kwan MA, Sudakov B. Hypergraph cuts above the average. Israel Journal of Mathematics. 2019;233(1):67-111. doi:10.1007/s11856-019-1897-z
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 9585 |
Kwan MA, Sudakov B. Proof of a conjecture on induced subgraphs of Ramsey graphs. Transactions of the American Mathematical Society. 2019;372(8):5571-5594. doi:10.1090/tran/7729
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 9586 |
Kwan MA, Sudakov B, Tran T. Anticoncentration for subgraph statistics. Journal of the London Mathematical Society. 2019;99(3):757-777. doi:10.1112/jlms.12192
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 9677 |
Kapil V, Rossi M, Marsalek O, Petraglia R, Litman Y, Spura T, Cheng B, Cuzzocrea A, Meißner RH, Wilkins DM, Helfrecht BA, Juda P, Bienvenue SP, Fang W, Kessler J, Poltavsky I, Vandenbrande S, Wieme J, Corminboeuf C, Kühne TD, Manolopoulos DE, Markland TE, Richardson JO, Tkatchenko A, Tribello GA, Van Speybroeck V, Ceriotti M. 2019. i-PI 2.0: A universal force engine for advanced molecular simulations. Computer Physics Communications. 236, 214–223.
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 9680 |
Giberti F, Cheng B, Tribello GA, Ceriotti M. Iterative unbiasing of quasi-equilibrium sampling. Journal of Chemical Theory and Computation. 2019;16(1):100-107. doi:10.1021/acs.jctc.9b00907
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2019 | Journal Article | IST-REx-ID: 9689 |
Cheng B, Engel EA, Behler J, Dellago C, Ceriotti M. Ab initio thermodynamics of liquid and solid water. Proceedings of the National Academy of Sciences. 2019;116(4):1110-1115. doi:10.1073/pnas.1815117116
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
2019 | Research Data Reference | IST-REx-ID: 9786
Ruess J, Pleska M, Guet CC, Tkačik G. Supporting text and results. 2019. doi:10.1371/journal.pcbi.1007168.s001
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9789
Pokusaeva V, Usmanova DR, Putintseva EV, et al. Multiple alignment of His3 orthologues. 2019. doi:10.1371/journal.pgen.1008079.s010
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9790
Pokusaeva V, Usmanova DR, Putintseva EV, et al. A statistical summary of segment libraries and sequencing results. 2019. doi:10.1371/journal.pgen.1008079.s011
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9797
Pokusaeva V, Usmanova DR, Putintseva EV, et al. A statistical summary of segment libraries and sequencing results. 2019. doi:10.1371/journal.pgen.1008079.s011
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9801
Merrill RM, Rastas P, Martin SH, et al. Raw behavioral data. 2019. doi:10.1371/journal.pbio.2005902.s006
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 405 |
Virosztek D. Jointly convex quantum Jensen divergences. Linear Algebra and Its Applications. 2019;576:67-78. doi:10.1016/j.laa.2018.03.002
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 429 |
Ajanki OH, Erdös L, Krüger TH. Stability of the matrix Dyson equation and random matrices with correlations. Probability Theory and Related Fields. 2019;173(1-2):293–373. doi:10.1007/s00440-018-0835-z
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 439 |
Hausel T, Mereb M, Wong M. Arithmetic and representation theory of wild character varieties. Journal of the European Mathematical Society. 2019;21(10):2995-3052. doi:10.4171/JEMS/896
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 441 |
Kalinin N, Shkolnikov M. Tropical formulae for summation over a part of SL(2,Z). European Journal of Mathematics. 2019;5(3):909–928. doi:10.1007/s40879-018-0218-0
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 10877 |
Frehse G, Abate A, Adzkiya D, et al. ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics. In: Frehse G, Althoff M, eds. ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. Vol 61. EasyChair; 2019:1-13. doi:10.29007/rjwn
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7391 |
Tabata S, Jevtic M, Kurashige N, et al. Electron microscopic detection of single membrane proteins by a specific chemical labeling. iScience. 2019;22(12):256-268. doi:10.1016/j.isci.2019.11.025
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 196 |
Lang M, Shkolnikov M. Harmonic dynamics of the Abelian sandpile. Proceedings of the National Academy of Sciences. 2019;116(8):2821-2830. doi:10.1073/pnas.1812015116
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
2019 | Conference Paper | IST-REx-ID: 6884 |
Avni G, Henzinger TA, Zikelic D. Bidding mechanisms in graph games. In: Vol 138. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.MFCS.2019.11
View
| Files available
| DOI
| arXiv
2019 | Preprint | IST-REx-ID: 7358 |
Watanabe M, Haney JR, Vishlaghi N, et al. TGFβ superfamily signaling regulates the state of human stem cell pluripotency and competency to create telencephalic organoids. bioRxiv. 2019. doi:10.1101/2019.12.13.875773
View
| DOI
| Download Preprint (ext.)
2019 | Journal Article | IST-REx-ID: 7550 |
Portinale L, Stefanelli U. Penalization via global functionals of optimal-control problems for dissipative evolution. Advances in Mathematical Sciences and Applications. 2019;28(2):425-447.
View
| Download Preprint (ext.)
| arXiv
2019 | Preprint | IST-REx-ID: 8182 |
Avvakumov S, Kudrya S. Vanishing of all equivariant obstructions and the mapping degree. arXiv.
View
| Files available
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 11061 |
Toyama BH, Arrojo e Drigo R, Lev-Ram V, et al. Visualization of long-lived proteins reveals age mosaicism within nuclei of postmitotic cells. Journal of Cell Biology. 2019;218(2):433-444. doi:10.1083/jcb.201809123
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 11060 |
Buchwalter A, Schulte R, Tsai H, Capitanio J, Hetzer M. Selective clearance of the inner nuclear membrane protein emerin by vesicular transport during ER stress. eLife. 2019;8. doi:10.7554/elife.49796
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 11062 |
Arrojo e Drigo R, Lev-Ram V, Tyagi S, et al. Age mosaicism across multiple scales in adult tissues. Cell Metabolism. 2019;30(2):343-351.e3. doi:10.1016/j.cmet.2019.05.010
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 11059
Buchwalter A, Kaneshiro JM, Hetzer M. Coaching from the sidelines: The nuclear periphery in genome regulation. Nature Reviews Genetics. 2019;20(1):39-50. doi:10.1038/s41576-018-0063-5
View
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 11505 |
de La Vieuville G, Bina D, Pello R, Mahler G, Richard J, Drake AB, Herenz EC, Bauer FE, Clément B, Lagattuta D, Laporte N, Martinez J, Patrício V, Wisotzki L, Zabl J, Bouwens RJ, Contini T, Garel T, Guiderdoni B, Marino RA, Maseda MV, Matthee JJ, Schaye J, Soucail G. 2019. Faint end of the z ∼ 3–7 luminosity function of Lyman-alpha emitters behind lensing clusters observed with MUSE. Astronomy & Astrophysics. 628, A3.
View
| DOI
| Download Published Version (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 11499 |
Nanayakkara T, Brinchmann J, Boogaard L, et al. Exploring He II λ1640 emission line properties at z ∼2−4. Astronomy & Astrophysics. 2019;648. doi:10.1051/0004-6361/201834565
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 11514 |
Boogaard LA, Decarli R, González-López J, van der Werf P, Walter F, Bouwens R, Aravena M, Carilli C, Bauer FE, Brinchmann J, Contini T, Cox P, da Cunha E, Daddi E, Díaz-Santos T, Hodge J, Inami H, Ivison R, Maseda M, Matthee JJ, Oesch P, Popping G, Riechers D, Schaye J, Schouws S, Smail I, Weiss A, Wisotzki L, Bacon R, Cortes PC, Rix H-W, Somerville RS, Swinbank M, Wagg J. 2019. The ALMA spectroscopic survey in the HUDF: Nature and physical properties of gas-mass selected galaxies using MUSE spectroscopy. The Astrophysical Journal. 882(2), 140.
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 11507 |
Sobral D, Matthee JJ. Predicting Lyα escape fractions with a simple observable: Lyα in emission as an empirically calibrated star formation rate indicator. Astronomy & Astrophysics. 2019;623. doi:10.1051/0004-6361/201833075
View
| DOI
| Download Published Version (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6493 |
Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. Membership-based synthesis of linear hybrid automata. In: 31st International Conference on Computer-Aided Verification. Vol 11561. Springer; 2019:297-314. doi:10.1007/978-3-030-25540-4_16
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6887 |
Chatterjee K, Dvorák W, Henzinger MH, Svozil A. Near-linear time algorithms for Streett objectives in graphs and MDPs. In: Leibniz International Proceedings in Informatics. Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.7
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 11516 |
Marino RA, Cantalupo S, Pezzulli G, et al. A giant Lyα nebula and a small-scale clumpy outflow in the system of the exotic quasar J0952+0114 unveiled by MUSE. The Astrophysical Journal. 2019;880(1). doi:10.3847/1538-4357/ab2881
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 11515 |
Matthee JJ, Sobral D, Boogaard LA, et al. Resolved UV and [C ii] structures of luminous galaxies within the epoch of reionization. The Astrophysical Journal. 2019;881(2). doi:10.3847/1538-4357/ab2f81
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 11517 |
Wang E, Lilly SJ, Pezzulli G, Matthee JJ. On the elevation and suppression of star formation within galaxies. The Astrophysical Journal. 2019;877(2). doi:10.3847/1538-4357/ab1c5b
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 11541 |
Sobral D, Matthee JJ, Brammer G, et al. On the nature and physical conditions of the luminous Ly α emitter CR7 and its rest-frame UV components. Monthly Notices of the Royal Astronomical Society. 2019;482(2):2422-2441. doi:10.1093/mnras/sty2779
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 11535 |
Khostovan AA, Sobral D, Mobasher B, et al. The clustering of typical Ly α emitters from z ∼ 2.5–6: Host halo masses depend on Ly α and UV luminosities. Monthly Notices of the Royal Astronomical Society. 2019;489(1):555-573. doi:10.1093/mnras/stz2149
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 11540 |
Matthee JJ, Schaye J. The origin of scatter in the star formation rate–stellar mass relation. Monthly Notices of the Royal Astronomical Society. 2019;484(1):915-932. doi:10.1093/mnras/stz030
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 11613 |
Mathur S, García RA, Bugnet LA, Santos ÂRG, Santiago N, Beck PG. Revisiting the impact of stellar magnetic activity on the detectability of solar-like oscillations by Kepler. Frontiers in Astronomy and Space Sciences. 2019;6. doi:10.3389/fspas.2019.00046
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 11616 |
Huber D et al. 2019. A hot Saturn orbiting an oscillating late subgiant discovered by TESS. The Astronomical Journal. 157(6), 245.
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 11615 |
Hon M, Stello D, García RA, et al. A search for red giant solar-like oscillations in all Kepler data. Monthly Notices of the Royal Astronomical Society. 2019;485(4):5616-5630. doi:10.1093/mnras/stz622
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 11623 |
Santos ARG, García RA, Mathur S, et al. Surface rotation and photometric activity for Kepler targets. I. M and K main-sequence stars. The Astrophysical Journal Supplement Series. 2019;244(1). doi:10.3847/1538-4365/ab3b56
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 11614 |
Bugnet LA, García RA, Mathur S, et al. FliPerClass: In search of solar-like pulsators among TESS targets. Astronomy & Astrophysics. 2019;624. doi:10.1051/0004-6361/201834780
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Preprint | IST-REx-ID: 11627 |
Breton SN, Bugnet LA, Santos ARG, et al. Determining surface rotation periods of solar-like stars observed by the Kepler mission using machine learning techniques. arXiv. doi:10.48550/arXiv.1906.09609
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Preprint | IST-REx-ID: 11630 |
Saux AL, Bugnet LA, Mathur S, Breton SN, Garcia RA. Automatic classification of K2 pulsating stars using machine learning techniques. arXiv. doi:10.48550/arXiv.1906.09611
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6194 |
Boccara CN, Nardin M, Stella F, O’Neill J, Csicsvari JL. The entorhinal cognitive map is attracted to goals. Science. 2019;363(6434):1443-1447. doi:10.1126/science.aav4837
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9726
Ucar MC, Lipowsky R. Supplementary information - Collective force generation by molecular motors is determined by strain-induced unbinding. 2019. doi:10.1021/acs.nanolett.9b04445.s001
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9731 |
Sigalova O, Chaplin A, Bochkareva O, et al. Additional file 11 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808772.v1
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Conference Paper | IST-REx-ID: 8324 |
Wang P, Fu H, Chatterjee K, Deng Y, Xu M. Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. In: Proceedings of the ACM on Programming Languages. Vol 4. ACM; 2019. doi:10.1145/3371093
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 6819 |
Antoniou MN, Nicolas A, Mesnage R, Biserni M, Rao FV, Martin CV. Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. BMC Research Notes. 2019;12. doi:10.1186/s13104-019-4534-3
View
| Files available
| DOI
| PubMed | Europe PMC