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.




6567 Publications

2022 | Published | Journal Article | IST-REx-ID: 12510 | OA
Gruenbacher SA, Lechner M, Hasani R, Rus D, Henzinger TA, Smolka SA, Grosu R. 2022. GoTube: Scalable statistical verification of continuous-depth models. Proceedings of the AAAI Conference on Artificial Intelligence. 36(6), 6755–6764.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12511 | OA
Lechner M, Zikelic D, Chatterjee K, Henzinger TA. 2022. Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. 36(7), 7326–7336.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 12516 | OA
Bogdanov A, Cueto Noval M, Hoffmann C, Rosen A. 2022. Public-Key Encryption from Homogeneous CLWE. Theory of Cryptography. TCC: Theory of Cryptography, LNCS, vol. 13748, 565–592.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2022 | Research Data | IST-REx-ID: 12522 | OA
Valentini M, San-Jose P, Arbiol J, Marti-Sanchez S, Botifoll M. 2022. Data for ‘Majorana-like Coulomb spectroscopy in the absence of zero bias peaks’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:12102.
[Published Version] View | Files available | DOI
 
2022 | Published | Conference Paper | IST-REx-ID: 12537 | OA
Bombari S, Amani MH, Mondelli M. 2022. Memorization and optimization in deep neural networks with minimum over-parameterization. 36th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 35, 7628–7640.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12538 | OA
Amani MH, Bombari S, Mondelli M, Pukdee R, Rini S. 2022. Sharp asymptotics on the compression of two-layer neural networks. IEEE Information Theory Workshop., 588–593.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 12540 | OA
Venkataramanan R, Kögler K, Mondelli M. 2022. Estimation in rotationally invariant generalized linear models via approximate message passing. Proceedings of the 39th International Conference on Machine Learning. ICML: International Conference on Machine Learning vol. 162, 22.
[Published Version] View | Files available
 
2022 | Published | Conference Paper | IST-REx-ID: 12568 | OA
Meggendorfer T. 2022. Risk-aware stochastic shortest path. Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022. Conference on Artificial Intelligence vol. 36, 9858–9867.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12670 | OA
He S, Feng X. 2022. DNA methylation dynamics during germline development. Journal of Integrative Plant Biology. 64(12), 2240–2251.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 12671 | OA
Buttress T, He S, Wang L, Zhou S, Saalbach G, Vickers M, Li G, Li P, Feng X. 2022. Histone H2B.8 compacts flowering plant sperm through chromatin phase separation. Nature. 611(7936), 614–622.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2022 | Submitted | Preprint | IST-REx-ID: 12677 | OA
Chatterjee K, Mohammadi M, Saona Urmeneta RJ. Repeated prophet inequality with near-optimal bounds. arXiv, 2209.14368.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
earlier version | 2022 | Draft | Preprint | IST-REx-ID: 12750 | OA
Brighi P, Ljubotina M, Serbyn M. Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models. arXiv, 2210.15607.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12776 | OA
Browning TD. 2022. Revisiting the Manin–Peyre conjecture for the split del Pezzo surface of degree 5. New York Journal of Mathematics. 28, 1193–1229.
[Published Version] View | Files available
 
2022 | Published | Conference Paper | IST-REx-ID: 12780 | OA
Markov I, Ramezanikebrya H, Alistarh D-A. 2022. CGX: Adaptive system support for communication-efficient deep learning. Proceedings of the 23rd ACM/IFIP International Middleware Conference. Middleware: International Middleware Conference, 241–254.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Submitted | Preprint | IST-REx-ID: 12860 | OA
Bombari S, Achille A, Wang Z, Wang Y-X, Xie Y, Singh KY, Appalaraju S, Mahadevan V, Soatto S. Towards differential relational privacy and its use in question answering. arXiv, 2203.16701.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Research Data Reference | IST-REx-ID: 13064 | OA
Orliac E, Trejo Banos D, Ojavee S, Läll K, Mägi R, Visscher P, Robinson MR. 2022. Improving genome-wide association discovery and genomic prediction accuracy in biobank data, Dryad, 10.5061/DRYAD.GTHT76HMZ.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2022 | Research Data Reference | IST-REx-ID: 13066 | OA
Koch E, Ravinet M, Westram AM, Jonannesson K, Butlin R. 2022. Data from: Genetic architecture of repeated phenotypic divergence in Littorina saxatilis ecotype evolution, Dryad, 10.5061/DRYAD.M905QFV4B.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2022 | Research Data Reference | IST-REx-ID: 13076 | OA
Postnikova A, Koval N, Nadiradze G, Alistarh D-A. 2022. Multi-queues can be state-of-the-art priority schedulers, Zenodo, 10.5281/ZENODO.5733408.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2022 | Published | Conference Paper | IST-REx-ID: 13239 | OA
Van Der Plas TL, Vogels TP, Manohar SG. 2022. Predictive learning enables neural networks to learn complex working memory tasks. Proceedings of Machine Learning Research. vol. 199, 518–531.
[Published Version] View | Files available
 
2022 | Published | Journal Article | IST-REx-ID: 13240 | OA
Ingole KD, Nagarajan N, Uhse S, Giannini C, Djamei A. 2022. Tetracycline-controlled (TetON) gene expression system for the smut fungus Ustilago maydis. Frontiers in Fungal Biology. 3, 1029114.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed