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.




3385 Publications

2021 | Journal Article | IST-REx-ID: 9408 | OA
Feng X, Liu J, Wang H, Yang Y, Bao H, Bickel B, Xu W. 2021. Computational design of skinned Quad-Robots. IEEE Transactions on Visualization and Computer Graphics. 27(6), 2881–2895.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9410 | OA
Lagator M, Uecker H, Neve P. 2021. Adaptation at different points along antibiotic concentration gradients. Biology letters. 17(5), 20200913.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9376 | OA
Zhang R, Auzinger T, Bickel B. Computational design of planar multistable compliant structures. ACM Transactions on Graphics.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 7901 | OA
Benedikter NP, Nam PT, Porta M, Schlein B, Seiringer R. 2021. Correlation energy of a weakly interacting Fermi gas. Inventiones Mathematicae.
View | DOI | Download Published Version (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9439 | OA
Mlynarski WF, Hermundstad AM. 2021. Efficient and adaptive sensory codes. Nature Neuroscience.
View | DOI | Download Preprint (ext.)
 
2021 | Preprint | IST-REx-ID: 9435 | OA
Kaloshin V, Koudjinan E. 2021. Non co-preservation of the 1/2 and  1/(2l+1)-rational caustics along deformations of circles.
View | Files available
 
2021 | Journal Article | IST-REx-ID: 9257 | OA
Goodrich CP, King EM, Schoenholz SS, Cubuk ED, Brenner MP. 2021. Designing self-assembling kinetics with differentiable statistical physics models. Proceedings of the National Academy of Sciences. 118(10), e2024083118.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9301 | OA
Prehal C, Samojlov A, Nachtnebel M, Lovicar L, Kriechbaum M, Amenitsch H, Freunberger SA. 2021. In situ small-angle X-ray scattering reveals solution phase discharge of Li–O2 batteries with weakly solvating electrolytes. Proceedings of the National Academy of Sciences. 118(14), e2021893118.
View | DOI | Download Preprint (ext.)
 
2021 | Journal Article | IST-REx-ID: 9447
Maffre M, Bouchal R, Freunberger SA, Lindahl N, Johansson P, Favier F, Fontaine O, Bélanger D. 2021. Investigation of electrochemical and chemical processes occurring at positive potentials in “Water-in-Salt” electrolytes. Journal of The Electrochemical Society. 168(5), 050550.
View | DOI
 
2021 | Journal Article | IST-REx-ID: 9465 | OA
Edelsbrunner H, Nikitenko A, Osang GF. 2021. A step in the Delaunay mosaic of order k. Journal of Geometry. 112(1), 15.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9464
Gao F, Zhang JY, Wang JH, Ming M, Wang T, Zhang JJ, Watzinger H, Kukucka J, Vukušić L, Katsaros G, Wang K, Xu G, Li HO, Guo GP. 2021. Ge/Si quantum wires for quantum computing. 2021 5th IEEE Electron Devices Technology and Manufacturing Conference, EDTM 2021. EDTM: 5th IEEE Electron Devices Technology and Manufacturing Conference, 9420817.
View | DOI
 
2021 | Journal Article | IST-REx-ID: 9469
Iyiola OS, Enyi CD, Shehu Y. 2021. Reflected three-operator splitting method for monotone inclusion problem. Optimization Methods and Software.
View | DOI
 
2021 | Journal Article | IST-REx-ID: 9470 | OA
Berdan EL, Blanckaert A, Slotte T, Suh A, Westram AM, Fragata I. 2021. Unboxing mutations: Connecting mutation types with evolutionary consequences. Molecular Ecology. 30(12), 2710–2723.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 8546 | OA
Zhang T, Liu T, Mora N, Guegan J, Bertrand M, Contreras X, Hansen AH, Streicher C, Anderle M, Danda N, Tiberi L, Hippenmeyer S, Hassan BA. 2021. Generation of excitatory and inhibitory neurons from common progenitors via Notch signaling in the cerebellum. Cell Reports. 35(10), 109208.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9550 | OA
Bao Z, Erdös L, Schnelli K. 2021. Equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. 9, e44.
View | Files available | DOI | arXiv
 
2021 | Journal Article | IST-REx-ID: 9429 | OA
Morandell J, Schwarz LA, Basilico B, Tasciyan S, Dimchev GA, Nicolas A, Sommer CM, Kreuzinger C, Dotter C, Knaus L, Dobler Z, Cacci E, Schur FK, Danzl JG, Novarino G. 2021. Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. Nature Communications. 12(1), 3058.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 9549
Zhang D, Watson J, Matthews PM, Cais O, Greger IH. 2021. Gating and modulation of a hetero-octameric AMPA glutamate receptor. Nature.
View | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9462 | OA
Deuchert A, Seiringer R. 2021. Semiclassical approximation and critical temperature shift for weakly interacting trapped bosons. Journal of Functional Analysis. 281(6), 109096.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9547 | OA
Rittig T, Sumin D, Babaei V, Didyk P, Voloboy A, Wilkie A, Bickel B, Myszkowski K, Weyrich T, Křivánek J. 2021. Neural acceleration of scattering-aware color 3D printing. Computer Graphics Forum. 40(2), 205–219.
View | DOI | Download Published Version (ext.)
 
2021 | Journal Article | IST-REx-ID: 9541 | OA
Czumaj A, Davies P, Parter M. 2021. Graph sparsification for derandomizing massively parallel computation with low space. ACM Transactions on Algorithms. 17(2), 16.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9569 | OA
Dar MS, Akram KB, Sohail A, Arif F, Zabihi F, Yang S, Munir S, Zhu M, Abid M, Nauman M. 2021. Heat induction in two-dimensional graphene–Fe3O4 nanohybrids for magnetic hyperthermia applications with artificial neural network modeling. RSC Advances. 11(35), 21702–21715.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9604 | OA
Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. 2021. Counting cells of order-k voronoi tessellations in ℝ3 with morse theory. Leibniz International Proceedings in Informatics. SoCG: International Symposium on Computational Geometry, LIPIcs, vol. 189, 16.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9356 | OA
Henzinger TA, Sarac NE. Quantitative and approximate monitoring. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science.
View | Files available | arXiv
 
2021 | Journal Article | IST-REx-ID: 8198 | OA
Diringer AA, Gulden T. 2021. Impact of drive harmonics on the stability of Floquet many-body localization. Physical Review B. 103(21), 214204.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 8317 | OA
Aichholzer O, Akitaya HA, Cheung KC, Demaine ED, Demaine ML, Fekete SP, Kleist L, Kostitsyna I, Löffler M, Masárová Z, Mundilova K, Schmidt C. 2021. Folding polyominoes with holes into a cube. Computational Geometry: Theory and Applications. 93, 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.
View | DOI | Download Preprint (ext.)
 
2021 | Journal Article | IST-REx-ID: 9626
Su L, Hong T, Wang D, Wang S, Qin B, Zhang M, Gao X, Chang C, Zhao LD. 2021. Realizing high doping efficiency and thermoelectric performance in n-type SnSe polycrystals via bandgap engineering and vacancy compensation. Materials Today Physics. 20, 100452.
View | DOI
 
2021 | Journal Article | IST-REx-ID: 9438
Vandael DH, Okamoto Y, Borges Merjane C, Vargas Barroso VM, Suter B, Jonas PM. 2021. Subcellular patch-clamp techniques for single-bouton stimulation and simultaneous pre- and postsynaptic recording at cortical synapses. Nature Protocols. 16(6), 2947–2967.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Conference Paper | IST-REx-ID: 9605 | OA
Corbet R, Kerber M, Lesnick M, Osang GF. 2021. Computing the multicover bifiltration. Leibniz International Proceedings in Informatics. SoCG: International Symposium on Computational Geometry, LIPIcs, vol. 189, 27.
View | Files available | DOI | arXiv
 
2021 | Journal Article | IST-REx-ID: 9618 | OA
Bluvstein D, Omran A, Levine H, Keesling A, Semeghini G, Ebadi S, Wang TT, Michailidis A, Maskara N, Ho WW, Choi S, Serbyn M, Greiner M, Vuletić V, Lukin MD. 2021. Controlling quantum many-body dynamics in driven Rydberg atom arrays. Science. 371(6536), 1355–1359.
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. 2021. NUQSGD: Provably communication-efficient data-parallel SGD via nonuniform quantization. Journal of Machine Learning Research. 22(114), 1−43.
View | Files available | arXiv
 
2021 | Journal Article | IST-REx-ID: 9629
Yang Q, Xue S, Chan CJ, Rempfler M, Vischi D, Maurer-Gutierrez F, Hiiragi T, Hannezo EB, Liberali P. 2021. Cell fate coordinates mechano-osmotic forces in intestinal crypt formation. Nature Cell Biology.
View | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9641 | OA
Fredes F, Shigemoto R. 2021. The role of hippocampal mossy cells in novelty detection. Neurobiology of Learning and Memory. 183, 107486.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9679 | OA
Huber D, Marchukov OV, Hammer HW, Volosniev A. 2021. Morphology of three-body quantum states from machine learning. New Journal of Physics. 23(6), 065009.
View | Files available | DOI | arXiv
 
2021 | Journal Article | IST-REx-ID: 9656
Han H, Adamowski M, Qi L, Alotaibi S, Friml J. 2021. PIN-mediated polar auxin transport regulations in plant tropic responses. New Phytologist.
View | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9627 | OA
Lenz D, Weinmann T, Wirth M. 2021. Self-adjoint extensions of bipartite Hamiltonians. Proceedings of the Edinburgh Mathematical Society., 1–15.
View | DOI | Download Published 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.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9646 | OA
Wang J, Sun Y, Fu H, Chatterjee K, Goharshady AK. 2021. Quantitative analysis of assertion violations in probabilistic programs. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 1171–1186.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 9645 | OA
Asadi A, Chatterjee K, Fu H, Goharshady AK, Mahdavi M. 2021. Polynomial reachability witnesses via Stellensätze. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 772–787.
View | DOI | Download Submitted Version (ext.)
 
2021 | Conference Paper | IST-REx-ID: 9644 | OA
Chatterjee K, Goharshady EK, Novotný P, Zikelic D. 2021. Proving non-termination by program reversal. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 1033–1048.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9649 | OA
Boissonnat J-D, Wintraecken M. 2021. The topological correctness of PL approximations of isomanifolds. Foundations of Computational Mathematics .
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9678 | OA
Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. 2021. Efficient load-balancing through distributed token dropping. Annual ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures , 129–139.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 9441 | OA
Boissonnat J-D, Kachanovich S, Wintraecken M. 2021. Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations. 37th International Symposium on Computational Geometry (SoCG 2021). SoCG: Symposium on Computational GeometryLeibniz International Proceedings in Informatics (LIPIcs), LIPIcs, vol. 189, 17:1-17:16.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9620 | OA
Alistarh D-A, Davies P. 2021. Collecting coupons is faster with friends. Structural Information and Communication Complexity. SIROCCO: International Colloquium on Structural Information and Communication Complexity, LNCS, vol. 12810, 3–12.
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. HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. HSCC: 24th ACM International Conference on Hybrid Systems Computation and Control, 2102.12734.
View | Files available | DOI | arXiv
 
2021 | Conference Paper | IST-REx-ID: 9345 | OA
Edelsbrunner H, Heiss T, Kurlin V, Smith P, Wintraecken M. 2021. The density fingerprint of a periodic point set. 37th International Symposium on Computational Geometry (SoCG 2021). SoCG: Symposium on Computational Geometry, LIPIcs, vol. 189, 32:1-32:16.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9296 | OA
Aichholzer O, Arroyo Guevara AM, Masárová Z, Parada I, Perz D, Pilz A, Tkadlec J, Vogtenhuber B. 2021. On compatible matchings. 15th International Conference on Algorithms and Computation. WALCOM: Algorithms and Computation, LNCS, vol. 12635, 221–233.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 9466
Walter M. 2021. The convergence of slide-type reductions. Public-Key Cryptography – PKC 2021. PKC: IACR International Conference on Practice and Theory of Public Key Cryptography, LNCS, vol. 12710, 45–67.
View | DOI
 
2021 | Conference Paper | IST-REx-ID: 9210
Volhejn V, Lampert C. 2021. Does SGD implicitly optimize for smoothness? 42nd German Conference on Pattern Recognition . DAGM GCPR: German Conference on Pattern Recognition , LNCS, vol. 12544 LNCS, 246–259.
View | DOI
 
2021 | Journal Article | IST-REx-ID: 9640 | OA
Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. 2021. Fast and strong amplifiers of natural selection. Nature Communications. 12(1), 4009.
View | Files available | DOI | PubMed | Europe PMC
 

Search

Filter Publications