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.
6244 Publications
2023 |Published| Thesis | IST-REx-ID: 13074 | 
Peste E-A. Efficiency and generalization of sparse neural networks. 2023. doi:10.15479/at:ista:13074
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 13053 |
Krumes A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware Minimizer. In: 11th International Conference on Learning Representations . OpenReview; 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 13182 |
Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Geometric characterization of the persistence of 1D maps. Journal of Applied and Computational Topology. 2023. doi:10.1007/s41468-023-00126-9
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 15023 |
Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. Compositional policy learning in stochastic control systems with formal guarantees. In: 37th Conference on Neural Information Processing Systems. ; 2023.
[Published Version]
View
| Files available
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14921 |
Súkeník P, Mondelli M, Lampert C. Deep neural collapse is provably optimal for the deep unconstrained features model. In: 37th Annual Conference on Neural Information Processing Systems. ; 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14923 |
Fu T, Liu Y, Barbier J, Mondelli M, Liang S, Hou T. Mismatched estimation of non-symmetric rank-one matrices corrupted by structured noise. In: Proceedings of 2023 IEEE International Symposium on Information Theory. IEEE; 2023:1178-1183. doi:10.1109/isit54713.2023.10206671
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 13125 |
Sack S, Medina Ramos RA, Kueng R, Serbyn M. Recursive greedy initialization of the quantum approximate optimization algorithm with guaranteed improvement. Physical Review A. 2023;107(6). doi:10.1103/physreva.107.062404
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14083 |
Resch N, Yuan C, Zhang Y. Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.ICALP.2023.99
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 17078 |
Dass AV, Wunnava S, Langlais J, et al. RNA oligomerisation without added catalyst from 2′,3′‐cyclic nucleotides by drying at air-water interfaces. ChemSystemsChem. 2023;5(1). doi:10.1002/syst.202200026
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 17074 |
Brooks M, Seiringer R. Validity of Bogoliubov’s approximation fortranslation-invariant Bose gases. Probability and Mathematical Physics. 2023;3(4):939-1000. doi:10.2140/pmp.2022.3.939
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 14868 |
Tyagi S, Capitanio JS, Xu J, et al. High-precision mapping of nuclear pore-chromatin interactions reveals new principles of genome organization at the nuclear envelope. eLife. 2023. doi:10.7554/elife.87462
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 |Published| Book Chapter | IST-REx-ID: 17380 |
Suzuki S, Martin A, Ren Y, Chen T-Y, Parascho S, Pauly M. BamX: Rethinking Deployability in Architecture through Weaving. In: Dörfler K, Knippers J, Menges A, Parascho S, Pottmann H, Wortmann T, eds. Advances in Architectural Geometry 2023. De Gruyter; 2023. doi:10.1515/9783111162683-016
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 14922 |
Esposito AR, Mondelli M. Concentration without independence via information measures. In: Proceedings of 2023 IEEE International Symposium on Information Theory. IEEE; 2023:400-405. doi:10.1109/isit54713.2023.10206899
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Submitted| Preprint | IST-REx-ID: 17351 |
Pedrotti F. Contractive coupling rates and curvature lower bounds for Markov chains. arXiv. doi:10.48550/arXiv.2308.00516
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14417 |
Baier C, Chatterjee K, Meggendorfer T, Piribauer J. Entropic risk for turn-based stochastic games. In: 48th International Symposium on Mathematical Foundations of Computer Science. Vol 272. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.MFCS.2023.15
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14784 |
Gallardo-Dodd CJ, Oertlin C, Record J, Galvani RG, Sommerauer C, Kuznetsov NV, Doukoumopoulos E, Ali L, Oliveira MMS, Seitz C, Percipalle M, Nikić T, Sadova AA, Shulgina SM, Shmarov VA, Kutko OV, Vlasova DD, Orlova KD, Rykova MP, Andersson J, Percipalle P, Kutter C, Ponomarev SA, Westerberg LS. 2023. Exposure of volunteers to microgravity by dry immersion bed over 21 days results in gene expression changes and adaptation of T cells. Science Advances. 9(34), adg1610.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 17500 |
Sammler MJ, Spies S, Song Y, et al. DimSum: A decentralized approach to multi-language semantics and verification. Proceedings of the ACM on Programming Languages. 2023;7(POPL):775-805. doi:10.1145/3571220
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 17498 |
Guéneau A, Hostert J, Spies S, Sammler MJ, Birkedal L, Dreyer D. Melocoton: A program logic for verified interoperability between OCaml and C. Proceedings of the ACM on Programming Languages. 2023;7(OOPSLA2):716-744. doi:10.1145/3622823
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 17499 |
Song Y, Cho M, Lee D, Hur C-K, Sammler MJ, Dreyer D. Conditional contextual refinement. Proceedings of the ACM on Programming Languages. 2023;7(POPL):1121-1151. doi:10.1145/3571232
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 17507 |
Tagawa H, Kimura SS, Haiman Z, Perna R, Bartos I. Observable signatures of stellar-mass black holes in active galactic nuclei. The Astrophysical Journal Letters. 2023;946(1). doi:10.3847/2041-8213/acc103
[Published Version]
View
| DOI
| Download Published Version (ext.)