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.
6293 Publications
2024 |
Published |
Journal Article |
IST-REx-ID: 17462 |
Clozeau, N., & Wang, L. (2024). Artificial boundary conditions for random elliptic systems with correlated coefficient field. Multiscale Modeling and Simulation. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/23M1603819
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 17463 |
Pillai, A., Idris, A., Philomin, A., Weidle, C., Skotheim, R., Leung, P. J. Y., … Baker, D. (2024). De novo design of allosterically switchable protein assemblies. Nature. Springer Nature. https://doi.org/10.1038/s41586-024-07813-2
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 |
Research Data |
IST-REx-ID: 17471 |
Desaules, J.-Y. M. (2024). Data for “Enhanced many-body quantum scars from the non-Hermitian Fock skin effect.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17471
View
| Files available
| DOI
2024 |
Published |
Journal Article |
IST-REx-ID: 17474 |
Baier, C., Chatterjee, K., Meggendorfer, T., & Piribauer, J. (2024). Entropic risk for turn-based stochastic games. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2024.105214
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 17475 |
Koval, I., & Kwan, M. A. (2024). Exponentially many graphs are determined by their spectrum. Quarterly Journal of Mathematics. Oxford University Press. https://doi.org/10.1093/qmath/haae030
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 17476
Lorenc, D., Zhumekenov, A., Bakr, O. M., & Alpichshev, Z. (2024). No extraordinary χ(3) in lead-halide perovskites: Placing an upper bound on Kerr nonlinearity by means of time-resolved interferometry. Physical Review Materials. American Physical Society. https://doi.org/10.1103/PhysRevMaterials.8.085403
View
| DOI
| WoS
2024 |
Published |
Journal Article |
IST-REx-ID: 17477 |
Hawaldar, S., Shahi, P., Carter, A. L., Rey, A. M., Bollinger, J. J., & Shankar, A. (2024). Bilayer crystals of trapped ions for quantum information processing. Physical Review X. American Physical Society. https://doi.org/10.1103/PhysRevX.14.031030
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 17478 |
Brooks, M., & Seiringer, R. (2024). The Fröhlich polaron at strong coupling: Part II — Energy-momentum relation and effective mass. Publications Mathematiques de l’Institut Des Hautes Etudes Scientifiques. Springer Nature. https://doi.org/10.1007/s10240-024-00150-0
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 17480 |
Karimi, B., Steffensen, G. O., Higginbotham, A. P., Marcus, C. M., Levy Yeyati, A., & Pekola, J. P. (2024). Bolometric detection of Josephson radiation. Nature Nanotechnology. Springer Nature. https://doi.org/10.1038/s41565-024-01770-7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 17481 |
Fischer, J. L., & Marveggio, A. (2024). Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow. Annales de l’Institut Henri Poincare C. EMS Press. https://doi.org/10.4171/AIHPC/109
[Published Version]
View
| Files available
| DOI
| WoS
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17485 |
Frantar, E. (2024). Compressing large neural networks : Algorithms, systems and scaling laws. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17485
[Published Version]
View
| Files available
| DOI
2024 |
Research Data |
IST-REx-ID: 17488 |
Satapathy, R. K., Jösch, M. A., Symonova, O., & Pokusaeva, V. (2024). Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17488
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17490 |
Markov, I. (2024). Communication-efficient distributed training of deep neural networks : An algorithms and systems perspective. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17490
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Journal Article |
IST-REx-ID: 17493 |
Vermersch, B., Ljubotina, M., Cirac, J. I., Zoller, P., Serbyn, M., & Piroli, L. (2024). Many-body entropies and entanglement from polynomially many local measurements. Physical Review X. American Physical Society. https://doi.org/10.1103/physrevx.14.031035
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 17494 |
Bravo, J. P. K. (2024). Anti-plasmid immunity: A key to pathogen success? Future Microbiology. Taylor & Francis. https://doi.org/10.1080/17460913.2024.2389720
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2024 |
Published |
Conference Paper |
IST-REx-ID: 17634 |
Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2024). QuAK: Quantitative Automata Kit. In 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Vol. 15222, pp. 3–20). Crete, Greece: Springer Nature. https://doi.org/10.1007/978-3-031-75387-9_1
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 9651 |
Dymond, M., & Kaluza, V. (2024). Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata. Springer Nature. https://doi.org/10.1007/s10711-023-00862-3
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2024 |
Draft |
Preprint |
IST-REx-ID: 20071 |
Dvorak, M., & Kolmogorov, V. (n.d.). Duality theory in linear optimization and its extensions -- formally verified. arXiv. https://doi.org/10.48550/arXiv.2409.08119
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18101 |
Porley Esteves, D. (2024). Structural characterization of spumavirus capsid assemblies. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18101
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18477 |
Kaczmarek, B. M. (2024). Biochemical and structural insights into ADAR1 RNA editing. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18477
[Published Version]
View
| Files available
| DOI