Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

4181 Publications


2020 | Book (Editor) | IST-REx-ID: 7474 | OA
Austrian High-Performance-Computing meeting (AHPC2020)
A. Schlögl, J. Kiss, S. Elefante, eds., Austrian High-Performance-Computing Meeting (AHPC2020), IST Austria, Klosterneuburg, Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7808 | OA
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.
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7952 | OA
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.
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7990 | OA
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.
[Published Version] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7807 | OA
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.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2020 | Research Data Reference | IST-REx-ID: 13073 | OA
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).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2020 | Research Data Reference | IST-REx-ID: 13065 | OA
VCF files of synonymous SNPs related to: Genomic inference of complex domestication histories in three Solanaceae species
S. Arnoux, C. Fraisse, C. Sauvage, (2020).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8536 | OA
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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9308 | OA
Eliminating higher-multiplicity intersections, III. Codimension 2
S. Avvakumov, U. Wagner, I. Mabillard, A.B. Skopenkov, Russian Mathematical Surveys 75 (2020) 1156–1158.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 6358 | OA
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.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Book Chapter | IST-REx-ID: 74 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 177 | OA
A geometric version of the circle method
T.D. Browning, W. Sawin, Annals of Mathematics 191 (2020) 893–948.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 6649 | OA
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.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 6796 | OA
Partial coherence and frustration in self-organizing spherical grids
F. Stella, E. Urdapilleta, Y. Luo, A. Treves, Hippocampus 30 (2020) 302–313.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 6761 | OA
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 807 (2020) 42–55.
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 6593 | OA
An efficient projection-type method for monotone variational inequalities in Hilbert spaces
Y. Shehu, X.-H. Li, Q.-L. Dong, Numerical Algorithms 84 (2020) 365–388.
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 6808 | OA
Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens
W. Jahr, P. Velicky, J.G. Danzl, Methods 174 (2020) 27–41.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 6563 | OA
Are two given maps homotopic? An algorithmic viewpoint
M. Filakovský, L. Vokřínek, Foundations of Computational Mathematics 20 (2020) 311–330.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 6952 | OA
Learning single-image 3D reconstruction by generative modelling of shape, pose and shading
P.M. Henderson, V. Ferrari, International Journal of Computer Vision 128 (2020) 835–854.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 7033 | OA
BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage
R. Donahue, M.E. Maes, J. Grosser, R. Nickells, Molecular Neurobiology 57 (2020) 1070–1084.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications