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.
7677 Publications
2024 |
Published |
Conference Paper |
IST-REx-ID: 18116 |
La Tour MD, Henzinger M, Saulpic D. Making old things new: A unified algorithm for differentially private clustering. In: Proceedings of the 41st International Conference on Machine Learning. Vol 235. ML Research Press; 2024:12046-12086.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2024 |
Published |
Conference Paper |
IST-REx-ID: 18117 |
Nikdan M, Tabesh S, Crncevic E, Alistarh D-A. RoSA: Accurate parameter-efficient fine-tuning via robust adaptation. In: Proceedings of the 41st International Conference on Machine Learning. Vol 235. ML Research Press; 2024:38187-38206.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Conference Paper |
IST-REx-ID: 18118 |
Zakerinia H, Behjati A, Lampert C. More flexible PAC-Bayesian meta-learning by learning learning algorithms. In: Proceedings of the 41st International Conference on Machine Learning. Vol 235. ML Research Press; 2024:58122-58139.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2024 |
Published |
Conference Paper |
IST-REx-ID: 18120 |
Scott JA, Cahill Á. Improved modelling of federated datasets using mixtures-of-Dirichlet-multinomials. In: Proceedings of the 41st International Conference on Machine Learning. Vol 235. ML Research Press; 2024:44012-44037.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Conference Paper |
IST-REx-ID: 18121 |
Moakhar AS, Iofinova EB, Frantar E, Alistarh D-A. SPADE: Sparsity-guided debugging for deep neural networks. In: Proceedings of the 41st International Conference on Machine Learning. Vol 235. ML Research Press; 2024:45955-45987.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18132 |
Glas J. Counting rational points over function fields. 2024. doi:10.15479/at:ista:18132
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18135 |
Lauritsen AB. Energies of dilute Fermi gases and universalities in BCS theory. 2024. doi:10.15479/at:ista:18135
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Journal Article |
IST-REx-ID: 18153 |
Hajnal MA, Tran D, Szabó Z, et al. Shifts in attention drive context-dependent subspace encoding in anterior cingulate cortex in mice during decision making. Nature Communications. 2024;15. doi:10.1038/s41467-024-49845-2
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |
Published |
Conference Paper |
IST-REx-ID: 18155 |
Chatterjee K, Goharshady AK, Goharshady E, Karrabi M, Zikelic D. Sound and complete witnesses for template-based verification of LTL properties on polynomial programs. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 14933. Springer Nature; 2024:600-619. doi:10.1007/978-3-031-71162-6_31
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Conference Paper |
IST-REx-ID: 18156 |
Henzinger M, Sricharan AR, Steiner TA. Private counting of distinct elements in the turnstile model and extensions. In: International Conference on Approximation Algorithms for Combinatorial Optimization Problems . Vol 317. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.APPROX/RANDOM.2024.40
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 18158 |
Dello Schiavo L, Herry R, Suzuki K. Wasserstein geometry and Ricci curvature bounds for Poisson spaces. Journal de l’Ecole Polytechnique - Mathematiques. 2024;11:957-1010. doi:10.5802/jep.270
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Conference Paper |
IST-REx-ID: 18159 |
Akshay S, Chatterjee K, Meggendorfer T, Zikelic D. Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties. In: Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence; 2024:3-12. doi:10.24963/ijcai.2024/1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Conference Paper |
IST-REx-ID: 18160 |
Chatterjee K, Goharshady E, Karrabi M, Novotný P, Zikelic D. Solving long-run average reward robust MDPs via stochastic games. In: 33rd International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence; 2024:6707-6715. doi:10.24963/ijcai.2024/741
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 18168 |
Wu D, Koscic A, Schneider S, et al. Unveiling the dynamic self-assembly of a recombinant dragline-silk-mimicking protein. Biomacromolecules. 2024;25(3):1759-1774. doi:10.1021/acs.biomac.3c01239
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 |
Published |
Journal Article |
IST-REx-ID: 18172 |
|
|
Hatt EJ, Ong JMJ, Nielsen MB, et al. Asteroseismic signatures of core magnetism and rotation in hundreds of low-luminosity red giants. Monthly Notices of the Royal Astronomical Society. 2024;534(2):1060-1076. doi:10.1093/mnras/stae2053
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 18173 |
Glas J. Rational points on complete intersections of cubic and quadric hypersurfaces over Fq(t). Journal of the London Mathematical Society. 2024;110(4). doi:10.1112/jlms.12991
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 18174 |
Wassermair M, Kahl G, Roth R, Archer AJ. Fingerprints of ordered self-assembled structures in the liquid phase of a hard-core, square-shoulder system. The Journal of chemical physics. 2024;161(12). doi:10.1063/5.0226954
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2024 |
Published |
Conference Paper |
IST-REx-ID: 18175 |
Maj P, Muroya Lei S, Siek K, Di Grazia L, Vitek J. The fault in our stars: Designing reproducible large-scale code analysis experiments. In: 38th European Conference on Object-Oriented Programming. Vol 313. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.ECOOP.2024.27
[Published Version]
View
| Files available
| DOI
| WoS
2024 |
Published |
Journal Article |
IST-REx-ID: 18176 |
Zadnik L, Ljubotina M, Krajnik Ž, Ilievski E, Prosen T. Quantum many-body spin ratchets. PRX Quantum. 2024;5(3). doi:10.1103/PRXQuantum.5.030356
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 18188 |
Blatz T, Kwan J, Leonard J, Bohrdt A. Bayesian optimization for robust state preparation in quantum many-body systems. Quantum. 2024;8. doi:10.22331/q-2024-06-27-1388
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv