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.
4938 Publications
2023 | Conference Paper | IST-REx-ID: 14830
Zikelic, D., Lechner, M., Henzinger, T. A., & Chatterjee, K. (2023). Learning control policies for stochastic systems with reach-avoid guarantees. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 11926–11935). Washington, DC, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v37i10.26407
[Preprint]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14831 | 
Sakref, Y., Muñoz Basagoiti, M., Zeravcic, Z., & Rivoire, O. (2023). On kinetic constraints that catalysis imposes on elementary processes. The Journal of Physical Chemistry B. American Chemical Society. https://doi.org/10.1021/acs.jpcb.3c04627
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14844 |
Azadbakht, A., Meadowcroft, B., Majek, J., Šarić, A., & Kraft, D. J. (n.d.). Nonadditivity in interactions between three membrane-wrapped colloidal spheres. Biophysical Journal. Elsevier. https://doi.org/10.1016/j.bpj.2023.12.020
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Other Publication | IST-REx-ID: 14861 |
Becker, L. M., Berbon, M., Vallet, A., Grelard, A., Morvan, E., Bardiaux, B., … Schanda, P. (2023). Cover Picture: The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle‐Spinning NMR spectroscopy of aromatic residues. Angewandte Chemie International Edition (Vol. 62). Wiley. https://doi.org/10.1002/anie.202304138
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 14849 |
Cipolloni, G., Erdös, L., Schröder, D. J., & Xu, Y. (2023). On the rightmost eigenvalue of non-Hermitian random matrices. The Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/23-aop1643
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14835 |
Becker, L. M., Berbon, M., Vallet, A., Grelard, A., Morvan, E., Bardiaux, B., … Schanda, P. (2023). Der starre Kern und die flexible Oberfläche von Amyloidfibrillen – Magic‐Angle‐Spinning NMR Spektroskopie von aromatischen Resten. Angewandte Chemie. Wiley. https://doi.org/10.1002/ange.202219314
[Published Version]
View
| Files available
| DOI
2023 | Book Chapter | IST-REx-ID: 14853
Haerter, J. O., & Muller, C. J. (2023). Mechanisms for the Self‐Organization of Tropical Deep Convection. In S. Sullivan & C. Hoose (Eds.), Clouds and Their Climatic Impacts (pp. 179–193). Wiley. https://doi.org/10.1002/9781119700357.ch8
View
| DOI
2023 | Book Chapter | IST-REx-ID: 14847 |
Sučec, I., & Schanda, P. (2023). Preparing Chaperone–Client Protein Complexes for Biophysical and Structural Studies. In S. Hiller, M. Liu, & L. He (Eds.), Biophysics of Molecular Chaperones (Vol. 29, pp. 136–161). Royal Society of Chemistry. https://doi.org/10.1039/bk9781839165986-00136
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Book Chapter | IST-REx-ID: 14848
Wruck, F., Avellaneda Sarrió, M., Naqvi, M. M., Koers, E. J., Till, K., Gross, L., … Tans, S. J. (2023). Probing Single Chaperone Substrates. In S. Hiller, M. Liu, & L. He (Eds.), Biophysics of Molecular Chaperones (Vol. 29, pp. 278–318). Royal Society of Chemistry. https://doi.org/10.1039/bk9781839165986-00278
View
| DOI
2023 | Journal Article | IST-REx-ID: 14854
Mitrouskas, D. J., & Seiringer, R. (2023). Ubiquity of bound states for the strongly coupled polaron. Pure and Applied Analysis. Mathematical Sciences Publishers. https://doi.org/10.2140/paa.2023.5.973
View
| DOI
2023 | Conference Paper | IST-REx-ID: 14872
Sahu, R., Qiu, L., Hease, W. J., Arnold, G. M., Minoguchi, Y., Rabl, P., & Fink, J. M. (2023). Entangling microwaves and telecom wavelength light. In Frontiers in Optics + Laser Science 2023. Tacoma, WA, United States: Optica Publishing Group. https://doi.org/10.1364/ls.2023.lm1f.3
View
| DOI
2023 | Conference Paper | IST-REx-ID: 14867 |
Anastos, M. (2023). Constructing Hamilton cycles and perfect matchings efficiently. In Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications (pp. 36–41). Prague, Czech Republic: Masaryk University Press. https://doi.org/10.5817/cz.muni.eurocomb23-005
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Abstract | IST-REx-ID: 14864 |
Stöllner, A., Lenton, I. C., Muller, C. J., & Waitukaitis, S. R. (2023). Measuring spontaneous charging of single aerosol particles. In EGU General Assembly 2023. Vienna, Austria & Virtual: European Geosciences Union. https://doi.org/10.5194/egusphere-egu23-6166
[Published Version]
View
| Files available
| DOI
2023 | Conference Abstract | IST-REx-ID: 14862 |
Rella, S., Kulikova, Y., Minnegalieva, A., & Kondrashov, F. (2023). Complex vaccination strategies prevent the emergence of vaccine resistance. In European Journal of Public Health (Vol. 33). Oxford University Press. https://doi.org/10.1093/eurpub/ckad160.597
[Published Version]
View
| Files available
| DOI
2023 | Conference Abstract | IST-REx-ID: 14863 |
Polesello, A., Muller, C. J., Pasquero, C., & Meroni, A. N. (2023). Intensification mechanisms of tropical cyclones. In EGU General Assembly 2023. Vienna, Austria & Virtual: European Geosciences Union. https://doi.org/10.5194/egusphere-egu23-6157
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13049 |
Freire, M., Bhargava, M., Schreck, C., Hugron, P.-A., Bickel, B., & Lefebvre, S. (2023). PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3592411
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13212 |
Chen, H., Li, L., Zou, M., Qi, L., & Friml, J. (2023). Distinct functions of TIR1 and AFB1 receptors in auxin signalling. Molecular Plant. Elsevier . https://doi.org/10.1016/j.molp.2023.06.007
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Research Data Reference | IST-REx-ID: 14892 |
Feitosa Tomé, D. (2023). douglastome/dynamic-engrams: Dynamic and selective engrams emerge with memory consolidation. Zenodo. https://doi.org/10.5281/ZENODO.10251087
View
| Files available
| DOI
| Download None (ext.)
2023 | Journal Article | IST-REx-ID: 14032 |
Mukhopadhyay, S., Senior, J. L., Saez Mollejo, J., Puglia, D., Zemlicka, M., Fink, J. M., & Higginbotham, A. P. (2023). Superconductivity from a melted insulator in Josephson junction arrays. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-023-02161-w
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13266 |
Qi, L., & Friml, J. (2023). Tale of cAMP as a second messenger in auxin signaling and beyond. New Phytologist. Wiley. https://doi.org/10.1111/nph.19123
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13136 |
Minchington, T., Rus, S., & Kicheva, A. (2023). Control of tissue dimensions in the developing neural tube and somites. Current Opinion in Systems Biology. Elsevier. https://doi.org/10.1016/j.coisb.2023.100459
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13135 |
Agresti, A., & Veraar, M. (2023). Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity. Journal of Differential Equations. Elsevier. https://doi.org/10.1016/j.jde.2023.05.038
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13270 |
Brunck, F. R. (2023). Iterated medial triangle subdivision in surfaces of constant curvature. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-023-00500-5
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13269 |
Polyanskii, N., & Zhang, Y. (2023). Codes for the Z-channel. IEEE Transactions on Information Theory. Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/TIT.2023.3292219
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13209 |
Xia, J., Kong, M., Yang, Z., Sun, L., Peng, Y., Mao, Y., … Tan, S. (2023). Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen. Plant Communications. Elsevier . https://doi.org/10.1016/j.xplc.2023.100632
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13971 |
Grober, D., Palaia, I., Ucar, M. C., Hannezo, E. B., Šarić, A., & Palacci, J. A. (2023). Unconventional colloidal aggregation in chiral bacterial baths. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-023-02136-x
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 10551 |
Cornalba, F., & Fischer, J. L. (2023). The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles. Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-023-01903-7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13234 |
Kueffner, K., Lukina, A., Schilling, C., & Henzinger, T. A. (2023). Into the unknown: Active monitoring of neural networks (extended version). International Journal on Software Tools for Technology Transfer. Springer Nature. https://doi.org/10.1007/s10009-023-00711-4
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14036 |
Napoli, F., Becker, L. M., & Schanda, P. (2023). Protein dynamics detected by magic-angle spinning relaxation dispersion NMR. Current Opinion in Structural Biology. Elsevier. https://doi.org/10.1016/j.sbi.2023.102660
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14043 |
Henzinger, M. H., Jin, B., Peng, R., & Williamson, D. P. (2023). A combinatorial cut-toggling algorithm for solving Laplacian linear systems. Algorithmica. Springer Nature. https://doi.org/10.1007/s00453-023-01154-8
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13319 |
Vernooij, M., & Wirth, M. (2023). Derivations and KMS-symmetric quantum Markov semigroups. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-023-04795-6
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14402 |
Lombardi, F., Herrmann, H. J., Parrino, L., Plenz, D., Scarpetta, S., Vaudano, A. E., … Shriki, O. (2023). Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2023.113162
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14258 |
Ojavee, S. E., Darrous, L., Patxot, M., Läll, K., Fischer, K., Mägi, R., … Robinson, M. R. (2023). Genetic insights into the age-specific biological mechanisms governing human ovarian aging. American Journal of Human Genetics. Elsevier. https://doi.org/10.1016/j.ajhg.2023.07.006
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14244 |
Hausel, T., Wong, M. L., & Wyss, D. (2023). Arithmetic and metric aspects of open de Rham spaces. Proceedings of the London Mathematical Society. Wiley. https://doi.org/10.1112/plms.12555
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14080 |
Hirashima, T., Hino, N., Aoki, K., & Matsuda, M. (2023). Stretching the limits of extracellular signal-related kinase (ERK) signaling — Cell mechanosensing to ERK activation. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2023.102217
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13165 |
Fang, L., Huang, H., Pach, J., Tardos, G., & Zuo, J. (2023). Successive vertex orderings of fully regular graphs. Journal of Combinatorial Theory. Series A. Elsevier. https://doi.org/10.1016/j.jcta.2023.105776
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14409 |
Baunis, H., & Pieber, B. (2023). Formal radical deoxyfluorination of oxalate-activated alcohols triggered by the selectfluor-DMAP charge-transfer complex. European Journal of Organic Chemistry. Wiley. https://doi.org/10.1002/ejoc.202300769
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14254 |
Seiringer, R., & Solovej, J. P. (2023). A simple approach to Lieb-Thirring type inequalities. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2023.110129
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14379
Mahato, N., Singh, S., Faisal, M., Sreekanth, T. V. M., Majumder, S., Yoo, K., & Kim, J. (2023). Polycrystalline phases grown in-situ engendering unique mechanism of charge storage in polyaniline-graphite composite. Synthetic Metals. Elsevier. https://doi.org/10.1016/j.synthmet.2023.117463
View
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14362 |
Castellano, I., Giordano Bruno, A., & Zava, N. (2023). Weakly weighted generalised quasi-metric spaces and semilattices. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2023.114129
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14401 |
Maes, M. E., Donahue, R. J., Schlamp, C. L., Marola, O. J., Libby, R. T., & Nickells, R. W. (2023). BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps. Molecular Neurodegeneration. Springer Nature. https://doi.org/10.1186/s13024-023-00659-8
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14489 |
Fan, Z. Y., Qiu, L., Gröblacher, S., & Li, J. (2023). Microwave-optics entanglement via cavity optomagnomechanics. Laser and Photonics Reviews. Wiley. https://doi.org/10.1002/lpor.202200866
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13097 |
Wilson, A. C., & Sweeney, L. B. (2023). Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. Frontiers. https://doi.org/10.3389/fncir.2023.1146449
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Conference Abstract | IST-REx-ID: 14865 |
Hwong, Y.-L., Colin, M., Aglas, P., Muller, C. J., & Sherwood, S. (2023). Evaluating memory properties in convection schemes using idealised tests. In EGU General Assembly 2023. Vienna, Austria & Virtual: European Geosciences Union. https://doi.org/10.5194/egusphere-egu23-4968
[Published Version]
View
| Files available
| DOI
2023 | Conference Abstract | IST-REx-ID: 14866 |
Abramian, S., Muller, C. J., & Risi, C. (2023). Extreme precipitation in tropical squall lines. In EGU General Assembly 2023. Vienna, Austria & Virtual: European Geosciences Union. https://doi.org/10.5194/egusphere-egu23-15870
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14920 |
Banerjee, T., Majumdar, R., Mallik, K., Schmuck, A.-K., & Soudjani, S. (2023). Fast symbolic algorithms for mega-regular games under strong transition fairness. TheoretiCS. EPI Sciences. https://doi.org/10.46298/theoretics.23.4
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 12859 |
Bombari, S., Kiyani, S., & Mondelli, M. (2023). Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels. In Proceedings of the 40th International Conference on Machine Learning (Vol. 202, pp. 2738–2776). Honolulu, HI, United States: ML Research Press.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14921 |
Súkeník, P., Mondelli, M., & Lampert, C. (n.d.). Deep neural collapse is provably optimal for the deep unconstrained features model. In 37th Annual Conference on Neural Information Processing Systems. New Orleans, LA, United States.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14924 |
Wu, D., Kungurtsev, V., & Mondelli, M. (2023). Mean-field analysis for heavy ball methods: Dropout-stability, connectivity, and global convergence. In Transactions on Machine Learning Research. ML Research Press.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14919 |
Shaw, T., Buri, P., McCarthy, M., Miles, E., & Pellicciotti, F. (2023). Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer. Zenodo. https://doi.org/10.5281/ZENODO.8277285
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Thesis | IST-REx-ID: 13107 |
Knaus, L. (2023). The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13107
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12802 |
Knaus, L., Basilico, B., Malzl, D., Gerykova Bujalkova, M., Smogavec, M., Schwarz, L. A., … Novarino, G. (2023). Large neutral amino acid levels tune perinatal neuronal excitability and survival. Cell. Elsevier. https://doi.org/10.1016/j.cell.2023.02.037
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Preprint | IST-REx-ID: 13312 |
Valentini, M., Sagi, O., Baghumyan, L., Gijsel, T. de, Jung, J., Calcaterra, S., … Katsaros, G. (n.d.). Radio frequency driven superconducting diode and parity conserving Cooper pair transport in a two-dimensional germanium hole gas. arXiv. https://doi.org/10.48550/arXiv.2306.07109
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14949 |
Burg, M., Wenzel, F., Zietlow, D., Horn, M., Makansi, O., Locatello, F., & Russell, C. (2023). Image retrieval outperforms diffusion models on data augmentation. Journal of Machine Learning Research. ML Research Press.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 | Preprint | IST-REx-ID: 14946 |
Yao, D., Xu, D., Lachapelle, S., Magliacane, S., Taslakian, P., Martius, G., … Locatello, F. (n.d.). Multi-view causal representation learning with partial observability. arXiv. https://doi.org/10.48550/arXiv.2311.04056
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Preprint | IST-REx-ID: 14952 |
Maiorca, V., Moschella, L., Norelli, A., Fumero, M., Locatello, F., & Rodolà, E. (n.d.). Latent space translation via semantic alignment. arXiv. https://doi.org/10.48550/arXiv.2311.00664
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Preprint | IST-REx-ID: 14948 |
Kori, A., Locatello, F., Ribeiro, F. D. S., Toni, F., & Glocker, B. (n.d.). Grounded object centric learning. arXiv. https://doi.org/10.48550/arXiv.2307.09437
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Preprint | IST-REx-ID: 14953 |
Zhu, Z., Locatello, F., & Cevher, V. (n.d.). Sample complexity bounds for score-matching: Causal discovery and generative modeling. arXiv. https://doi.org/10.48550/arXiv.2310.18123
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Preprint | IST-REx-ID: 14954 |
Montagna, F., Mastakouri, A. A., Eulig, E., Noceti, N., Rosasco, L., Janzing, D., … Locatello, F. (n.d.). Assumption violations in causal discovery and the robustness of score matching. arXiv. https://doi.org/10.48550/arXiv.2310.13387
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Preprint | IST-REx-ID: 14210 |
Fumero, M., Wenzel, F., Zancato, L., Achille, A., Rodolà, E., Soatto, S., … Locatello, F. (n.d.). Leveraging sparse and shared feature activations for disentangled representation learning. arXiv. https://doi.org/10.48550/arXiv.2304.07939
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Preprint | IST-REx-ID: 14207 |
Löwe, S., Lippe, P., Locatello, F., & Welling, M. (n.d.). Rotating features for object discovery. arXiv. https://doi.org/10.48550/arXiv.2306.00600
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Preprint | IST-REx-ID: 14963 |
Zhao, Z., Wang, J., Horn, M., Ding, Y., He, T., Bai, Z., … Xiao, T. (n.d.). Object-centric multiple object tracking. arXiv. https://doi.org/10.48550/arXiv.2309.00233
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Preprint | IST-REx-ID: 14961 |
Montagna, F., Noceti, N., Rosasco, L., & Locatello, F. (n.d.). Shortcuts for causal discovery of nonlinear models by score matching. arXiv. https://doi.org/10.48550/arXiv.2310.14246
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Preprint | IST-REx-ID: 14962 |
Fan, K., Bai, Z., Xiao, T., Zietlow, D., Horn, M., Zhao, Z., … He, T. (n.d.). Unsupervised open-vocabulary object localization in videos. arXiv. https://doi.org/10.48550/arXiv.2309.09858
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14958 |
Xu, D., Yao, D., Lachapelle, S., Taslakian, P., von Kügelgen, J., Locatello, F., & Magliacane, S. (2023). A sparsity principle for partially observable causal representation learning. In Causal Representation Learning Workshop at NeurIPS 2023. New Orleans, LA, United States: OpenReview.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14923 |
Fu, T., Liu, Y., Barbier, J., Mondelli, M., Liang, S., & Hou, T. (n.d.). Mismatched estimation of non-symmetric rank-one matrices corrupted by structured noise. In Proceedings of 2023 IEEE International Symposium on Information Theory. Taipei, Taiwan: IEEE. https://doi.org/10.1109/isit54713.2023.10206671
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14466 |
Marensi, E., Yalniz, G., & Hof, B. (2023). Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2023.780
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14687 |
Jethwa, R. B., Mondal, S., Pant, B., & Freunberger, S. A. (2023). To DISP or not? The far‐reaching reaction mechanisms underpinning Lithium‐air batteries. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202316476
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 14985 |
Liu, Z., Hong, T., Xu, L., Wang, S., Gao, X., Chang, C., … Zhao, L. (2023). Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS. Interdisciplinary Materials. Wiley. https://doi.org/10.1002/idm2.12056
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14989 |
Malvai, H., Kokoris Kogias, E., Sonnino, A., Ghosh, E., Oztürk, E., Lewi, K., & Lawlor, S. (2023). Parakeet: Practical key transparency for end-to-end eEncrypted messaging. In Proceedings of the 2023 Network and Distributed System Security Symposium. San Diego, CA, United States: Internet Society. https://doi.org/10.14722/ndss.2023.24545
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14411 |
Beneš, N., Brim, L., Pastva, S., Šafránek, D., & Šmijáková, E. (2023). Phenotype control of partially specified boolean networks. In 21st International Conference on Computational Methods in Systems Biology (Vol. 14137, pp. 18–35). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-42697-1_2
[Submitted Version]
View
| Files available
| DOI
2023 | Book Chapter | IST-REx-ID: 14992 |
Lewin, M., Lieb, E. H., & Seiringer, R. (2023). Universal Functionals in Density Functional Theory. In E. Cances & G. Friesecke (Eds.), Density Functional Theory (1st ed., pp. 115–182). Springer. https://doi.org/10.1007/978-3-031-22340-2_3
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12675 |
Becker, L. M., Berbon, M., Vallet, A., Grelard, A., Morvan, E., Bardiaux, B., … Schanda, P. (2023). The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202219314
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Research Data | IST-REx-ID: 12497 |
Becker, L. M., & Schanda, P. (2023). Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12497
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 13126 |
Danzl, J. G. (2023). Research data for the publication “Imaging brain tissue architecture across millimeter to nanometer scales.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:13126
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 13116 |
Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P., … Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:13116
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13314 |
Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P., … Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-023-02218-w
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14257 |
Michalska, J. M., Lyudchik, J., Velicky, P., Korinkova, H., Watson, J., Cenameri, A., … Danzl, J. G. (2023). Imaging brain tissue architecture across millimeter to nanometer scales. Nature Biotechnology. Springer Nature. https://doi.org/10.1038/s41587-023-01911-8
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2023 | Thesis | IST-REx-ID: 14280
Radler, P. (2023). Spatiotemporal signaling during assembly of the bacterial divisome. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14280
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 13286 |
Valentini, M. (2023). Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13286
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 15027 |
Curk, S. (2023). aggregation_data. Figshare.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14758 |
Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In 35th International Conference on Computer Aided Verification (Vol. 13966, pp. 3–15). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_1
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14654 |
Hwong, Y.-L., Colin, M., Aglas, P., Muller, C. J., & Sherwood, S. C. (2023). Assessing memory in convection schemes using idealized tests. Journal of Advances in Modeling Earth Systems. Wiley. https://doi.org/10.1029/2023MS003726
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13139 |
Meggendorfer, T. (2023). Correct approximation of stationary distributions. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 489–507). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_25
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14991 |
Hwong, Y.-L., Colin, M., Aglas, P., Muller, C. J., & Sherwood, S. C. (2023). Data-assessing memory in convection schemes using idealized tests. Zenodo. https://doi.org/10.5281/ZENODO.7757041
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14990 |
Meggendorfer, T. (2023). Artefact for: Correct Approximation of Stationary Distributions. Zenodo. https://doi.org/10.5281/ZENODO.7548214
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14260 |
Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 156–169). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_8
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14995 |
Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. Zenodo. https://doi.org/10.5281/ZENODO.7877757
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14994 |
Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. Zenodo. https://doi.org/10.5281/ZENODO.7877790
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 15023 |
Zikelic, D., Lechner, M., Verma, A., Chatterjee, K., & Henzinger, T. A. (2023). Compositional policy learning in stochastic control systems with formal guarantees. In 37th Conference on Neural Information Processing Systems. New Orleans, LO, United States.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14993 |
Currin, C., Asiedu , M. N., Fourie, C., Rosman, B., Turki, H., Lambebo Tonja, A., … Machangara, D. (2023). A framework for grassroots research collaboration in machine learning and global health. In 1st Workshop on Machine Learning & Global Health. Kigali, Rwanda: OpenReview.
[Published Version]
View
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14076 |
Chalupa, M., & Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. In 23nd International Conference on Runtime Verification (Vol. 14245, pp. 168–190). Thessaloniki, Greek: Springer Nature. https://doi.org/10.1007/978-3-031-44267-4_9
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14743 |
Tennage, P., Basescu, C., Kokoris Kogias, E., Syta, E., Jovanovic, P., Estrada-Galinanes, V., & Ford, B. (2023). QuePaxa: Escaping the tyranny of timeouts in consensus. In Proceedings of the 29th Symposium on Operating Systems Principles (pp. 281–297). Koblenz, Germany: Association for Computing Machinery. https://doi.org/10.1145/3600006.3613150
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Abstract | IST-REx-ID: 14748
Chen, Y.-L., Ly, M., & Wojtan, C. (2023). Unified treatment of contact, friction and shock-propagation in rigid body animation. In Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3606037.3606836
View
| DOI
2023 | Research Data Reference | IST-REx-ID: 15035 |
Chalupa, M., & Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. Zenodo. https://doi.org/10.5281/ZENODO.8191723
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Thesis | IST-REx-ID: 13984
Franschitz, A. (2023). Individual and social immunity against viral infections in ants. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13984
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 15039 |
Prach, B., & Lampert, C. (n.d.). 1-Lipschitz neural networks are more expressive with N-activations. arXiv. https://doi.org/10.48550/ARXIV.2311.06103
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14812 |
Stankowski, S. (2023). Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails. Zenodo. https://doi.org/10.5281/ZENODO.8318995
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 13214 |
Abualia, R., Riegler, S., & Benková, E. (2023). Nitrate, auxin and cytokinin - a trio to tango. Cells. MDPI. https://doi.org/10.3390/cells12121613
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 14323
Kuzmicz-Kowalska, K. (2023). Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14323
[Published Version]
View
| Files available
| DOI