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.




5258 Publications

2023 | Published | Journal Article | IST-REx-ID: 14778 | OA
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14922 | OA
Concentration without independence via information measures
A.R. Esposito, M. Mondelli, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–405.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Poster | IST-REx-ID: 15292 | OA
Unified treatment of contact, friction and shock-propagation in rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation, ACM, 2023.
View | Files available | DOI
 
2023 | Published | Conference Abstract | IST-REx-ID: 14748
Unified treatment of contact, friction and shock-propagation in rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Association for Computing Machinery, 2023.
View | DOI
 
2023 | Published | Thesis | IST-REx-ID: 12732 | OA
Ergodicity breaking in disordered and kinetically constrained quantum many-body systems
P. Brighi, Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems, Institute of Science and Technology Austria, 2023.
View | Files available | DOI
 
2023 | Published | Thesis | IST-REx-ID: 14622
Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems
S. Sack, Improving Variational Quantum Algorithms: Innovative Initialization Techniques and Extensions to Qudit Systems, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | IST-REx-ID: 12885 | OA
Nanoparticle-based semiconductor solids: From synthesis to consolidation
M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 12960 | OA
Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations
J.D. Boissonnat, S. Kachanovich, M. Wintraecken, SIAM Journal on Computing 52 (2023) 452–486.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 
2023 | Published | Thesis | IST-REx-ID: 13175 | OA
Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | IST-REx-ID: 12900
Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Submitted | Preprint | IST-REx-ID: 18294 | OA [Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 17074 | OA
Validity of Bogoliubov’s approximation fortranslation-invariant Bose gases
M. Brooks, R. Seiringer, Probability and Mathematical Physics 3 (2023) 939–1000.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 17079 | OA
Characteristic polynomials of random truncations: Moments, duality and asymptotics
A. Serebryakov, N. Simm, G. Dubach, Random Matrices: Theory and Applications 12 (2023).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Submitted | Preprint | IST-REx-ID: 17100 | OA
Prophet inequalities: Separating random order from order selection
G. Giambartolomei, F.M.-T. Frederik Mallmann-Trenn, R.J. Saona Urmeneta, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Submitted | Preprint | IST-REx-ID: 17173 | OA [Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Submitted | Preprint | IST-REx-ID: 17174 | OA
Prethermalization for deformed Wigner Matrices
L. Erdös, S.J. Henheik, J. Reker, V. Riabov, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Submitted | Preprint | IST-REx-ID: 17351 | OA [Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 17378 | OA
OPTQ: Accurate post-training quantization for generative pre-trained transformers
E. Frantar, S. Ashkboos, T. Hoefler, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , International Conference on Learning Representations, 2023.
[Published Version] View | Files available
 
2023 | Published | Journal Article | IST-REx-ID: 18179 | OA
p-adic directions of primitive vectors
A. Guilloux, T. Horesh, Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres 2023 (2023) 85–107.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 9652 | OA
Highly irregular separated nets
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed