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.
5128 Publications
2021 |Published| Conference Paper | IST-REx-ID: 10665 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 10667 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 | Research Data Reference | IST-REx-ID: 13072 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Randriamanantsoa, Samuel, et al. Spatiotemporal Dynamics of Self-Organized Branching in Pancreas-Derived Organoids. Zenodo, 2021, doi:10.5281/ZENODO.5148117.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 |Published| Journal Article | IST-REx-ID: 7551 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fredes Tolorza, Felipe A., et al. “Ventro-Dorsal Hippocampal Pathway Gates Novelty-Induced Contextual Memory Formation.” Current Biology, vol. 31, no. 1, Elsevier, 2021, p. P25–38.E5, doi:10.1016/j.cub.2020.09.074.
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 7463 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lombardi, Fabrizio, et al. “Long-Range Temporal Correlations in the Broadband Resting State Activity of the Human Brain Revealed by Neuronal Avalanches.” Neurocomputing, vol. 461, Elsevier, 2021, pp. 657–66, doi:10.1016/j.neucom.2020.05.126.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2021 |Published| Technical Report | IST-REx-ID: 6995 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Samarasinghe, Ranmal A., et al. Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids. Vol. 24, Springer Nature, 2021, doi:10.1038/s41593-021-00906-5.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 6965 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rychlewicz, Kamil P. “The Positivity of Local Equivariant Hirzebruch Class for Toric Varieties.” Bulletin of the London Mathematical Society, vol. 53, no. 2, Wiley, 2021, pp. 560–74, doi:10.1112/blms.12442.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8253 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zenke, Friedemann, and Tim P. Vogels. “The Remarkable Robustness of Surrogate Gradient Learning for Instilling Complex Function in Spiking Neural Networks.” Neural Computation, vol. 33, no. 4, MIT Press, 2021, pp. 899–925, doi:10.1162/neco_a_01367.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 8198 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Diringer, Asaf A., and Tobias Gulden. “Impact of Drive Harmonics on the Stability of Floquet Many-Body Localization.” Physical Review B, vol. 103, no. 21, 214204, American Physical Society, 2021, doi:10.1103/PhysRevB.103.214204.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8373 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pitrik, József, and Daniel Virosztek. “A Divergence Center Interpretation of General Symmetric Kubo-Ando Means, and Related Weighted Multivariate Operator Means.” Linear Algebra and Its Applications, vol. 609, Elsevier, 2021, pp. 203–17, doi:10.1016/j.laa.2020.09.007.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8317 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Aichholzer, Oswin, et al. “Folding Polyominoes with Holes into a Cube.” Computational Geometry: Theory and Applications, vol. 93, 101700, Elsevier, 2021, doi:10.1016/j.comgeo.2020.101700.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 7685 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Boccato, Chiara. “The Excitation Spectrum of the Bose Gas in the Gross-Pitaevskii Regime.” Reviews in Mathematical Physics, vol. 33, no. 1, 2060006, World Scientific, 2021, doi:10.1142/S0129055X20600065.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8582 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Li, Hongjiang, et al. “Cellular Requirements for PIN Polar Cargo Clustering in Arabidopsis Thaliana.” New Phytologist, vol. 229, no. 1, Wiley, 2021, pp. 351–69, doi:10.1111/nph.16887.
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 8546 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zhang, Tingting, et al. “Generation of Excitatory and Inhibitory Neurons from Common Progenitors via Notch Signaling in the Cerebellum.” Cell Reports, vol. 35, no. 10, 109208, Elsevier, 2021, doi:10.1016/j.celrep.2021.109208.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 8430 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ojavee, Sven E., et al. “Genomic Architecture and Prediction of Censored Time-to-Event Phenotypes with a Bayesian Genome-Wide Analysis.” Nature Communications, vol. 12, no. 1, 2337, Nature Research, 2021, doi:10.1038/s41467-021-22538-w.
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 8603 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Frank, Rupert, and Robert Seiringer. “Quantum Corrections to the Pekar Asymptotics of a Strongly Coupled Polaron.” Communications on Pure and Applied Mathematics, vol. 74, no. 3, Wiley, 2021, pp. 544–88, doi:10.1002/cpa.21944.
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 8606 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
He, P., et al. “GhARF16-1 Modulates Leaf Development by Transcriptionally Regulating the GhKNOX2-1 Gene in Cotton.” Plant Biotechnology Journal, vol. 19, no. 3, Wiley, 2021, pp. 548–62, doi:10.1111/pbi.13484.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 8708 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Simon, Alexis, et al. “How Do Species Barriers Decay? Concordance and Local Introgression in Mosaic Hybrid Zones of Mussels.” Journal of Evolutionary Biology, vol. 34, no. 1, Wiley, 2021, pp. 208–23, doi:10.1111/jeb.13709.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 8723 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Li, Shigang, et al. “Breaking (Global) Barriers in Parallel Stochastic Optimization with Wait-Avoiding Group Averaging.” IEEE Transactions on Parallel and Distributed Systems, vol. 32, no. 7, 9271898, IEEE, 2021, doi:10.1109/TPDS.2020.3040606.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv