Giacobbe M, Henzinger TA, Lechner M. 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. Springer Nature; 2020:79-97. doi:10.1007/978-3-030-45237-7_5
LibreCat: https://research-explorer.ista.ac.at/record/7808
DOI: 10.1007/978-3-030-45237-7_5

Boissonnat J-D, Wintraecken M. The topological correctness of PL-approximations of isomanifolds. In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.20
LibreCat: https://research-explorer.ista.ac.at/record/7952
DOI: 10.4230/LIPIcs.SoCG.2020.20

Wagner U, Welzl E. Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips). In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.67
LibreCat: https://research-explorer.ista.ac.at/record/7990
DOI: 10.4230/LIPIcs.SoCG.2020.67
arXiv: 2003.13557

Wagner U, Welzl E. 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. SIAM; 2020:2823-2841. doi:10.1137/1.9781611975994.172
LibreCat: https://research-explorer.ista.ac.at/record/7807
DOI: 10.1137/1.9781611975994.172
arXiv: 2003.13557

Simon A, Fraisse C, El Ayari T, et al. How do species barriers decay? concordance and local introgression in mosaic hybrid zones of mussels. 2020. doi:10.5061/DRYAD.R4XGXD29N
LibreCat: https://research-explorer.ista.ac.at/record/13073
DOI: 10.5061/DRYAD.R4XGXD29N

Arnoux S, Fraisse C, Sauvage C. VCF files of synonymous SNPs related to: Genomic inference of complex domestication histories in three Solanaceae species. 2020. doi:10.5061/DRYAD.Q2BVQ83HD
LibreCat: https://research-explorer.ista.ac.at/record/13065
DOI: 10.5061/DRYAD.Q2BVQ83HD

Mondelli M, Hashemi SA, Cioffi J, Goldsmith A. Simplified successive cancellation decoding of polar codes has sublinear latency. In: IEEE International Symposium on Information Theory - Proceedings. Vol 2020-June. IEEE; 2020. doi:10.1109/ISIT44484.2020.9174141
LibreCat: https://research-explorer.ista.ac.at/record/8536
DOI: 10.1109/ISIT44484.2020.9174141
arXiv: 1909.04892

Avvakumov S, Wagner U, Mabillard I, Skopenkov AB. Eliminating higher-multiplicity intersections, III. Codimension 2. Russian Mathematical Surveys. 2020;75(6):1156-1158. doi:10.1070/RM9943
LibreCat: https://research-explorer.ista.ac.at/record/9308
DOI: 10.1070/RM9943
WoS: 000625983100001
arXiv: 1511.03501

Carlen EA, Maas J. Non-commutative calculus, optimal transport and functional inequalities  in dissipative quantum systems. Journal of Statistical Physics. 2020;178(2):319-378. doi:10.1007/s10955-019-02434-w
LibreCat: https://research-explorer.ista.ac.at/record/6358
DOI: 10.1007/s10955-019-02434-w
WoS: 000498933300001
arXiv: 1811.04572

Akopyan A, Karasev R. Gromov’s waist of non-radial Gaussian measures and radial non-Gaussian measures. In: Klartag B, Milman E, eds. Geometric Aspects of Functional Analysis. Vol 2256. LNM. Springer Nature; 2020:1-27. doi:10.1007/978-3-030-36020-7_1
LibreCat: https://research-explorer.ista.ac.at/record/74
DOI: 10.1007/978-3-030-36020-7_1
WoS: 000557689300003
arXiv: 1808.07350

Browning TD, Sawin W. A geometric version of the circle method. Annals of Mathematics. 2020;191(3):893-948. doi:10.4007/annals.2020.191.3.4
LibreCat: https://research-explorer.ista.ac.at/record/177
DOI: 10.4007/annals.2020.191.3.4
WoS: 000526986300004
arXiv: 1711.10451

Benedikter NP, Nam PT, Porta M, Schlein B, Seiringer R. Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime. Communications in Mathematical Physics. 2020;374:2097–2150. doi:10.1007/s00220-019-03505-5
LibreCat: https://research-explorer.ista.ac.at/record/6649
DOI: 10.1007/s00220-019-03505-5
WoS: 000527910700019
arXiv: 1809.01902

Stella F, Urdapilleta E, Luo Y, Treves A. Partial coherence and frustration in self-organizing spherical grids. Hippocampus. 2020;30(4):302-313. doi:10.1002/hipo.23144
LibreCat: https://research-explorer.ista.ac.at/record/6796
DOI: 10.1002/hipo.23144
WoS: 000477299600001
PMID: 31339190

Avni G, Henzinger TA, Kupferman O. Dynamic resource allocation games. Theoretical Computer Science. 2020;807:42-55. doi:10.1016/j.tcs.2019.06.031
LibreCat: https://research-explorer.ista.ac.at/record/6761
DOI: 10.1016/j.tcs.2019.06.031
WoS: 000512219400004

Shehu Y, Li X-H, Dong Q-L. An efficient projection-type method for monotone variational inequalities in Hilbert spaces. Numerical Algorithms. 2020;84:365-388. doi:10.1007/s11075-019-00758-y
LibreCat: https://research-explorer.ista.ac.at/record/6593
DOI: 10.1007/s11075-019-00758-y
WoS: 000528979000015

Jahr W, Velicky P, Danzl JG. Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens. Methods. 2020;174(3):27-41. doi:10.1016/j.ymeth.2019.07.019
LibreCat: https://research-explorer.ista.ac.at/record/6808
DOI: 10.1016/j.ymeth.2019.07.019
WoS: 000525860400005
PMID: 31344404

Filakovský M, Vokínek L. Are two given maps homotopic? An algorithmic viewpoint. Foundations of Computational Mathematics. 2020;20:311-330. doi:10.1007/s10208-019-09419-x
LibreCat: https://research-explorer.ista.ac.at/record/6563
DOI: 10.1007/s10208-019-09419-x
WoS: 000522437400004
arXiv: 1312.2337

Henderson PM, Ferrari V. Learning single-image 3D reconstruction by generative modelling of shape, pose and shading. International Journal of Computer Vision. 2020;128:835-854. doi:10.1007/s11263-019-01219-8
LibreCat: https://research-explorer.ista.ac.at/record/6952
DOI: 10.1007/s11263-019-01219-8
WoS: 000491042100002
arXiv: 1901.06447

Donahue R, Maes ME, Grosser J, Nickells R. BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage. Molecular Neurobiology. 2020;57(2):1070–1084. doi:10.1007/s12035-019-01783-7
LibreCat: https://research-explorer.ista.ac.at/record/7033
DOI: 10.1007/s12035-019-01783-7
WoS: 000493754200001
PMID: 31673950

Zhang Y, Friml J. Auxin guides roots to avoid obstacles during gravitropic growth. New Phytologist. 2020;225(3):1049-1052. doi:10.1111/nph.16203
LibreCat: https://research-explorer.ista.ac.at/record/6997
DOI: 10.1111/nph.16203
WoS: 000489638800001
PMID: 31603260