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.
6387 Publications
2022 | Published | Conference Paper | IST-REx-ID: 12509 | 
Avni G, Henzinger TA. An updated survey of bidding games on graphs. In: 47th International Symposium on Mathematical Foundations of Computer Science. Vol 241. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022:3:1-3:6. doi:10.4230/LIPIcs.MFCS.2022.3
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12511 |
Lechner M, Zikelic D, Chatterjee K, Henzinger TA. Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. 2022;36(7):7326-7336. doi:10.1609/aaai.v36i7.20695
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12516 |
Bogdanov A, Cueto Noval M, Hoffmann C, Rosen A. Public-Key Encryption from Homogeneous CLWE. In: Theory of Cryptography. Vol 13748. Springer Nature; 2022:565-592. doi:10.1007/978-3-031-22365-5_20
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2022 | Research Data | IST-REx-ID: 12522 |
Valentini M, San-Jose P, Arbiol J, Marti-Sanchez S, Botifoll M. Data for “Majorana-like Coulomb spectroscopy in the absence of zero bias peaks.” 2022. doi:10.15479/AT:ISTA:12102
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 12529 |
Banerjee T, Majumdar R, Mallik K, Schmuck A-K, Soudjani S. A direct symbolic algorithm for solving stochastic rabin games. In: 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 13244. Springer Nature; 2022:81-98. doi:10.1007/978-3-030-99527-0_5
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 12536 |
Barbier J, Hou T, Mondelli M, Saenz M. The price of ignorance: How much does it cost to forget noise structure in low-rank matrix estimation? In: 36th Annual Conference on Neural Information Processing Systems. Vol 35. ; 2022.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12537 |
Bombari S, Amani MH, Mondelli M. Memorization and optimization in deep neural networks with minimum over-parameterization. In: 36th Conference on Neural Information Processing Systems. Vol 35. Curran Associates; 2022:7628-7640.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12538 |
Amani MH, Bombari S, Mondelli M, Pukdee R, Rini S. Sharp asymptotics on the compression of two-layer neural networks. IEEE Information Theory Workshop. 2022:588-593. doi:10.1109/ITW54588.2022.9965870
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12540 |
Venkataramanan R, Kögler K, Mondelli M. Estimation in rotationally invariant generalized linear models via approximate message passing. In: Proceedings of the 39th International Conference on Machine Learning. Vol 162. ML Research Press; 2022.
[Published Version]
View
| Files available
2022 | Published | Conference Paper | IST-REx-ID: 12568 |
Meggendorfer T. Risk-aware stochastic shortest path. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022. Vol 36. Association for the Advancement of Artificial Intelligence; 2022:9858-9867. doi:10.1609/aaai.v36i9.21222
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12573 |
McCarthy M, Miles E, Kneib M, Buri P, Fugger S, Pellicciotti F. Supraglacial debris thickness and supply rate in High-Mountain Asia. Communications Earth & Environment. 2022;3. doi:10.1038/s43247-022-00588-2
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12574 |
Kneib M, Miles ES, Buri P, et al. Sub-seasonal variability of supraglacial ice cliff melt rates and associated processes from time-lapse photogrammetry. The Cryosphere. 2022;16(11):4701-4725. doi:10.5194/tc-16-4701-2022
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12575 |
McCarthy M, Meier F, Fatichi S, et al. Glacier contributions to river discharge during the current Chilean megadrought. Earth’s Future. 2022;10(10). doi:10.1029/2022ef002852
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12576 |
Shaw TE, Miles ES, Chen D, et al. Multi-decadal monsoon characteristics and glacier response in High Mountain Asia. Environmental Research Letters. 2022;17(10). doi:10.1088/1748-9326/ac9008
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12578 |
Compagno L, Huss M, Miles ES, et al. Modelling supraglacial debris-cover evolution from the single-glacier to the regional scale: An application to High Mountain Asia. The Cryosphere. 2022;16(5):1697-1718. doi:10.5194/tc-16-1697-2022
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12579 |
Fugger S, Fyffe CL, Fatichi S, et al. Understanding monsoon controls on the energy and mass balance of glaciers in the Central and Eastern Himalaya. The Cryosphere. 2022;16(5):1631-1652. doi:10.5194/tc-16-1631-2022
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12580 |
Orr A, Ahmad B, Alam U, Appadurai A, Bharucha ZP, Biemans H, Bolch T, Chaulagain NP, Dhaubanjar S, Dimri AP, Dixon H, Fowler HJ, Gioli G, Halvorson SJ, Hussain A, Jeelani G, Kamal S, Khalid IS, Liu S, Lutz A, Mehra MK, Miles E, Momblanch A, Muccione V, Mukherji A, Mustafa D, Najmuddin O, Nasimi MN, Nüsser M, Pandey VP, Parveen S, Pellicciotti F, Pollino C, Potter E, Qazizada MR, Ray S, Romshoo S, Sarkar SK, Sawas A, Sen S, Shah A, Shah MAA, Shea JM, Sheikh AT, Shrestha AB, Tayal S, Tigala S, Virk ZT, Wester P, Wescoat JL. 2022. Knowledge priorities on climate change and water in the Upper Indus Basin: A horizon scanning exercise to identify the Top 100 research questions in social and natural sciences. Earth’s Future. 10(4), e2021EF002619.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12581 |
Zhong Y, Liu Q, Westoby M, et al. Intensified paraglacial slope failures due to accelerating downwasting of a temperate glacier in Mt. Gongga, southeastern Tibetan Plateau. Earth Surface Dynamics. 2022;10(1):23-42. doi:10.5194/esurf-10-23-2022
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12582 |
Miles ES, Steiner JF, Buri P, Immerzeel WW, Pellicciotti F. Controls on the relative melt rates of debris-covered glacier surfaces. Environmental Research Letters. 2022;17(6). doi:10.1088/1748-9326/ac6966
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Submitted | Preprint | IST-REx-ID: 12660 |
Scott JA, Yeo MX, Lampert C. Cross-client Label Propagation for transductive federated learning. arXiv. doi:10.48550/arXiv.2210.06434
[Preprint]
View
| Files available
| DOI
| arXiv