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.
6436 Publications
2021 |
Published |
Journal Article |
IST-REx-ID: 10606 |
Godard, Benoit G., et al. “Combined Effect of Cell Geometry and Polarity Domains Determines the Orientation of Unequal Division.” ELife, vol. 10, e75639, eLife Sciences Publications, 2021, doi:10.7554/eLife.75639.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |
Published |
Journal Article |
IST-REx-ID: 10607 |
Venezia, Serena, et al. “Toll-like Receptor 4 Deficiency Facilitates α-Synuclein Propagation and Neurodegeneration in a Mouse Model of Prodromal Parkinson’s Disease.” Parkinsonism & Related Disorders, vol. 91, Elsevier, 2021, pp. 59–65, doi:10.1016/j.parkreldis.2021.09.007.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |
Published |
Conference Paper |
IST-REx-ID: 10609 |
Chakraborty, Suvradip, et al. “Reverse Firewalls for Adaptively Secure MPC without Setup.” 27th International Conference on the Theory and Application of Cryptology and Information Security, vol. 13091, Springer Nature, 2021, pp. 335–64, doi:10.1007/978-3-030-92075-3_12.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2021 |
Published |
Journal Article |
IST-REx-ID: 10613 |
Chen, Joe P., and Federico Sau. “Higher-Order Hydrodynamics and Equilibrium Fluctuations of Interacting Particle Systems.” Markov Processes And Related Fields, vol. 27, no. 3, Polymat Publishing, 2021, pp. 339–80.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 10628 |
Ghazaryan, Areg, et al. “Shadow Surface States in Topological Kondo Insulators.” New Journal of Physics, vol. 23, no. 12, 123042, IOP Publishing, 2021, doi:10.1088/1367-2630/ac4124.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10629 |
Chatterjee, Krishnendu, et al. “Quantitative Verification on Product Graphs of Small Treewidth.” 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 213, 42, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.FSTTCS.2021.42.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Conference Paper |
IST-REx-ID: 10630 |
Arrighi, Emmanuel, et al. “On the Complexity of Intersection Non-Emptiness for Star-Free Language Classes.” 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 213, 34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.FSTTCS.2021.34.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 10631 |
Cherepanov, Igor, et al. “Excited Rotational States of Molecules in a Superfluid.” Physical Review A, vol. 104, no. 6, L061303, American Physical Society, 2021, doi:10.1103/PhysRevA.104.L061303.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 10635 |
Nardin, Michele, et al. “Nonlinear Computations in Spiking Neural Networks through Multiplicative Synapses.” Peer Community Journal, vol. 1, e68, Peer Community In, 2021, doi:10.24072/pcjournal.69.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |
Published |
Other Publication |
IST-REx-ID: 10644 |
Lake, Russell, et al. The Bluefors Dilution Refrigerator as an Integrated Quantum Measurement System. Bluefors Oy, 2021.
[Published Version]
View
| Download Published Version (ext.)
2021 |
Published |
Other Publication |
IST-REx-ID: 10645 |
Simbierowicz, Slawomir, et al. Qubit Energy-Relaxation Statistics in the Bluefors Quantum Measurement System. Bluefors Oy, 2021.
[Published Version]
View
| Download Published Version (ext.)
2021 |
Published |
Journal Article |
IST-REx-ID: 10655 |
Maes, Margaret E., et al. “Optimizing AAV2/6 Microglial Targeting Identified Enhanced Efficiency in the Photoreceptor Degenerative Environment.” Molecular Therapy - Methods and Clinical Development, vol. 23, Elsevier, 2021, pp. 210–24, doi:10.1016/j.omtm.2021.09.006.
[Published Version]
View
| Files available
| DOI
| WoS
2021 |
Published |
Conference Paper |
IST-REx-ID: 10665 |
Henzinger, Thomas A., et al. “Scalable Verification of Quantized Neural Networks.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 5A, AAAI Press, 2021, pp. 3787–95.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10666 |
Lechner, Mathias, et al. “Adversarial Training Is Not Ready for Robot Learning.” 2021 IEEE International Conference on Robotics and Automation, 2021, pp. 4140–47, doi:10.1109/ICRA48506.2021.9561036.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10667 |
Lechner, Mathias, et al. “Infinite Time Horizon Safety of Bayesian Neural Networks.” 35th Conference on Neural Information Processing Systems, 2021, doi:10.48550/arXiv.2111.03165.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10668 |
Babaiee, Zahra, et al. “On-off Center-Surround Receptive Fields for Accurate and Robust Image Classification.” Proceedings of the 38th International Conference on Machine Learning, vol. 139, ML Research Press, 2021, pp. 478–89.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10669 |
Grunbacher, Sophie, et al. “On the Verification of Neural ODEs with Stochastic Guarantees.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 13, AAAI Press, 2021, pp. 11525–35.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10670 |
Vorbach, Charles J., et al. “Causal Navigation by Continuous-Time Neural Networks.” 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 |
Hasani, Ramin, et al. “Liquid Time-Constant Networks.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 9, AAAI Press, 2021, pp. 7657–66.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 10674 |
Aghajohari, Milad, et al. “Determinacy in Discrete-Bidding Infinite-Duration Games.” Logical Methods in Computer Science, vol. 17, no. 1, International Federation for Computational Logic, 2021, p. 10:1-10:23, doi:10.23638/LMCS-17(1:10)2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv