ISTA Research Explorer

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.

5215 Publications

2022 |Published| Journal Article | IST-REx-ID: 9695 |

Glielmo, A., Zeni, C., Cheng, B., Csanyi, G., & Laio, A. (2022). Ranking the information content of distance measures. PNAS Nexus. Oxford Academic. https://doi.org/10.1093/pnasnexus/pgac039

[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv

2022 |Published| Other Publication | IST-REx-ID: 17057 |

Loose, M. (2022). Cell scientist to watch – Martin Loose. Journal of Cell Science (Vol. 135). The Company of Biologists. https://doi.org/10.1242/jcs.259715

[Published Version] View | DOI | Download Published Version (ext.) | WoS

2022 |Published| Conference Paper | IST-REx-ID: 12536 |

Barbier, J., Hou, T., Mondelli, M., & Saenz, M. (2022). The price of ignorance: How much does it cost to forget noise structure in low-rank matrix estimation? In 36th Annual Conference on Neural Information Processing Systems (Vol. 35). New Orleans, LA, United States.

[Preprint] View | Download Preprint (ext.) | arXiv

2022 |Published| Book Chapter | IST-REx-ID: 17085 |

Floriach-Clark, J., Tang, H., & Willemsen, V. (2022). Mosses: Accessible Systems for Plant Development Studies. In I. Y. Abdurakhmonov (Ed.), Model Organisms in Plant Genetics. Intech Open. https://doi.org/10.5772/intechopen.100535

[Published Version] View | DOI | Download Published Version (ext.)

2022 |Published| Conference Paper | IST-REx-ID: 11355 |

Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Da Costa, A. O. (2022). Information-flow interfaces. In Fundamental Approaches to Software Engineering (Vol. 13241, pp. 3–22). Munich, Germany: Springer Nature. https://doi.org/10.1007/978-3-030-99429-7_1

[Published Version] View | Files available | DOI | WoS

2022 |Published| Journal Article | IST-REx-ID: 12081 |

Hledik, M., Barton, N. H., & Tkačik, G. (2022). Accumulation and maintenance of information in evolution. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2123152119

2022 |Published| Journal Article | IST-REx-ID: 11135 |

Reker, J. (2022). On the operator norm of a Hermitian random matrix with correlated entries. Random Matrices: Theory and Applications. World Scientific. https://doi.org/10.1142/s2010326322500368

2022 |Submitted| Preprint | IST-REx-ID: 17157 |

Hausel, T., & Rychlewicz, K. P. (n.d.). Spectrum of equivariant cohomology as a fixed point scheme. arXiv. https://doi.org/10.48550/arXiv.2212.11836

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2022 |Published| Journal Article | IST-REx-ID: 10767 |

Kelemen, R. K., Elkrewi, M. N., Lindholm, A. K., & Vicoso, B. (2022). Novel patterns of expression and recruitment of new genes on the t-haplotype, a mouse selfish chromosome. Proceedings of the Royal Society B: Biological Sciences. The Royal Society. https://doi.org/10.1098/rspb.2021.1985

2022 |Published| Journal Article | IST-REx-ID: 11438 |

Li, V., Diorico, F. R., & Hosten, O. (2022). Laser frequency-offset locking at 10-Hz-level instability using hybrid electronic filters. Physical Review Applied. American Physical Society. https://doi.org/10.1103/physrevapplied.17.054031

2022 |Published| Journal Article | IST-REx-ID: 17077 |

Ferber, A., Kwan, M. A., Narayanan, B., Sah, A., & Sawhney, M. (2022). Friendly bisections of random graphs. Communications of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/cams/13

[Published Version] View | Files available | DOI | arXiv

2022 |Published| Journal Article | IST-REx-ID: 11471 |

Sack, S., Medina Ramos, R. A., Michailidis, A., Kueng, R., & Serbyn, M. (2022). Avoiding barren plateaus using classical shadows. PRX Quantum. American Physical Society. https://doi.org/10.1103/prxquantum.3.020365

[Published Version] View | Files available | DOI | WoS | arXiv

2022 |Published| Conference Paper | IST-REx-ID: 17088 |

Kurtic, E., Campos, D., Nguyen, T., Frantar, E., Kurtz, M., Fineran, B., … Alistarh, D.-A. (2022). The optimal BERT surgeon: Scalable and accurate second-order pruning for large language models. In Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing (pp. 4163–4181). Abu Dhabi, United Arab Emirates: Association for Computational Linguistics. https://doi.org/10.18653/v1/2022.emnlp-main.279

[Published Version] View | Files available | DOI | arXiv

2022 |Published| Journal Article | IST-REx-ID: 17071

Mosalaganti, S., Obarska-Kosinska, A., Siggel, M., Taniguchi, R., Turoňová, B., Zimmerli, C. E., … Beck, M. (2022). AI-based structure prediction empowers integrative structural analysis of human nuclear pores. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.abm9506

View | DOI | PubMed | Europe PMC

2022 |Published| Journal Article | IST-REx-ID: 17076 |

Hillary, R. F., Gadd, D. A., McCartney, D. L., Shi, L., Campbell, A., Walker, R. M., … Marioni, R. E. (2022). Genome‐ and epigenome‐wide studies of plasma protein biomarkers for Alzheimer’s disease implicate TBCA and TREM2 in disease risk. Alzheimer’s & Dementia: Diagnosis, Assessment & Disease Monitoring. Wiley. https://doi.org/10.1002/dad2.12280

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2022 |Published| Journal Article | IST-REx-ID: 17070 |

Mistakidis, S. I., Koutentakis, G., Grusdt, F., Schmelcher, P., & Sadeghpour, H. R. (2022). Inducing spin-order with an impurity: phase diagram of the magnetic Bose polaron. New Journal of Physics. IOP Publishing. https://doi.org/10.1088/1367-2630/ac836c

[Published Version] View | Files available | DOI | arXiv

2022 |Published| Book Chapter | IST-REx-ID: 17075

Palacín, M., Bröer, S., & Novarino, G. (2022). Amino Acid Transport Defects. In N. Blau, C. D. Vici, C. R. Ferreira, C. Vianey-Saban, & C. D. M. van Karnebeek (Eds.), Physician’s Guide to the Diagnosis, Treatment, and Follow-Up of Inherited Metabolic Diseases (2nd ed., pp. 291–312). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-67727-5_18

View | DOI

2022 |Published| Journal Article | IST-REx-ID: 17072 |

Naqvi, M. M., Avellaneda Sarrió, M., Roth, A., Koers, E. J., Roland, A., Sunderlikova, V., … Tans, S. J. (2022). Protein chain collapse modulation and folding stimulation by GroEL-ES. Science Advances. American Association for the Advancement of Science. https://doi.org/10.1126/sciadv.abl6293

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2022 |Published| Conference Paper | IST-REx-ID: 17086 |

Zhang, Y., & Weinberger, N. (2022). Mean estimation in high-dimensional binary Markov Gaussian mixture models. In 36th Conference on Neural Information Processing Systems (Vol. 35). New Orleans, LA, United States: ML Research Press.

[Published Version] View | Files available | arXiv

2022 |Published| Journal Article | IST-REx-ID: 17069

Zhong S, Li L, Wang Z, Ge Z, Li Q, Bleckmann A, Wang J, Song Z, Shi Y, Liu T, Li L, Zhou H, Wang Y, Zhang L, Wu H-M, Lai L, Gu H, Dong J, Cheung AY, Dresselhaus T, Qu L-J. 2022. RALF peptide signaling controls the polytubey block in Arabidopsis. Science. 375(6578), 290–296.

View | DOI | PubMed | Europe PMC

2022 |Published| Journal Article | IST-REx-ID: 17068 |

Navarrete, F., Gallei, M. C., Kornienko, A. E., Saado, I., Khan, M., Chia, K.-S., … Djamei, A. (2022). TOPLESS promotes plant immunity by repressing auxin signaling and is targeted by the fungal effector Naked1. Plant Communications. Elsevier. https://doi.org/10.1016/j.xplc.2021.100269

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2022 |Published| Journal Article | IST-REx-ID: 10736 |

Lagator, M., Sarikas, S., Steinrück, M., Toledo-Aparicio, D., Bollback, J. P., Guet, C. C., & Tkačik, G. (2022). Predicting bacterial promoter function and evolution from random sequences. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.64543

2022 |Published| Journal Article | IST-REx-ID: 17067 |

Stouffer, M. A., Khalaf-Nazzal, R., Cifuentes-Diaz, C., Albertini, G., Bandet, E., Grannec, G., … Francis, F. (2022). Doublecortin mutation leads to persistent defects in the Golgi apparatus and mitochondria in adult hippocampal pyramidal cells. Neurobiology of Disease. Elsevier. https://doi.org/10.1016/j.nbd.2022.105702

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2022 |Published| Journal Article | IST-REx-ID: 17061 |

McAvoy, A., Kates-Harbeck, J., Chatterjee, K., & Hilbe, C. (2022). Evolutionary instability of selfish learning in repeated games. PNAS Nexus. Oxford University Press. https://doi.org/10.1093/pnasnexus/pgac141

[Published Version] View | Files available | DOI | arXiv

2022 |Published| Journal Article | IST-REx-ID: 17066 |

Sethi, A., Wei, H., Mishra, N., Segos, I., Lambie, E. J., Zanin, E., & Conradt, B. (2022). A caspase–RhoGEF axis contributes to the cell size threshold for apoptotic death in developing Caenorhabditis elegans. PLOS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.3001786

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2022 |Published| Journal Article | IST-REx-ID: 17065 |

Zhao, H., Willsey, M., Zhu, A., Nandi, C., Tatlock, Z., Solomon, J., & Schulz, A. (2022). Co-optimization of design and fabrication plans for carpentry. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3508499

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2022 |Published| Journal Article | IST-REx-ID: 17063 |

Arnaud, M.-C., Hofer, H. W., Hutchings, M., & Kaloshin, V. (2022). Dynamische Systeme. Oberwolfach Reports. European Mathematical Society. https://doi.org/10.4171/owr/2021/33

[Published Version] View | DOI | Download Published Version (ext.)

2022 |Published| Journal Article | IST-REx-ID: 17058

Shute, A. L. (2022). On the leading constant in the Manin-type conjecture for Campana points. Acta Arithmetica. Institute of Mathematics. https://doi.org/10.4064/aa210430-1-7

[Preprint] View | Files available | DOI | arXiv

2022 |Published| Conference Paper | IST-REx-ID: 17084 |

Aichholzer, O., Demaine, E. D., Korman, M., Lubiw, A., Lynch, J., Masárová, Z., … Wein, N. (2022). Hardness of token swapping on trees. In 30th Annual European Symposium on Algorithms (Vol. 244). Berlin/Potsdam, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ESA.2022.3

[Published Version] View | Files available | DOI | arXiv

2022 |Published| Journal Article | IST-REx-ID: 12231 |

Kogure, Y. S., Muraoka, H., Koizumi, W. C., Gelin-alessi, R., Godard, B. G., Oka, K., … Hotta, K. (2022). Admp regulates tail bending by controlling ventral epidermal cell polarity via phosphorylated myosin localization in Ciona. Development. The Company of Biologists. https://doi.org/10.1242/dev.200215

2022 |Published| Conference Abstract | IST-REx-ID: 17062 |

Ibáñez, M., Liu, Y., & Calcabrini, M. (2022). The importance of surface adsorbates in solution-processed thermoelectric materials. In Proceedings of the nanoGe Spring Meeting 2022. Spain/Virtual: Fundació Scito. https://doi.org/10.29363/nanoge.nsm.2022.159

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2022 |Published| Conference Paper | IST-REx-ID: 17060 |

Tiwari, S., Yeo, M. X., Avarikioti, Z., Salem, I., Pietrzak, K. Z., & Schmid, S. (2022). Wiser: Increasing throughput in payment channel networks with transaction aggregation. In Proceedings of the 4th ACM Conference on Advances in Financial Technologies (pp. 217–231). Cambridge, MA, United States: Association for Computing Machinery. https://doi.org/10.1145/3558535.3559775

[Published Version] View | Files available | DOI | WoS | arXiv

2022 |Published| Conference Paper | IST-REx-ID: 17059 |

Frantar, E., & Alistarh, D.-A. (2022). SPDY: Accurate pruning with speedup guarantees. In 39th International Conference on Machine Learning (Vol. 162, pp. 6726–6743). Baltimore, MD, United States: ML Research Press.

[Published Version] View | Files available | WoS

2022 |Published| Journal Article | IST-REx-ID: 11448 |

Gonzalez Somermeyer, L., Fleiss, A., Mishin, A. S., Bozhanova, N. G., Igolkina, A. A., Meiler, J., … Kondrashov, F. (2022). Heterogeneity of the GFP fitness landscape and data-driven protein design. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.75842

[Published Version] View | Files available | DOI | WoS

2022 |Submitted| Preprint | IST-REx-ID: 14597 |

Fischer, J. L., & Marveggio, A. (n.d.). Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow. arXiv. https://doi.org/10.48550/ARXIV.2203.17143

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2022 |Published| Conference Paper | IST-REx-ID: 10752

Lampert, J., & Lampert, C. (2022). Overcoming rare-language discrimination in multi-lingual sentiment analysis. In 2021 IEEE International Conference on Big Data (pp. 5185–5192). Orlando, FL, United States: IEEE. https://doi.org/10.1109/bigdata52589.2021.9672003

View | DOI | WoS

2022 |Published| Journal Article | IST-REx-ID: 11420 |

Shevchenko, A., Kungurtsev, V., & Mondelli, M. (2022). Mean-field analysis of piecewise linear solutions for wide ReLU networks. Journal of Machine Learning Research. Journal of Machine Learning Research.

[Published Version] View | Files available | arXiv

2022 |Published| Conference Paper | IST-REx-ID: 12780 |

Markov, I., Ramezanikebrya, H., & Alistarh, D.-A. (2022). CGX: Adaptive system support for communication-efficient deep learning. In Proceedings of the 23rd ACM/IFIP International Middleware Conference (pp. 241–254). Quebec, QC, Canada: Association for Computing Machinery. https://doi.org/10.1145/3528535.3565248

[Published Version] View | Files available | DOI | arXiv

2022 |Published| Conference Paper | IST-REx-ID: 12018

Zhang, Y., & Vatedka, S. (2022). Lower bounds on list decoding capacity using error exponents. In 2022 IEEE International Symposium on Information Theory (Vol. 2022, pp. 1324–1329). Espoo, Finland: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ISIT50566.2022.9834815

View | DOI

2022 |Published| Conference Paper | IST-REx-ID: 11476 |

Alwen, J., Auerbach, B., Cueto Noval, M., Klein, K., Pascual Perez, G., Pietrzak, K. Z., & Walter, M. (2022). CoCoA: Concurrent continuous group key agreement. In Advances in Cryptology – EUROCRYPT 2022 (Vol. 13276, pp. 815–844). Cham: Springer Nature. https://doi.org/10.1007/978-3-031-07085-3_28

[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS

2022 |Published| Conference Paper | IST-REx-ID: 17087 |

Frantar, E., Singh, S. P., & Alistarh, D.-A. (2022). Optimal brain compression: A framework for accurate post-training quantization and pruning. In 36th Conference on Neural Information Processing Systems (Vol. 35). New Orleans, LA, United States: ML Research Press.

[Submitted Version] View | Files available | arXiv

2022 |Published| Thesis | IST-REx-ID: 11196 |

Kim, O. (2022). Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11196

[Published Version] View | Files available | DOI

2022 |Published| Thesis | IST-REx-ID: 10727 |

Metzler, S. (2022). Pathogen-mediated sexual selection and immunization in ant colonies. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:10727

[Published Version] View | Files available | DOI

2022 |Published| Thesis | IST-REx-ID: 11879 |

Artner, C. (2022). Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11879

[Published Version] View | Files available | DOI

2022 |Published| Thesis | IST-REx-ID: 11393 |

Jevtic, M. (2022). Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11393

[Published Version] View | Files available | DOI

2022 |Published| Journal Article | IST-REx-ID: 12138 |

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

2022 |Published| Thesis | IST-REx-ID: 12366 |

Redchenko, E. (2022). Controllable states of superconducting Qubit ensembles. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12132

[Published Version] View | Files available | DOI

2022 |Published| Thesis | IST-REx-ID: 11932 |

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

[Published Version] View | Files available | DOI

2022 |Published| Journal Article | IST-REx-ID: 12244 |

Colombo, G., Cubero, R. J., Kanari, L., Venturino, A., Schulz, R., Scolamiero, M., … 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

2022 |Published| Thesis | IST-REx-ID: 12378 |

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

[Published Version] View | Files available | DOI

2022 |Published| Journal Article | IST-REx-ID: 10208 |

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

[Submitted Version] View | Files available | DOI | WoS

2022 |Published| Journal Article | IST-REx-ID: 10703 |

Gaertner, F., Reis-Rodrigues, P., de Vries, I., Hons, M., Aguilera, J., Riedl, M., … Sixt, M. K. (2022). WASp triggers mechanosensitive actin patches to facilitate immune cell migration in dense tissues. Developmental Cell. Cell Press ; Elsevier. https://doi.org/10.1016/j.devcel.2021.11.024

2022 |Published| Thesis | IST-REx-ID: 11388 |

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

[Published Version] View | Files available | DOI

2022 |Published| Thesis | IST-REx-ID: 12401 |

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

[Published Version] View | Files available | DOI

2022 |Published| Journal Article | IST-REx-ID: 12080 |

Enshoji, M., Miyano, Y., Yoshida, N., Nagano, M., Watanabe, M., Kunihiro, M., … Toshima, J. (2022). Eps15/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

2022 |Published| Journal Article | IST-REx-ID: 10614 |

Belyaeva, V., Wachner, S., György, A., Emtenani, S., Gridchyn, I., Akhmanova, M., … 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

2022 |Published| Thesis | IST-REx-ID: 11193 |

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

[Published Version] View | Files available | DOI

2022 |Published| Journal Article | IST-REx-ID: 11160 |

Villa, C. E., Cheroni, C., Dotter, C., López-Tóbon, A., Oliveira, B., Sacco, R., … Novarino, G. (2022). CHD8 haploinsufficiency links autism to transient alterations in excitatory and inhibitory trajectories. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2022.110615

2022 |Published| Thesis | IST-REx-ID: 12364 |

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

[Published Version] View | Files available | DOI

2022 |Published| Journal Article | IST-REx-ID: 12248 |

Elkrewi, M. N., Khauratovich, U., Toups, M. A., Bett, V. K., Mrnjavac, A., Macon, A., … 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

2022 | Research Data | IST-REx-ID: 11653 |

Elkrewi, M. N. (2022). Data from Elkrewi, Khauratovich, Toups et al. 2022, “ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:11653

[Published Version] View | Files available | DOI

2022 |Published| Journal Article | IST-REx-ID: 7577 |

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

[Submitted Version] View | Files available | DOI | WoS | arXiv

2022 |Submitted| Preprint | IST-REx-ID: 11943 |

Velicky, P., Miguel Villalba, E., Michalska, J. M., Wei, D., Lin, Z., Watson, J., … 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

[Preprint] View | Files available | DOI | Download Preprint (ext.)

2022 |Submitted| Preprint | IST-REx-ID: 11950 |

Michalska, J. M., Lyudchik, J., Velicky, P., Korinkova, H., Watson, J., Cenameri, A., … 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

[Preprint] View | Files available | DOI | Download Preprint (ext.)

2021 |Published| Journal Article | IST-REx-ID: 10023 |

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

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2021 |Published| Conference Paper | IST-REx-ID: 10052 |

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

[Published Version] View | Files available | DOI | arXiv

2021 |Published| Conference Paper | IST-REx-ID: 10054 |

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

[Published Version] View | Files available | DOI

2021 |Published| Journal Article | IST-REx-ID: 10071 |

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

[Published Version] View | DOI | Download Published Version (ext.)

2021 |Published| Conference Paper | IST-REx-ID: 10072 |

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

[Published Version] View | Files available | DOI | arXiv

2021 |Published| Conference Paper | IST-REx-ID: 10075 |

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

[Published Version] View | Files available | DOI | arXiv

2021 |Submitted| Preprint | IST-REx-ID: 10080 |

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

[Preprint] View | DOI | Download Preprint (ext.)

2021 |Published| Journal Article | IST-REx-ID: 10153 |

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

[Published Version] View | Files available | DOI

2021 |Published| Conference Paper | IST-REx-ID: 10148 |

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

[Preprint] View | Files available | DOI

2021 |Submitted| Preprint | IST-REx-ID: 10174 |

Clozeau, N., & Gloria, A. (n.d.). Quantitative nonlinear homogenization: control of oscillations. arXiv.

[Preprint] View | Download Preprint (ext.) | arXiv

2021 |Published| Journal Article | IST-REx-ID: 10180 |

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.

[Published Version] View | Files available | Download Published Version (ext.) | arXiv

2021 |Published| Conference Paper | IST-REx-ID: 10218 |

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

[Published Version] View | Files available | DOI | arXiv

2021 |Published| Conference Paper | IST-REx-ID: 10217 |

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

[Published Version] View | Files available | DOI

2021 |Published| Conference Paper | IST-REx-ID: 10216 |

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

[Published Version] View | Files available | DOI | arXiv

2021 |Published| Conference Paper | IST-REx-ID: 10219 |

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

[Published Version] View | Files available | DOI | arXiv

2021 |Published| Book Chapter | IST-REx-ID: 10267

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

View | DOI | PubMed | Europe PMC

2021 |Published| Book Chapter | IST-REx-ID: 10268

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

View | DOI | PubMed | Europe PMC

2021 |Published| Journal Article | IST-REx-ID: 10285 |

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

[Published Version] View | Files available | DOI

2021 |Published| Conference Paper | IST-REx-ID: 10367 |

Ilharco, C., Shirazi, A., Gopalan, A., Nagrani, A., Bratanič, B., Bregler, C., … 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

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2021 |Published| Book | IST-REx-ID: 10415

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

View | DOI

2021 |Published| Journal Article | IST-REx-ID: 10535 |

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

2021 |Published| Conference Paper | IST-REx-ID: 10552 |

Kolmogorov, V., & Pock, T. (2021). One-sided Frank-Wolfe algorithms for saddle problems. In 38th International Conference on Machine Learning. Virtual.

[Preprint] View | Download Preprint (ext.) | arXiv

2021 |Published| Conference Paper | IST-REx-ID: 10595 |

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.

[Published Version] View | Download Published Version (ext.) | arXiv

2021 |Published| Conference Paper | IST-REx-ID: 10599 |

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

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2021 |Published| Journal Article | IST-REx-ID: 10613 |

Chen, J. P., & Sau, F. (2021). Higher-order hydrodynamics and equilibrium fluctuations of interacting particle systems. Markov Processes And Related Fields. Polymat Publishing.

[Preprint] View | Files available | Download Preprint (ext.) | arXiv

2021 |Published| Conference Paper | IST-REx-ID: 10630 |

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

[Published Version] View | Files available | DOI | arXiv

2021 |Published| Conference Paper | IST-REx-ID: 10629 |

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

[Published Version] View | Files available | DOI

2021 |Published| Journal Article | IST-REx-ID: 10635 |

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 Mersenne ; Peer Community In. https://doi.org/10.24072/pcjournal.69

[Published Version] View | Files available | DOI | arXiv

2021 |Published| Other Publication | IST-REx-ID: 10645 |

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.

[Published Version] View | Download Published Version (ext.)

2021 |Published| Other Publication | IST-REx-ID: 10644 |

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.

[Published Version] View | Download Published Version (ext.)

2021 |Published| Conference Paper | IST-REx-ID: 10669 |

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.

[Published Version] View | Files available | Download Published Version (ext.) | arXiv

2021 |Published| Conference Paper | IST-REx-ID: 10671 |

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.

[Published Version] View | Files available | Download Published Version (ext.) | arXiv

2021 |Published| Conference Paper | IST-REx-ID: 10668 |

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.

[Published Version] View | Files available | Download Published Version (ext.)

2021 |Published| Conference Paper | IST-REx-ID: 10670 |

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.

[Published Version] View | Files available | Download Published Version (ext.) | arXiv

2021 |Published| Conference Paper | IST-REx-ID: 10688 |

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

[Published Version] View | Files available | DOI

2021 |Published| Conference Paper | IST-REx-ID: 10694 |

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

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

5215 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

5215 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options