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 | OA
Conlon D, Fox J, Kwan MA, Sudakov B. 2019. Hypergraph cuts above the average. Israel Journal of Mathematics. 233(1), 67–111.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 9585 | OA
Kwan MA, Sudakov B. 2019. Proof of a conjecture on induced subgraphs of Ramsey graphs. Transactions of the American Mathematical Society. 372(8), 5571–5594.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 9586 | OA
Kwan MA, Sudakov B, Tran T. 2019. Anticoncentration for subgraph statistics. Journal of the London Mathematical Society. 99(3), 757–777.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 9677 | OA
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 | OA
Giberti F, Cheng B, Tribello GA, Ceriotti M. 2019. Iterative unbiasing of quasi-equilibrium sampling. Journal of Chemical Theory and Computation. 16(1), 100–107.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2019 | Journal Article | IST-REx-ID: 9689 | OA
Cheng B, Engel EA, Behler J, Dellago C, Ceriotti M. 2019. Ab initio thermodynamics of liquid and solid water. Proceedings of the National Academy of Sciences. 116(4), 1110–1115.
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. 2019. Supporting text and results, Public Library of Science, 10.1371/journal.pcbi.1007168.s001.
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9789
Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Avvakumov S, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov F. 2019. Multiple alignment of His3 orthologues, Public Library of Science, 10.1371/journal.pgen.1008079.s010.
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9790
Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Avvakumov S, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov F. 2019. A statistical summary of segment libraries and sequencing results, Public Library of Science, 10.1371/journal.pgen.1008079.s011.
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9797
Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov F. 2019. A statistical summary of segment libraries and sequencing results, Public Library of Science, 10.1371/journal.pgen.1008079.s011.
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9801
Merrill RM, Rastas P, Martin SH, Melo Hurtado MC, Barker S, Davey J, Mcmillan WO, Jiggins CD. 2019. Raw behavioral data, Public Library of Science, 10.1371/journal.pbio.2005902.s006.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 405 | OA
Virosztek D. 2019. Jointly convex quantum Jensen divergences. Linear Algebra and Its Applications. 576, 67–78.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 429 | OA
Ajanki OH, Erdös L, Krüger TH. 2019. Stability of the matrix Dyson equation and random matrices with correlations. Probability Theory and Related Fields. 173(1–2), 293–373.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 439 | OA
Hausel T, Mereb M, Wong M. 2019. Arithmetic and representation theory of wild character varieties. Journal of the European Mathematical Society. 21(10), 2995–3052.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 441 | OA
Kalinin N, Shkolnikov M. 2019. Tropical formulae for summation over a part of SL(2,Z). European Journal of Mathematics. 5(3), 909–928.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 10877 | OA
Frehse G, Abate A, Adzkiya D, Becchi A, Bu L, Cimatti A, Giacobbe M, Griggio A, Mover S, Mufid MS, Riouak I, Tonetta S, Zaffanella E. 2019. ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics. ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems, EPiC Series in Computing, vol. 61, 1–13.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7391 | OA
Tabata S, Jevtic M, Kurashige N, Fuchida H, Kido M, Tani K, Zenmyo N, Uchinomiya S, Harada H, Itakura M, Hamachi I, Shigemoto R, Ojida A. 2019. Electron microscopic detection of single membrane proteins by a specific chemical labeling. iScience. 22(12), 256–268.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7402 | OA
Chatterjee K, Doyen L. 2019. Graph planning with expected finite horizon. 34th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 196 | OA
Lang M, Shkolnikov M. 2019. Harmonic dynamics of the Abelian sandpile. Proceedings of the National Academy of Sciences. 116(8), 2821–2830.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6884 | OA
Avni G, Henzinger TA, Zikelic D. 2019. Bidding mechanisms in graph games. MFCS: nternational Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 138, 11.
View | Files available | DOI | arXiv
 

2019 | Preprint | IST-REx-ID: 7358 | OA
Watanabe M, Haney JR, Vishlaghi N, Turcios F, Buth JE, Gu W, Collier AJ, Miranda O, Chen D, Sabri S, Clark AT, Plath K, Christofk HR, Gandal MJ, Novitch BG. 2019. TGFβ superfamily signaling regulates the state of human stem cell pluripotency and competency to create telencephalic organoids. bioRxiv, 10.1101/2019.12.13.875773.
View | DOI | Download Preprint (ext.)
 

2019 | Journal Article | IST-REx-ID: 7550 | OA
Portinale L, Stefanelli U. 2019. Penalization via global functionals of optimal-control problems for dissipative evolution. Advances in Mathematical Sciences and Applications. 28(2), 425–447.
View | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 8182 | OA
Avvakumov S, Kudrya S. Vanishing of all equivariant obstructions and the mapping degree. arXiv, 1910.12628.
View | Files available | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11061 | OA
Toyama BH, Arrojo e Drigo R, Lev-Ram V, Ramachandra R, Deerinck TJ, Lechene C, Ellisman MH, Hetzer M. 2019. Visualization of long-lived proteins reveals age mosaicism within nuclei of postmitotic cells. Journal of Cell Biology. 218(2), 433–444.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 11060 | OA
Buchwalter A, Schulte R, Tsai H, Capitanio J, Hetzer M. 2019. Selective clearance of the inner nuclear membrane protein emerin by vesicular transport during ER stress. eLife. 8, e49796.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 11062 | OA
Arrojo e Drigo R, Lev-Ram V, Tyagi S, Ramachandra R, Deerinck T, Bushong E, Phan S, Orphan V, Lechene C, Ellisman MH, Hetzer M. 2019. Age mosaicism across multiple scales in adult tissues. Cell Metabolism. 30(2), 343–351.e3.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 11059
Buchwalter A, Kaneshiro JM, Hetzer M. 2019. Coaching from the sidelines: The nuclear periphery in genome regulation. Nature Reviews Genetics. 20(1), 39–50.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 11505 | OA
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 | OA
Nanayakkara T, Brinchmann J, Boogaard L, Bouwens R, Cantalupo S, Feltre A, Kollatschny W, Marino RA, Maseda M, Matthee JJ, Paalvast M, Richard J, Verhamme A. 2019. Exploring He II λ1640 emission line properties at z ∼2−4. Astronomy & Astrophysics. 648, A89.
View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11514 | OA
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 | OA
Sobral D, Matthee JJ. 2019. Predicting Lyα escape fractions with a simple observable: Lyα in emission as an empirically calibrated star formation rate indicator. Astronomy & Astrophysics. 623, A157.
View | DOI | Download Published Version (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6493 | OA
Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. 2019. Membership-based synthesis of linear hybrid automata. 31st International Conference on Computer-Aided Verification. CAV: Computer-Aided Verification, LNCS, vol. 11561, 297–314.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6887 | OA
Chatterjee K, Dvorák W, Henzinger MH, Svozil A. 2019. Near-linear time algorithms for Streett objectives in graphs and MDPs. Leibniz International Proceedings in Informatics. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140, 7.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 11516 | OA
Marino RA, Cantalupo S, Pezzulli G, Lilly SJ, Gallego S, Mackenzie R, Matthee JJ, Brinchmann J, Bouché N, Feltre A, Muzahid S, Schroetter I, Johnson SD, Nanayakkara T. 2019. 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. 880(1), 47.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11515 | OA
Matthee JJ, Sobral D, Boogaard LA, Röttgering H, Vallini L, Ferrara A, Paulino-Afonso A, Boone F, Schaerer D, Mobasher B. 2019. Resolved UV and [C ii] structures of luminous galaxies within the epoch of reionization. The Astrophysical Journal. 881(2), 124.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11517 | OA
Wang E, Lilly SJ, Pezzulli G, Matthee JJ. 2019. On the elevation and suppression of star formation within galaxies. The Astrophysical Journal. 877(2), 132.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11541 | OA
Sobral D, Matthee JJ, Brammer G, Ferrara A, Alegre L, Röttgering H, Schaerer D, Mobasher B, Darvish B. 2019. 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. 482(2), 2422–2441.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11535 | OA
Khostovan AA, Sobral D, Mobasher B, Matthee JJ, Cochrane RK, Chartab N, Jafariyazani M, Paulino-Afonso A, Santos S, Calhau J. 2019. 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. 489(1), 555–573.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11540 | OA
Matthee JJ, Schaye J. 2019. The origin of scatter in the star formation rate–stellar mass relation. Monthly Notices of the Royal Astronomical Society. 484(1), 915–932.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11613 | OA
Mathur S, García RA, Bugnet LA, Santos ÂRG, Santiago N, Beck PG. 2019. Revisiting the impact of stellar magnetic activity on the detectability of solar-like oscillations by Kepler. Frontiers in Astronomy and Space Sciences. 6, 46.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11616 | OA
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 | OA
Hon M, Stello D, García RA, Mathur S, Sharma S, Colman IL, Bugnet LA. 2019. A search for red giant solar-like oscillations in all Kepler data. Monthly Notices of the Royal Astronomical Society. 485(4), 5616–5630.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11623 | OA
Santos ARG, García RA, Mathur S, Bugnet LA, van Saders JL, Metcalfe TS, Simonian GVA, Pinsonneault MH. 2019. Surface rotation and photometric activity for Kepler targets. I. M and K main-sequence stars. The Astrophysical Journal Supplement Series. 244(1), 21.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11614 | OA
Bugnet LA, García RA, Mathur S, Davies GR, Hall OJ, Lund MN, Rendle BM. 2019. FliPerClass: In search of solar-like pulsators among TESS targets. Astronomy & Astrophysics. 624, A79.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 11627 | OA
Breton SN, Bugnet LA, Santos ARG, Saux AL, Mathur S, Palle PL, Garcia RA. Determining surface rotation periods of solar-like stars observed by the Kepler mission using machine learning techniques. arXiv, 1906.09609.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 11630 | OA
Saux AL, Bugnet LA, Mathur S, Breton SN, Garcia RA. Automatic classification of K2 pulsating stars using machine learning techniques. arXiv, 1906.09611.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6194 | OA
Boccara CN, Nardin M, Stella F, O’Neill J, Csicsvari JL. 2019. The entorhinal cognitive map is attracted to goals. Science. 363(6434), 1443–1447.
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9726
Ucar MC, Lipowsky R. 2019. Supplementary information - Collective force generation by molecular motors is determined by strain-induced unbinding, American Chemical Society , 10.1021/acs.nanolett.9b04445.s001.
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9731 | OA
Sigalova O, Chaplin A, Bochkareva O, Shelyakin P, Filaretov V, Akkuratov E, Burskaia V, Gelfand MS. 2019. Additional file 11 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction, Springer Nature, 10.6084/m9.figshare.9808772.v1.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 8324 | OA
Wang P, Fu H, Chatterjee K, Deng Y, Xu M. 2019. Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. Proceedings of the ACM on Programming Languages. vol. 4, 25.
View | Files available | DOI | arXiv
 

Filters and Search Terms

year=2019

Search

Filter Publications