Kravchuk, V., Petrova, O., Kampjut, D., Wojciechowska-Bason, A., Breese, Z., &; Sazanov, L. A. (2022). A universal coupling mechanism of respiratory complex I. Nature. Springer Nature.https://doi.org/10.1038/s41586-022-05199-7 
LibreCat: https://research-explorer.ista.ac.at/record/12138
DOI: 10.1038/s41586-022-05199-7
WoS: 000854788200001
PMID: 36104567

Redchenko, E. (2022). Controllable states of superconducting Qubit ensembles. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12132 
LibreCat: https://research-explorer.ista.ac.at/record/12366
DOI: 10.15479/at:ista:12132

Nardin, M. (2022). On the encoding, transfer, and consolidation of spatial memories. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11932 
LibreCat: https://research-explorer.ista.ac.at/record/11932
DOI: 10.15479/at:ista:11932

Colombo, G., Cubero, R. J., Kanari, L., Venturino, A., Schulz, R., Scolamiero, M.,https://doi.org/10.1038/s41593-022-01167-6__Siegert, S. (2022). A tool for mapping microglial morphology, morphOMICs, reveals brain-region and sex-dependent phenotypes. Nature Neuroscience. Springer Nature.https://doi.org/10.1038/s41593-022-01167-6 
LibreCat: https://research-explorer.ista.ac.at/record/12244
DOI: 10.1038/s41593-022-01167-6
WoS: 000862214700001
PMID: 36180790

Colombo, G. (2022). MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12378 
LibreCat: https://research-explorer.ista.ac.at/record/12378
DOI: 10.15479/at:ista:12378

Goudarzi, S., Sharif, M., &; Karimipour, F. (2022). A context-aware dimension reduction framework for trajectory and health signal analyses. Journal of Ambient Intelligence and Humanized Computing. Springer Nature.https://doi.org/10.1007/s12652-021-03569-z 
LibreCat: https://research-explorer.ista.ac.at/record/10208
DOI: 10.1007/s12652-021-03569-z
WoS: 000712198000001

Gaertner, F., Reis-Rodrigues, P., de Vries, I., Hons, M., Aguilera, J., Riedl, M.,https://doi.org/10.1016/j.devcel.2021.11.024__Sixt, M. K. (2022). WASp triggers mechanosensitive actin patches to facilitate immune cell migration in dense tissues. Developmental Cell. Cell Pressf; Elsevier.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

Belohlavy, S. (2022). The genetic basis of complex traits studied via analysis of evolve and resequence experiments. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11388 
LibreCat: https://research-explorer.ista.ac.at/record/11388
DOI: 10.15479/at:ista:11388

Tasciyan, S. (2022). Role of microenvironment heterogeneity in cancer cell invasion. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12401 
LibreCat: https://research-explorer.ista.ac.at/record/12401
DOI: 10.15479/at:ista:12401

Enshoji, M., Miyano, Y., Yoshida, N., Nagano, M., Watanabe, M., Kunihiro, M.,https://doi.org/10.1083/jcb.202112138__Toshima, J. (2022). Ep/Pan1p is a master regulator of the late stages of the endocytic pathway. Journal of Cell Biology. Rockefeller University Press.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, V., Wachner, S., György, A., Emtenani, S., Gridchyn, I., Akhmanova, M.,https://doi.org/10.1371/journal.pbio.3001494__Siekhaus, D. E. (2022). Fos regulates macrophage infiltration against surrounding tissue resistance by a cortical actin-based mechanism in Drosophila. PLoS Biology. Public Library of Science.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, S. (2022). Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11193 
LibreCat: https://research-explorer.ista.ac.at/record/11193
DOI: 10.15479/at:ista:11193

Villa, C. E., Cheroni, C., Dotter, C., López-Tóbon, A., Oliveira, B., Sacco, R.,https://doi.org/10.1016/j.celrep.2022.110615__Novarino, G. (2022). CH haploinsufficiency links autism to transient alterations in excitatory and inhibitory trajectories. Cell Reports. Elsevier.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, C. (2022). Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12094 
LibreCat: https://research-explorer.ista.ac.at/record/12364
DOI: 10.15479/at:ista:12094

Elkrewi, M. N., Khauratovich, U., Toups, M. A., Bett, V. K., Mrnjavac, A., Macon, A.,https://doi.org/10.1093/genetics/iyac123__Vicoso, B. (2022). ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp. Genetics. Oxford University Press.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, M. N. (2022). 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.https://doi.org/10.15479/AT:ISTA:11653 
LibreCat: https://research-explorer.ista.ac.at/record/11653
DOI: 10.15479/AT:ISTA:11653

Shehu, Y., &; Iyiola, O. S. (2022). Weak convergence for variational inequalities with inertial-type method. Applicable Analysis. Taylor &; Francis.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, P., Miguel Villalba, E., Michalska, J. M., Wei, D., Lin, Z., Watson, J.,https://doi.org/10.1101/2022.03.16.484431__Danzl, J. G. (n.d.). Saturated reconstruction of living brain tissue. bioRxiv. Cold Spring Harbor Laboratory.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, J. M., Lyudchik, J., Velicky, P., Korinkova, H., Watson, J., Cenameri, A.,https://doi.org/10.1101/2022.08.17.504272__Danzl, J. G. (n.d.). Uncovering brain tissue architecture across scales with super-resolution light microscopy. bioRxiv. Cold Spring Harbor Laboratory.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, I., Maas, J., &; Schachermayer, W. (2021). Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. International Press.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, I. R., Mazzocchi, N., &; Wolf, P. (2021). Decomposing permutation automata. In 32nd International Conference on Concurrency Theory (Vol. 203). Paris, France: Schloss Dagstuhl - Leibniz Zentrum für Informatik.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, K., Henzinger, M. H., Kale, S. S., &; Svozil, A. (2021). Faster algorithms for bounded liveness in graphs and game graphs. In 48th International Colloquium on Automata, Languages, and Programming (Vol. 198). Glasgow, Scotland: Schloss Dagstuhl - Leibniz Zentrum für Informatik.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, H., Kourimska, H., Heiss, T., Percival, S., &; Ziegelmeier, L. (2021). How to tutorial-a-thon. Notices of the American Mathematical Society. American Mathematical Society.https://doi.org/10.1090/noti2349 
LibreCat: https://research-explorer.ista.ac.at/record/10071
DOI: 10.1090/noti2349

Harris, D. G., Iliopoulos, F., &; Kolmogorov, V. (2021). A new notion of commutativity for the algorithmic Lovász Local Lemma. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (Vol. 207). Virtual: Schloss Dagstuhl - Leibniz Zentrum für Informatik.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, S., Jecker, I. R., Lehtinen, K., &; Zimmermann, M. (2021). A bit of nondeterminism makes pushdown automata expressive and succinct. In 46th International Symposium on Mathematical Foundations of Computer Science (Vol. 202). Tallinn, Estonia: Schloss Dagstuhl - Leibniz Zentrum für Informatik.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, M., Käfer, K., &; Csicsvari, J. L. (n.d.). The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus. bioRxiv. Cold Spring Harbor Laboratory.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, F., &; Tate, R. (2021). Transitioning from structural to nominal code with efficient gradual typing. Proceedings of the ACM on Programming Languages. Chicago, IL, United States: Association for Computing Machinery.https://doi.org/10.1145/3485504 
LibreCat: https://research-explorer.ista.ac.at/record/10153
DOI: 10.1145/3485504

Degraen, D., Piovarci, M., Bickel, B., &; Kruger, A. (2021). Capturing tactile properties of real surfaces for haptic reproduction. In 34th Annual ACM Symposium (pp. 954–971). Virtual: Association for Computing Machinery.https://doi.org/10.1145/3472749.3474798 
LibreCat: https://research-explorer.ista.ac.at/record/10148
DOI: 10.1145/3472749.3474798

Clozeau, N., &; Gloria, A. (n.d.). Quantitative nonlinear homogenization: control of oscillations. arXiv.
LibreCat: https://research-explorer.ista.ac.at/record/10174
arXiv: 2104.04263

Hoefler, T., Alistarh, D.-A., Ben-Nun, T., Dryden, N., &; Peste, E.-A. (2021). 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.
LibreCat: https://research-explorer.ista.ac.at/record/10180
arXiv: 2102.00554

Alistarh, D.-A., Gelashvili, R., &; Rybicki, J. (2021). Brief announcement: Fast graphical population protocols. In 35th International Symposium on Distributed Computing (Vol. 209). Freiburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.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, D.-A., Gelashvili, R., &; Nadiradze, G. (2021). Lower bounds for shared-memory leader election under bounded write contention. In 35th International Symposium on Distributed Computing (Vol. 209). Freiburg, Germany: Schloss Dagstuhl - Leibniz Zentrum für Informatik.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, B., Peri, S., &; Sa, M. (2021). Brief announcement: Non-blocking dynamic unbounded graphs with worst-case amortized bounds. In 35th International Symposium on Distributed Computing (Vol. 209). Freiburg, Germany: Schloss Dagstuhl - Leibniz Zentrum für Informatik.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, J., Paz, A., Rybicki, J., Schmid, S., &; Suomela, J. (2021). Brief announcement: Sinkless orientation is hard also in the supported LOCAL model. In 35th International Symposium on Distributed Computing (Vol. 209). Freiburg, Germany: Schloss Dagstuhl - Leibniz Zentrum für Informatik.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, Y., Li, L., &; Friml, J. (2021). Evaluation of gravitropism in non-seed plants. In E. B. Blancaflor (Ed.), Plant Gravitropism (Vol. 2368, pp. 43–51). Springer Nature.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, L., Friml, J., &; Glanc, M. (2021). Automated time-lapse imaging and manipulation of cell divisions in Arabidopsis roots by vertical-stage confocal microscopy. In Plant Cell Division (Vol. 2382, pp. 105–114). Humana Press.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, G. (2021). On eigenvector statistics in the spherical and truncated unitary ensembles. Electronic Journal of Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/21-EJP686 
LibreCat: https://research-explorer.ista.ac.at/record/10285
DOI: 10.1214/21-EJP686

Ilharco, C., Shirazi, A., Gopalan, A., Nagrani, A., Bratanid, B., Bregler, C.,https://doi.org/10.18653/v1/2021.acl-tutorials.6__Imbrasaite, V. (2021). 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 (pp. 29–30). Bangkok, Thailand: Association for Computational Linguistics.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, T. D. (2021). Cubic Forms and the Circle Method (Vol. 343). Cham: Springer Nature.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, K., Szep, E., &; Barton, N. H. (2021). Dynamic maximum entropy provides accurate approximation of structured population dynamics. PLoS Computational Biology. Public Library of Science.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, V., &; Pock, T. (2021). One-sided Frank-Wolfe algorithms for saddle problems. In 38th International Conference on Machine Learning. Virtual.
LibreCat: https://research-explorer.ista.ac.at/record/10552
arXiv: 2101.12617

Nguyen, Q., Mondelli, M., &; Montufar, G. F. (2021). Tight bounds on the smallest eigenvalue of the neural tangent kernel for deep ReLU networks. In M. Meila &; T. Zhang (Eds.), Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 8119–8129). Virtual: ML Research Press.
LibreCat: https://research-explorer.ista.ac.at/record/10595
arXiv: 2012.11654

Hashemi, S. A., Mondelli, M., Cioffi, J., &; Goldsmith, A. (2021). Successive syndrome-check decoding of polar codes. In Proceedings of the 55th Asilomar Conference on Signals, Systems, and Computers (Vol. 2021–October, pp. 943–947). Virtual, Pacific Grove, CA, United States: Institute of Electrical and Electronics Engineers.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

Chen, J. P., &; Sau, F. (2021). Higher-order hydrodynamics and equilibrium fluctuations of interacting particle systems. Markov Processes And Related Fields. Polymat Publishing.
LibreCat: https://research-explorer.ista.ac.at/record/10613
arXiv: 2008.13403

Arrighi, E., Fernau, H., Hoffmann, S., Holzer, M., Jecker, I. R., De Oliveira Oliveira, M., &; Wolf, P. (2021). 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). Virtual: Schloss Dagstuhl - Leibniz Zentrum für Informatik.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, K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2021). Quantitative verification on product graphs of small treewidth. In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 213). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.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, M., Phillips, J. W., Podlaski, W. F., &; Keemink, S. W. (2021). Nonlinear computations in spiking neural networks through multiplicative synapses. Peer Community Journal. Centre Mersennef; Peer Community In.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, S., Shi, C., Collodo, M., Kirste, M., Hassani, F., Fink, J. M.,  Lake, R. (2021). Qubit energy-relaxation statistics in the Bluefors quantum measurement system. Helsinki, Finland: Bluefors Oy.
LibreCat: https://research-explorer.ista.ac.at/record/10645

Lake, R., Simbierowicz, S., Krantz, P., Hassani, F., &; Fink, J. M. (2021). The Bluefors dilution refrigerator as an integrated quantum measurement system. Helsinki, Finland: Bluefors Oy.
LibreCat: https://research-explorer.ista.ac.at/record/10644

Grunbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., &; Grosu, R. (2021). On the verification of neural ODEs with stochastic guarantees. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 11525–11535). Virtual: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/10669
arXiv: 2012.08863

Hasani, R., Lechner, M., Amini, A., Rus, D., &; Grosu, R. (2021). Liquid time-constant networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 7657–7666). Virtual: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/10671
arXiv: 2006.04439

Babaiee, Z., Hasani, R., Lechner, M., Rus, D., &; Grosu, R. (2021). On-off center-surround receptive fields for accurate and robust image classification. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 478–489). Virtual: ML Research Press.
LibreCat: https://research-explorer.ista.ac.at/record/10668

Vorbach, C. J., Hasani, R., Amini, A., Lechner, M., &; Rus, D. (2021). Causal navigation by continuous-time neural networks. In 35th Conference on Neural Information Processing Systems. Virtual.
LibreCat: https://research-explorer.ista.ac.at/record/10670
arXiv: 2106.08314

Kragl, B., &; Qadeer, S. (2021). The Civl verifier. In P. Ruzica &; M. W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design (Vol. 2, pp. 143–152). Virtual: TU Wien Academic Press.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, G., Jecker, I. R., &; Zikelic, D. (2021). Infinite-duration all-pay bidding games. In D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (pp. 617–636). Virtual: Society for Industrial and Applied Mathematics.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, P., Horák, K., Aradhye, A., Bosanský, B., &; Chatterjee, K. (2021). Solving partially observable stochastic shortest-path games. In 30th International Joint Conference on Artificial Intelligence (pp. 4182–4189). Virtual, Online: International Joint Conferences on Artificial Intelligence.https://doi.org/10.24963/ijcai.2021/575 
LibreCat: https://research-explorer.ista.ac.at/record/10847
DOI: 10.24963/ijcai.2021/575

Fedorov, A., Koval, N., &; Alistarh, D.-A. (2021). A scalable concurrent algorithm for dynamic connectivity. In Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures (pp. 208–220). Virtual, Online: Association for Computing Machinery.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, F., Pepic, S., Shriki, O., Tkadik, G., &; De Martino, D. (n.d.). Quantifying the coexistence of neuronal oscillations and avalanches. arXiv.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, V., Egan, M., Chatterjee, B., &; Alistarh, D.-A. (2021). Asynchronous optimization methods for efficient training of deep neural networks with guarantees. In 35th AAAI Conference on Artificial Intelligence, AAAI 2021 (Vol. 35, pp. 8209–8216). Virtual, Online: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/11436
arXiv: 1905.11845

Braun, L., &; Vogels, T. P. (2021). 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, pp. 16437–16450). Virtual, Online: Neural Information Processing Systems Foundation.
LibreCat: https://research-explorer.ista.ac.at/record/11453

Alimisis, F., Davies, P., Vandereycken, B., &; Alistarh, D.-A. (2021). Distributed principal component analysis with limited communication. In Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems (Vol. 4, pp. 2823–2834). Virtual, Online: Neural Information Processing Systems Foundation.
LibreCat: https://research-explorer.ista.ac.at/record/11452
arXiv: 2110.14391

Frantar, E., Kurtic, E., &; Alistarh, D.-A. (2021). M-FAC: Efficient matrix-free approximations of second-order information. In 35th Conference on Neural Information Processing Systems (Vol. 34, pp. 14873–14886). Virtual, Online: Curran Associates.
LibreCat: https://research-explorer.ista.ac.at/record/11463
arXiv: 2010.08222

Alistarh, D.-A., &; Korhonen, J. (2021). Towards tight communication lower bounds for distributed optimisation. In 35th Conference on Neural Information Processing Systems (Vol. 34, pp. 7254–7266). Virtual, Online: Curran Associates.
LibreCat: https://research-explorer.ista.ac.at/record/11464
arXiv: 2010.08222

Shute, A. L. (n.d.). Sums of four squareful numbers. arXiv.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, S. M., &; Rizzoli, S. O. (2021). Simple multi-color super-resolution byhttps://doi.org/10.1016/bs.mcb.2020.04.016__microscopy. In Methods in Cell Biology (Vol. 161, pp. 33–56). Elsevier.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, R., Al-Nuaimi, Y., Mishra, R. K., Spurgeon, S. K., &; Goodfellow, M. (2021). Role of subnetworks mediated by TNF ;1, IL-23/IL-17 and IL-15 in a network involved in the pathogenesis of psoriasis. Scientific Reports. Springer Nature.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, P., &; Heisenberg, C.-P. J. (2021). Quantifying tissue tension in the granulosa layer after laser surgery. In R. Dosch (Ed.), Germline Development in the Zebrafish (Vol. 2218, pp. 117–128). Humana.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, O., Arroyo Guevara, A. M., Masárová, Z., Parada, I., Perz, D., Pilz, A.,https://doi.org/10.1007/978-3-030-68211-8_18__Vogtenhuber, B. (2021). On compatible matchings. In 15th International Conference on Algorithms and Computation (Vol. 12635, pp. 221–233). Yangon, Myanmar: Springer Nature.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, L., &; Hilbe, C. (2021). The evolution of strategic ignorance in strategic interaction. In R. Hertwig &; C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know (Vol. 29, pp. 139–152). MIT Press.
LibreCat: https://research-explorer.ista.ac.at/record/9403

Walter, M. (2021). The convergence of slide-type reductions. In Public-Key Cryptography – PKC 2021 (Vol. 12710, pp. 45–67). Virtual: Springer Nature.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, H., Nikitenko, A., &; Osang, G. F. (2021). A step in the Delaunay mosaic of order k. Journal of Geometry. Springer Nature.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, P., Gurunanthan, V., Moshrefi, N., Ashkboos, S., &; Alistarh, D.-A. (2021). New bounds for distributed mean estimation and variance reduction. In 9th International Conference on Learning Representations. Virtual.
LibreCat: https://research-explorer.ista.ac.at/record/9543
arXiv: 2002.09268

Anderson, D. J., Pauler, F., McKenna, A., Shendure, J., Hippenmeyer, S., &; Horwitz, M. S. (n.d.). Simultaneous identification of brain cell type and lineage via single cell RNA sequencing. bioRxiv. Cold Spring Harbor Laboratory.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, V., &; Lampert, C. (2021). Does SGD implicitly optimize for smoothness? In 42nd German Conference on Pattern Recognition (Vol. 12544, pp. 246–259). Tübingen, Germany: Springer.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, H., Heiss, T.,https://doi.org/10.4230/LIPIcs.SoCG.2021.32__Kurlin , V., Smith, P., &; Wintraecken, M. (2021). The density fingerprint of a periodic point set. In 37th International Symposium on Computational Geometry (SoCG 2021) (Vol. 189, p. 32:1-32:16). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.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, V., &; Koudjinan, E. (2021). Non co-preservation of the 1/2 and  1/(2l+1)-rational caustics along deformations of circles.
LibreCat: https://research-explorer.ista.ac.at/record/9435

Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., &; Saghafian, M. (2021). Counting cells of order-k voronoi tessellations in d<sup>3</sup> with morse theory. In Leibniz International Proceedings in Informatics (Vol. 189). Online: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.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, D.-A., &; Davies, P. (2021). Collecting coupons is faster with friends. In Structural Information and Communication Complexity (Vol. 12810, pp. 3–12). Wrocaw, Poland: Springer Nature.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, B., Chakraborty, S., Klein, K., Pascual Perez, G., Pietrzak, K. Z., Walter, M., &; Yeo, M. X. (2021). Inverse-Sybil attacks in automated contact tracing. In Topics in Cryptology – CT-RSA 2021 (Vol. 12704, pp. 399–421). Virtual Event: Springer Nature.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, T., &; Walter, M. (2021). Dual lattice attacks for closest vector problems (with preprocessing). In Topics in Cryptology – CT-RSA 2021 (Vol. 12704, pp. 478–502). Virtual Event: Springer Nature.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, D.-A., Ellen, F., &; Rybicki, J. (2021). Wait-free approximate agreement on graphs. In Structural Information and Communication Complexity (Vol. 12810, pp. 87–105). Wrocaw, Poland: Springer Nature.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, L., Zrour, R., Largeteau-Skapin, G., Biswas, R., &; Andres, E. (2021). Body centered cubic grid - coordinate system and discrete analytical plane definition. In Discrete Geometry and Mathematical Morphology (Vol. 12708, pp. 152–163). Uppsala, Sweden: Springer Nature.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, C., Talian, S. D., Vizintin, A., Amenitsch, H., Dominko, R., Freunberger, S. A., &; Wood, V. (n.d.). Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries. Research Square.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, S., Chatterjee, K., &; Vardi, M. Y. (2021). On satisficing in quantitative games. In 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 12651, pp. 20–37). Luxembourg City, Luxembourg: Springer Nature.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, S., &; Laux, T. (n.d.). A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness. arXiv.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, L.-P., Dubach, G., &; Hartung, L. (n.d.). Maxima of a random model of the Riemann zeta function over intervals of varying length. arXiv.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, G., &; Mühlböck, F. (n.d.). Formal verification of Zagier’s one-sentence proof. arXiv.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, B., &; Tkadik, G. (n.d.). Token-driven totally asymmetric simple exclusion process. arXiv.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, M., Van den Eynden, D., Sanchez Ribot, S., Pokratath, R., Llorca, J., De Roo, J., &; Ibáñez, M. (2021). Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate. JACS Au. American Chemical Society.https://doi.org/10.1021/jacsau.1c00349 
LibreCat: https://research-explorer.ista.ac.at/record/10806
DOI: 10.1021/jacsau.1c00349

Schlögl, A., Elefante, S., Hornoiu, A., &; Stadlbauer, S. (2021). Managing software on a heterogenous HPC cluster. In ASHP – Austrian-Slovenian HPC Meeting 2021 (p. 5). Virtual: University of Ljubljana.https://doi.org/10.3359/2021hpc 
LibreCat: https://research-explorer.ista.ac.at/record/12909
DOI: 10.3359/2021hpc

Peste, E.-A., Iofinova, E. B., Vladu, A., &; Alistarh, D.-A. (2021). AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. In 35th Conference on Neural Information Processing Systems (Vol. 34, pp. 8557–8570). Virtual, Online: Curran Associates.
LibreCat: https://research-explorer.ista.ac.at/record/11458
arXiv: 2106.12379

Brooks, M., Lemeshko, M., Lundholm, D., &; Yakaboylu, E. (2021). Emergence of anyons on the two-sphere in molecular impurities. Atoms. MDPI.https://doi.org/10.3390/atoms9040106 
LibreCat: https://research-explorer.ista.ac.at/record/10585
DOI: 10.3390/atoms9040106
arXiv: 2108.06966

Alimisis, F., Davies, P., &; Alistarh, D.-A. (2021). Communication-efficient distributed optimization with quantized preconditioners. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 196–206). Virtual: ML Research Press.
LibreCat: https://research-explorer.ista.ac.at/record/13147
arXiv: 2102.07214

Nguyen, Q., Mondelli, M., &; Montufar, G. (2021). 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, pp. 8119–8129). Virtual: ML Research Press.
LibreCat: https://research-explorer.ista.ac.at/record/13146
arXiv: 2012.11654

Henzinger, T. A., Lechner, M., &; Zikelic, D. (2021). Scalable verification of quantized neural networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 3787–3795). Virtual: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/10665
arXiv: 2012.08185

Lechner, M., dikeli, Ð., Chatterjee, K., &; Henzinger, T. A. (2021). Infinite time horizon safety of Bayesian neural networks. In 35th Conference on Neural Information Processing Systems. Virtual.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, D. L., Hillary, R. F., Conole, E. L., Trejo Banos, D., Gadd, D. A., Walker, R. M.,https://doi.org/10.5281/ZENODO.5794028__Marioni, R. E. (2021). Blood-based epigenome-wide analyses of cognitive abilities. Zenodo.https://doi.org/10.5281/ZENODO.5794028 
LibreCat: https://research-explorer.ista.ac.at/record/13072
DOI: 10.5281/ZENODO.5794028

Randriamanantsoa, S., Papargyriou, A., Maurer, C., Peschke, K., Schuster, M., Zecchin, G.,https://doi.org/10.5281/ZENODO.5148117__Bausch, A. R. (2021). Spatiotemporal dynamics of self-organized branching in pancreas-derived organoids. Zenodo.https://doi.org/10.5281/ZENODO.5148117 
LibreCat: https://research-explorer.ista.ac.at/record/13068
DOI: 10.5281/ZENODO.5148117

Fredes Tolorza, F. A., Silva Sifuentes, M. A., Koppensteiner, P., Kobayashi, K., Jösch, M. A., &; Shigemoto, R. (2021). Ventro-dorsal hippocampal pathway gates novelty-induced contextual memory formation. Current Biology. Elsevier.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, F., Shriki, O., Herrmann, H. J., &; de Arcangelis, L. (2021). Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches. Neurocomputing. Elsevier.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