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

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




2782 Publications

2020 | Preprint | IST-REx-ID: 7463 | OA View | Download Preprint (ext.)
 
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.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 7481 | OA
Functional vs. parametric equivalence of ReLU networks
P. Bui Thi Mai, C. Lampert, in:, n.d.
View | Files available
 
2020 | Journal Article | IST-REx-ID: 7500 | OA View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 7505
Outside the box: Abstraction-based monitoring of neural networks
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, n.d.
View | arXiv
 
2020 | Journal Article | IST-REx-ID: 7509 | OA View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Thesis | IST-REx-ID: 7525
Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, IST Austria, 2020.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7594 | OA
How spin-orbital entanglement depends on the spin-orbit coupling in a Mott insulator
D. Gotfryd, E. Paerschke, J. Chaloupka, A.M. Oles, K. Wohlfeld, Physical Review Research 2 (2020).
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 7601 | OA
Plasmodesmata-like intercellular connections by plant remorin in animal cells
Z. Wei, S. Tan, T. Liu, Y. Wu, J.-G. Lei, Z. Chen, J. Friml, H.-W. Xue, K. Liao, BioRxiv (2020).
View | Download Preprint (ext.)
 
2020 | Thesis | IST-REx-ID: 7629 | OA
Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains
D.L. Forkert, Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains, IST Austria, 2020.
View | Files available | DOI
 

Search

Filter Publications