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.




6313 Publications

2025 | Epub ahead of print | Conference Paper | IST-REx-ID: 21070 | OA
Out-of-Distribution detection with relative angles
B. Demirel, M. Fumero, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2025 | Epub ahead of print | Conference Paper | IST-REx-ID: 21072 | OA
Head pursuit: Probing attention specialization in multimodal transformers
L. Basile, V. Maiorca, D. Doimo, F. Locatello, A. Cazzaniga, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2025 | Epub ahead of print | Conference Paper | IST-REx-ID: 21074 | OA
Connecting neural models latent geometries with relative geodesic representations
H. Yu, B. Inal, G. Arvanitidis, S. Hauberg, F. Locatello, M. Fumero, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
[Published Version] View | Files available | arXiv
 
2025 | Epub ahead of print | Conference Paper | IST-REx-ID: 21076 | OA
Prediction-powered causal inferences
R. Cadei, I. Demirel, P. De Bartolomeis, L. Lindorfer, S. Cremer, C. Schmid, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
[Published Version] View | Files available
 
2025 | Published | Conference Paper | IST-REx-ID: 21089 | OA
Flavors of quantifiers in hyperlogics
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 21090 | OA
Algorithmic fairness: A runtime perspective
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 1–21.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 21091 | OA
Formal verification of neural certificates done dynamically
T.A. Henzinger, K. Kueffner, E. Yu, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 54–72.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 21092 | OA
Alignment monitoring
T.A. Henzinger, K. Kueffner, V. Singh, I. Sun, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 140–159.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 21093 | OA
Monitoring hypernode logic over infinite domains
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 417–437.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21121 | OA | PlanS
SHELLQs–JWST perspective on the intrinsic mass relation between supermassive black holes and their host galaxies at z > 6
Silverman JD, Li J, Ding X, Onoue M, Strauss MA, Matsuoka Y, Izumi T, Jahnke K, Treu T, Volonteri M, Phillips CL, Andika IT, Aoki K, Arita J, Baba S, Bosman SEI, Eilers A-C, Fan X, Fujimoto S, Habouzit M, Haiman Z, Imanishi M, Inayoshi K, Iwasawa K, Kashikawa N, Kawaguchi T, Lee C-H, Lupi A, Nagao T, Schindler J-T, Schramm M, Shimasaku K, Toba Y, Trakhtenbrot B, Umehata H, Vestergaard M, Walter F, Wang F, Yang J. 2025. SHELLQs–JWST perspective on the intrinsic mass relation between supermassive black holes and their host galaxies at z > 6. The Astrophysical Journal Letters. 995(2), L67.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21122 | OA | PlanS
Thermal X-ray signatures in late-stage unequal-mass massive black hole binary mergers
L.M. Krauth, J. Davelaar, Z. Haiman, J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Monthly Notices of the Royal Astronomical Society 543 (2025) 2670–2685.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21123 | OA | PlanS
Gravitational wave decoupling in retrograde circumbinary disks
D. O’Neill, C. Tiede, D.J. D’Orazio, Z. Haiman, A. MacFadyen, The Astrophysical Journal 993 (2025).
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21124 | OA | PlanS
SHELLQs-JWST unveils the host galaxies of 12 quasars at z > 6
Ding X, Onoue M, Silverman JD, Matsuoka Y, Izumi T, Strauss MA, Yang L, Jahnke K, Phillips CL, Treu T, Andika IT, Aoki K, Arita J, Baba S, Bosman SEI, Eilers A-C, Fujimoto S, Haiman Z, Imanishi M, Inayoshi K, Iwasawa K, Kartaltepe J, Kashikawa N, Kawaguchi T, Li J, Lee C-H, Lupi A, Schindler J-T, Schramm M, Shimasaku K, Shuntov M, Tanaka TS, Toba Y, Trakhtenbrot B, Umehata H, Vestergaard M, Wang F, Yang J. 2025. SHELLQs-JWST unveils the host galaxies of 12 quasars at z > 6. The Astrophysical Journal. 993(1), 91.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21136 | OA
Historical and mechanistic perspective on ABP1-TMK1-mediated cell surface auxin signaling.
A. Monzer, J. Friml, Npj Science of Plants 1 (2025) 2.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 21143 | OA | PlanS
A new notion of commutativity for the algorithmic Lovász Local Lemma
D.G. Harris, F. Iliopoulos, V. Kolmogorov, Theory of Computing 21 (2025) 1–34.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21144 | OA
Certifying solutions of degenerate semidefinite programs
V. Kolmogorov, S. Naldi, J. Zapata, SIAM Journal on Optimization 35 (2025) 1630–1654.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Draft | Preprint | IST-REx-ID: 21207 | OA
Federated learning with unlabeled clients: Personalization can happen in low dimensions
H. Zakerinia, J.A. Scott, C. Lampert, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2025 | Submitted | Preprint | IST-REx-ID: 21211 | OA
Packing subdivisions into regular graphs
R. Montgomery, K.H. Petrova, A. Ranganathan, J. Tan, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21235 | OA | PlanS
Charge distribution of the coating brush drives interchromosome attraction
V. Sorichetti, P. Robin, I. Palaia, A. Hernandez-Armendariz, S. Cuylen-Haering, A. Šarić, PRX Life 3 (2025).
[Published Version] View | Files available | DOI
 
2025 | Published | Journal Article | IST-REx-ID: 21236 | OA | PlanS
Data-driven theory reveals protrusion and polarity interactions governing collision behavior of distinct motile cells
T. Brandstätter, E. Brieger, D. Brückner, G. Ladurner, J.O. Rädler, C.P. Broedersz, PRX Life 3 (2025).
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

type<>research_data

Search

Filter Publications

Display / Sort

Export / Embed