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 | OA
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
 
2025 | Published | Conference Paper | IST-REx-ID: 20297 | OA
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
 
2025 | Published | Journal Article | IST-REx-ID: 20646 | OA | PlanS
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
 
2025 | Published | Conference Paper | IST-REx-ID: 22828 | OA
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.)
 
2025 | Published | Conference Paper | IST-REx-ID: 22827 | OA
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
 
2025 | Published | Conference Paper | IST-REx-ID: 22832 | OA
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
 
2025 | Published | Journal Article | IST-REx-ID: 20324 | OA | PlanS
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
 
2025 | Published | Journal Article | IST-REx-ID: 19704 | OA | PlanS
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
 
2025 | Published | Thesis | PhD | IST-REx-ID: 20811 | OA
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
 
2025 | Published | Thesis | PhD | IST-REx-ID: 20276 | OA
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
 
2025 | Published | Journal Article | IST-REx-ID: 18565 | OA
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
 
2025 | Published | Thesis | PhD | IST-REx-ID: 19759 | OA
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
 
2025 | Published | Thesis | PhD | IST-REx-ID: 19630 | OA
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
 
2025 | Published | Thesis | PhD | IST-REx-ID: 20551 | OA
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
 
2025 | Published | Thesis | PhD | IST-REx-ID: 20234 | OA
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
 
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
 
2025 | Published | Thesis | PhD | IST-REx-ID: 19048 | OA
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
 
2025 | Published | Thesis | PhD | IST-REx-ID: 20147 | OA
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
 
2025 | Published | Journal Article | IST-REx-ID: 10045 | OA
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
 
2025 | Published | Thesis | PhD | IST-REx-ID: 18979 | OA
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
 

Filters and Search Terms

type<>research_data

Search

Filter Publications

Display / Sort

Export / Embed