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.

4934 Publications


2021 | Journal Article | IST-REx-ID: 10180 | OA
Sparsity in deep learning: Pruning and growth for efficient inference and training in neural networks
T. Hoefler, D.-A. Alistarh, T. Ben-Nun, N. Dryden, E.-A. Peste, Journal of Machine Learning Research 22 (2021) 1–124.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10218 | OA
Brief announcement: Fast graphical population protocols
D.-A. Alistarh, R. Gelashvili, J. Rybicki, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10217 | OA
Lower bounds for shared-memory leader election under bounded write contention
D.-A. Alistarh, R. Gelashvili, G. Nadiradze, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10216 | OA
Brief announcement: Non-blocking dynamic unbounded graphs with worst-case amortized bounds
B. Chatterjee, S. Peri, M. Sa, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10219 | OA
Brief announcement: Sinkless orientation is hard also in the supported LOCAL model
J. Korhonen, A. Paz, J. Rybicki, S. Schmid, J. Suomela, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Book Chapter | IST-REx-ID: 10267
Evaluation of gravitropism in non-seed plants
Y. Zhang, L. Li, J. Friml, in:, E.B. Blancaflor (Ed.), Plant Gravitropism, Springer Nature, 2021, pp. 43–51.
View | DOI | PubMed | Europe PMC
 

2021 | Book Chapter | IST-REx-ID: 10268
Automated time-lapse imaging and manipulation of cell divisions in Arabidopsis roots by vertical-stage confocal microscopy
L. Hörmayer, J. Friml, M. Glanc, in:, Plant Cell Division, Humana Press, 2021, pp. 105–114.
View | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 10285 | OA
On eigenvector statistics in the spherical and truncated unitary ensembles
G. Dubach, Electronic Journal of Probability 26 (2021).
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10367 | OA
Recognizing multimodal entailment
C. Ilharco, A. Shirazi, A. Gopalan, A. Nagrani, B. Bratanič, C. Bregler, C. Liu, F. Ferreira, G. Barcik, G. Ilharco, G.F. Osang, J. Bulian, J. Frank, L. Smaira, Q. Cao, R. Marino, R. Patel, T. Leung, V. Imbrasaite, in:, 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts, Association for Computational Linguistics, 2021, pp. 29–30.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2021 | Book | IST-REx-ID: 10415
Cubic Forms and the Circle Method
T.D. Browning, Cubic Forms and the Circle Method, Springer Nature, Cham, 2021.
View | DOI
 

2021 | Journal Article | IST-REx-ID: 10535 | OA
Dynamic maximum entropy provides accurate approximation of structured population dynamics
K. Bodova, E. Szep, N.H. Barton, PLoS Computational Biology 17 (2021).
[Published Version] View | Files available | DOI | PubMed | Europe PMC | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10552 | OA
One-sided Frank-Wolfe algorithms for saddle problems
V. Kolmogorov, T. Pock, in:, 38th International Conference on Machine Learning, 2021.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10595 | OA
Tight bounds on the smallest eigenvalue of the neural tangent kernel for deep ReLU networks
Q. Nguyen, M. Mondelli, G.F. Montufar, in:, M. Meila, T. Zhang (Eds.), Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.
[Published Version] View | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10599 | OA
Successive syndrome-check decoding of polar codes
S.A. Hashemi, M. Mondelli, J. Cioffi, A. Goldsmith, in:, Proceedings of the 55th Asilomar Conference on Signals, Systems, and Computers, Institute of Electrical and Electronics Engineers, 2021, pp. 943–947.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 10608 | OA
Coarse infinite-dimensionality of hyperspaces of finite subsets
T. Weighill, T. Yamauchi, N. Zava, European Journal of Mathematics (2021).
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 10613 | OA
Higher-order hydrodynamics and equilibrium fluctuations of interacting particle systems
J.P. Chen, F. Sau, Markov Processes And Related Fields 27 (2021) 339–380.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10630 | OA
On the complexity of intersection non-emptiness for star-free language classes
E. Arrighi, H. Fernau, S. Hoffmann, M. Holzer, I.R. Jecker, M. De Oliveira Oliveira, P. Wolf, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10629 | OA
Quantitative verification on product graphs of small treewidth
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 10635 | OA
Nonlinear computations in spiking neural networks through multiplicative synapses
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, Peer Community Journal 1 (2021).
[Published Version] View | Files available | DOI | arXiv
 

2021 | Other Publication | IST-REx-ID: 10645 | OA
Qubit energy-relaxation statistics in the Bluefors quantum measurement system
S. Simbierowicz, C. Shi, M. Collodo, M. Kirste, F. Hassani, J.M. Fink, J. Bylander, D. Perez Lozano, R. Lake, Qubit Energy-Relaxation Statistics in the Bluefors Quantum Measurement System, Bluefors Oy, Helsinki, Finland, 2021.
[Published Version] View | Download Published Version (ext.)
 

2021 | Other Publication | IST-REx-ID: 10644 | OA
The Bluefors dilution refrigerator as an integrated quantum measurement system
R. Lake, S. Simbierowicz, P. Krantz, F. Hassani, J.M. Fink, The Bluefors Dilution Refrigerator as an Integrated Quantum Measurement System, Bluefors Oy, Helsinki, Finland, 2021.
[Published Version] View | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 10669 | OA
On the verification of neural ODEs with stochastic guarantees
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10671 | OA
Liquid time-constant networks
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10668 | OA
On-off center-surround receptive fields for accurate and robust image classification
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.
[Published Version] View | Files available | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 10670 | OA
Causal navigation by continuous-time neural networks
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10688 | OA
The Civl verifier
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10694 | OA
Infinite-duration all-pay bidding games
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10847 | OA
Solving partially observable stochastic shortest-path games
P. Tomášek, K. Horák, A. Aradhye, B. Bošanský, K. Chatterjee, in:, 30th International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2021, pp. 4182–4189.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 10853 | OA
A scalable concurrent algorithm for dynamic connectivity
A. Fedorov, N. Koval, D.-A. Alistarh, in:, Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2021, pp. 208–220.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 10912 | OA
Quantifying the coexistence of neuronal oscillations and avalanches
F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, D. De Martino, (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 11436 | OA
Asynchronous optimization methods for efficient training of deep neural networks with guarantees
V. Kungurtsev, M. Egan, B. Chatterjee, D.-A. Alistarh, in:, 35th AAAI Conference on Artificial Intelligence, AAAI 2021, AAAI Press, 2021, pp. 8209–8216.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 11453 | OA
Online learning of neural computations from sparse temporal feedback
L. Braun, T.P. Vogels, in:, Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 16437–16450.
[Published Version] View | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 11452 | OA
Distributed principal component analysis with limited communication
F. Alimisis, P. Davies, B. Vandereycken, D.-A. Alistarh, in:, Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 2823–2834.
[Published Version] View | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 11463 | OA
M-FAC: Efficient matrix-free approximations of second-order information
E. Frantar, E. Kurtic, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 14873–14886.
[Published Version] View | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 11464 | OA
Towards tight communication lower bounds for distributed optimisation
D.-A. Alistarh, J. Korhonen, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 7254–7266.
[Published Version] View | Download Published Version (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 12077 | OA
On the leading constant in the Manin-type conjecture for Campana points
A.L. Shute, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 12076 | OA
Sums of four squareful numbers
A.L. Shute, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Book Chapter | IST-REx-ID: 7941
Simple multi-color super-resolution by X10 microscopy
S.M. Truckenbrodt, S.O. Rizzoli, in:, Methods in Cell Biology, Elsevier, 2021, pp. 33–56.
View | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9097 | OA
Role of subnetworks mediated by TNF α, IL-23/IL-17 and IL-15 in a network involved in the pathogenesis of psoriasis
R. Pandey, Y. Al-Nuaimi, R.K. Mishra, S.K. Spurgeon, M. Goodfellow, Scientific Reports 11 (2021).
[Published Version] View | Files available | DOI
 

2021 | Book Chapter | IST-REx-ID: 9245
Quantifying tissue tension in the granulosa layer after laser surgery
P. Xia, C.-P.J. Heisenberg, in:, R. Dosch (Ed.), Germline Development in the Zebrafish, Humana, 2021, pp. 117–128.
View | DOI | PubMed | Europe PMC
 

2021 | Conference Paper | IST-REx-ID: 9296 | OA
On compatible matchings
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, in:, 15th International Conference on Algorithms and Computation, Springer Nature, 2021, pp. 221–233.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Book Chapter | IST-REx-ID: 9403 | OA
The evolution of strategic ignorance in strategic interaction
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
[Published Version] View | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9466 | OA
The convergence of slide-type reductions
M. Walter, in:, Public-Key Cryptography – PKC 2021, Springer Nature, 2021, pp. 45–67.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9465 | OA
A step in the Delaunay mosaic of order k
H. Edelsbrunner, A. Nikitenko, G.F. Osang, Journal of Geometry 112 (2021).
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9543 | OA
New bounds for distributed mean estimation and variance reduction
P. Davies, V. Gurunanthan, N. Moshrefi, S. Ashkboos, D.-A. Alistarh, in:, 9th International Conference on Learning Representations, 2021.
[Published Version] View | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9592 | OA
Massively winning configurations in the convex grabbing game on the plane
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, n.d.
[Submitted Version] View | Files available | arXiv
 

2021 | Preprint | IST-REx-ID: 9082 | OA
Simultaneous identification of brain cell type and lineage via single cell RNA sequencing
D.J. Anderson, F. Pauler, A. McKenna, J. Shendure, S. Hippenmeyer, M.S. Horwitz, BioRxiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9210 | OA
Does SGD implicitly optimize for smoothness?
V. Volhejn, C. Lampert, in:, 42nd German Conference on Pattern Recognition, Springer, 2021, pp. 246–259.
[Submitted Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9345 | OA
The density fingerprint of a periodic point set
H. Edelsbrunner, T. Heiss, V. Kurlin , P. Smith, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 32:1-32:16.
[Published Version] View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 9435 | OA
Non co-preservation of the 1/2 and 1/(2l+1)-rational caustics along deformations of circles
V. Kaloshin, E. Koudjinan, (2021).
[Submitted Version] View | Files available
 

2021 | Conference Paper | IST-REx-ID: 9604 | OA
Counting cells of order-k voronoi tessellations in ℝ3 with morse theory
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9620 | OA
Collecting coupons is faster with friends
D.-A. Alistarh, P. Davies, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 3–12.
[Preprint] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9826 | OA
Inverse-Sybil attacks in automated contact tracing
B. Auerbach, S. Chakraborty, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, M.X. Yeo, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 399–421.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9825 | OA
Dual lattice attacks for closest vector problems (with preprocessing)
T. Laarhoven, M. Walter, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 478–502.
[Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9823 | OA
Wait-free approximate agreement on graphs
D.-A. Alistarh, F. Ellen, J. Rybicki, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 87–105.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9824
Body centered cubic grid - coordinate system and discrete analytical plane definition
L. Čomić, R. Zrour, G. Largeteau-Skapin, R. Biswas, E. Andres, in:, Discrete Geometry and Mathematical Morphology, Springer Nature, 2021, pp. 152–163.
View | DOI
 

2021 | Preprint | IST-REx-ID: 9980 | OA
Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries
C. Prehal, S.D. Talian, A. Vizintin, H. Amenitsch, R. Dominko, S.A. Freunberger, V. Wood, Research Square (n.d.).
[Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Conference Paper | IST-REx-ID: 12767 | OA
On satisficing in quantitative games
S. Bansal, K. Chatterjee, M.Y. Vardi, in:, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2021, pp. 20–37.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Preprint | IST-REx-ID: 10011 | OA
A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness
S. Hensel, T. Laux, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 9230 | OA
Maxima of a random model of the Riemann zeta function over intervals of varying length
L.-P. Arguin, G. Dubach, L. Hartung, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 9281 | OA
Formal verification of Zagier's one-sentence proof
G. Dubach, F. Mühlböck, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 10579 | OA
Token-driven totally asymmetric simple exclusion process
B. Kavcic, G. Tkačik, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 10806 | OA
Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate
M. Calcabrini, D. Van den Eynden, S. Sanchez Ribot, R. Pokratath, J. Llorca, J. De Roo, M. Ibáñez, JACS Au 1 (2021) 1898–1903.
[Published Version] View | Files available | DOI
 

2021 | Conference Abstract | IST-REx-ID: 12909 | OA
Managing software on a heterogenous HPC cluster
A. Schlögl, S. Elefante, A. Hornoiu, S. Stadlbauer, in:, ASHPC21 – Austrian-Slovenian HPC Meeting 2021, University of Ljubljana, 2021, p. 5.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 11458 | OA
AC/DC: Alternating Compressed/DeCompressed training of deep neural networks
E.-A. Peste, E.B. Iofinova, A. Vladu, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 8557–8570.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 10585 | OA
Emergence of anyons on the two-sphere in molecular impurities
M. Brooks, M. Lemeshko, D. Lundholm, E. Yakaboylu, Atoms 9 (2021).
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 13147 | OA
Communication-efficient distributed optimization with quantized preconditioners
F. Alimisis, P. Davies, D.-A. Alistarh, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 196–206.
[Published Version] View | Files available | arXiv
 

2021 | Conference Paper | IST-REx-ID: 13146 | OA
Tight bounds on the smallest Eigenvalue of the neural tangent kernel for deep ReLU networks
Q. Nguyen, M. Mondelli, G. Montufar, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.
[Published Version] View | Files available | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10665 | OA
Scalable verification of quantized neural networks
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10667 | OA
Infinite time horizon safety of Bayesian neural networks
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2021 | Research Data Reference | IST-REx-ID: 13072 | OA
Blood-based epigenome-wide analyses of cognitive abilities
McCartney DL, Hillary RF, Conole EL, Trejo Banos D, Gadd DA, Walker RM, Nangle C, Flaig R, Campbell A, Murray AD, Munoz Maniega S, del C Valdes-Hernandez M, Harris MA, Bastin ME, Wardlaw JM, Harris SE, Porteous DJ, Tucker-Drob EM, McIntosh AM, Evans KL, Deary IJ, Cox SR, Robinson MR, Marioni RE. 2021. Blood-based epigenome-wide analyses of cognitive abilities, Zenodo, 10.5281/ZENODO.5794028.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2021 | Research Data Reference | IST-REx-ID: 13068 | OA
Spatiotemporal dynamics of self-organized branching in pancreas-derived organoids
S. Randriamanantsoa, A. Papargyriou, C. Maurer, K. Peschke, M. Schuster, G. Zecchin, K. Steiger, R. Öllinger, D. Saur, C. Scheel, R. Rad, E.B. Hannezo, M. Reichert, A.R. Bausch, (2021).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 7551 | OA
Ventro-dorsal hippocampal pathway gates novelty-induced contextual memory formation
F.A. Fredes Tolorza, M.A. Silva Sifuentes, P. Koppensteiner, K. Kobayashi, M.A. Jösch, R. Shigemoto, Current Biology 31 (2021) P25–38.E5.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 7463 | OA
Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches
F. Lombardi, O. Shriki, H.J. Herrmann, L. de Arcangelis, Neurocomputing 461 (2021) 657–666.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2021 | Technical Report | IST-REx-ID: 6995 | OA
Identification of neural oscillations and epileptiform changes in human brain organoids
R.A. Samarasinghe, O. Miranda, J.E. Buth, S. Mitchell, I. Ferando, M. Watanabe, A. Kurdian, P. Golshani, K. Plath, W.E. Lowry, J.M. Parent, I. Mody, B.G. Novitch, Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids, Springer Nature, 2021.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 6965 | OA
The positivity of local equivariant Hirzebruch class for toric varieties
K.P. Rychlewicz, Bulletin of the London Mathematical Society 53 (2021) 560–574.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 8253 | OA
The remarkable robustness of surrogate gradient learning for instilling complex function in spiking neural networks
F. Zenke, T.P. Vogels, Neural Computation 33 (2021) 899–925.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 8198 | OA
Impact of drive harmonics on the stability of Floquet many-body localization
A.A. Diringer, T. Gulden, Physical Review B 103 (2021).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 8373 | OA
A divergence center interpretation of general symmetric Kubo-Ando means, and related weighted multivariate operator means
J. Pitrik, D. Virosztek, Linear Algebra and Its Applications 609 (2021) 203–217.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 8317 | OA
Folding polyominoes with holes into a cube
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, Computational Geometry: Theory and Applications 93 (2021).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 7685 | OA
The excitation spectrum of the Bose gas in the Gross-Pitaevskii regime
C. Boccato, Reviews in Mathematical Physics 33 (2021).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 8582 | OA
Cellular requirements for PIN polar cargo clustering in Arabidopsis thaliana
H. Li, D. von Wangenheim, X. Zhang, S. Tan, N. Darwish-Miranda, S. Naramoto, K.T. Wabnik, R. de Rycke, W. Kaufmann, D.J. Gütl, R. Tejos, P. Grones, M. Ke, X. Chen, J. Dettmer, J. Friml, New Phytologist 229 (2021) 351–369.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 8546 | OA
Generation of excitatory and inhibitory neurons from common progenitors via Notch signaling in the cerebellum
T. Zhang, T. Liu, N. Mora, J. Guegan, M. Bertrand, X. Contreras, A.H. Hansen, C. Streicher, M. Anderle, N. Danda, L. Tiberi, S. Hippenmeyer, B.A. Hassan, Cell Reports 35 (2021).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 8430 | OA
Genomic architecture and prediction of censored time-to-event phenotypes with a Bayesian genome-wide analysis
S.E. Ojavee, A. Kousathanas, D. Trejo Banos, E.J. Orliac, M. Patxot, K. Lall, R. Magi, K. Fischer, Z. Kutalik, M.R. Robinson, Nature Communications 12 (2021).
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 8602 | OA
Theory of mechanochemical patterning and optimal migration in cell monolayers
D.R. Boocock, N. Hino, N. Ruzickova, T. Hirashima, E.B. Hannezo, Nature Physics 17 (2021) 267–274.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2021 | Journal Article | IST-REx-ID: 8603 | OA
Quantum corrections to the Pekar asymptotics of a strongly coupled polaron
R. Frank, R. Seiringer, Communications on Pure and Applied Mathematics 74 (2021) 544–588.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 8606 | OA
GhARF16-1 modulates leaf development by transcriptionally regulating the GhKNOX2-1 gene in cotton
P. He, Y. Zhang, H. Li, X. Fu, H. Shang, C. Zou, J. Friml, G. Xiao, Plant Biotechnology Journal 19 (2021) 548–562.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 8708 | OA
How do species barriers decay? Concordance and local introgression in mosaic hybrid zones of mussels
A. Simon, C. Fraisse, T. El Ayari, C. Liautard‐Haag, P. Strelkov, J.J. Welch, N. Bierne, Journal of Evolutionary Biology 34 (2021) 208–223.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 8723 | OA
Breaking (global) barriers in parallel stochastic optimization with wait-avoiding group averaging
S. Li, T.B.-N. Tal Ben-Nun, G. Nadiradze, S.D. Girolamo, N. Dryden, D.-A. Alistarh, T. Hoefler, IEEE Transactions on Parallel and Distributed Systems 32 (2021).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 8743 | OA
Long-term cloud forest response to climate warming revealed by insect speciation history
A. Salces-Castellano, S. Stankowski, P. Arribas, J. Patino, D.N. Karger, R. Butlin, B.C. Emerson, Evolution 75 (2021) 231–244.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 8673 | OA
Scale-invariant magnetic anisotropy in RuCl3 at high magnetic fields
K.A. Modic, R.D. McDonald, J.P.C. Ruff, M.D. Bachmann, Y. Lai, J.C. Palmstrom, D. Graf, M.K. Chan, F.F. Balakirev, J.B. Betts, G.S. Boebinger, M. Schmidt, M.J. Lawler, D.A. Sokolov, P.J.W. Moll, B.J. Ramshaw, A. Shekhter, Nature Physics 17 (2021) 240–244.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 8757 | OA
Talking science, online
P. Bozelos, T.P. Vogels, Nature Reviews Neuroscience 22 (2021) 1–2.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 8793 | OA
Optimal strategies for selecting coordinators
M. Zeiner, U. Schmid, K. Chatterjee, Discrete Applied Mathematics 289 (2021) 392–415.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 8816 | OA
Area-dependent quantum field theory
I. Runkel, L. Szegedy, Communications in Mathematical Physics 381 (2021) 83–117.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 8818
Coupling of hippocampal theta and ripples with pontogeniculooccipital waves
J.F. Ramirez Villegas, M. Besserve, Y. Murayama, H.C. Evrard, A. Oeltermann, N.K. Logothetis, Nature 589 (2021) 96–102.
View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 8773 | OA
Contravariant forms on Whittaker modules
A. Brown, A. Romanov, Proceedings of the American Mathematical Society 149 (2021) 37–52.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 8792 | OA
On a non-isothermal Cahn-Hilliard model based on a microforce balance
A. Marveggio, G. Schimperna, Journal of Differential Equations 274 (2021) 924–970.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 8912 | OA
Boosting expensive synchronizing heuristics
N.E. Sarac, Ö.F. Altun, K.T. Atam, S. Karahoda, K. Kaya, H. Yenigün, Expert Systems with Applications 167 (2021).
[Submitted Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 8928 | OA
Genomic inference of complex domestication histories in three Solanaceae species
S. Arnoux, C. Fraisse, C. Sauvage, Journal of Evolutionary Biology 34 (2021) 270–283.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 8992 | OA
Pho-view of auxin: Reversible protein phosphorylation in auxin biosynthesis, transport and signaling
S. Tan, C. Luschnig, J. Friml, Molecular Plant 14 (2021) 151–165.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

Search

Filter Publications