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 

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 

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 

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 

Kavcic, B., &; Tkadik, G. (n.d.). Token-driven totally asymmetric simple exclusion process. arXiv.https://doi.org/10.48550/arXiv.2112.13558 

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 

Schlögl, A., Elefante, S., Hornoiu, A., &; Stadlbauer, S. (2021). Managing software on a heterogenous HPC cluster. In ASHP – Austrian-Slovenian HPC Meeting 2021 (p. 5). Virtual: University of Ljubljana.https://doi.org/10.3359/2021hpc 

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.

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 

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.

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.

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.

Lechner, M., dikeli, Ð., 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 

McCartney, D. L., Hillary, R. F., Conole, E. L., Trejo Banos, D., Gadd, D. A., Walker, R. M.,https://doi.org/10.5281/ZENODO.5794028__Marioni, R. E. (2021). Blood-based epigenome-wide analyses of cognitive abilities. Zenodo.https://doi.org/10.5281/ZENODO.5794028 

Randriamanantsoa, S., Papargyriou, A., Maurer, C., Peschke, K., Schuster, M., Zecchin, G.,https://doi.org/10.5281/ZENODO.5148117__Bausch, A. R. (2021). Spatiotemporal dynamics of self-organized branching in pancreas-derived organoids. Zenodo.https://doi.org/10.5281/ZENODO.5148117 

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 

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 

Samarasinghe, R. A., Miranda, O., Buth, J. E., Mitchell, S., Ferando, I., Watanabe, M.,https://doi.org/10.1038/s41593-021-00906-5__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 

Rychlewicz, K. P. (2021). The positivity of local equivariant Hirzebruch class for toric varieties. Bulletin of the London Mathematical Society. Wiley.https://doi.org/10.1112/blms.12442 

Zenke, F., &; Vogels, T. P. (2021). The remarkable robustness of surrogate gradient learning for instilling complex function in spiking neural networks. Neural Computation. MIT Press.https://doi.org/10.1162/neco_a_01367