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.




5025 Publications

2021 |Submitted| Preprint | IST-REx-ID: 9980 | OA
Prehal, C., Talian, S. D., Vizintin, A., Amenitsch, H., Dominko, R., Freunberger, S. A., & Wood, V. (n.d.). Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries. Research Square. https://doi.org/10.21203/rs.3.rs-818607/v1
[Preprint] View | DOI | Download Preprint (ext.)
 
2021 |Published| Conference Paper | IST-REx-ID: 12767 | OA
Bansal, S., Chatterjee, K., & Vardi, M. Y. (2021). On satisficing in quantitative games. In 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 12651, pp. 20–37). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-030-72016-2
[Published Version] View | Files available | DOI | arXiv
 
2021 |Submitted| Preprint | IST-REx-ID: 10011 | OA
Hensel, S., & Laux, T. (n.d.). A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness. arXiv. https://doi.org/10.48550/arXiv.2109.04233
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2021 |Submitted| Preprint | IST-REx-ID: 9230 | OA
Arguin, L.-P., Dubach, G., & Hartung, L. (n.d.). Maxima of a random model of the Riemann zeta function over intervals of varying length. arXiv. https://doi.org/10.48550/arXiv.2103.04817
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2021 |Submitted| Preprint | IST-REx-ID: 9281 | OA
Dubach, G., & Mühlböck, F. (n.d.). Formal verification of Zagier’s one-sentence proof. arXiv. https://doi.org/10.48550/arXiv.2103.11389
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 |Submitted| Preprint | IST-REx-ID: 10579 | OA
Kavcic, B., & Tkačik, G. (n.d.). Token-driven totally asymmetric simple exclusion process. arXiv. https://doi.org/10.48550/arXiv.2112.13558
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2021 |Published| Journal Article | IST-REx-ID: 10806 | OA
Calcabrini, M., Van den Eynden, D., Sanchez Ribot, S., Pokratath, R., Llorca, J., De Roo, J., & Ibáñez, M. (2021). Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate. JACS Au. American Chemical Society. https://doi.org/10.1021/jacsau.1c00349
[Published Version] View | Files available | DOI
 
2021 |Published| Journal Article | IST-REx-ID: 12187
Long, J., Walker, J., She, W., Aldridge, B., Gao, H., Deans, S., … Feng, X. (2021). Nurse cell--derived small RNAs define paternal epigenetic inheritance in Arabidopsis. Science. American Association for the Advancement of Science (AAAS). https://doi.org/10.1126/science.abh0556
View | DOI | PubMed | Europe PMC
 
2021 |Published| Journal Article | IST-REx-ID: 12186
Ding, P., Sakai, T., Krishna Shrestha, R., Manosalva Perez, N., Guo, W., Ngou, B. P. M., … Jones, J. D. G. (2021). Chromatin accessibility landscapes activated by cell-surface and intracellular immune receptors. Journal of Experimental Botany. Oxford University Press. https://doi.org/10.1093/jxb/erab373
View | DOI | PubMed | Europe PMC
 
2021 |Published| Conference Paper | IST-REx-ID: 11458 | OA
Peste, E.-A., Iofinova, E. B., Vladu, A., & Alistarh, D.-A. (2021). AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. In 35th Conference on Neural Information Processing Systems (Vol. 34, pp. 8557–8570). Virtual, Online: Curran Associates.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 |Published| Journal Article | IST-REx-ID: 10585 | OA
Brooks, M., Lemeshko, M., Lundholm, D., & Yakaboylu, E. (2021). Emergence of anyons on the two-sphere in molecular impurities. Atoms. MDPI. https://doi.org/10.3390/atoms9040106
[Published Version] View | Files available | DOI | arXiv
 
2021 |Published| Conference Paper | IST-REx-ID: 13147 | OA
Alimisis, F., Davies, P., & Alistarh, D.-A. (2021). Communication-efficient distributed optimization with quantized preconditioners. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 196–206). Virtual: ML Research Press.
[Published Version] View | Files available | arXiv
 
2021 |Published| Conference Paper | IST-REx-ID: 13146 | OA
Nguyen, Q., Mondelli, M., & Montufar, G. (2021). Tight bounds on the smallest Eigenvalue of the neural tangent kernel for deep ReLU networks. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 8119–8129). Virtual: ML Research Press.
[Published Version] View | Files available | arXiv
 
2021 |Published| Conference Paper | IST-REx-ID: 10665 | OA
Henzinger, T. A., Lechner, M., & Zikelic, D. (2021). Scalable verification of quantized neural networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 3787–3795). Virtual: AAAI Press.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 |Published| Conference Paper | IST-REx-ID: 10667 | OA
Lechner, M., Žikelić, Ð., Chatterjee, K., & Henzinger, T. A. (2021). Infinite time horizon safety of Bayesian neural networks. In 35th Conference on Neural Information Processing Systems. Virtual. https://doi.org/10.48550/arXiv.2111.03165
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2021 | Research Data Reference | IST-REx-ID: 13072 | OA
McCartney DL, Hillary RF, Conole EL, Trejo Banos D, Gadd DA, Walker RM, Nangle C, Flaig R, Campbell A, Murray AD, Munoz Maniega S, del C Valdes-Hernandez M, Harris MA, Bastin ME, Wardlaw JM, Harris SE, Porteous DJ, Tucker-Drob EM, McIntosh AM, Evans KL, Deary IJ, Cox SR, Robinson MR, Marioni RE. 2021. Blood-based epigenome-wide analyses of cognitive abilities, Zenodo, 10.5281/ZENODO.5794028.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2021 | Research Data Reference | IST-REx-ID: 13068 | OA
Randriamanantsoa, S., Papargyriou, A., Maurer, C., Peschke, K., Schuster, M., Zecchin, G., … Bausch, A. R. (2021). Spatiotemporal dynamics of self-organized branching in pancreas-derived organoids. Zenodo. https://doi.org/10.5281/ZENODO.5148117
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2021 |Published| Journal Article | IST-REx-ID: 7551 | OA
Fredes Tolorza, F. A., Silva Sifuentes, M. A., Koppensteiner, P., Kobayashi, K., Jösch, M. A., & Shigemoto, R. (2021). Ventro-dorsal hippocampal pathway gates novelty-induced contextual memory formation. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2020.09.074
[Published Version] View | Files available | DOI | WoS
 
2021 |Published| Journal Article | IST-REx-ID: 7463 | OA
Lombardi, F., Shriki, O., Herrmann, H. J., & de Arcangelis, L. (2021). Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches. Neurocomputing. Elsevier. https://doi.org/10.1016/j.neucom.2020.05.126
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2021 |Published| Technical Report | IST-REx-ID: 6995 | OA
Samarasinghe, R. A., Miranda, O., Buth, J. E., Mitchell, S., Ferando, I., Watanabe, M., … Novitch, B. G. (2021). Identification of neural oscillations and epileptiform changes in human brain organoids (Vol. 24). Springer Nature. https://doi.org/10.1038/s41593-021-00906-5
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

Search

Filter Publications