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.




4963 Publications

2020 | Published | Conference Paper | IST-REx-ID: 9198 | OA
Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks
A. Shevchenko, M. Mondelli, in:, Proceedings of the 37th International Conference on Machine Learning, ML Research Press, 2020, pp. 8773–8784.
[Published Version] View | Files available | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 9202 | OA
Hybridization for stability verification of nonlinear switched systems
M. Garcia Soto, P. Prabhakar, in:, 2020 IEEE Real-Time Systems Symposium, IEEE, 2020, pp. 244–256.
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 9208
A bending-active twisted-arch plywood structure: Computational design and fabrication of the FlexMaps Pavilion
F. Laccone, L. Malomo, J. Perez Rodriguez, N. Pietroni, F. Ponchio, B. Bickel, P. Cignoni, SN Applied Sciences 2 (2020).
View | DOI
 
2020 | Published | Conference Paper | IST-REx-ID: 9221 | OA
Global convergence of deep networks with one wide layer followed by pyramidal topology
Q. Nguyen, M. Mondelli, in:, 34th Conference on Neural Information Processing Systems, Curran Associates, 2020, pp. 11961–11972.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2020 | Research Data | IST-REx-ID: 9222 | OA
Transport data for: Site‐controlled uniform Ge/Si Hut wires with electrically tunable spin–orbit coupling
G. Katsaros, (2020).
[Published Version] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 9249 | OA
Digital objects in rhombic dodecahedron grid
R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, Mathematical Morphology - Theory and Applications 4 (2020) 143–158.
[Published Version] View | Files available | DOI
 
2020 | Published | Conference Paper | IST-REx-ID: 9299 | OA
Crossings between non-homotopic edges
J. Pach, G. Tardos, G. Tóth, in:, 28th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2020, pp. 359–371.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Published | 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 | Research Data Reference | IST-REx-ID: 9326 | OA
Charge transfer and chemo-mechanical coupling in respiratory complex I
C. Gupta, U. Khaniya, C. Chan, F. Dehez, M. Shekhar, M.R. Gunner, L.A. Sazanov, C. Chipot, A. Singharoy, (2020).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2020 | Conference Paper | IST-REx-ID: 9415 | OA
Inducing and exploiting activation sparsity for fast neural network inference
M. Kurtz, J. Kopinsky, R. Gelashvili, A. Matveev, J. Carr, M. Goin, W. Leiserson, S. Moore, B. Nell, N. Shavit, D.-A. Alistarh, in:, 37th International Conference on Machine Learning, ICML 2020, 2020, pp. 5533–5543.
[Published Version] View | Files available
 
2020 | Published | Journal Article | IST-REx-ID: 9526 | OA
DNA methylation and histone H1 jointly repress transposable elements and aberrant intragenic transcripts
J. Choi, D.B. Lyons, M.Y. Kim, J.D. Moore, D. Zilberman, Molecular Cell 77 (2020) 310–323.e7.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Published | Journal Article | IST-REx-ID: 9630 | OA
Topological data analysis in information space
H. Edelsbrunner, Z. Virk, H. Wagner, Journal of Computational Geometry 11 (2020) 162–182.
[Published Version] View | Files available | DOI
 
2020 | Published | Conference Paper | IST-REx-ID: 9631 | OA
Scalable belief propagation via relaxed scheduling
V. Aksenov, D.-A. Alistarh, J. Korhonen, in:, Advances in Neural Information Processing Systems, Curran Associates, 2020, pp. 22361–22372.
[Published Version] View | Download Published Version (ext.) | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 9632 | OA
WoodFisher: Efficient second-order approximation for neural network compression
S.P. Singh, D.-A. Alistarh, in:, Advances in Neural Information Processing Systems, Curran Associates, 2020, pp. 18098–18109.
[Published Version] View | Download Published Version (ext.) | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 9633 | OA
A meta-learning approach to (re)discover plasticity rules that carve a desired function into a neural network
B.J. Confavreux, F. Zenke, E.J. Agnes, T. Lillicrap, T.P. Vogels, in:, Advances in Neural Information Processing Systems, 2020, pp. 16398–16408.
[Published Version] View | Files available | Download Published Version (ext.)
 
2020 | Submitted | Preprint | IST-REx-ID: 10012 | OA
The local structure of the energy landscape in multiphase mean curvature flow: weak-strong uniqueness and stability of evolutions
J.L. Fischer, S. Hensel, T. Laux, T. Simon, ArXiv (n.d.).
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2020 | Submitted | Preprint | IST-REx-ID: 10022 | OA
Evolutionary Γ-convergence of entropic gradient flow structures for Fokker-Planck equations in multiple dimensions
D.L. Forkert, J. Maas, L. Portinale, ArXiv (n.d.).
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 10328
New designs and noise channels in electro-optic microwave to optical up-conversion
N.J. Lambert, S. Mobassem, A.R. Rueda Sanchez, H.G.L. Schwefel, in:, OSA Quantum 2.0 Conference, Optica Publishing Group, 2020.
View | DOI
 
2020 | Published | Conference Paper | IST-REx-ID: 10556 | OA
Asynchronous distributed key generation for computationally-secure randomness, consensus, and threshold signatures
E. Kokoris Kogias, D. Malkhi, A. Spiegelman, in:, Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2020, pp. 1751–1767.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2020 | Patent | IST-REx-ID: 10557 | OA
Cryptographically verifiable data structure having multi-hop forward and backwards links and associated systems and methods
B. Ford, L. Gasse, E. Kokoris Kogias, P. Jovanovic, (2020).
[Published Version] View | Files available | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed