Please note that ISTA 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.
4962 Publications
2021 | Conference Paper | IST-REx-ID: 10665 | 
Henzinger, Thomas A, Mathias Lechner, and Dorde Zikelic. “Scalable Verification of Quantized Neural Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:3787–95. AAAI Press, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10667 |
Lechner, Mathias, Ðorđe Žikelić, Krishnendu Chatterjee, and Thomas A Henzinger. “Infinite Time Horizon Safety of Bayesian Neural Networks.” In 35th Conference on Neural Information Processing Systems, 2021. https://doi.org/10.48550/arXiv.2111.03165.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Research Data Reference | IST-REx-ID: 13072 |
McCartney DL, Hillary RF, Conole EL, Trejo Banos D, Gadd DA, Walker RM, Nangle C, Flaig R, Campbell A, Murray AD, Munoz Maniega S, del C Valdes-Hernandez M, Harris MA, Bastin ME, Wardlaw JM, Harris SE, Porteous DJ, Tucker-Drob EM, McIntosh AM, Evans KL, Deary IJ, Cox SR, Robinson MR, Marioni RE. 2021. Blood-based epigenome-wide analyses of cognitive abilities, Zenodo, 10.5281/ZENODO.5794028.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Research Data Reference | IST-REx-ID: 13068 |
Randriamanantsoa, Samuel, Aristeidis Papargyriou, Carlo Maurer, Katja Peschke, Maximilian Schuster, Giulia Zecchin, Katja Steiger, et al. “Spatiotemporal Dynamics of Self-Organized Branching in Pancreas-Derived Organoids.” Zenodo, 2021. https://doi.org/10.5281/ZENODO.5148117.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Journal Article | IST-REx-ID: 7551 |
Fredes Tolorza, Felipe A, Maria A Silva Sifuentes, Peter Koppensteiner, Kenta Kobayashi, Maximilian A Jösch, and Ryuichi Shigemoto. “Ventro-Dorsal Hippocampal Pathway Gates Novelty-Induced Contextual Memory Formation.” Current Biology. Elsevier, 2021. https://doi.org/10.1016/j.cub.2020.09.074.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 7463 |
Lombardi, Fabrizio, Oren Shriki, Hans J Herrmann, and Lucilla de Arcangelis. “Long-Range Temporal Correlations in the Broadband Resting State Activity of the Human Brain Revealed by Neuronal Avalanches.” Neurocomputing. Elsevier, 2021. https://doi.org/10.1016/j.neucom.2020.05.126.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2021 | Technical Report | IST-REx-ID: 6995 |
Samarasinghe, Ranmal A., Osvaldo Miranda, Jessie E. Buth, Simon Mitchell, Isabella Ferando, Momoko Watanabe, Arinnae Kurdian, et al. Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids. Vol. 24. Springer Nature, 2021. https://doi.org/10.1038/s41593-021-00906-5.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 6965 |
Rychlewicz, Kamil P. “The Positivity of Local Equivariant Hirzebruch Class for Toric Varieties.” Bulletin of the London Mathematical Society. Wiley, 2021. https://doi.org/10.1112/blms.12442.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 8253 |
Zenke, Friedemann, and Tim P Vogels. “The Remarkable Robustness of Surrogate Gradient Learning for Instilling Complex Function in Spiking Neural Networks.” Neural Computation. MIT Press, 2021. https://doi.org/10.1162/neco_a_01367.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 8198 |
Diringer, Asaf A., and Tobias Gulden. “Impact of Drive Harmonics on the Stability of Floquet Many-Body Localization.” Physical Review B. American Physical Society, 2021. https://doi.org/10.1103/PhysRevB.103.214204.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv