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.




5368 Publications

2021 | Published | Conference Paper | IST-REx-ID: 10668 | OA
Babaiee, Zahra, Ramin Hasani, Mathias Lechner, Daniela Rus, and Radu Grosu. “On-off Center-Surround Receptive Fields for Accurate and Robust Image Classification.” In Proceedings of the 38th International Conference on Machine Learning, 139:478–89. ML Research Press, 2021.
[Published Version] View | Files available | Download Published Version (ext.)
 
2021 | Published | Conference Paper | IST-REx-ID: 10669 | OA
Grunbacher, Sophie, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A Smolka, and Radu Grosu. “On the Verification of Neural ODEs with Stochastic Guarantees.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:11525–35. AAAI Press, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10670 | OA
Vorbach, Charles J, Ramin Hasani, Alexander Amini, Mathias Lechner, and Daniela Rus. “Causal Navigation by Continuous-Time Neural Networks.” In 35th Conference on Neural Information Processing Systems, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10671 | OA
Hasani, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu Grosu. “Liquid Time-Constant Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:7657–66. AAAI Press, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10674 | OA
Aghajohari, Milad, Guy Avni, and Thomas A Henzinger. “Determinacy in Discrete-Bidding Infinite-Duration Games.” Logical Methods in Computer Science. International Federation for Computational Logic, 2021. https://doi.org/10.23638/LMCS-17(1:10)2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10688 | OA
Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.” In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, edited by Piskac Ruzica and Michael W. Whalen, 2:143–152. TU Wien Academic Press, 2021. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23.
[Published Version] View | Files available | DOI
 
2021 | Published | Conference Paper | IST-REx-ID: 10694 | OA
Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Infinite-Duration All-Pay Bidding Games.” In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, edited by Dániel Marx, 617–36. Society for Industrial and Applied Mathematics, 2021. https://doi.org/10.1137/1.9781611976465.38.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10711 | OA
Autissier, Pascal, Dante Bonolis, and Youness Lamzouri. “The Distribution of the Maximum of Partial Sums of Kloosterman Sums and Other Trace Functions.” Compositio Mathematica. Cambridge University Press, 2021. https://doi.org/10.1112/s0010437x21007351.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10738 | OA
Leopold, Nikolai K, Simone Anna Elvira Rademacher, Benjamin Schlein, and Robert Seiringer. “ The Landau–Pekar Equations: Adiabatic Theorem and Accuracy.” Analysis and PDE. Mathematical Sciences Publishers, 2021. https://doi.org/10.2140/APDE.2021.14.2079.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Submitted | Preprint | IST-REx-ID: 10762 | OA
Rzadkowski, Wojciech, Mikhail Lemeshko, and Johan H. Mentink. “Artificial Neural Network States for Non-Additive Systems.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2105.15193.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Submitted | Preprint | IST-REx-ID: 10803 | OA
Konstantinov, Nikola H, and Christoph Lampert. “Fairness through Regularization for Learning to Rank.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2102.05996.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10806 | OA
Calcabrini, Mariano, Dietger Van den Eynden, Sergi Sanchez Ribot, Rohan Pokratath, Jordi Llorca, Jonathan De Roo, and Maria Ibáñez. “Ligand Conversion in Nanocrystal Synthesis: The Oxidation of Alkylamines to Fatty Acids by Nitrate.” JACS Au. American Chemical Society, 2021. https://doi.org/10.1021/jacsau.1c00349.
[Published Version] View | Files available | DOI
 
2021 | Published | Journal Article | IST-REx-ID: 10809
Liu, Yu, and Maria Ibáñez. “Tidying up the Mess.” Science. American Association for the Advancement of Science, 2021. https://doi.org/10.1126/science.abg0886.
View | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 9462 | OA
Deuchert, Andreas, and Robert Seiringer. “Semiclassical Approximation and Critical Temperature Shift for Weakly Interacting Trapped Bosons.” Journal of Functional Analysis. Elsevier, 2021. https://doi.org/10.1016/j.jfa.2021.109096.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 9464
Gao, Fei, Jie Yin Zhang, Jian Huan Wang, Ming Ming, Tina Wang, Jian Jun Zhang, Hannes Watzinger, et al. “Ge/Si Quantum Wires for Quantum Computing.” In 2021 5th IEEE Electron Devices Technology and Manufacturing Conference, EDTM 2021. IEEE, 2021. https://doi.org/10.1109/EDTM50988.2021.9420817.
View | DOI | WoS
 
2021 | Published | Journal Article | IST-REx-ID: 9465 | OA
Edelsbrunner, Herbert, Anton Nikitenko, and Georg F Osang. “A Step in the Delaunay Mosaic of Order K.” Journal of Geometry. Springer Nature, 2021. https://doi.org/10.1007/s00022-021-00577-4.
[Published Version] View | Files available | DOI
 
2021 | Published | Conference Paper | IST-REx-ID: 9466 | OA
Walter, Michael. “The Convergence of Slide-Type Reductions.” In Public-Key Cryptography – PKC 2021, 12710:45–67. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-75245-3_3.
[Published Version] View | Files available | DOI
 
2021 | Published | Journal Article | IST-REx-ID: 9467 | OA
Marensi, Elena, Shuisheng He, and Ashley P. Willis. “Suppression of Turbulence and Travelling Waves in a Vertical Heated Pipe.” Journal of Fluid Mechanics. Cambridge University Press, 2021. https://doi.org/10.1017/jfm.2021.371.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 9470 | OA
Berdan, Emma L., Alexandre Blanckaert, Tanja Slotte, Alexander Suh, Anja M Westram, and Inês Fragata. “Unboxing Mutations: Connecting Mutation Types with Evolutionary Consequences.” Molecular Ecology. Wiley, 2021. https://doi.org/10.1111/mec.15936.
[Published Version] View | Files available | DOI | WoS
 
2021 | Published | Journal Article | IST-REx-ID: 9541 | OA
Czumaj, Artur, Peter Davies, and Merav Parter. “Graph Sparsification for Derandomizing Massively Parallel Computation with Low Space.” ACM Transactions on Algorithms. Association for Computing Machinery, 2021. https://doi.org/10.1145/3451992.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed