Gaertner, Florian, Patricia Reis-Rodrigues, Ingrid de Vries, Miroslav Hons, Juan Aguilera, Michael Riedl, Alexander F Leithner, et al. “WASp Triggers Mechanosensitive Actin Patches to Facilitate Immune Cell Migration in Dense Tissues.”https://doi.org/10.1016/j.devcel.2021.11.024__Developmental Cell. Cell Pressf; Elsevier, 2022.https://doi.org/10.1016/j.devcel.2021.11.024 .
LibreCat: https://research-explorer.ista.ac.at/record/10703
DOI: 10.1016/j.devcel.2021.11.024
WoS: 000768933800005
PMID: 34919802

Tasciyan, Saren. “Role of Microenvironment Heterogeneity in Cancer Cell Invasion.”https://doi.org/10.15479/at:ista:12401__Institute of Science and Technology Austria, 2022.https://doi.org/10.15479/at:ista:12401 .
LibreCat: https://research-explorer.ista.ac.at/record/12401
DOI: 10.15479/at:ista:12401

Enshoji, Mariko, Yoshiko Miyano, Nao Yoshida, Makoto Nagano, Minami Watanabe, Mayumi Kunihiro, Daria E Siekhaus, Junko Y. Toshima, and Jiro Toshima. “Ep/Pan1p Is a Master Regulator of the Late Stages of the Endocytic Pathway.”https://doi.org/10.1083/jcb.202112138__Journal of Cell Biology. Rockefeller University Press, 2022.https://doi.org/10.1083/jcb.202112138 .
LibreCat: https://research-explorer.ista.ac.at/record/12080
DOI: 10.1083/jcb.202112138
WoS: 000932770500001
PMID: 35984332

Belyaeva, Vera, Stephanie Wachner, Attila György, Shamsi Emtenani, Igor Gridchyn, Maria Akhmanova, M Linder, Marko Roblek, M Sibilia, and Daria E Siekhaus. “Fos Regulates Macrophage Infiltration against Surrounding Tissue Resistance by a Cortical Actin-Based Mechanism in Drosophila.”https://doi.org/10.1371/journal.pbio.3001494__PLoS Biology. Public Library of Science, 2022.https://doi.org/10.1371/journal.pbio.3001494 .
LibreCat: https://research-explorer.ista.ac.at/record/10614
DOI: 10.1371/journal.pbio.3001494
WoS: 000971223700001
PMID: 34990456

Wachner, Stephanie. “Transcriptional Regulation by Dfos and BMP-Signaling Support Tissue Invasion of Drosophila Immune Cells.”https://doi.org/10.15479/at:ista:11193__Institute of Science and Technology Austria, 2022.https://doi.org/10.15479/at:ista:11193 .
LibreCat: https://research-explorer.ista.ac.at/record/11193
DOI: 10.15479/at:ista:11193

Villa, Carlo Emanuele, Cristina Cheroni, Christoph Dotter, Alejandro López-Tóbon, Bárbara Oliveira, Roberto Sacco, Aysan Çeraf Yahya, et al. “CH Haploinsufficiency Links Autism to Transient Alterations in Excitatory and Inhibitory Trajectories.”https://doi.org/10.1016/j.celrep.2022.110615__Cell Reports. Elsevier, 2022.https://doi.org/10.1016/j.celrep.2022.110615 .
LibreCat: https://research-explorer.ista.ac.at/record/11160
DOI: 10.1016/j.celrep.2022.110615
WoS: 000785983900003
PMID: 35385734

Dotter, Christoph. “Transcriptional Consequences of Mutations in Genes Associated with Autism Spectrum Disorder.”https://doi.org/10.15479/at:ista:12094__Institute of Science and Technology Austria, 2022.https://doi.org/10.15479/at:ista:12094 .
LibreCat: https://research-explorer.ista.ac.at/record/12364
DOI: 10.15479/at:ista:12094

Elkrewi, Marwan N, Uladzislava Khauratovich, Melissa A Toups, Vincent K Bett, Andrea Mrnjavac, Ariana Macon, Christelle Fraisse, et al. “ZW Sex-Chromosome Evolution and Contagious Parthenogenesis in Artemia Brine Shrimp.”https://doi.org/10.1093/genetics/iyac123__Genetics. Oxford University Press, 2022.https://doi.org/10.1093/genetics/iyac123 .
LibreCat: https://research-explorer.ista.ac.at/record/12248
DOI: 10.1093/genetics/iyac123
WoS: 000850270300001
PMID: 35977389

Elkrewi, Marwan N. “Data from Elkrewi, Khauratovich, Toups et Al. 2022, ‘ZW Sex-Chromosome Evolution and Contagious Parthenogenesis in Artemia Brine Shrimp.’”https://doi.org/10.15479/AT:ISTA:11653__Institute of Science and Technology Austria, 2022.https://doi.org/10.15479/AT:ISTA:11653 .
LibreCat: https://research-explorer.ista.ac.at/record/11653
DOI: 10.15479/AT:ISTA:11653

Shehu, Yekini, and Olaniyi S. Iyiola. “Weak Convergence for Variational Inequalities with Inertial-Type Method.”https://doi.org/10.1080/00036811.2020.1736287__Applicable Analysis. Taylor &; Francis, 2022.https://doi.org/10.1080/00036811.2020.1736287 .
LibreCat: https://research-explorer.ista.ac.at/record/7577
DOI: 10.1080/00036811.2020.1736287
WoS: 000518364100001
arXiv: 2101.08057

Velicky, Philipp, Eder Miguel Villalba, Julia M Michalska, Donglai Wei, Zudi Lin, Jake Watson, Jakob Troidl, et al. “Saturated Reconstruction of Living Brain Tissue.”https://doi.org/10.1101/2022.03.16.484431__BioRxiv. Cold Spring Harbor Laboratory, n.d.https://doi.org/10.1101/2022.03.16.484431 .
LibreCat: https://research-explorer.ista.ac.at/record/11943
DOI: 10.1101/2022.03.16.484431

Michalska, Julia M, Julia Lyudchik, Philipp Velicky, Hana Korinkova, Jake Watson, Alban Cenameri, Christoph M Sommer, et al. “Uncovering Brain Tissue Architecture across Scales with Super-Resolution Light Microscopy.”https://doi.org/10.1101/2022.08.17.504272__BioRxiv. Cold Spring Harbor Laboratory, n.d.https://doi.org/10.1101/2022.08.17.504272 .
LibreCat: https://research-explorer.ista.ac.at/record/11950
DOI: 10.1101/2022.08.17.504272

Karatzas, Ioannis, Jan Maas, and Walter Schachermayer. “Trajectorial Dissipation and Gradient Flow for the Relative Entropy in Markov Chains.”https://doi.org/10.4310/CIS.2021.v21.n4.a1__Communications in Information and Systems. International Press, 2021.https://doi.org/10.4310/CIS.2021.v21.n4.a1 .
LibreCat: https://research-explorer.ista.ac.at/record/10023
DOI: 10.4310/CIS.2021.v21.n4.a1
arXiv: 2005.14177

Jecker, Ismael R, Nicolas Mazzocchi, and Petra Wolf. “Decomposing Permutation Automata.”https://doi.org/10.4230/LIPIcs.CONCUR.2021.18__In 32nd International Conference on Concurrency Theory, Vol. 203. Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.CONCUR.2021.18 .
LibreCat: https://research-explorer.ista.ac.at/record/10052
DOI: 10.4230/LIPIcs.CONCUR.2021.18
arXiv: 2107.04683

Chatterjee, Krishnendu, Monika H Henzinger, Sagar Sudhir Kale, and Alexander Svozil. “Faster Algorithms for Bounded Liveness in Graphs and Game Graphs.”https://doi.org/10.4230/LIPIcs.ICALP.2021.124__In 48th International Colloquium on Automata, Languages, and Programming, Vol. 198. Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.ICALP.2021.124 .
LibreCat: https://research-explorer.ista.ac.at/record/10054
DOI: 10.4230/LIPIcs.ICALP.2021.124

Adams, Henry, Hana Kourimska, Teresa Heiss, Sarah Percival, and Lori Ziegelmeier. “How to Tutorial-a-Thon.”https://doi.org/10.1090/noti2349__Notices of the American Mathematical Society. American Mathematical Society, 2021.https://doi.org/10.1090/noti2349 .
LibreCat: https://research-explorer.ista.ac.at/record/10071
DOI: 10.1090/noti2349

Harris, David G., Fotis Iliopoulos, and Vladimir Kolmogorov. “A New Notion of Commutativity for the Algorithmic Lovász Local Lemma.”https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2021.31__In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, Vol. 207. Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2021.31 .
LibreCat: https://research-explorer.ista.ac.at/record/10072
DOI: 10.4230/LIPIcs.APPROX/RANDOM.2021.31
arXiv: 2008.05569

Guha, Shibashis, Ismael R Jecker, Karoliina Lehtinen, and Martin Zimmermann. “A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct.”https://doi.org/10.4230/LIPIcs.MFCS.2021.53__In 46th International Symposium on Mathematical Foundations of Computer Science, Vol. 202. Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.MFCS.2021.53 .
LibreCat: https://research-explorer.ista.ac.at/record/10075
DOI: 10.4230/LIPIcs.MFCS.2021.53
arXiv: 2105.02611

Nardin, Michele, Karola Käfer, and Jozsef L Csicsvari. “The Generalized Spatial Representation in the Prefrontal Cortex Is Inherited from the Hippocampus.”https://doi.org/10.1101/2021.09.30.462269__BioRxiv. Cold Spring Harbor Laboratory, n.d.https://doi.org/10.1101/2021.09.30.462269 .
LibreCat: https://research-explorer.ista.ac.at/record/10080
DOI: 10.1101/2021.09.30.462269

Mühlböck, Fabian, and Ross Tate. “Transitioning from Structural to Nominal Code with Efficient Gradual Typing.”https://doi.org/10.1145/3485504__Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2021.https://doi.org/10.1145/3485504 .
LibreCat: https://research-explorer.ista.ac.at/record/10153
DOI: 10.1145/3485504

Degraen, Donald, Michael Piovarci, Bernd Bickel, and Antonio Kruger. “Capturing Tactile Properties of Real Surfaces for Haptic Reproduction.”https://doi.org/10.1145/3472749.3474798__In 34th Annual ACM Symposium, 954–71. Association for Computing Machinery, 2021.https://doi.org/10.1145/3472749.3474798 .
LibreCat: https://research-explorer.ista.ac.at/record/10148
DOI: 10.1145/3472749.3474798

Clozeau, Nicolas, and Antoine Gloria. “Quantitative Nonlinear Homogenization: Control of Oscillations.” ArXiv, n.d.
LibreCat: https://research-explorer.ista.ac.at/record/10174
arXiv: 2104.04263

Hoefler, Torsten, Dan-Adrian Alistarh, Tal Ben-Nun, Nikoli Dryden, and Elena-Alexandra Peste. “Sparsity in Deep Learning: Pruning and Growth for Efficient Inference and Training in Neural Networks.” Journal of Machine Learning Research. Journal of Machine Learning Research, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10180
arXiv: 2102.00554

Alistarh, Dan-Adrian, Rati Gelashvili, and Joel Rybicki. “Brief Announcement: Fast Graphical Population Protocols.”https://doi.org/10.4230/LIPIcs.DISC.2021.43__In 35th International Symposium on Distributed Computing, Vol. 209. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.DISC.2021.43 .
LibreCat: https://research-explorer.ista.ac.at/record/10218
DOI: 10.4230/LIPIcs.DISC.2021.43
arXiv: 2102.08808

Alistarh, Dan-Adrian, Rati Gelashvili, and Giorgi Nadiradze. “Lower Bounds for Shared-Memory Leader Election under Bounded Write Contention.”https://doi.org/10.4230/LIPIcs.DISC.2021.4__In 35th International Symposium on Distributed Computing, Vol. 209. Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.DISC.2021.4 .
LibreCat: https://research-explorer.ista.ac.at/record/10217
DOI: 10.4230/LIPIcs.DISC.2021.4

Chatterjee, Bapi, Sathya Peri, and Muktikanta Sa. “Brief Announcement: Non-Blocking Dynamic Unbounded Graphs with Worst-Case Amortized Bounds.”https://doi.org/10.4230/LIPIcs.DISC.2021.52__In 35th International Symposium on Distributed Computing, Vol. 209. Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.DISC.2021.52 .
LibreCat: https://research-explorer.ista.ac.at/record/10216
DOI: 10.4230/LIPIcs.DISC.2021.52
arXiv: 2003.01697

Korhonen, Janne, Ami Paz, Joel Rybicki, Stefan Schmid, and Jukka Suomela. “Brief Announcement: Sinkless Orientation Is Hard Also in the Supported LOCAL Model.”https://doi.org/10.4230/LIPIcs.DISC.2021.58__In 35th International Symposium on Distributed Computing, Vol. 209. Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.DISC.2021.58 .
LibreCat: https://research-explorer.ista.ac.at/record/10219
DOI: 10.4230/LIPIcs.DISC.2021.58
arXiv: 2108.02655

Zhang, Yuzhou, Lanxin Li, and Jií Friml. “Evaluation of Gravitropism in Non-Seed Plants.”https://doi.org/10.1007/978-1-0716-1677-2_2__In Plant Gravitropism, edited by Elison B Blancaflor, 2368:43–51. MIMB. Springer Nature, 2021.https://doi.org/10.1007/978-1-0716-1677-2_2 .
LibreCat: https://research-explorer.ista.ac.at/record/10267
DOI: 10.1007/978-1-0716-1677-2_2
PMID: 34647246

Hörmayer, Lukas, Jií Friml, and Matous Glanc. “Automated Time-Lapse Imaging and Manipulation of Cell Divisions in Arabidopsis Roots by Vertical-Stage Confocal Microscopy.”https://doi.org/10.1007/978-1-0716-1744-1_6__In Plant Cell Division, 2382:105–14. MIMB. Humana Press, 2021.https://doi.org/10.1007/978-1-0716-1744-1_6 .
LibreCat: https://research-explorer.ista.ac.at/record/10268
DOI: 10.1007/978-1-0716-1744-1_6
PMID: 34705235

Dubach, Guillaume. “On Eigenvector Statistics in the Spherical and Truncated Unitary Ensembles.”https://doi.org/10.1214/21-EJP686__Electronic Journal of Probability. Institute of Mathematical Statistics, 2021.https://doi.org/10.1214/21-EJP686 .
LibreCat: https://research-explorer.ista.ac.at/record/10285
DOI: 10.1214/21-EJP686

Ilharco, Cesar, Afsaneh Shirazi, Arjun Gopalan, Arsha Nagrani, Blae Bratanid, Chris Bregler, Christina Liu, et al. “Recognizing Multimodal Entailment.”https://doi.org/10.18653/v1/2021.acl-tutorials.6__In 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts, 29–30. Association for Computational Linguistics, 2021.https://doi.org/10.18653/v1/2021.acl-tutorials.6 .
LibreCat: https://research-explorer.ista.ac.at/record/10367
DOI: 10.18653/v1/2021.acl-tutorials.6

Browning, Timothy D. Cubic Forms and the Circle Method. Vol. 343. Cham: Springer Nature, 2021.https://doi.org/10.1007/978-3-030-86872-7 .
LibreCat: https://research-explorer.ista.ac.at/record/10415
DOI: 10.1007/978-3-030-86872-7

Bodova, Katarina, Eniko Szep, and Nicholas H Barton. “Dynamic Maximum Entropy Provides Accurate Approximation of Structured Population Dynamics.”https://doi.org/10.1371/journal.pcbi.1009661__PLoS Computational Biology. Public Library of Science, 2021.https://doi.org/10.1371/journal.pcbi.1009661 .
LibreCat: https://research-explorer.ista.ac.at/record/10535
DOI: 10.1371/journal.pcbi.1009661
PMID: 34851948
arXiv: 2102.03669

Kolmogorov, Vladimir, and Thomas Pock. “One-Sided Frank-Wolfe Algorithms for Saddle Problems.” In 38th International Conference on Machine Learning, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10552
arXiv: 2101.12617

Nguyen, Quynh, Marco Mondelli, and Guido F Montufar. “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, edited by Marina Meila and Tong Zhang, 139:8119–29. ML Research Press, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10595
arXiv: 2012.11654

Hashemi, Seyyed Ali, Marco Mondelli, John Cioffi, and Andrea Goldsmith. “Successive Syndrome-Check Decoding of Polar Codes.”https://doi.org/10.1109/IEEECONF53345.2021.9723394__In Proceedings of the 55th Asilomar Conference on Signals, Systems, and Computers, 2021–October:943–47. Institute of Electrical and Electronics Engineers, 2021.https://doi.org/10.1109/IEEECONF53345.2021.9723394 .
LibreCat: https://research-explorer.ista.ac.at/record/10599
DOI: 10.1109/IEEECONF53345.2021.9723394
arXiv: 2112.00057

Weighill, Thomas, Takamitsu Yamauchi, and Nicolò Zava. “Coarse Infinite-Dimensionality of Hyperspaces of Finite Subsets.”https://doi.org/10.1007/s40879-021-00515-3__European Journal of Mathematics. Springer Nature, 2021.https://doi.org/10.1007/s40879-021-00515-3 .
LibreCat: https://research-explorer.ista.ac.at/record/10608
DOI: 10.1007/s40879-021-00515-3

Chen, Joe P., and Federico Sau. “Higher-Order Hydrodynamics and Equilibrium Fluctuations of Interacting Particle Systems.” Markov Processes And Related Fields. Polymat Publishing, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10613
arXiv: 2008.13403

Arrighi, Emmanuel, Henning Fernau, Stefan Hoffmann, Markus Holzer, Ismael R Jecker, Mateus De Oliveira Oliveira, and Petra Wolf. “On the Complexity of Intersection Non-Emptiness for Star-Free Language Classes.”https://doi.org/10.4230/LIPIcs.FSTTCS.2021.34__In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 213. Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.FSTTCS.2021.34 .
LibreCat: https://research-explorer.ista.ac.at/record/10630
DOI: 10.4230/LIPIcs.FSTTCS.2021.34
arXiv: 2110.01279

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Quantitative Verification on Product Graphs of Small Treewidth.”https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42__In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 213. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42 .
LibreCat: https://research-explorer.ista.ac.at/record/10629
DOI: 10.4230/LIPIcs.FSTTCS.2021.42

Nardin, Michele, James W. Phillips, William F. Podlaski, and Sander W. Keemink. “Nonlinear Computations in Spiking Neural Networks through Multiplicative Synapses.”https://doi.org/10.24072/pcjournal.69__Peer Community Journal. Centre Mersennef; Peer Community In, 2021.https://doi.org/10.24072/pcjournal.69 .
LibreCat: https://research-explorer.ista.ac.at/record/10635
DOI: 10.24072/pcjournal.69
arXiv: 2009.03857

Simbierowicz, Slawomir, Chunyan Shi, Michele Collodo, Moritz Kirste, Farid Hassani, Johannes M Fink, Jonas Bylander, Daniel Perez Lozano, and Russell Lake. Qubit Energy-Relaxation Statistics in the Bluefors Quantum Measurement System. Helsinki, Finland: Bluefors Oy, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10645

Lake, Russell, Slawomir Simbierowicz, Philip Krantz, Farid Hassani, and Johannes M Fink. The Bluefors Dilution Refrigerator as an Integrated Quantum Measurement System. Helsinki, Finland: Bluefors Oy, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10644

Grunbacher, Sophie, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A Smolka, and Radu Grosu. “On the Verification of Neural ODEs with Stochastic Guarantees.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:11525–35. AAAI Press, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10669
arXiv: 2012.08863

Hasani, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu Grosu. “Liquid Time-Constant Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:7657–66. AAAI Press, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10671
arXiv: 2006.04439

Babaiee, Zahra, Ramin Hasani, Mathias Lechner, Daniela Rus, and Radu Grosu. “On-off Center-Surround Receptive Fields for Accurate and Robust Image Classification.” In Proceedings of the 38th International Conference on Machine Learning, 139:478–89. ML Research Press, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10668

Vorbach, Charles J, Ramin Hasani, Alexander Amini, Mathias Lechner, and Daniela Rus. “Causal Navigation by Continuous-Time Neural Networks.” In 35th Conference on Neural Information Processing Systems, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10670
arXiv: 2106.08314

Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.”https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23__In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, edited by Piskac Ruzica and Michael W. Whalen, 2:143–152. TU Wien Academic Press, 2021.https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23 .
LibreCat: https://research-explorer.ista.ac.at/record/10688
DOI: 10.34727/2021/isbn.978-3-85448-046-4_23

Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Infinite-Duration All-Pay Bidding Games.”https://doi.org/10.1137/1.9781611976465.38__In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, edited by Dániel Marx, 617–36. Society for Industrial and Applied Mathematics, 2021.https://doi.org/10.1137/1.9781611976465.38 .
LibreCat: https://research-explorer.ista.ac.at/record/10694
DOI: 10.1137/1.9781611976465.38
arXiv: 2005.06636

Tomásek, Petr, Karel Horák, Aditya Aradhye, Branislav Bosanský, and Krishnendu Chatterjee. “Solving Partially Observable Stochastic Shortest-Path Games.”https://doi.org/10.24963/ijcai.2021/575__In 30th International Joint Conference on Artificial Intelligence, 4182–89. International Joint Conferences on Artificial Intelligence, 2021.https://doi.org/10.24963/ijcai.2021/575 .
LibreCat: https://research-explorer.ista.ac.at/record/10847
DOI: 10.24963/ijcai.2021/575

Fedorov, Alexander, Nikita Koval, and Dan-Adrian Alistarh. “A Scalable Concurrent Algorithm for Dynamic Connectivity.”https://doi.org/10.1145/3409964.3461810__In Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures, 208–20. Association for Computing Machinery, 2021.https://doi.org/10.1145/3409964.3461810 .
LibreCat: https://research-explorer.ista.ac.at/record/10853
DOI: 10.1145/3409964.3461810
arXiv: 2105.08098

Lombardi, Fabrizio, Selver Pepic, Oren Shriki, Gasper Tkadik, and Daniele De Martino. “Quantifying the Coexistence of Neuronal Oscillations and Avalanches.”https://doi.org/10.48550/ARXIV.2108.06686__arXiv, n.d.https://doi.org/10.48550/ARXIV.2108.06686 .
LibreCat: https://research-explorer.ista.ac.at/record/10912
DOI: 10.48550/ARXIV.2108.06686
arXiv: 2108.06686

Kungurtsev, Vyacheslav, Malcolm Egan, Bapi Chatterjee, and Dan-Adrian Alistarh. “Asynchronous Optimization Methods for Efficient Training of Deep Neural Networks with Guarantees.” In 35th AAAI Conference on Artificial Intelligence, AAAI 2021, 35:8209–16. AAAI Press, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/11436
arXiv: 1905.11845

Braun, Lukas, and Tim P Vogels. “Online Learning of Neural Computations from Sparse Temporal Feedback.” In Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems, 20:16437–50. Neural Information Processing Systems Foundation, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/11453

Alimisis, Foivos, Peter Davies, Bart Vandereycken, and Dan-Adrian Alistarh. “Distributed Principal Component Analysis with Limited Communication.” In Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems, 4:2823–34. Neural Information Processing Systems Foundation, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/11452
arXiv: 2110.14391

Frantar, Elias, Eldar Kurtic, and Dan-Adrian Alistarh. “M-FAC: Efficient Matrix-Free Approximations of Second-Order Information.” In 35th Conference on Neural Information Processing Systems, 34:14873–86. Curran Associates, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/11463
arXiv: 2010.08222

Alistarh, Dan-Adrian, and Janne Korhonen. “Towards Tight Communication Lower Bounds for Distributed Optimisation.” In 35th Conference on Neural Information Processing Systems, 34:7254–66. Curran Associates, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/11464
arXiv: 2010.08222

Shute, Alec L. “On the Leading Constant in the Manin-Type Conjecture for Campana Points.”https://doi.org/10.48550/arXiv.2104.14946__ArXiv, n.d.https://doi.org/10.48550/arXiv.2104.14946 .
LibreCat: https://research-explorer.ista.ac.at/record/12077
DOI: 10.48550/arXiv.2104.14946
arXiv: 2104.14946

Shute, Alec L. “Sums of Four Squareful Numbers.”https://doi.org/10.48550/arXiv.2104.06966__ArXiv, n.d.https://doi.org/10.48550/arXiv.2104.06966 .
LibreCat: https://research-explorer.ista.ac.at/record/12076
DOI: 10.48550/arXiv.2104.06966
arXiv: 2104.06966

Truckenbrodt, Sven M, and Silvio O. Rizzoli. “Simple Multi-Color Super-Resolution byhttps://doi.org/10.1016/bs.mcb.2020.04.016__Microscopy.”https://doi.org/10.1016/bs.mcb.2020.04.016__In Methods in Cell Biology, 161:33–56. Elsevier, 2021.https://doi.org/10.1016/bs.mcb.2020.04.016 .
LibreCat: https://research-explorer.ista.ac.at/record/7941
DOI: 10.1016/bs.mcb.2020.04.016
PMID: 33478696

Pandey, Rakesh, Yusur Al-Nuaimi, Rajiv Kumar Mishra, Sarah K. Spurgeon, and Marc Goodfellow. “Role of Subnetworks Mediated by TNF ;1, IL-23/IL-17 and IL-15 in a Network Involved in the Pathogenesis of Psoriasis.”https://doi.org/10.1038/s41598-020-80507-7__Scientific Reports. Springer Nature, 2021.https://doi.org/10.1038/s41598-020-80507-7 .
LibreCat: https://research-explorer.ista.ac.at/record/9097
DOI: 10.1038/s41598-020-80507-7

Xia, Peng, and Carl-Philipp J Heisenberg. “Quantifying Tissue Tension in the Granulosa Layer after Laser Surgery.”https://doi.org/10.1007/978-1-0716-0970-5_10__In Germline Development in the Zebrafish, edited by Roland Dosch, 2218:117–28. Humana, 2021.https://doi.org/10.1007/978-1-0716-0970-5_10 .
LibreCat: https://research-explorer.ista.ac.at/record/9245
DOI: 10.1007/978-1-0716-0970-5_10
PMID: 33606227

Aichholzer, Oswin, Alan M Arroyo Guevara, Zuzana Masárová, Irene Parada, Daniel Perz, Alexander Pilz, Josef Tkadlec, and Birgit Vogtenhuber. “On Compatible Matchings.”https://doi.org/10.1007/978-3-030-68211-8_18__In 15th International Conference on Algorithms and Computation, 12635:221–33. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-68211-8_18 .
LibreCat: https://research-explorer.ista.ac.at/record/9296
DOI: 10.1007/978-3-030-68211-8_18
arXiv: 2101.03928

Schmid, Laura, and Christian Hilbe. “The Evolution of Strategic Ignorance in Strategic Interaction.” In Deliberate Ignorance: Choosing Not To Know, edited by Ralph Hertwig and Christoph Engel, 29:139–52. Strüngmann Forum Reports. MIT Press, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/9403

Walter, Michael. “The Convergence of Slide-Type Reductions.”https://doi.org/10.1007/978-3-030-75245-3_3__In Public-Key Cryptography – PKC 2021, 12710:45–67. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-75245-3_3 .
LibreCat: https://research-explorer.ista.ac.at/record/9466
DOI: 10.1007/978-3-030-75245-3_3

Edelsbrunner, Herbert, Anton Nikitenko, and Georg F Osang. “A Step in the Delaunay Mosaic of Order K.”https://doi.org/10.1007/s00022-021-00577-4__Journal of Geometry. Springer Nature, 2021.https://doi.org/10.1007/s00022-021-00577-4 .
LibreCat: https://research-explorer.ista.ac.at/record/9465
DOI: 10.1007/s00022-021-00577-4

Davies, Peter, Vijaykrishna Gurunanthan, Niusha  Moshrefi, Saleh Ashkboos, and Dan-Adrian Alistarh. “New Bounds for Distributed Mean Estimation and Variance Reduction.” In 9th International Conference on Learning Representations, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/9543
arXiv: 2002.09268

Dvorak, Martin, and Sara Nicholson. “Massively Winning Configurations in the Convex Grabbing Game on the Plane.” In Proceedings of the 33rd Canadian Conference on Computational Geometry, n.d.
LibreCat: https://research-explorer.ista.ac.at/record/9592
arXiv: 2106.11247

Anderson, Donovan J., Florian Pauler, Aaron McKenna, Jay Shendure, Simon Hippenmeyer, and Marshall S. Horwitz. “Simultaneous Identification of Brain Cell Type and Lineage via Single Cell RNA Sequencing.”https://doi.org/10.1101/2020.12.31.425016__BioRxiv. Cold Spring Harbor Laboratory, n.d.https://doi.org/10.1101/2020.12.31.425016 .
LibreCat: https://research-explorer.ista.ac.at/record/9082
DOI: 10.1101/2020.12.31.425016

Volhejn, Vaclav, and Christoph Lampert. “Does SGD Implicitly Optimize for Smoothness?”https://doi.org/10.1007/978-3-030-71278-5_18__In 42nd German Conference on Pattern Recognition, 12544:246–59. LNCS. Springer, 2021.https://doi.org/10.1007/978-3-030-71278-5_18 .
LibreCat: https://research-explorer.ista.ac.at/record/9210
DOI: 10.1007/978-3-030-71278-5_18

Edelsbrunner, Herbert, Teresa Heiss, Vitaliyhttps://doi.org/10.4230/LIPIcs.SoCG.2021.32__Kurlin , Philip Smith, and Mathijs Wintraecken. “The Density Fingerprint of a Periodic Point Set.”https://doi.org/10.4230/LIPIcs.SoCG.2021.32__In 37th International Symposium on Computational Geometry (SoCG 2021), 189:32:1-32:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.SoCG.2021.32 .
LibreCat: https://research-explorer.ista.ac.at/record/9345
DOI: 10.4230/LIPIcs.SoCG.2021.32

Kaloshin, Vadim, and Edmond Koudjinan. “Non Co-Preservation of the 1/2 and  1/(2l+1)-Rational Caustics along Deformations of Circles,” 2021.
LibreCat: https://research-explorer.ista.ac.at/record/9435

Biswas, Ranita, Sebastiano Cultrera di Montesano, Herbert Edelsbrunner, and Morteza Saghafian. “Counting Cells of Order-k Voronoi Tessellations in d<sup>3</sup> with Morse Theory.”https://doi.org/10.4230/LIPIcs.SoCG.2021.16__In Leibniz International Proceedings in Informatics, Vol. 189. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.SoCG.2021.16 .
LibreCat: https://research-explorer.ista.ac.at/record/9604
DOI: 10.4230/LIPIcs.SoCG.2021.16

Alistarh, Dan-Adrian, and Peter Davies. “Collecting Coupons Is Faster with Friends.”https://doi.org/10.1007/978-3-030-79527-6_1__In Structural Information and Communication Complexity, 12810:3–12. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-79527-6_1 .
LibreCat: https://research-explorer.ista.ac.at/record/9620
DOI: 10.1007/978-3-030-79527-6_1

Auerbach, Benedikt, Suvradip Chakraborty, Karen Klein, Guillermo Pascual Perez, Krzysztof Z Pietrzak, Michael Walter, and Michelle X Yeo. “Inverse-Sybil Attacks in Automated Contact Tracing.”https://doi.org/10.1007/978-3-030-75539-3_17__In Topics in Cryptology – CT-RSA 2021, 12704:399–421. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-75539-3_17 .
LibreCat: https://research-explorer.ista.ac.at/record/9826
DOI: 10.1007/978-3-030-75539-3_17

Laarhoven, Thijs, and Michael Walter. “Dual Lattice Attacks for Closest Vector Problems (with Preprocessing).”https://doi.org/10.1007/978-3-030-75539-3_20__In Topics in Cryptology – CT-RSA 2021, 12704:478–502. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-75539-3_20 .
LibreCat: https://research-explorer.ista.ac.at/record/9825
DOI: 10.1007/978-3-030-75539-3_20

Alistarh, Dan-Adrian, Faith Ellen, and Joel Rybicki. “Wait-Free Approximate Agreement on Graphs.”https://doi.org/10.1007/978-3-030-79527-6_6__In Structural Information and Communication Complexity, 12810:87–105. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-79527-6_6 .
LibreCat: https://research-explorer.ista.ac.at/record/9823
DOI: 10.1007/978-3-030-79527-6_6
arXiv: 2103.08949

comi, Lidija, Rita Zrour, Gaëlle Largeteau-Skapin, Ranita Biswas, and Eric Andres. “Body Centered Cubic Grid - Coordinate System and Discrete Analytical Plane Definition.”https://doi.org/10.1007/978-3-030-76657-3_10__In Discrete Geometry and Mathematical Morphology, 12708:152–63. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-76657-3_10 .
LibreCat: https://research-explorer.ista.ac.at/record/9824
DOI: 10.1007/978-3-030-76657-3_10

Prehal, Christian, Sara Drvarid Talian, Alen Vizintin, Heinz Amenitsch, Robert Dominko, Stefan Alexander Freunberger, and Vanessa Wood. “Mechanism of Li2S Formation and Dissolution in Lithium-Sulphur Batteries.”https://doi.org/10.21203/rs.3.rs-818607/v1__Research Square, n.d.https://doi.org/10.21203/rs.3.rs-818607/v1 .
LibreCat: https://research-explorer.ista.ac.at/record/9980
DOI: 10.21203/rs.3.rs-818607/v1

Bansal, Suguman, Krishnendu Chatterjee, and Moshe Y. Vardi. “On Satisficing in Quantitative Games.”https://doi.org/10.1007/978-3-030-72016-2__In 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 12651:20–37. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-72016-2 .
LibreCat: https://research-explorer.ista.ac.at/record/12767
DOI: 10.1007/978-3-030-72016-2
arXiv: 2101.02594

Hensel, Sebastian, and Tim Laux. “A New Varifold Solution Concept for Mean Curvature Flow: Convergence of  the Allen-Cahn Equation and Weak-Strong Uniqueness.”https://doi.org/10.48550/arXiv.2109.04233__ArXiv, n.d.https://doi.org/10.48550/arXiv.2109.04233 .
LibreCat: https://research-explorer.ista.ac.at/record/10011
DOI: 10.48550/arXiv.2109.04233
arXiv: 2109.04233

Arguin, Louis-Pierre, Guillaume Dubach, and Lisa Hartung. “Maxima of a Random Model of the Riemann Zeta Function over Intervals of Varying Length.”https://doi.org/10.48550/arXiv.2103.04817__ArXiv, n.d.https://doi.org/10.48550/arXiv.2103.04817 .
LibreCat: https://research-explorer.ista.ac.at/record/9230
DOI: 10.48550/arXiv.2103.04817
arXiv: 2103.04817

Dubach, Guillaume, and Fabian Mühlböck. “Formal Verification of Zagier’s One-Sentence Proof.”https://doi.org/10.48550/arXiv.2103.11389__ArXiv, n.d.https://doi.org/10.48550/arXiv.2103.11389 .
LibreCat: https://research-explorer.ista.ac.at/record/9281
DOI: 10.48550/arXiv.2103.11389
arXiv: 2103.11389

Kavcic, Bor, and Gasper Tkadik. “Token-Driven Totally Asymmetric Simple Exclusion Process.”https://doi.org/10.48550/arXiv.2112.13558__ArXiv, n.d.https://doi.org/10.48550/arXiv.2112.13558 .
LibreCat: https://research-explorer.ista.ac.at/record/10579
DOI: 10.48550/arXiv.2112.13558
arXiv: 2112.13558

Calcabrini, Mariano, Dietger Van den Eynden, Sergi Sanchez Ribot, Rohan Pokratath, Jordi Llorca, Jonathan De Roo, and Maria Ibáñez. “Ligand Conversion in Nanocrystal Synthesis: The Oxidation of Alkylamines to Fatty Acids by Nitrate.”https://doi.org/10.1021/jacsau.1c00349__JACS Au. American Chemical Society, 2021.https://doi.org/10.1021/jacsau.1c00349 .
LibreCat: https://research-explorer.ista.ac.at/record/10806
DOI: 10.1021/jacsau.1c00349

Schlögl, Alois, Stefano Elefante, Andrei Hornoiu, and Stephan Stadlbauer. “Managing Software on a Heterogenous HPC Cluster.”https://doi.org/10.3359/2021hpc__In ASHP – Austrian-Slovenian HPC Meeting 2021, 5. University of Ljubljana, 2021.https://doi.org/10.3359/2021hpc .
LibreCat: https://research-explorer.ista.ac.at/record/12909
DOI: 10.3359/2021hpc

Peste, Elena-Alexandra, Eugenia B Iofinova, Adrian Vladu, and Dan-Adrian Alistarh. “AC/DC: Alternating Compressed/DeCompressed Training of Deep Neural Networks.” In 35th Conference on Neural Information Processing Systems, 34:8557–70. Curran Associates, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/11458
arXiv: 2106.12379

Brooks, Morris, Mikhail Lemeshko, Douglas Lundholm, and Enderalp Yakaboylu. “Emergence of Anyons on the Two-Sphere in Molecular Impurities.”https://doi.org/10.3390/atoms9040106__Atoms. MDPI, 2021.https://doi.org/10.3390/atoms9040106 .
LibreCat: https://research-explorer.ista.ac.at/record/10585
DOI: 10.3390/atoms9040106
arXiv: 2108.06966

Alimisis, Foivos, Peter Davies, and Dan-Adrian Alistarh. “Communication-Efficient Distributed Optimization with Quantized Preconditioners.” In Proceedings of the 38th International Conference on Machine Learning, 139:196–206. ML Research Press, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/13147
arXiv: 2102.07214

Nguyen, Quynh, Marco Mondelli, and Guido Montufar. “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, 139:8119–29. ML Research Press, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/13146
arXiv: 2012.11654

Henzinger, Thomas A, Mathias Lechner, and Dorde Zikelic. “Scalable Verification of Quantized Neural Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:3787–95. AAAI Press, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10665
arXiv: 2012.08185

Lechner, Mathias, Ðore dikeli, Krishnendu Chatterjee, and Thomas A Henzinger. “Infinite Time Horizon Safety of Bayesian Neural Networks.”https://doi.org/10.48550/arXiv.2111.03165__In 35th Conference on Neural Information Processing Systems, 2021.https://doi.org/10.48550/arXiv.2111.03165 .
LibreCat: https://research-explorer.ista.ac.at/record/10667
DOI: 10.48550/arXiv.2111.03165
arXiv: 2111.03165

McCartney, Daniel L, Robert F Hillary, Eleanor LS Conole, Daniel Trejo Banos, Danni A Gadd, Rosie M Walker, Cliff Nangle, et al. “Blood-Based Epigenome-Wide Analyses of Cognitive Abilities.”https://doi.org/10.5281/ZENODO.5794028__Zenodo, 2021.https://doi.org/10.5281/ZENODO.5794028 .
LibreCat: https://research-explorer.ista.ac.at/record/13072
DOI: 10.5281/ZENODO.5794028

Randriamanantsoa, Samuel, Aristeidis Papargyriou, Carlo Maurer, Katja Peschke, Maximilian Schuster, Giulia Zecchin, Katja Steiger, et al. “Spatiotemporal Dynamics of Self-Organized Branching in Pancreas-Derived Organoids.”https://doi.org/10.5281/ZENODO.5148117__Zenodo, 2021.https://doi.org/10.5281/ZENODO.5148117 .
LibreCat: https://research-explorer.ista.ac.at/record/13068
DOI: 10.5281/ZENODO.5148117

Fredes Tolorza, Felipe A, Maria A Silva Sifuentes, Peter Koppensteiner, Kenta Kobayashi, Maximilian A Jösch, and Ryuichi Shigemoto. “Ventro-Dorsal Hippocampal Pathway Gates Novelty-Induced Contextual Memory Formation.”https://doi.org/10.1016/j.cub.2020.09.074__Current Biology. Elsevier, 2021.https://doi.org/10.1016/j.cub.2020.09.074 .
LibreCat: https://research-explorer.ista.ac.at/record/7551
DOI: 10.1016/j.cub.2020.09.074
WoS: 000614361000020

Lombardi, Fabrizio, Oren Shriki, Hans J Herrmann, and Lucilla de Arcangelis. “Long-Range Temporal Correlations in the Broadband Resting State Activity of the Human Brain Revealed by Neuronal Avalanches.”https://doi.org/10.1016/j.neucom.2020.05.126__Neurocomputing. Elsevier, 2021.https://doi.org/10.1016/j.neucom.2020.05.126 .
LibreCat: https://research-explorer.ista.ac.at/record/7463
DOI: 10.1016/j.neucom.2020.05.126
WoS: 000704086300015

Samarasinghe, Ranmal A., Osvaldo Miranda, Jessie E. Buth, Simon Mitchell, Isabella Ferando, Momoko Watanabe, Arinnae Kurdian, et al. Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids. Vol. 24. Springer Nature, 2021.https://doi.org/10.1038/s41593-021-00906-5 .
LibreCat: https://research-explorer.ista.ac.at/record/6995
DOI: 10.1038/s41593-021-00906-5
WoS: 000687516300001
PMID: 34426698 

Rychlewicz, Kamil P. “The Positivity of Local Equivariant Hirzebruch Class for Toric Varieties.”https://doi.org/10.1112/blms.12442__Bulletin of the London Mathematical Society. Wiley, 2021.https://doi.org/10.1112/blms.12442 .
LibreCat: https://research-explorer.ista.ac.at/record/6965
DOI: 10.1112/blms.12442
WoS: 000594805800001
arXiv: 1910.10435

Zenke, Friedemann, and Tim P Vogels. “The Remarkable Robustness of Surrogate Gradient Learning for Instilling Complex Function in Spiking Neural Networks.”https://doi.org/10.1162/neco_a_01367__Neural Computation. MIT Press, 2021.https://doi.org/10.1162/neco_a_01367 .
LibreCat: https://research-explorer.ista.ac.at/record/8253
DOI: 10.1162/neco_a_01367
WoS: 000663433900003
PMID: 33513328

Diringer, Asaf A., and Tobias Gulden. “Impact of Drive Harmonics on the Stability of Floquet Many-Body Localization.”https://doi.org/10.1103/PhysRevB.103.214204__Physical Review B. American Physical Society, 2021.https://doi.org/10.1103/PhysRevB.103.214204 .
LibreCat: https://research-explorer.ista.ac.at/record/8198
DOI: 10.1103/PhysRevB.103.214204
WoS: 000664429700005
arXiv: 2007.14879