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.

4966 Publications


2020 | Published | Conference Paper | IST-REx-ID: 10672 | OA
Lechner M. 2020. Learning representations for binary-classification without backpropagation. 8th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.
[Published Version] View | Files available | Download Published Version (ext.)
 

2020 | Published | Conference Paper | IST-REx-ID: 10673 | OA
Hasani R, Lechner M, Amini A, Rus D, Grosu R. 2020. A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits. Proceedings of the 37th International Conference on Machine Learning. ML: Machine LearningPMLR, PMLR, , 4082–4093.
[Published Version] View | Files available | Download Published Version (ext.)
 

2020 | Published | Journal Article | IST-REx-ID: 10861
Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. 2020. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. International Journal on Software Tools for Technology Transfer. 22(6), 741–758.
View | Files available | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 10862 | OA
Bao Z, Erdös L, Schnelli K. 2020. Spectral rigidity for addition of random matrices at the regular edge. Journal of Functional Analysis. 279(7), 108639.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 10866 | OA
Duan J, Capote-Robayna N, Taboada-Gutiérrez J, Álvarez-Pérez G, Prieto Gonzalez I, Martín-Sánchez J, Nikitin AY, Alonso-González P. 2020. Twisted nano-optics: Manipulating light at the nanoscale with twisted phonon polaritonic slabs. Nano Letters. 20(7), 5323–5329.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 10867 | OA
Akopyan A, Karasev R. 2020. Waist of balls in hyperbolic and spherical spaces. International Mathematics Research Notices. 2020(3), 669–697.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7788 | OA
Adjobo-Hermans MJW, De Haas R, Willems PHGM, Wojtala A, Van Emst-De Vries SE, Wagenaars JA, Van Den Brand M, Rodenburg RJ, Smeitink JAM, Nijtmans LG, Sazanov LA, Wieckowski MR, Koopman WJH. 2020. NDUFS4 deletion triggers loss of NDUFA12 in Ndufs4−/− mice and Leigh syndrome patients: A stabilizing role for NDUFAF2. Biochimica et Biophysica Acta - Bioenergetics. 1861(8), 148213.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 7789 | OA
Dekoninck S, Hannezo EB, Sifrim A, Miroshnikova YA, Aragona M, Malfait M, Gargouri S, De Neunheuser C, Dubois C, Voet T, Wickström SA, Simons BD, Blanpain C. 2020. Defining the design principles of skin epidermis postnatal growth. Cell. 181(3), 604–620.e22.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 7790 | OA
Deuchert A, Mayer S, Seiringer R. 2020. The free energy of the two-dimensional dilute Bose gas. I. Lower bound. Forum of Mathematics, Sigma. 8, e20.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7792
Taboada-Gutiérrez J, Álvarez-Pérez G, Duan J, Ma W, Crowley K, Prieto Gonzalez I, Bylinkin A, Autore M, Volkova H, Kimura K, Kimura T, Berger MH, Li S, Bao Q, Gao XPA, Errea I, Nikitin AY, Hillenbrand R, Martín-Sánchez J, Alonso-González P. 2020. Broad spectral tuning of ultra-low-loss polaritons in a van der Waals crystal by intercalation. Nature Materials. 19, 964–968.
View | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 7793 | OA
Kuhn A, Ramans Harborough S, McLaughlin HM, Natarajan B, Verstraeten I, Friml J, Kepinski S, Østergaard L. 2020. Direct ETTIN-auxin interaction controls chromatin states in gynoecium development. eLife. 9, e51787.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Submitted | Preprint | IST-REx-ID: 7800 | OA
Morandell J, Schwarz LA, Basilico B, Tasciyan S, Nicolas A, Sommer CM, Kreuzinger C, Knaus L, Dobler Z, Cacci E, Danzl JG, Novarino G. Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. bioRxiv, 10.1101/2020.01.10.902064 .
[Preprint] View | Files available | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 7802 | OA
Czumaj A, Davies P, Parter M. 2020. Graph sparsification for derandomizing massively parallel computation with low space. Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020). SPAA: Symposium on Parallelism in Algorithms and Architectures, 175–185.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 7803 | OA
Czumaj A, Davies P, Parter M. 2020. Simple, deterministic, constant-round coloring in the congested clique. Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing. PODC: Symposium on Principles of Distributed Computing, 309–318.
[Submitted Version] View | Files available | DOI | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7804 | OA
Flynn SM, Chen C, Artan M, Barratt S, Crisp A, Nelson GM, Peak-Chew SY, Begum F, Skehel M, de Bono M. 2020. MALT-1 mediates IL-17 neural signaling to regulate C. elegans behavior, immunity and longevity. Nature Communications. 11, 2099.
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 7805 | OA
Hurny A, Cuesta C, Cavallari N, Ötvös K, Duclercq J, Dokládal L, Montesinos López JC, Gallemi M, Semerádová H, Rauter T, Stenzel I, Persiau G, Benade F, Bhalearo R, Sýkorová E, Gorzsás A, Sechet J, Mouille G, Heilmann I, De Jaeger G, Ludwig-Müller J, Benková E. 2020. Synergistic on Auxin and Cytokinin 1 positively regulates growth and attenuates soil pathogen resistance. Nature Communications. 11, 2170.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Conference Paper | IST-REx-ID: 7806 | OA
Filakovský M, Wagner U, Zhechev SY. 2020. Embeddability of simplicial complexes is undecidable. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2020–January, 767–785.
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Published | Conference Paper | IST-REx-ID: 7807 | OA
Wagner U, Welzl E. 2020. Connectivity of triangulation flip graphs in the plane (Part I: Edge flips). Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2020–January, 2823–2841.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 7808 | OA
Giacobbe M, Henzinger TA, Lechner M. 2020. How many bits does it take to quantize your neural network? International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 12079, 79–97.
[Published Version] View | Files available | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 7810 | OA
Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. 2020. Optimal and perfectly parallel algorithms for on-demand data-flow analysis. European Symposium on Programming. ESOP: Programming Languages and Systems, LNCS, vol. 12075, 112–140.
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

department=IST

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed