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.

4941 Publications


2021 | Journal Article | IST-REx-ID: 10071 | OA
Adams H, Kourimska H, Heiss T, Percival S, Ziegelmeier L. How to tutorial-a-thon. Notices of the American Mathematical Society. 2021;68(9):1511-1514. doi:10.1090/noti2349
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 10072 | OA
Harris DG, Iliopoulos F, Kolmogorov V. A new notion of commutativity for the algorithmic Lovász Local Lemma. In: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. Vol 207. Schloss Dagstuhl - Leibniz Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.APPROX/RANDOM.2021.31
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10075 | OA
Guha S, Jecker IR, Lehtinen K, Zimmermann M. A bit of nondeterminism makes pushdown automata expressive and succinct. In: 46th International Symposium on Mathematical Foundations of Computer Science. Vol 202. Schloss Dagstuhl - Leibniz Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.MFCS.2021.53
[Published Version] View | Files available | DOI | arXiv
 

2021 | Preprint | IST-REx-ID: 10080 | OA
Nardin M, Käfer K, Csicsvari JL. The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus. bioRxiv. doi:10.1101/2021.09.30.462269
[Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Journal Article | IST-REx-ID: 10153 | OA
Mühlböck F, Tate R. Transitioning from structural to nominal code with efficient gradual typing. Proceedings of the ACM on Programming Languages. 2021;5. doi:10.1145/3485504
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10148 | OA
Degraen D, Piovarci M, Bickel B, Kruger A. Capturing tactile properties of real surfaces for haptic reproduction. In: 34th Annual ACM Symposium. Association for Computing Machinery; 2021:954-971. doi:10.1145/3472749.3474798
[Preprint] View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 10174 | OA
Clozeau N, Gloria A. Quantitative nonlinear homogenization: control of oscillations. arXiv.
[Preprint] View | Download Preprint (ext.) | arXiv
 

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

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

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

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

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

2021 | Book Chapter | IST-REx-ID: 10267
Zhang Y, Li L, Friml J. Evaluation of gravitropism in non-seed plants. In: Blancaflor EB, ed. Plant Gravitropism. Vol 2368. MIMB. Springer Nature; 2021:43-51. doi:10.1007/978-1-0716-1677-2_2
View | DOI | PubMed | Europe PMC
 

2021 | Book Chapter | IST-REx-ID: 10268
Hörmayer L, Friml J, Glanc M. Automated time-lapse imaging and manipulation of cell divisions in Arabidopsis roots by vertical-stage confocal microscopy. In: Plant Cell Division. Vol 2382. MIMB. Humana Press; 2021:105-114. doi:10.1007/978-1-0716-1744-1_6
View | DOI | PubMed | Europe PMC
 

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

2021 | Conference Paper | IST-REx-ID: 10367 | OA
Ilharco C, Shirazi A, Gopalan A, et al. Recognizing multimodal entailment. 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:29-30. doi:10.18653/v1/2021.acl-tutorials.6
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2021 | Book | IST-REx-ID: 10415
Browning TD. Cubic Forms and the Circle Method. Vol 343. Cham: Springer Nature; 2021. doi:10.1007/978-3-030-86872-7
View | DOI
 

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

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

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

2021 | Conference Paper | IST-REx-ID: 10599 | OA
Hashemi SA, Mondelli M, Cioffi J, Goldsmith A. Successive syndrome-check decoding of polar codes. In: Proceedings of the 55th Asilomar Conference on Signals, Systems, and Computers. Vol 2021-October. Institute of Electrical and Electronics Engineers; 2021:943-947. doi:10.1109/IEEECONF53345.2021.9723394
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 10608 | OA
Weighill T, Yamauchi T, Zava N. Coarse infinite-dimensionality of hyperspaces of finite subsets. European Journal of Mathematics. 2021. doi:10.1007/s40879-021-00515-3
[Published Version] View | Files available | DOI
 

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

2021 | Conference Paper | IST-REx-ID: 10630 | OA
Arrighi E, Fernau H, Hoffmann S, et al. On the complexity of intersection non-emptiness for star-free language classes. In: 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Vol 213. Schloss Dagstuhl - Leibniz Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.FSTTCS.2021.34
[Published Version] View | Files available | DOI | arXiv
 

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

2021 | Journal Article | IST-REx-ID: 10635 | OA
Nardin M, Phillips JW, Podlaski WF, Keemink SW. Nonlinear computations in spiking neural networks through multiplicative synapses. Peer Community Journal. 2021;1. doi:10.24072/pcjournal.69
[Published Version] View | Files available | DOI | arXiv
 

2021 | Other Publication | IST-REx-ID: 10645 | OA
Simbierowicz S, Shi C, Collodo M, et al. Qubit Energy-Relaxation Statistics in the Bluefors Quantum Measurement System. Helsinki, Finland: Bluefors Oy; 2021.
[Published Version] View | Download Published Version (ext.)
 

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

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

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

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

2021 | Conference Paper | IST-REx-ID: 10670 | OA
Vorbach CJ, Hasani R, Amini A, Lechner M, Rus D. Causal navigation by continuous-time neural networks. 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
Kragl B, Qadeer S. The Civl verifier. In: Ruzica P, Whalen MW, eds. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design. Vol 2. TU Wien Academic Press; 2021:143–152. doi:10.34727/2021/isbn.978-3-85448-046-4_23
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10694 | OA
Avni G, Jecker IR, Zikelic D. Infinite-duration all-pay bidding games. In: Marx D, ed. Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2021:617-636. doi:10.1137/1.9781611976465.38
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

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

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

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

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

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

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

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

2021 | Preprint | IST-REx-ID: 12077 | OA
Shute AL. On the leading constant in the Manin-type conjecture for Campana points. arXiv. doi:10.48550/arXiv.2104.14946
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 12076 | OA
Shute AL. Sums of four squareful numbers. arXiv. doi:10.48550/arXiv.2104.06966
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Book Chapter | IST-REx-ID: 7941
Truckenbrodt SM, Rizzoli SO. Simple multi-color super-resolution by X10 microscopy. In: Methods in Cell Biology. Vol 161. Elsevier; 2021:33-56. doi:10.1016/bs.mcb.2020.04.016
View | DOI | PubMed | Europe PMC
 

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

2021 | Book Chapter | IST-REx-ID: 9245
Xia P, Heisenberg C-PJ. Quantifying tissue tension in the granulosa layer after laser surgery. In: Dosch R, ed. Germline Development in the Zebrafish. Vol 2218. Humana; 2021:117-128. doi:10.1007/978-1-0716-0970-5_10
View | DOI | PubMed | Europe PMC
 

2021 | Conference Paper | IST-REx-ID: 9296 | OA
Aichholzer O, Arroyo Guevara AM, Masárová Z, et al. On compatible matchings. In: 15th International Conference on Algorithms and Computation. Vol 12635. Springer Nature; 2021:221-233. doi:10.1007/978-3-030-68211-8_18
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Book Chapter | IST-REx-ID: 9403 | OA
Schmid L, Hilbe C. The evolution of strategic ignorance in strategic interaction. In: Hertwig R, Engel C, eds. Deliberate Ignorance: Choosing Not To Know. Vol 29. Strüngmann Forum Reports. MIT Press; 2021:139-152.
[Published Version] View | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9466 | OA
Walter M. The convergence of slide-type reductions. In: Public-Key Cryptography – PKC 2021. Vol 12710. Springer Nature; 2021:45-67. doi:10.1007/978-3-030-75245-3_3
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9465 | OA
Edelsbrunner H, Nikitenko A, Osang GF. A step in the Delaunay mosaic of order k. Journal of Geometry. 2021;112(1). doi:10.1007/s00022-021-00577-4
[Published Version] View | Files available | DOI
 

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

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

2021 | Preprint | IST-REx-ID: 9082 | OA
Anderson DJ, Pauler F, McKenna A, Shendure J, Hippenmeyer S, Horwitz MS. Simultaneous identification of brain cell type and lineage via single cell RNA sequencing. bioRxiv. doi:10.1101/2020.12.31.425016
[Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9210 | OA
Volhejn V, Lampert C. Does SGD implicitly optimize for smoothness? In: 42nd German Conference on Pattern Recognition. Vol 12544. LNCS. Springer; 2021:246-259. doi:10.1007/978-3-030-71278-5_18
[Submitted Version] View | Files available | DOI
 

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

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

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

2021 | Conference Paper | IST-REx-ID: 9620 | OA
Alistarh D-A, Davies P. Collecting coupons is faster with friends. In: Structural Information and Communication Complexity. Vol 12810. Springer Nature; 2021:3-12. doi:10.1007/978-3-030-79527-6_1
[Preprint] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9826 | OA
Auerbach B, Chakraborty S, Klein K, et al. Inverse-Sybil attacks in automated contact tracing. In: Topics in Cryptology – CT-RSA 2021. Vol 12704. Springer Nature; 2021:399-421. doi:10.1007/978-3-030-75539-3_17
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9825 | OA
Laarhoven T, Walter M. Dual lattice attacks for closest vector problems (with preprocessing). In: Topics in Cryptology – CT-RSA 2021. Vol 12704. Springer Nature; 2021:478-502. doi:10.1007/978-3-030-75539-3_20
[Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9823 | OA
Alistarh D-A, Ellen F, Rybicki J. Wait-free approximate agreement on graphs. In: Structural Information and Communication Complexity. Vol 12810. Springer Nature; 2021:87-105. doi:10.1007/978-3-030-79527-6_6
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9824
Čomić L, Zrour R, Largeteau-Skapin G, Biswas R, Andres E. Body centered cubic grid - coordinate system and discrete analytical plane definition. In: Discrete Geometry and Mathematical Morphology. Vol 12708. Springer Nature; 2021:152-163. doi:10.1007/978-3-030-76657-3_10
View | DOI
 

2021 | Preprint | IST-REx-ID: 9980 | OA
Prehal C, Talian SD, Vizintin A, et al. Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries. Research Square. doi:10.21203/rs.3.rs-818607/v1
[Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Conference Paper | IST-REx-ID: 12767 | OA
Bansal S, Chatterjee K, Vardi MY. On satisficing in quantitative games. In: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 12651. Springer Nature; 2021:20-37. doi:10.1007/978-3-030-72016-2
[Published Version] View | Files available | DOI | arXiv
 

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

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

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

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

2021 | Journal Article | IST-REx-ID: 10806 | OA
Calcabrini M, Van den Eynden D, Sanchez Ribot S, et al. Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate. JACS Au. 2021;1(11):1898-1903. doi:10.1021/jacsau.1c00349
[Published Version] View | Files available | DOI
 

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

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

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

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

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

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

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

2021 | Research Data Reference | IST-REx-ID: 13072 | OA
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
Randriamanantsoa S, Papargyriou A, Maurer C, et al. Spatiotemporal dynamics of self-organized branching in pancreas-derived organoids. 2021. doi:10.5281/ZENODO.5148117
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 7551 | OA
Fredes Tolorza FA, Silva Sifuentes MA, Koppensteiner P, Kobayashi K, Jösch MA, Shigemoto R. Ventro-dorsal hippocampal pathway gates novelty-induced contextual memory formation. Current Biology. 2021;31(1):P25-38.E5. doi:10.1016/j.cub.2020.09.074
[Published Version] View | Files available | DOI | WoS
 

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

2021 | Technical Report | IST-REx-ID: 6995 | OA
Samarasinghe RA, Miranda O, Buth JE, et al. Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids. Vol 24. Springer Nature; 2021. doi:10.1038/s41593-021-00906-5
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 6965 | OA
Rychlewicz KP. The positivity of local equivariant Hirzebruch class for toric varieties. Bulletin of the London Mathematical Society. 2021;53(2):560-574. doi:10.1112/blms.12442
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

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

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

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

2021 | Journal Article | IST-REx-ID: 8317 | OA
Aichholzer O, Akitaya HA, Cheung KC, et al. Folding polyominoes with holes into a cube. Computational Geometry: Theory and Applications. 2021;93. doi:10.1016/j.comgeo.2020.101700
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

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

2021 | Journal Article | IST-REx-ID: 8582 | OA
Li H, von Wangenheim D, Zhang X, et al. Cellular requirements for PIN polar cargo clustering in Arabidopsis thaliana. New Phytologist. 2021;229(1):351-369. doi:10.1111/nph.16887
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 8546 | OA
Zhang T, Liu T, Mora N, et al. Generation of excitatory and inhibitory neurons from common progenitors via Notch signaling in the cerebellum. Cell Reports. 2021;35(10). doi:10.1016/j.celrep.2021.109208
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 8430 | OA
Ojavee SE, Kousathanas A, Trejo Banos D, et al. Genomic architecture and prediction of censored time-to-event phenotypes with a Bayesian genome-wide analysis. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-22538-w
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 8602 | OA
Boocock DR, Hino N, Ruzickova N, Hirashima T, Hannezo EB. Theory of mechanochemical patterning and optimal migration in cell monolayers. Nature Physics. 2021;17:267-274. doi:10.1038/s41567-020-01037-7
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

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

2021 | Journal Article | IST-REx-ID: 8606 | OA
He P, Zhang Y, Li H, et al. GhARF16-1 modulates leaf development by transcriptionally regulating the GhKNOX2-1 gene in cotton. Plant Biotechnology Journal. 2021;19(3):548-562. doi:10.1111/pbi.13484
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 8708 | OA
Simon A, Fraisse C, El Ayari T, et al. How do species barriers decay? Concordance and local introgression in mosaic hybrid zones of mussels. Journal of Evolutionary Biology. 2021;34(1):208-223. doi:10.1111/jeb.13709
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 8723 | OA
Li S, Tal Ben-Nun TB-N, Nadiradze G, et al. Breaking (global) barriers in parallel stochastic optimization with wait-avoiding group averaging. IEEE Transactions on Parallel and Distributed Systems. 2021;32(7). doi:10.1109/TPDS.2020.3040606
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 8743 | OA
Salces-Castellano A, Stankowski S, Arribas P, et al. Long-term cloud forest response to climate warming revealed by insect speciation history. Evolution. 2021;75(2):231-244. doi:10.1111/evo.14111
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 8673 | OA
Modic KA, McDonald RD, Ruff JPC, et al. Scale-invariant magnetic anisotropy in RuCl3 at high magnetic fields. Nature Physics. 2021;17:240-244. doi:10.1038/s41567-020-1028-0
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 8757 | OA
Bozelos P, Vogels TP. Talking science, online. Nature Reviews Neuroscience. 2021;22(1):1-2. doi:10.1038/s41583-020-00408-6
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

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

Filters and Search Terms

extern<>1

Search

Filter Publications