Please note that IST 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.

5761 Publications


2020 | Conference Paper | IST-REx-ID: 7481 | OA
Bui Thi Mai P, Lampert C. Functional vs. parametric equivalence of ReLU networks
View | Files available
 

2020 | Journal Article | IST-REx-ID: 7500 | OA
Mazur E, Kulik I, Hajny J, Friml J. 2020. Auxin canalization and vascular tissue formation by TIR1/AFB-mediated auxin signaling in arabidopsis. New Phytologist.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 7505
Henzinger TA, Lukina A, Schilling C. Outside the box: Abstraction-based monitoring of neural networks. 24th European Conference on Artificial Intelligence. ECAI: European Conference on Artificial Intelligence
View | arXiv
 

2020 | Journal Article | IST-REx-ID: 7509 | OA
Zhang H. From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture. Advances in Mathematics.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 7525
Bhandari P. 2020. Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway, IST Austria, 79p.
View | Files available | DOI
 

Search

Filter Publications