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.

3381 Publications


2021 | Journal Article | IST-REx-ID: 9558 | OA
Yalniz G, Hof B, Budanur NB. Coarse graining the state space of a turbulent flow using periodic orbits. Physical Review Letters. 2021;126(24). doi:10.1103/PhysRevLett.126.244502
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9570 | OA
Puglia D, Martinez EA, Ménard GC, et al. Closing of the induced gap in a hybrid superconductor-semiconductor nanowire. Physical Review B. 2021;103(23). doi:10.1103/PhysRevB.103.235201
View | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9607 | OA
Bespalov A, Bernard R, Gilis A, Gerlach B, Guillén J, Castagné V, Lefevre IA, Ducrey F, Monk L, Bongiovanni S, Altevogt B, Arroyo-Araujo M, Bikovski L, De Bruin N, Castaños-Vélez E, Dityatev A, Emmerich CH, Fares R, Ferland-Beckham C, Froger-Colléaux C, Gailus-Durner V, Hölter SM, Hofmann MC, Kabitzke P, Kas MJ, Kurreck C, Moser P, Pietraszek M, Popik P, Potschka H, Prado Montes De Oca E, Restivo L, Riedel G, Ritskes-Hoitinga M, Samardzic J, Schunn M, Stöger C, Voikar V, Vollert J, Wever KE, Wuyts K, Macleod MR, Dirnagl U, Steckler T. 2021. Introduction to the EQIPD quality system. eLife. 10.
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9569 | OA
Dar MS, Akram KB, Sohail A, et al. Heat induction in two-dimensional graphene–Fe3O4 nanohybrids for magnetic hyperthermia applications with artificial neural network modeling. RSC Advances. 2021;11(35):21702-21715. doi:10.1039/d1ra03428f
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9606 | OA
Tononi A, Cappellaro A, Bighin G, Salasnich L. Propagation of first and second sound in a two-dimensional Fermi superfluid. Physical Review A. 2021;103(6). doi:10.1103/PhysRevA.103.L061303
View | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9603 | OA
Contreras X, Amberg N, Davaatseren A, et al. A genome-wide library of MADM mice for single-cell genetic mosaic analysis. Cell Reports. 2021;35(12). doi:10.1016/j.celrep.2021.109274
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9601 | OA
Santini L, Halbritter F, Titz-Teixeira F, et al. Genomic imprinting in mouse blastocysts is predominantly associated with H3K27me3. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-23510-4
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9602 | OA
Pach J, Tomon I. Erdős-Hajnal-type results for monotone paths. Journal of Combinatorial Theory Series B. 2021;151:21-37. doi:10.1016/j.jctb.2021.05.004
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9604 | OA
Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Counting cells of order-k voronoi tessellations in ℝ3 with morse theory. In: Leibniz International Proceedings in Informatics. Vol 189. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.SoCG.2021.16
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 8909 | OA
Jirovec D, Hofmann AC, Ballabio A, et al. A singlet triplet hole spin qubit in planar Ge. Nature Materials. 2021. doi:10.1038/s41563-021-01022-2
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Research Data | IST-REx-ID: 9323 | OA
Jirovec D. Research data for “A singlet-triplet hole spin qubit planar Ge.” 2021. doi:10.15479/AT:ISTA:9323
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9356 | OA
Henzinger TA, Sarac NE. Quantitative and approximate monitoring. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery.
View | Files available | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9592 | OA
Dvorak M, Nicholson S. Massively winning configurations in the convex grabbing game on the plane. In: Proceedings of the 33rd Canadian Conference on Computational Geometry.
View | Files available | arXiv
 

2021 | Journal Article | IST-REx-ID: 8198 | OA
Diringer AA, Gulden T. Impact of drive harmonics on the stability of Floquet many-body localization. Physical Review B. 2021;103(21). doi:10.1103/PhysRevB.103.214204
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 8317 | OA
Aichholzer O, Akitaya HA, Cheung KC, et al. Folding polyominoes with holes into a cube. Computational Geometry: Theory and Applications. 2021;93. doi:10.1016/j.comgeo.2020.101700
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 7463 | OA
Lombardi F, Shriki O, Herrmann HJ, de Arcangelis L. Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches. Neurocomputing. doi:10.1016/j.neucom.2020.05.126
View | DOI | Download Preprint (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9605 | OA
Corbet R, Kerber M, Lesnick M, Osang GF. Computing the multicover bifiltration. In: Leibniz International Proceedings in Informatics. Vol 189. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.SoCG.2021.27
View | Files available | DOI | arXiv
 

2021 | Journal Article | IST-REx-ID: 9618 | OA
Bluvstein D, Omran A, Levine H, et al. Controlling quantum many-body dynamics in driven Rydberg atom arrays. Science. 2021;371(6536):1355-1359. doi:10.1126/science.abg2530
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2021 | Journal Article | IST-REx-ID: 9571 | OA
Ramezani-Kebrya A, Faghri F, Markov I, Aksenov V, Alistarh D-A, Roy DM. NUQSGD: Provably communication-efficient data-parallel SGD via nonuniform quantization. Journal of Machine Learning Research. 2021;22(114):1−43.
View | Files available | arXiv
 

2021 | Journal Article | IST-REx-ID: 9669 | OA
Reinhardt A, Cheng B. Quantum-mechanical exploration of the phase diagram of water. Nature Communications. 2021;12(1). doi:10.1038/s41467-020-20821-w
View | Files available | DOI | PubMed | Europe PMC | arXiv
 

2021 | Journal Article | IST-REx-ID: 9642 | OA
Venturino A, Schulz R, De Jesús-Cortés H, et al. Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain. Cell Reports. 2021;36(1). doi:10.1016/j.celrep.2021.109313
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9641 | OA
Fredes F, Shigemoto R. The role of hippocampal mossy cells in novelty detection. Neurobiology of Learning and Memory. 2021;183. doi:10.1016/j.nlm.2021.107486
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9679 | OA
Huber D, Marchukov OV, Hammer HW, Volosniev A. Morphology of three-body quantum states from machine learning. New Journal of Physics. 2021;23(6). doi:10.1088/1367-2630/ac0576
View | Files available | DOI | arXiv
 

2021 | Journal Article | IST-REx-ID: 9657 | OA
Gao Z, Chen Z, Cui Y, Ke M, Xu H, Xu Q, Chen J, Li Y, Huang L, Zhao H, Huang D, Mai S, Xu T, Liu X, Li S, Guan Y, Yang W, Friml J, Petrášek J, Zhang J, Chen X. 2021. GmPIN-dependent polar auxin transport is involved in soybean nodule development. Plant Cell., koab18.
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Preprint | IST-REx-ID: 9695 | OA
Glielmo A, Zeni C, Cheng B, Csanyi G, Laio A. Ranking the information content of distance measures. arXiv.
View | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 8910 | OA
Valentini M, Peñaranda F, Hofmann AC, et al. Nontopological zero-bias peaks in full-shell nanowires induced by flux-tunable Andreev states. Science. 2021;373(6550). doi:10.1126/science.abf1513
View | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9627 | OA
Lenz D, Weinmann T, Wirth M. Self-adjoint extensions of bipartite Hamiltonians. Proceedings of the Edinburgh Mathematical Society. 2021:1-15. doi:10.1017/S0013091521000080
View | DOI | Download Published Version (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 9651 | OA
Dymond M, Kaluza V. Divergence of separated nets with respect to displacement equivalence. arXiv.
View | Download Submitted Version (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 9696 | OA
Cheng B, Bethkenhagen M, Pickard CJ, Hamel S. Predicting the phase behaviors of superionic water at planetary conditions. arXiv.
View | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9647 | OA
Petrov T, Igler C, Sezgin A, Henzinger TA, Guet CC. Long lived transients in gene regulation. Theoretical Computer Science. doi:10.1016/j.tcs.2021.05.023
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9646 | OA
Wang J, Sun Y, Fu H, Chatterjee K, Goharshady AK. Quantitative analysis of assertion violations in probabilistic programs. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2021:1171-1186. doi:10.1145/3453483.3454102
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9645 | OA
Asadi A, Chatterjee K, Fu H, Goharshady AK, Mahdavi M. Polynomial reachability witnesses via Stellensätze. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2021:772-787. doi:10.1145/3453483.3454076
View | DOI | Download Submitted Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9644 | OA
Chatterjee K, Goharshady EK, Novotný P, Zikelic D. Proving non-termination by program reversal. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2021:1033-1048. doi:10.1145/3453483.3454093
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9649 | OA
Boissonnat J-D, Wintraecken M. The topological correctness of PL approximations of isomanifolds. Foundations of Computational Mathematics . 2021. doi:10.1007/s10208-021-09520-0
View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 9698 | OA
Keith JA, Valentin Vassilev-Galindo V, Cheng B, et al. Combining machine learning and computational chemistry for predictive insights into chemical systems. arXiv.
View | Download Submitted Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9678 | OA
Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. Efficient load-balancing through distributed token dropping. In: Annual ACM Symposium on Parallelism in Algorithms and Architectures. ; 2021:129-139. doi:10.1145/3409964.3461785
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9441 | OA
Boissonnat J-D, Kachanovich S, Wintraecken M. Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations. In: 37th International Symposium on Computational Geometry (SoCG 2021). Vol 189. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021:17:1-17:16. doi:10.4230/LIPIcs.SoCG.2021.17
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9620 | OA
Alistarh D-A, Davies P. Collecting coupons is faster with friends. In: Structural Information and Communication Complexity. Vol 12810. Springer Nature; 2021:3-12. doi:10.1007/978-3-030-79527-6_1
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9200 | OA
Garcia Soto M, Henzinger TA, Schilling C. Synthesis of hybrid automata with affine dynamics from time-series data. In: HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery; :2102.12734. doi:10.1145/3447928.3456704
View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9345 | OA
Edelsbrunner H, Heiss T, Kurlin V, Smith P, Wintraecken M. The density fingerprint of a periodic point set. In: 37th International Symposium on Computational Geometry (SoCG 2021). Vol 189. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021:32:1-32:16. doi:10.4230/LIPIcs.SoCG.2021.32
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9296 | OA
Aichholzer O, Arroyo Guevara AM, Masárová Z, et al. On compatible matchings. In: 15th International Conference on Algorithms and Computation. Vol 12635. Springer Nature; 2021:221-233. doi:10.1007/978-3-030-68211-8_18
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9640 | OA
Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. Fast and strong amplifiers of natural selection. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-24271-w
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Thesis | IST-REx-ID: 9418 | OA
Phuong M. Underspecification in Deep Learning. 2021. doi:10.15479/AT:ISTA:9418
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9543 | OA
Davies P, Gurunanthan V, Moshrefi N, Ashkboos S, Alistarh D-A. New bounds for distributed mean estimation and variance reduction. In: 9th International Conference on Learning Representations. ; 2021.
View | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9416 | OA
Phuong M, Lampert C. The inductive bias of ReLU networks on orthogonally separable data. In: 9th International Conference on Learning Representations. ; 2021.
View | Files available | Download Published Version (ext.)
 

2021 | Thesis | IST-REx-ID: 8934 | OA
Goharshady AK. Parameterized and algebro-geometric advances in static program analysis. 2021. doi:10.15479/AT:ISTA:8934
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7956 | OA
Pȩkalski J, Rzadkowski W, Panagiotopoulos AZ. Shear-induced ordering in systems with competing interactions: A machine learning study. The Journal of chemical physics. 2020;152(20). doi:10.1063/5.0005194
View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7957 | OA
Parenti I, Garcia Rabaneda LE, Schön H, Novarino G. Neurodevelopmental disorders: From genetics to functional pathways. Trends in Neurosciences. 2020;43(8):608-621. doi:10.1016/j.tins.2020.05.004
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7960 | OA
Kalai G, Patakova Z. Intersection patterns of planar sets. Discrete and Computational Geometry. 2020;64:304-323. doi:10.1007/s00454-020-00205-z
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7962 | OA
Pach J, Reed B, Yuditsky Y. Almost all string graphs are intersection graphs of plane convex sets. Discrete and Computational Geometry. 2020;63(4):888-917. doi:10.1007/s00454-020-00213-z
View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications