eRecommendationc for the further procedure for open access monitoring. Deliverable of the AOA subproject T-B
P. Danowski, A. Ferus, A.-L. Hikl, G. McNeill, C. Miniberger, S. Reding, T. Zarka, M. Zojer, Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare 73 (2020) 278–284.
LibreCat: https://research-explorer.ista.ac.at/record/8706
DOI: 10.31263/voebm.v73i2.3941

Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy
S. Laukoter, N. Amberg, F. Pauler, S. Hippenmeyer, STAR Protocols 1 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8978
DOI: 10.1016/j.xpro.2020.100215
PMID: 33377108

Lagrangian reachtubes: The next generation
S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu, in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020, pp. 1556–1563.
LibreCat: https://research-explorer.ista.ac.at/record/9103
DOI: 10.1109/CDC42340.2020.9304042
arXiv: 2012.07458

Global convergence of deep networks with one wide layer followed by pyramidal topology
Q. Nguyen, M. Mondelli, in:, 34th Conference on Neural Information Processing Systems, Curran Associates, 2020, pp. 11961–11972.
LibreCat: https://research-explorer.ista.ac.at/record/9221
arXiv: 2002.07867

Inducing and exploiting activation sparsity for fast neural network inference
M. Kurtz, J. Kopinsky, R. Gelashvili, A. Matveev, J. Carr, M. Goin, W. Leiserson, S. Moore, B. Nell, N. Shavit, D.-A. Alistarh, in:, 37th International Conference on Machine Learning, ICML 2020, 2020, pp. 5533–5543.
LibreCat: https://research-explorer.ista.ac.at/record/9415

Learning representations for binary-classification without backpropagation
M. Lechner, in:, 8th International Conference on Learning Representations, ICLR, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/10672

Unsupervised object-centric video generation and decomposition in 3D
P.M. Henderson, C. Lampert, in:, 34th Conference on Neural Information Processing Systems, Curran Associates, 2020, pp. 3106–3117.
LibreCat: https://research-explorer.ista.ac.at/record/8188
arXiv: 2007.06705

Austrian High-Performance-Computing meeting (AH)
A. Schlögl, J. Kiss, S. Elefante, eds., Austrian High-Performance-Computing Meeting (AH), IST Austria, Klosterneuburg, Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7474
DOI: 10.15479/AT:ISTA:7474

How many bits does it take to quantize your neural network?
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.
LibreCat: https://research-explorer.ista.ac.at/record/7808
DOI: 10.1007/978-3-030-45237-7_5

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

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

Connectivity of triangulation flip graphs in the plane (Part I: Edge flips)
U. Wagner, E. Welzl, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 2823–2841.
LibreCat: https://research-explorer.ista.ac.at/record/7807
DOI: 10.1137/1.9781611975994.172
arXiv: 2003.13557

How do species barriers decay? concordance and local introgression in mosaic hybrid zones of mussels
A. Simon, C. Fraisse, T. El Ayari, C. Liautard-Haag, P. Strelkov, J. Welch, N. Bierne, (2020).
LibreCat: https://research-explorer.ista.ac.at/record/13073
DOI: 10.5061/DRYAD.R4XGXD29N

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

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

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

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

Gromov's waist of non-radial Gaussian measures and radial non-Gaussian measures
A. Akopyan, R. Karasev, in:, B. Klartag, E. Milman (Eds.), Geometric Aspects of Functional Analysis, Springer Nature, 2020, pp. 1–27.
LibreCat: https://research-explorer.ista.ac.at/record/74
DOI: 10.1007/978-3-030-36020-7_1
WoS: 000557689300003
arXiv: 1808.07350

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

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