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.
5473 Publications
2024 | Published | Conference Paper | IST-REx-ID: 17327 | 
F. Cano, T. A. Henzinger, B. Könighofer, K. Kueffner, and K. Mallik, “Abstraction-based decision making for statistical properties,” in 9th International Conference on Formal Structures for Computation and Deduction, Tallinn, Estonia, 2024, vol. 299.
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 17328 |
K. Chatterjee, A. Ebrahimzadeh, M. Karrabi, K. Z. Pietrzak, M. X. Yeo, and D. Zikelic, “Fully automated selfish mining analysis in efficient proof systems blockchains,” in Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing, Nantes, France, 2024, pp. 268–278.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17329 |
D.-A. Alistarh, K. Chatterjee, M. Karrabi, and J. M. Lazarsfeld, “Game dynamics and equilibrium computation in the population protocol model,” in Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing, Nantes, France, 2024, pp. 40–49.
[Published Version]
View
| Files available
| DOI
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17330
N. Resch, C. Yuan, and Y. Zhang, “Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery,” IEEE Transactions on Information Theory. IEEE, 2024.
[Preprint]
View
| Files available
| DOI
| arXiv
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17331
E. R. Cattaneo et al., “Hereditary amyloidosis: Insights into a fibrinogen A variant protein,” Proteins: Structure, Function and Bioinformatics. Wiley, 2024.
View
| DOI
| PubMed | Europe PMC
2024 | Published | Conference Paper | IST-REx-ID: 17332 |
I. Kokorin, V. Yudov, V. Aksenov, and D.-A. Alistarh, “Wait-free trees with asymptotically-efficient range queries,” in 2024 IEEE International Parallel and Distributed Processing Symposium, San Francisco, CA, United States, 2024, pp. 169–179.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Thesis | IST-REx-ID: 17336 |
F. Pedrotti, “Functional inequalities and convergence of stochastic processes,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 | Research Data | IST-REx-ID: 17344 |
P. Surendranadh and H. Sachdeva, “Mathematica notebook for ‘Effect of assortative mating and sexual selection on polygenic barriers to gene flow’’.’” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 17346
L. Bollmann, “Stability and change in the memory system during rest,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 | Submitted | Preprint | IST-REx-ID: 17350 |
F. Pedrotti, J. Maas, and M. Mondelli, “Improved convergence of score-based diffusion models via prediction-correction,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Submitted | Preprint | IST-REx-ID: 17352 |
K. Khudiakova, J. Maas, and F. Pedrotti, “L∞-optimal transport of anisotropic log-concave measures and exponential convergence in Fisher’s infinitesimal model,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Submitted | Preprint | IST-REx-ID: 17353 |
G. Brigati and F. Pedrotti, “Heat flow, log-concavity, and Lipschitz transport maps,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Submitted | Preprint | IST-REx-ID: 17361 |
M. Bauer, S. Ishida, and P. W. Michor, “Symplectic structures on the space of space curves,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Research Data | IST-REx-ID: 17362 |
M. N. Elkrewi and B. Vicoso, “Data for: ‘Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome.’” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 17368
A. Villanueva Marijuan, “Bayesian linear regression for analyzing general omics data with time-to-event phenotypes,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17372 |
A. Agresti and M. Veraar, “Reaction-diffusion equations with transport noise and critical superlinear diffusion: Global well-posedness of weakly dissipative systems,” SIAM Journal on Mathematical Analysis, vol. 56, no. 4. Society for Industrial and Applied Mathematics, pp. 4870–4927, 2024.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17373 |
I. C. Lenton, F. Pertl, L. B. Shafeek, and S. R. Waitukaitis, “Beyond the blur: Using experimentally determined point spread functions to improve scanning Kelvin probe imaging,” Journal of Applied Physics, vol. 136, no. 4. AIP Publishing, 2024.
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 17374 |
P. Rao et al., “Lite2Relight: 3D-aware single image portrait relighting,” in Proceedings - SIGGRAPH 2024 Conference Papers, Denver, CO, United States, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17375 |
G. Cipolloni, L. Erdös, and Y. Xu, “Precise asymptotics for the spectral radius of a large random matrix,” Journal of Mathematical Physics, vol. 65, no. 6. AIP Publishing, 2024.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv