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.

4950 Publications

2022 | Journal Article | IST-REx-ID: 11373 |

Radler, P., Baranova, N. S., Dos Santos Caldas, P. R., Sommer, C. M., Lopez Pelegrin, M. D., Michalik, D., & Loose, M. (2022). In vitro reconstitution of Escherichia coli divisome activation. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-022-30301-y

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

2022 | Journal Article | IST-REx-ID: 11995 |

Schulz, R., Korkut, M., Venturino, A., Colombo, G., & Siegert, S. (2022). Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-022-32390-1

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

Schulz, R. (2022). Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses). Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:11542

View | Files available | DOI

2022 | Journal Article | IST-REx-ID: 12118 |

Valentini, M., Borovkov, M., Prada, E., Martí-Sánchez, S., Botifoll, M., Hofmann, A. C., … Katsaros, G. (2022). Majorana-like Coulomb spectroscopy in the absence of zero-bias peaks. Nature. Springer Nature. https://doi.org/10.1038/s41586-022-05382-w

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

Valentini, M., San-Jose, P., Arbiol, J., Marti-Sanchez, S., & Botifoll, M. (2022). Data for “Majorana-like Coulomb spectroscopy in the absence of zero bias peaks.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12102

[Published Version] View | Files available | DOI

2022 | Journal Article | IST-REx-ID: 11411 |

Surendranadh, P., Arathoon, L. S., Baskett, C., Field, D., Pickup, M., & Barton, N. H. (2022). Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Genetics. Oxford University Press. https://doi.org/10.1093/genetics/iyac083

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

Surendranadh, P., Arathoon, L. S., Baskett, C., Field, D., Pickup, M., & Barton, N. H. (2022). Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11321

[Published Version] View | Files available | DOI

2022 | Journal Article | IST-REx-ID: 7791 |

Akopyan, A., & Karasev, R. (2022). When different norms lead to same billiard trajectories? European Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s40879-020-00405-0

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

2022 | Thesis | IST-REx-ID: 12358 |

Sperl, G. (2022). Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12103

[Published Version] View | Files available | DOI

2022 | Thesis | IST-REx-ID: 10759 |

Rzadkowski, W. (2022). Analytic and machine learning approaches to composite quantum impurities. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10759

[Published Version] View | Files available | DOI

2022 | Journal Article | IST-REx-ID: 13240 |

Ingole, K. D., Nagarajan, N., Uhse, S., Giannini, C., & Djamei, A. (2022). Tetracycline-controlled (TetON) gene expression system for the smut fungus Ustilago maydis. Frontiers in Fungal Biology. Frontiers Media. https://doi.org/10.3389/ffunb.2022.1029114

[Published Version] View | Files available | DOI

2022 | Journal Article | IST-REx-ID: 10755 |

Feliciangeli, D., Rademacher, S. A. E., & Seiringer, R. (2022). The effective mass problem for the Landau-Pekar equations. Journal of Physics A: Mathematical and Theoretical. IOP Publishing. https://doi.org/10.1088/1751-8121/ac3947

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

2022 | Preprint | IST-REx-ID: 8125 |

Podlaski, W. F., Agnes, E. J., & Vogels, T. P. (2022). High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.01.08.898528

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

2022 | 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 | Journal Article | IST-REx-ID: 12480 |

Mondelli, M., & Venkataramanan, R. (2022). Approximate message passing with spectral initialization for generalized linear models. Journal of Statistical Mechanics: Theory and Experiment. IOP Publishing. https://doi.org/10.1088/1742-5468/ac9828

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

2022 | Journal Article | IST-REx-ID: 11660 |

Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., & Saghafian, M. (n.d.). A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

[Submitted Version] View | Files available

2022 | Journal Article | IST-REx-ID: 11658 |

Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., & Saghafian, M. (n.d.). Depth in arrangements: Dehn–Sommerville–Euler relations with applications. Leibniz International Proceedings on Mathematics. Schloss Dagstuhl - Leibniz Zentrum für Informatik.

[Submitted Version] View | Files available

2022 | Preprint | IST-REx-ID: 15090 |

Biswas, R., Cultrera di Montesano, S., Draganov, O., Edelsbrunner, H., & Saghafian, M. (n.d.). On the size of chromatic Delaunay mosaics. arXiv.

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

2022 | Journal Article | IST-REx-ID: 11842 |

Hensel, S., & Marveggio, A. (2022). Weak-strong uniqueness for the Navier–Stokes equation for two fluids with ninety degree contact angle and same viscosities. Journal of Mathematical Fluid Mechanics. Springer Nature. https://doi.org/10.1007/s00021-022-00722-2

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

2022 | 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 | Journal Article | IST-REx-ID: 10787 |

Barton, N. H., & Olusanya, O. O. (2022). The response of a metapopulation to a changing environment. Philosophical Transactions of the Royal Society B: Biological Sciences. The Royal Society. https://doi.org/10.1098/rstb.2021.0009

2022 | Journal Article | IST-REx-ID: 10658 |

Sachdeva, H., Olusanya, O. O., & Barton, N. H. (2022). Genetic load and extinction in peripheral populations: The roles of migration, drift and demographic stochasticity. Philosophical Transactions of the Royal Society B. The Royal Society. https://doi.org/10.1098/rstb.2021.0010

2022 | Thesis | IST-REx-ID: 12368 |

Arslan, F. N. (2022). Remodeling of E-cadherin-mediated contacts via cortical flows. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12153

[Published Version] View | Files available | DOI

2022 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 10608 |

Weighill, T., Yamauchi, T., & Zava, N. (2021). Coarse infinite-dimensionality of hyperspaces of finite subsets. European Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s40879-021-00515-3

[Published Version] View | Files available | DOI

2021 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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

2021 | Conference Paper | IST-REx-ID: 10847 |

Tomášek, P., Horák, K., Aradhye, A., Bošanský, 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

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

2021 | Conference Paper | IST-REx-ID: 10853 |

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

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

2021 | Preprint | IST-REx-ID: 10912 |

Lombardi, F., Pepic, S., Shriki, O., Tkačik, G., & De Martino, D. (n.d.). Quantifying the coexistence of neuronal oscillations and avalanches. arXiv. https://doi.org/10.48550/ARXIV.2108.06686

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

2021 | Conference Paper | IST-REx-ID: 11436 |

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.

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

2021 | Conference Paper | IST-REx-ID: 11453 |

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.

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

2021 | Conference Paper | IST-REx-ID: 11452 |

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.

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

2021 | Conference Paper | IST-REx-ID: 11463 |

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.

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

2021 | Conference Paper | IST-REx-ID: 11464 |

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.

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

2021 | Preprint | IST-REx-ID: 12077 |

Shute, A. L. (n.d.). On the leading constant in the Manin-type conjecture for Campana points. arXiv. https://doi.org/10.48550/arXiv.2104.14946

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

2021 | Preprint | IST-REx-ID: 12076 |

Shute, A. L. (n.d.). Sums of four squareful numbers. arXiv. https://doi.org/10.48550/arXiv.2104.06966

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

2021 | Book Chapter | IST-REx-ID: 7941

Truckenbrodt, S. M., & Rizzoli, S. O. (2021). Simple multi-color super-resolution by X10 microscopy. In Methods in Cell Biology (Vol. 161, pp. 33–56). Elsevier. https://doi.org/10.1016/bs.mcb.2020.04.016

View | DOI | PubMed | Europe PMC

2021 | Journal Article | IST-REx-ID: 9097 |

Pandey, R., Al-Nuaimi, Y., Mishra, R. K., Spurgeon, S. K., & Goodfellow, M. (2021). Role of subnetworks mediated by TNF α, 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

[Published Version] View | Files available | DOI

2021 | Book Chapter | IST-REx-ID: 9245

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

View | DOI | PubMed | Europe PMC

2021 | Conference Paper | IST-REx-ID: 9296 |

Aichholzer, O., Arroyo Guevara, A. M., Masárová, Z., Parada, I., Perz, D., Pilz, A., … 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

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

2021 | Book Chapter | IST-REx-ID: 9403 |

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.

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

2021 | Conference Paper | IST-REx-ID: 9466 |

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

[Published Version] View | Files available | DOI

2021 | Journal Article | IST-REx-ID: 9465 |

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

[Published Version] View | Files available | DOI

ISTA Research Explorer

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

4950 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).

4950 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options