Giacobbe, M., Henzinger, T. A., &; Lechner, M. (2020). How many bits does it take to quantize your neural network? In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 12079, pp. 79–97). Dublin, Ireland: Springer Nature.https://doi.org/10.1007/978-3-030-45237-7_5 

Boissonnat, J.-D., &; Wintraecken, M. (2020). The topological correctness of PL-approximations of isomanifolds. In 36th International Symposium on Computational Geometry (Vol. 164). Zürich, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SoCG.2020.20 

Wagner, U., &; Welzl, E. (2020). Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips). In 36th International Symposium on Computational Geometry (Vol. 164). Zürich, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SoCG.2020.67 

Wagner, U., &; Welzl, E. (2020). Connectivity of triangulation flip graphs in the plane (Part I: Edge flips). In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms (Vol. 2020–January, pp. 2823–2841). Salt Lake City, UT, United States: SIAM.https://doi.org/10.1137/1.9781611975994.172 

Simon, A., Fraisse, C., El Ayari, T., Liautard-Haag, C., Strelkov, P., Welch, J., &; Bierne, N. (2020). How do species barriers decay? concordance and local introgression in mosaic hybrid zones of mussels. Dryad.https://doi.org/10.5061/DRYAD.R4XGXD29N 

Arnoux, S., Fraisse, C., &; Sauvage, C. (2020). VCF files of synonymous SNPs related to: Genomic inference of complex domestication histories in three Solanaceae species. Dryad.https://doi.org/10.5061/DRYAD.Q2BVQ83HD 

Mondelli, M., Hashemi, S. A., Cioffi, J., &; Goldsmith, A. (2020). Simplified successive cancellation decoding of polar codes has sublinear latency. In IEEE International Symposium on Information Theory - Proceedings (Vol. 2020–June). Los Angeles, CA, United States: IEEE.https://doi.org/10.1109/ISIT44484.2020.9174141 

Avvakumov, S., Wagner, U., Mabillard, I., &; Skopenkov, A. B. (2020). Eliminating higher-multiplicity intersections, III. Codimension 2. Russian Mathematical Surveys. IOP Publishing.https://doi.org/10.1070/RM9943 

Carlen, E. A., &; Maas, J. (2020). Non-commutative calculus, optimal transport and functional inequalities  in dissipative quantum systems. Journal of Statistical Physics. Springer Nature.https://doi.org/10.1007/s10955-019-02434-w 

Akopyan, A., &; Karasev, R. (2020). Gromov’s waist of non-radial Gaussian measures and radial non-Gaussian measures. In B. Klartag &; E. Milman (Eds.), Geometric Aspects of Functional Analysis (Vol. 2256, pp. 1–27). Springer Nature.https://doi.org/10.1007/978-3-030-36020-7_1 

Browning, T. D., &; Sawin, W. (2020). A geometric version of the circle method. Annals of Mathematics. Princeton University.https://doi.org/10.4007/annals.2020.191.3.4 

Benedikter, N. P., Nam, P. T., Porta, M., Schlein, B., &; Seiringer, R. (2020). Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime. Communications in Mathematical Physics. Springer Nature.https://doi.org/10.1007/s00220-019-03505-5 

Stella, F., Urdapilleta, E., Luo, Y., &; Treves, A. (2020). Partial coherence and frustration in self-organizing spherical grids. Hippocampus. Wiley.https://doi.org/10.1002/hipo.23144 

Avni, G., Henzinger, T. A., &; Kupferman, O. (2020). Dynamic resource allocation games. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2019.06.031 

Shehu, Y., Li, X.-H., &; Dong, Q.-L. (2020). An efficient projection-type method for monotone variational inequalities in Hilbert spaces. Numerical Algorithms. Springer Nature.https://doi.org/10.1007/s11075-019-00758-y 

Jahr, W., Velicky, P., &; Danzl, J. G. (2020). Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens. Methods. Elsevier.https://doi.org/10.1016/j.ymeth.2019.07.019 

Filakovský, M., &; Vokínek, L. (2020). Are two given maps homotopic? An algorithmic viewpoint. Foundations of Computational Mathematics. Springer Nature.https://doi.org/10.1007/s10208-019-09419-x 

Henderson, P. M., &; Ferrari, V. (2020). Learning single-image 3D reconstruction by generative modelling of shape, pose and shading. International Journal of Computer Vision. Springer Nature.https://doi.org/10.1007/s11263-019-01219-8 

Nakamoto, C., Konno, K., Miyazaki, T., Nakatsukasa, E., Natsume, R., Abe, M.,https://doi.org/10.1002/cne.24792__Watanabe, M. (2020). Expression mapping, quantification, and complex formation of Glu and Glu glutamate receptors in adult mouse brain. Journal of Comparative Neurology. Wiley.https://doi.org/10.1002/cne.24792 

Donahue, R., Maes, M. E., Grosser, J., &; Nickells, R. (2020). BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage. Molecular Neurobiology. Springer Nature.https://doi.org/10.1007/s12035-019-01783-7