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.

6693 Publications


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 | Conference Paper | IST-REx-ID: 9466
Walter M. The convergence of slide-type reductions. In: Public-Key Cryptography – PKC 2021. Vol 12710. Springer Nature; 2021:45-67. doi:10.1007/978-3-030-75245-3_3
View | DOI
 

2021 | Conference Paper | IST-REx-ID: 9210
Volhejn V, Lampert C. Does SGD implicitly optimize for smoothness? In: 42nd German Conference on Pattern Recognition . Vol 12544 LNCS. Springer; 2021:246-259. doi:10.1007/978-3-030-71278-5_18
View | DOI
 

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 | Journal Article | IST-REx-ID: 9467 | OA
Marensi E, He S, Willis AP. Suppression of turbulence and travelling waves in a vertical heated pipe. Journal of Fluid Mechanics. 2021;919. doi:10.1017/jfm.2021.371
View | Files available | DOI | arXiv
 

2021 | Thesis | IST-REx-ID: 9728
Agrawal N. Transition to turbulence and drag reduction in particle-laden pipe flows. 2021. doi:10.15479/at:ista:9728
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9761 | OA
Muench NA, Patel S, Maes ME, Donahue RJ, Ikeda A, Nickells RW. The influence of mitochondrial dynamics and function on retinal ganglion cell susceptibility in optic nerve disease. Cells. 2021;10(7). doi:10.3390/cells10071593
View | Files available | DOI | PubMed | Europe PMC
 

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 | Journal Article | IST-REx-ID: 9759 | OA
Bartlett MJ, Arslan FN, Bankston A, Sarabipour S. Ten simple rules to improve academic work- life balance. PLoS Computational Biology. 2021;17(7). doi:10.1371/journal.pcbi.1009124
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9760 | OA
Sack S, Serbyn M. Quantum annealing initialization of the quantum approximate optimization algorithm. Quantum. 2021;5. doi:10.22331/Q-2021-07-01-491
View | Files available | DOI | arXiv
 

2021 | Journal Article | IST-REx-ID: 7553 | OA
Mlynarski WF, Hledik M, Sokolowski TR, Tkačik G. Statistical analysis and optimality of neural systems. Neuron. 2021;109(7):1227-1241.e5. doi:10.1016/j.neuron.2021.01.020
View | Files available | DOI | Download Preprint (ext.)
 

2021 | Journal Article | IST-REx-ID: 9316 | OA
Petridou N, Corominas-Murtra B, Heisenberg C-PJ, Hannezo EB. Rigidity percolation uncovers a structural basis for embryonic tissue phase transitions. Cell. 2021;184(7):1914-1928.e19. doi:10.1016/j.cell.2021.02.017
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 8430 | OA
Ojavee SE, Kousathanas A, Trejo Banos D, et al. Genomic architecture and prediction of censored time-to-event phenotypes with a Bayesian genome-wide analysis. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-22538-w
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9407 | OA
Scarselli D, Budanur NB, Timme M, Hof B. Discontinuous epidemic transition due to limited testing. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-22725-9
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9402
Schmid L, Chatterjee K, Hilbe C, Nowak MA. A unified framework of direct and indirect reciprocity. Nature Human Behaviour. 2021. doi:10.1038/s41562-021-01114-8
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9778 | OA
Vandael DH, Okamoto Y, Jonas PM. Transsynaptic modulation of presynaptic short-term plasticity in hippocampal mossy fiber synapses. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-23153-5
View | Files available | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 9431 | OA
Obr M, Ricana CL, Nikulin N, et al. Structure of the mature Rous sarcoma virus lattice reveals a role for IP6 in the formation of the capsid hexamer. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-23506-0
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;20(8):1106–1112. 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 | Preprint | IST-REx-ID: 9034 | OA
Wilsch FA. Integral points of bounded height on a log Fano threefold. arXiv.
View | Download Preprint (ext.) | 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: 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: 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 | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 6965 | OA
Rychlewicz KP. The positivity of local equivariant Hirzebruch class for toric varieties. Bulletin of the London Mathematical Society. 2021;53(2):560-574. doi:10.1112/blms.12442
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Research Data | IST-REx-ID: 9389 | OA
Valentini M. Research data for “Non-topological zero bias peaks in full-shell nanowires induced by flux tunable Andreev states.” 2021. doi:10.15479/AT:ISTA:9389
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9037 | OA
Ivanov G. No-dimension Tverberg’s theorem and its corollaries in Banach spaces of type p. Bulletin of the London Mathematical Society. 2021;53(2):631-641. doi:10.1112/blms.12449
View | Files available | DOI | arXiv
 

2021 | Journal Article | IST-REx-ID: 8940 | OA
Boissonnat J-D, Kachanovich S, Wintraecken M. Triangulating submanifolds: An elementary and quantified version of Whitney’s method. Discrete & Computational Geometry. 2021;66(1):386-434. doi:10.1007/s00454-020-00250-8
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 8730
Tournier N, Goutal S, Mairinger S, et al. Complete inhibition of ABCB1 and ABCG2 at the blood-brain barrier by co-infusion of erlotinib and tariquidar to improve brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib. Journal of Cerebral Blood Flow and Metabolism. 2021;41(7):1634-1646. doi:10.1177/0271678X20965500
View | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 8817
Shehu Y, Iyiola OS, Thong DV, Van NTC. An inertial subgradient extragradient algorithm extended to pseudomonotone equilibrium problems. Mathematical Methods of Operations Research. 2021;93(2):213-242. doi:10.1007/s00186-020-00730-w
View | DOI
 

2021 | Journal Article | IST-REx-ID: 9098 | OA
Ivanov G. On the volume of projections of the cross-polytope. Discrete Mathematics. 2021;344(5). doi:10.1016/j.disc.2021.112312
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9820
Serrano A, Chen B, Wang C, et al. The effect of shape and illumination on material perception: Model and applications. ACM Transactions on Graphics. 2021;40(4). doi:10.1145/3450626.3459813
View | DOI
 

2021 | Journal Article | IST-REx-ID: 9828
Gabrielaitis M. Fast and accurate amplitude demodulation of wideband signals. IEEE Transactions on Signal Processing. 2021;69:4039-4054. doi:10.1109/TSP.2021.3087899
View | DOI
 

2021 | Journal Article | IST-REx-ID: 9822 | OA
Zisis T, Schwarz J, Balles M, et al. Sequential and switchable patterning for studying cellular processes under spatiotemporal control. ACS Applied Materials and Interfaces. 2021;13(30):35545–35560. doi:10.1021/acsami.1c09850
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9821 | OA
Graff G, Graff B, Pilarczyk P, Jablonski G, Gąsecki D, Narkiewicz K. Persistent homology as a new method of the assessment of heart rate variability. PLoS ONE. 2021;16(7). doi:10.1371/journal.pone.0253851
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9819 | OA
Mallikarjun BR, Tewari A, Dib A, et al. PhotoApp: Photorealistic appearance editing of head portraits. ACM Transactions on Graphics. 2021;40(4). doi:10.1145/3450626.3459765
View | Files available | DOI | arXiv
 

2021 | Journal Article | IST-REx-ID: 9816 | OA
Hledik M, Polechova J, Beiglböck M, Herdina AN, Strassl R, Posch M. Analysis of the specificity of a COVID-19 antigen test in the Slovak mass testing program. PLoS ONE. 2021;16(7). doi:10.1371/journal.pone.0255267
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9770 | OA
Volosniev A, Alpern H, Paltiel Y, Millo O, Lemeshko M, Ghazaryan A. Interplay between friction and spin-orbit coupling as a source of spin polarization. Physical Review B. 2021;104(2). doi:10.1103/physrevb.104.024430
View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications