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.

6620 Publications


2020 | Published | Conference Paper | IST-REx-ID: 8322 | OA
Reverse firewalls for actively secure MPCs
S. Chakraborty, S. Dziembowski, J.B. Nielsen, in:, Advances in Cryptology – CRYPTO 2020, Springer Nature, 2020, pp. 732–762.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | Cryptology ePrint
 

2020 | Published | Conference Paper | IST-REx-ID: 7636 | OA
Non-blocking interpolation search trees with doubly-logarithmic running time
T.A. Brown, A. Prokopec, D.-A. Alistarh, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2020, pp. 276–291.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 7472 | OA
Replay of behavioral sequences in the medial prefrontal cortex during rule switching
K. Käfer, M. Nardin, K. Blahna, J.L. Csicsvari, Neuron 106 (2020) P154–165.e6.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 7643 | OA
SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism
H. Han, H. Rakusova, I. Verstraeten, Y. Zhang, J. Friml, Plant Physiology 183 (2020) 37–40.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Published | Conference Paper | IST-REx-ID: 8382 | OA
Long-lived snapshots with polylogarithmic amortized step complexity
M.A. Baig, D. Hendler, A. Milani, C. Travers, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 31–40.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2020 | Published | 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 | Published | Journal Article | IST-REx-ID: 8755 | OA
Surpassing the resistance quantum with a geometric superinductor
M. Peruzzo, A. Trioni, F. Hassani, M. Zemlicka, J.M. Fink, Physical Review Applied 14 (2020).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 6185 | OA
Cusp universality for random matrices I: Local law and the complex Hermitian case
L. Erdös, T.H. Krüger, D.J. Schröder, Communications in Mathematical Physics 378 (2020) 1203–1278.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 6184 | OA
Correlated random matrices: Band rigidity and edge universality
J. Alt, L. Erdös, T.H. Krüger, D.J. Schröder, Annals of Probability 48 (2020) 963–1001.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 7481 | OA
Functional vs. parametric equivalence of ReLU networks
M. Phuong, C. Lampert, in:, 8th International Conference on Learning Representations, 2020.
[Published Version] View | Files available
 

2020 | Published | Thesis | PhD | IST-REx-ID: 7896 | OA
On the average-case hardness of total search problems
C. Kamath Hosdurg, On the Average-Case Hardness of Total Search Problems, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 179 | OA
Density of rational points on a quadric bundle in ℙ3×ℙ3
T.D. Browning, R. Heath Brown, Duke Mathematical Journal 169 (2020) 3099–3165.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | 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 | Published | Journal Article | IST-REx-ID: 14891 | OA
The local density approximation in density functional theory
M. Lewin, E.H. Lieb, R. Seiringer, Pure and Applied Analysis 2 (2020) 35–73.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7388 | OA
Nondivergence form quasilinear heat equations driven by space-time white noise
M. Gerencser, Annales de l’Institut Henri Poincaré C 37 (2020) 663–682.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

earlier version | 2020 | Published | 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, IEEE, 2020.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7651 | OA
A developmentally descriptive method for quantifying shape in gastropod shells
J. Larsson, A.M. Westram, S. Bengmark, T. Lundh, R.K. Butlin, Journal of the Royal Society Interface 17 (2020).
[Published Version] View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 7431 | OA
Decomposing information into copying versus transformation
A. Kolchinsky, B. Corominas-Murtra, Journal of the Royal Society Interface 17 (2020).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2020 | Research Data Reference | IST-REx-ID: 9814 | OA
Data and mathematica notebooks for plotting figures from language learning with communication between learners from language acquisition with communication between learners
R. Ibsen-Jensen, J. Tkadlec, K. Chatterjee, M. Nowak, (2020).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2020 | Published | Journal Article | IST-REx-ID: 8586 | OA
3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy
F. Fäßler, B. Zens, R. Hauschild, F.K. Schur, Journal of Structural Biology 212 (2020).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed