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.
610 Publications
2025 |
Published |
Conference Paper |
IST-REx-ID: 20299 |
Lower bound on Howard policy iteration for deterministic Markov Decision Processes
A. Asadi, K. Chatterjee, J. De Raaij, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 223–232.
[Published Version]
View
| Files available
| arXiv
A. Asadi, K. Chatterjee, J. De Raaij, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 223–232.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20297 |
Limit-sure reachability for small memory policies in POMDPs is NP-complete
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, A. Shafiee, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 238–247.
[Published Version]
View
| Files available
| arXiv
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, A. Shafiee, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 238–247.
2025 |
Published |
Journal Article |
IST-REx-ID: 20646 |
|
|
Finding periodic orbits in projected quantum many-body dynamics
E. Petrova, M. Ljubotina, G. Yalniz, M. Serbyn, PRX Quantum 6 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
E. Petrova, M. Ljubotina, G. Yalniz, M. Serbyn, PRX Quantum 6 (2025).
2025 |
Published |
Conference Paper |
IST-REx-ID: 22828 |
Continual release moment estimation with differential privacy
N. Kalinin, J. Upadhyay, C. Lampert, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 64002–64047.
[Published Version]
View
| DOI
| Download Published Version (ext.)
N. Kalinin, J. Upadhyay, C. Lampert, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 64002–64047.
2025 |
Published |
Conference Paper |
IST-REx-ID: 22827 |
HALO: Hadamard-assisted lower-precision optimization for LLMs
S. Ashkboos, M. Nikdan, S. Tabesh, R. Lopez Castro, T. Hoefler, D.-A. Alistarh, in:, 39th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 131755–131780.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Ashkboos, M. Nikdan, S. Tabesh, R. Lopez Castro, T. Hoefler, D.-A. Alistarh, in:, 39th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 131755–131780.
2025 |
Published |
Conference Paper |
IST-REx-ID: 22832 |
Prediction-Powered Causal Inferences
R. Cadei, I. Demirel, P. De Bartolomeis, L. Lindorfer, S. Cremer, C. Schmid, F. Locatello, in:, 39th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 82200–82229.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Cadei, I. Demirel, P. De Bartolomeis, L. Lindorfer, S. Cremer, C. Schmid, F. Locatello, in:, 39th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 82200–82229.
2025 |
Published |
Journal Article |
IST-REx-ID: 20324 |
|
|
Dual relaxation oscillations in a Josephson-junction array
S. Mukhopadhyay, D.A. Lancheros Naranjo, J.L. Senior, A.P. Higginbotham, Physical Review Applied 24 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Mukhopadhyay, D.A. Lancheros Naranjo, J.L. Senior, A.P. Higginbotham, Physical Review Applied 24 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 19704 |
|
|
Light-microscopy-based connectomic reconstruction of mammalian brain tissue
M. Tavakoli, J. Lyudchik, M. Januszewski, V. Vistunou, N. Agudelo Duenas, J. Vorlaufer, C.M. Sommer, C. Kreuzinger, B. Oliveira, A. Cenameri, G. Novarino, V. Jain, J.G. Danzl, Nature 642 (2025) 398–410.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Tavakoli, J. Lyudchik, M. Januszewski, V. Vistunou, N. Agudelo Duenas, J. Vorlaufer, C.M. Sommer, C. Kreuzinger, B. Oliveira, A. Cenameri, G. Novarino, V. Jain, J.G. Danzl, Nature 642 (2025) 398–410.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20811 |
Adaptive processes in biology and culture: Models of evolving vaccine resistance and the record statistics of innovation
S. Rella, Adaptive Processes in Biology and Culture: Models of Evolving Vaccine Resistance and the Record Statistics of Innovation, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S. Rella, Adaptive Processes in Biology and Culture: Models of Evolving Vaccine Resistance and the Record Statistics of Innovation, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20276 |
Design and control of deformable structures: From PCB lighting displays to elastomer robots
M. Bhargava, Design and Control of Deformable Structures: From PCB Lighting Displays to Elastomer Robots, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
M. Bhargava, Design and Control of Deformable Structures: From PCB Lighting Displays to Elastomer Robots, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 18565 |
Mesh simplification for unfolding
M. Bhargava, C. Schreck, M. Freire, P.A. Hugron, S. Lefebvre, S. Sellán, B. Bickel, Computer Graphics Forum 44 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Bhargava, C. Schreck, M. Freire, P.A. Hugron, S. Lefebvre, S. Sellán, B. Bickel, Computer Graphics Forum 44 (2025).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19759 |
Robust image classification with 1-Lipschitz networks
B. Prach, Robust Image Classification with 1-Lipschitz Networks, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
B. Prach, Robust Image Classification with 1-Lipschitz Networks, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19630 |
Methods for fluid simulation, surface tracking, and statistics of non-manifold structures
P. Synak, Methods for Fluid Simulation, Surface Tracking, and Statistics of Non-Manifold Structures, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
P. Synak, Methods for Fluid Simulation, Surface Tracking, and Statistics of Non-Manifold Structures, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20551 |
Symplectic-prequantum structures and dynamics on the codimension-2 shape space
S. Ishida, Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S. Ishida, Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20234 |
Robustness of solutions in game theory: Values and strategies in partially observable, perturbed, stochastic, and infinite games
R.J. Saona Urmeneta, Robustness of Solutions in Game Theory: Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
R.J. Saona Urmeneta, Robustness of Solutions in Game Theory: Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 17037
Marginal values of a stochastic game
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505.
View
| Files available
| DOI
| WoS
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19048 |
Emergent physics of rotating quantum impurities in many-body environments
M. Maslov, Emergent Physics of Rotating Quantum Impurities in Many-Body Environments, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
M. Maslov, Emergent Physics of Rotating Quantum Impurities in Many-Body Environments, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20147 |
A monitoring-oriented theory and classification of quantitative specifications
N.E. Sarac, A Monitoring-Oriented Theory and Classification of Quantitative Specifications, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
N.E. Sarac, A Monitoring-Oriented Theory and Classification of Quantitative Specifications, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 10045 |
Generalized minimum 0-extension problem and discrete convexity
M. Dvorak, V. Kolmogorov, Mathematical Programming 209 (2025) 279–322.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Dvorak, V. Kolmogorov, Mathematical Programming 209 (2025) 279–322.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 18979 |
Structures and computations in topological data analysis
O. Draganov, Structures and Computations in Topological Data Analysis, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
O. Draganov, Structures and Computations in Topological Data Analysis, Institute of Science and Technology Austria, 2025.