Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




3163 Publications

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: 9656
Han H, Adamowski M, Qi L, Alotaibi S, Friml J. PIN-mediated polar auxin transport regulations in plant tropic responses. New Phytologist. 2021. doi:10.1111/nph.17617
View | DOI | PubMed | Europe PMC
 
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 | 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 | 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 | Thesis | IST-REx-ID: 9623
Caballero Mancebo S. Fertilization-induced deformations are controlled by the actin cortex and a mitochondria-rich subcortical layer in ascidian oocytes. 2021. doi:10.15479/at:ista:9623
View | Files available | DOI
 
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 | Journal Article | IST-REx-ID: 9006
Shamipour S, Caballero Mancebo S, Heisenberg C-PJ. Cytoplasm’s got moves. Developmental Cell. 2021;56(2):P213-226. doi:10.1016/j.devcel.2020.12.002
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9437 | OA
Bhandari P, Vandael DH, Fernández-Fernández D, et al. GABAB receptor auxiliary subunits modulate Cav2.3-mediated release from medial habenula terminals. eLife. 2021;10. doi:10.7554/ELIFE.68274
View | Files available | DOI
 
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 | 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: 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 | 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
 
2021 | Journal Article | IST-REx-ID: 9225 | OA
Feliciangeli D, Rademacher SAE, Seiringer R. Persistence of the spectral gap for the Landau–Pekar equations. Letters in Mathematical Physics. 2021;111. doi:10.1007/s11005-020-01350-5
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: 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 | Thesis | IST-REx-ID: 9562
Kleindienst D. 2B or not 2B: Hippocampal asymmetries mediated by NMDA receptor subunit GluN2B C-terminus and high-throughput image analysis by Deep-Learning. 2021. doi:10.15479/at:ista:9562
View | Files available | DOI
 
2021 | Book Chapter | IST-REx-ID: 9756
Kaufmann W, Kleindienst D, Harada H, Shigemoto R. High-Resolution localization and quantitation of membrane proteins by SDS-digested freeze-fracture replica labeling (SDS-FRL). In: Receptor and Ion Channel Detection in the Brain. Vol 169. Neuromethods. New York: Humana; 2021:267-283. doi:10.1007/978-1-0716-1522-5_19
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
 
2020 | Conference Paper | IST-REx-ID: 7966 | OA
Auerbach B, Giacon F, Kiltz E. Everybody’s a target: Scalability in public-key encryption. In: Advances in Cryptology – EUROCRYPT 2020. Vol 12107. Springer Nature; 2020:475-506. doi:10.1007/978-3-030-45727-3_16
View | DOI | Download Submitted Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 7968 | OA
Ghazaryan A, Paltiel Y, Lemeshko M. Analytic model of chiral-induced spin selectivity. The Journal of Physical Chemistry C. 2020;124(21):11716-11721. doi:10.1021/acs.jpcc.0c02584
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7971 | OA
Rao P, Serbyn M. Gully quantum Hall ferromagnetism in biased trilayer graphene. Physical Review B. 2020;101(24). doi:10.1103/physrevb.101.245411
View | DOI | Download Preprint (ext.)
 
2020 | Journal Article | IST-REx-ID: 7985 | OA
Kwak W, Sharon D, Xia C, et al. Lithium-oxygen batteries and related systems: Potential, status, and future. Chemical Reviews. 2020;120(14):6626-6683. doi:10.1021/acs.chemrev.9b00609
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 7989 | OA
Patakova Z. Bounding radon number via Betti numbers. In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.61
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7990 | OA
Wagner U, Welzl E. Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips). In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.67
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7991 | OA
Avvakumov S, Nivasch G. Homotopic curve shortening and the affine curve-shortening flow. In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.12
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7992 | OA
Patakova Z, Tancer M, Wagner U. Barycentric cuts through a convex body. In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.62
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7994 | OA
Arroyo Guevara AM, Bensmail J, Bruce Richter R. Extending drawings of graphs to arrangements of pseudolines. In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.9
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7995 | OA
Perini S, Rafajlović M, Westram AM, Johannesson K, Butlin RK. Assortative mating, sexual selection, and their consequences for gene flow in Littorina. Evolution. 2020;74(7):1482-1497. doi:10.1111/evo.14027
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 7996 | OA
Kukucka J. Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing. 2020. doi:10.15479/AT:ISTA:7996
View | Files available | DOI
 

Filters and Search Terms

type<>research_data

Search

Filter Publications