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.

4895 Publications


2022 | Journal Article | IST-REx-ID: 10813 | OA
Cao D, Shen X, Wang A, Yu F, Wu Y, Shi S, Freunberger SA, Chen Y. 2022. Threshold potentials for fast kinetics during mediated redox catalysis of insulators in Li–O2 and Li–S batteries. Nature Catalysis. 5, 193–201.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2022 | Preprint | IST-REx-ID: 10792 | OA
Schaaf Z, Tat L, Cannizzaro N, Green R, Rülicke T, Hippenmeyer S, Zarbalis K. WDFY3 cell autonomously controls neuronal migration. 10.21203/rs.3.rs-1316167/v1.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 14437
Utzat H, Ibáñez M. 2022. Molecular engineering enables bright blue LEDs. Nature. 612(7941), 638–639.
View | DOI | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11435 | OA
Ivanov G, Naszodi M. 2022. A quantitative Helly-type theorem: Containment in a homothet. SIAM Journal on Discrete Mathematics. 36(2), 951–957.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 12776 | OA
Browning TD. 2022. Revisiting the Manin–Peyre conjecture for the split del Pezzo surface of degree 5. New York Journal of Mathematics. 28, 1193–1229.
[Published Version] View | Files available
 

2022 | Journal Article | IST-REx-ID: 10850 | OA
Roos B, Seiringer R. 2022. Two-particle bound states at interfaces and corners. Journal of Functional Analysis. 282(12), 109455.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12452 | OA
Rao P, B R M, Fox G, Weyrich T, Bickel B, Seidel H-P, Pfister H, Matusik W, Tewari A, Theobalt C, Elgharib M. 2022. VoRF: Volumetric Relightable Faces. 33rd British Machine Vision Conference. BMVC: British Machine Vision Conference, 708.
[Published Version] View | Files available | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 11478 | OA
Bartalska K, Hübschmann V, Korkut M, Cubero RJ, Venturino A, Rössler K, Czech T, Siegert S. 2022. A systematic characterization of microglia-like cell occurrence during retinal organoid differentiation. iScience. 25(7), 104580.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12117 | OA
Hübschmann V, Korkut M, Siegert S. 2022. Assessing human iPSC-derived microglia identity and function by immunostaining, phagocytosis, calcium activity, and inflammation assay. STAR Protocols. 3(4), 101866.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12291 | OA
Friml J, Gallei MC, Gelová Z, Johnson AJ, Mazur E, Monzer A, Rodriguez Solovey L, Roosjen M, Verstraeten I, Živanović BD, Zou M, Fiedler L, Giannini C, Grones P, Hrtyan M, Kaufmann W, Kuhn A, Narasimhan M, Randuch M, Rýdza N, Takahashi K, Tan S, Teplova A, Kinoshita T, Weijers D, Rakusová H. 2022. ABP1–TMK auxin perception for global phosphorylation and auxin canalization. Nature. 609(7927), 575–581.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 11626 | OA
Gallei MC. 2022. Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10411 | OA
Li L, Gallei MC, Friml J. 2022. Bending to auxin: Fast acid growth for tropisms. Trends in Plant Science. 27(5), 440–449.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Research Data Reference | IST-REx-ID: 14520 | OA
Zemlicka M, Redchenko E, Peruzzo M, Hassani F, Trioni A, Barzanjeh S, Fink JM. 2022. Compact vacuum gap transmon qubits: Selective and sensitive probes for superconductor surface losses, Zenodo, 10.5281/ZENODO.8408897.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 11403
Stöllner A. 2022. Measuring airborne nanoplastics using aerosol physics. Nature Reviews Earth and Environment. 3(6), 360.
View | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 10791 | OA
Hansen AH, Pauler F, Riedl M, Streicher C, Heger A-M, Laukoter S, Sommer CM, Nicolas A, Hof B, Tsai LH, Rülicke T, Hippenmeyer S. 2022. Tissue-wide effects override cell-intrinsic gene function in radial neuron migration. Oxford Open Neuroscience. 1(1), kvac009.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12000 | OA
Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. 2022. Sound and complete certificates for auantitative termination analysis of probabilistic programs. Proceedings of the 34th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13371, 55–78.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12511 | OA
Lechner M, Zikelic D, Chatterjee K, Henzinger TA. 2022. Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. 36(7), 7326–7336.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Preprint | IST-REx-ID: 14601 | OA
Zikelic D, Lechner M, Chatterjee K, Henzinger TA. Learning stabilizing policies in stochastic control systems. arXiv, 10.48550/arXiv.2205.11991.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 10851 | OA
Phan DT, Senior JL, Ghazaryan A, Hatefipour M, Strickland WM, Shabani J, Serbyn M, Higginbotham AP. 2022. Detecting induced p±ip pairing at the Al-InAs interface with a quantum microwave circuit. Physical Review Letters. 128(10), 107701.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2022 | Book Chapter | IST-REx-ID: 12294
Kumar R, Reichelt M, Bisht NC. 2022.An LC-MS/MS Assay for Enzymatic Characterization of Methylthioalkylmalate Synthase (MAMS) Involved in Glucosinolate Biosynthesis. In: Biochemical Pathways and Environmental Responses in Plants: Part A. Methods in Enzymology, vol. 676, 49–69.
View | DOI | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11471 | OA
Sack S, Medina Ramos RA, Michailidis A, Kueng R, Serbyn M. 2022. Avoiding barren plateaus using classical shadows. PRX Quantum. 3(2), 020365.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 12538 | OA
Amani MH, Bombari S, Mondelli M, Pukdee R, Rini S. 2022. Sharp asymptotics on the compression of two-layer neural networks. IEEE Information Theory Workshop., 588–593.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12537 | OA
Bombari S, Amani MH, Mondelli M. 2022. Memorization and optimization in deep neural networks with minimum over-parameterization. 36th Conference on Neural Information Processing Systems. vol. 35, 7628–7640.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 12272 | OA
Stopp JA, Sixt MK. 2022. Plan your trip before you leave: The neutrophils’ search-and-run journey. Journal of Cell Biology. 221(8), e202206127.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12155
Qin Y, Qin B, Wang D, Chang C, Zhao L-D. 2022. Solid-state cooling: Thermoelectrics. Energy & Environmental Science. 15(11), 4527–4541.
View | Files available | DOI | WoS
 

2022 | Preprint | IST-REx-ID: 14600 | OA
Zikelic D, Lechner M, Henzinger TA, Chatterjee K. Learning control policies for stochastic systems with reach-avoid guarantees. arXiv, 10.48550/ARXIV.2210.05308.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 10787 | OA
Barton NH, Olusanya OO. 2022. The response of a metapopulation to a changing environment. Philosophical Transactions of the Royal Society B: Biological Sciences. 377(1848).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 10658 | OA
Sachdeva H, Olusanya OO, Barton NH. 2022. Genetic load and extinction in peripheral populations: The roles of migration, drift and demographic stochasticity. Philosophical Transactions of the Royal Society B. 377(1846), 20210010.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Preprint | IST-REx-ID: 14216 | OA
Norelli A, Fumero M, Maiorca V, Moschella L, Rodolà E, Locatello F. ASIF: Coupled data turns unimodal models to multimodal without training. arXiv, 2210.01738.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Research Data | IST-REx-ID: 10934 | OA
Radler P. 2022. In vitro reconstitution of Escherichia coli divisome activation, Institute of Science and Technology Austria, 10.15479/AT:ISTA:10934.
[Submitted Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11373 | OA
Radler P, Baranova NS, Dos Santos Caldas PR, Sommer CM, Lopez Pelegrin MD, Michalik D, Loose M. 2022. In vitro reconstitution of Escherichia coli divisome activation. Nature Communications. 13, 2635.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11995 | OA
Schulz R, Korkut M, Venturino A, Colombo G, Siegert S. 2022. Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses. Nature Communications. 13, 4728.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Research Data | IST-REx-ID: 11542 | OA
Schulz R. 2022. Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses), Institute of Science and Technology Austria, 10.15479/AT:ISTA:11542.
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12118 | OA
Valentini M, Borovkov M, Prada E, Martí-Sánchez S, Botifoll M, Hofmann AC, Arbiol J, Aguado R, San-Jose P, Katsaros G. 2022. Majorana-like Coulomb spectroscopy in the absence of zero-bias peaks. Nature. 612(7940), 442–447.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Research Data | IST-REx-ID: 12522 | OA
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, 10.15479/AT:ISTA:12102.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11411 | OA
Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. 2022. Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Genetics. 221(3), iyac083.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Research Data | IST-REx-ID: 11321 | OA
Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. 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, 10.15479/at:ista:11321.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 7791 | OA
Akopyan A, Karasev R. 2022. When different norms lead to same billiard trajectories? European Journal of Mathematics. 8(4), 1309–1312.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Thesis | IST-REx-ID: 12358 | OA
Sperl G. 2022. Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 10759 | OA
Rzadkowski W. 2022. Analytic and machine learning approaches to composite quantum impurities. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 13240 | OA
Ingole KD, 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. 3, 1029114.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10755 | OA
Feliciangeli D, Rademacher SAE, Seiringer R. 2022. The effective mass problem for the Landau-Pekar equations. Journal of Physics A: Mathematical and Theoretical. 55(1), 015201.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Preprint | IST-REx-ID: 8125 | OA
Podlaski WF, Agnes EJ, Vogels TP. 2022. High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating. bioRxiv, 10.1101/2020.01.08.898528.
[Preprint] View | DOI | Download Preprint (ext.)
 

2022 | Journal Article | IST-REx-ID: 12081 | OA
Hledik M, Barton NH, Tkačik G. 2022. Accumulation and maintenance of information in evolution. Proceedings of the National Academy of Sciences. 119(36), e2123152119.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12480 | OA
Mondelli M, Venkataramanan R. 2022. Approximate message passing with spectral initialization for generalized linear models. Journal of Statistical Mechanics: Theory and Experiment. 2022(11), 114003.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11660 | OA
Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs. LIPIcs.
[Submitted Version] View | Files available
 

2022 | Journal Article | IST-REx-ID: 11658 | OA
Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Depth in arrangements: Dehn–Sommerville–Euler relations with applications. Leibniz International Proceedings on Mathematics.
[Submitted Version] View | Files available
 

2022 | Preprint | IST-REx-ID: 15090 | OA
Biswas R, Cultrera di Montesano S, Draganov O, Edelsbrunner H, Saghafian M. On the size of chromatic Delaunay mosaics. arXiv, 2212.03121.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11842 | OA
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. 24(3), 93.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Preprint | IST-REx-ID: 14597 | OA
Fischer JL, Marveggio A. Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow. arXiv, 10.48550/ARXIV.2203.17143.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Thesis | IST-REx-ID: 11196 | OA
Kim O. 2022. Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 10727 | OA
Metzler S. 2022. Pathogen-mediated sexual selection and immunization in ant colonies. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11879 | OA
Artner C. 2022. Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11393 | OA
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.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 12366 | OA
Redchenko E. 2022. Controllable states of superconducting Qubit ensembles. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11932 | OA
Nardin M. 2022. On the encoding, transfer, and consolidation of spatial memories. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12244 | OA
Colombo G, Cubero RJ, Kanari L, Venturino A, Schulz R, Scolamiero M, Agerberg J, Mathys H, Tsai L-H, Chachólski W, Hess K, Siegert S. 2022. A tool for mapping microglial morphology, morphOMICs, reveals brain-region and sex-dependent phenotypes. Nature Neuroscience. 25(10), 1379–1393.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 12378 | OA
Colombo G. 2022. MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10208 | OA
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. 13, 2621–2635.
[Submitted Version] View | Files available | DOI | WoS
 

2022 | Preprint | IST-REx-ID: 11943 | OA
Velicky P, Miguel Villalba E, Michalska JM, Wei D, Lin Z, Watson J, Troidl J, Beyer J, Ben Simon Y, Sommer CM, Jahr W, Cenameri A, Broichhagen J, Grant SGN, Jonas PM, Novarino G, Pfister H, Bickel B, Danzl JG. Saturated reconstruction of living brain tissue. bioRxiv, 10.1101/2022.03.16.484431.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2022 | Preprint | IST-REx-ID: 11950 | OA
Michalska JM, Lyudchik J, Velicky P, Korinkova H, Watson J, Cenameri A, Sommer CM, Venturino A, Roessler K, Czech T, Siegert S, Novarino G, Jonas PM, Danzl JG. Uncovering brain tissue architecture across scales with super-resolution light microscopy. bioRxiv, 10.1101/2022.08.17.504272.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2022 | Journal Article | IST-REx-ID: 10703 | OA
Gaertner F, Reis-Rodrigues P, de Vries I, Hons M, Aguilera J, Riedl M, Leithner AF, Tasciyan S, Kopf A, Merrin J, Zheden V, Kaufmann W, Hauschild R, Sixt MK. 2022. WASp triggers mechanosensitive actin patches to facilitate immune cell migration in dense tissues. Developmental Cell. 57(1), 47–62.e9.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 11388 | OA
Belohlavy S. 2022. The genetic basis of complex traits studied via analysis of evolve and resequence experiments. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 12401 | OA
Tasciyan S. 2022. Role of microenvironment heterogeneity in cancer cell invasion. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12080 | OA
Enshoji M, Miyano Y, Yoshida N, Nagano M, Watanabe M, Kunihiro M, Siekhaus DE, Toshima JY, Toshima J. 2022. Eps15/Pan1p is a master regulator of the late stages of the endocytic pathway. Journal of Cell Biology. 221(10), e202112138.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 10614 | OA
Belyaeva V, Wachner S, György A, Emtenani S, Gridchyn I, Akhmanova M, Linder M, Roblek M, Sibilia M, Siekhaus DE. 2022. Fos regulates macrophage infiltration against surrounding tissue resistance by a cortical actin-based mechanism in Drosophila. PLoS Biology. 20(1), e3001494.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 11193 | OA
Wachner S. 2022. Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11160 | OA
Villa CE, Cheroni C, Dotter C, López-Tóbon A, Oliveira B, Sacco R, Yahya AÇ, Morandell J, Gabriele M, Tavakoli M, Lyudchik J, Sommer CM, Gabitto M, Danzl JG, Testa G, Novarino G. 2022. CHD8 haploinsufficiency links autism to transient alterations in excitatory and inhibitory trajectories. Cell Reports. 39(1), 110615.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 12364 | OA
Dotter C. 2022. Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12248 | OA
Elkrewi MN, Khauratovich U, Toups MA, Bett VK, Mrnjavac A, Macon A, Fraisse C, Sax L, Huylmans AK, Hontoria F, Vicoso B. 2022. ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp. Genetics. 222(2), iyac123.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Research Data | IST-REx-ID: 11653 | OA
Elkrewi MN. 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, 10.15479/AT:ISTA:11653.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 7577 | OA
Shehu Y, Iyiola OS. 2022. Weak convergence for variational inequalities with inertial-type method. Applicable Analysis. 101(1), 192–216.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 10023 | OA
Karatzas I, Maas J, Schachermayer W. 2021. Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. 21(4), 481–536.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10052 | OA
Jecker IR, Mazzocchi N, Wolf P. 2021. Decomposing permutation automata. 32nd International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 203, 18.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10054 | OA
Chatterjee K, Henzinger MH, Kale SS, Svozil A. 2021. Faster algorithms for bounded liveness in graphs and game graphs. 48th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 198, 124.
[Published Version] View | Files available | DOI
 

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

2021 | Conference Paper | IST-REx-ID: 10072 | OA
Harris DG, Iliopoulos F, Kolmogorov V. 2021. A new notion of commutativity for the algorithmic Lovász Local Lemma. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. APPROX/RANDOM: Approximation Algorithms for Combinatorial Optimization Problems/ Randomization and Computation, LIPIcs, vol. 207, 31.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10075 | OA
Guha S, Jecker IR, Lehtinen K, Zimmermann M. 2021. A bit of nondeterminism makes pushdown automata expressive and succinct. 46th International Symposium on Mathematical Foundations of Computer Science. MFCS: Mathematical Foundations of Computer Science, LIPIcs, vol. 202, 53.
[Published Version] View | Files available | DOI | arXiv
 

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

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

2021 | Conference Paper | IST-REx-ID: 10148 | OA
Degraen D, Piovarci M, Bickel B, Kruger A. 2021. Capturing tactile properties of real surfaces for haptic reproduction. 34th Annual ACM Symposium. UIST: User Interface Software and Technology, 954–971.
[Preprint] View | Files available | DOI
 

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

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

2021 | Conference Paper | IST-REx-ID: 10218 | OA
Alistarh D-A, Gelashvili R, Rybicki J. 2021. Brief announcement: Fast graphical population protocols. 35th International Symposium on Distributed Computing. DISC: Distributed Computing , LIPIcs, vol. 209, 43.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10217 | OA
Alistarh D-A, Gelashvili R, Nadiradze G. 2021. Lower bounds for shared-memory leader election under bounded write contention. 35th International Symposium on Distributed Computing. DISC: Distributed Computing, LIPIcs, vol. 209, 4.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10216 | OA
Chatterjee B, Peri S, Sa M. 2021. Brief announcement: Non-blocking dynamic unbounded graphs with worst-case amortized bounds. 35th International Symposium on Distributed Computing. DISC: Distributed Computing, LIPIcs, vol. 209, 52.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10219 | OA
Korhonen J, Paz A, Rybicki J, Schmid S, Suomela J. 2021. Brief announcement: Sinkless orientation is hard also in the supported LOCAL model. 35th International Symposium on Distributed Computing. DISC: Distributed Computing , LIPIcs, vol. 209, 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: Plant Gravitropism. Methods in Molecular Biology, vol. 2368, 43–51.
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. Methods in Molecular Biology, vol. 2382, 105–114.
View | DOI | PubMed | Europe PMC
 

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

2021 | Conference Paper | IST-REx-ID: 10367 | OA
Ilharco C, Shirazi A, Gopalan A, Nagrani A, Bratanič B, Bregler C, Liu C, Ferreira F, Barcik G, Ilharco G, Osang GF, Bulian J, Frank J, Smaira L, Cao Q, Marino R, Patel R, Leung T, Imbrasaite V. 2021. Recognizing multimodal entailment. 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts. ACL: Association for Computational Linguistics ; IJCNLP: International Joint Conference on Natural Language Processing, 29–30.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2021 | Book | IST-REx-ID: 10415
Browning TD. 2021. Cubic Forms and the Circle Method, Cham: Springer Nature, XIV, 166p.
View | DOI
 

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

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

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

2021 | Conference Paper | IST-REx-ID: 10599 | OA
Hashemi SA, Mondelli M, Cioffi J, Goldsmith A. 2021. Successive syndrome-check decoding of polar codes. Proceedings of the 55th Asilomar Conference on Signals, Systems, and Computers. ACSSC: Asilomar Conference on Signals, Systems, and Computers vol. 2021–October, 943–947.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

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

2021 | Conference Paper | IST-REx-ID: 10630 | OA
Arrighi E, Fernau H, Hoffmann S, Holzer M, Jecker IR, De Oliveira Oliveira M, Wolf P. 2021. On the complexity of intersection non-emptiness for star-free language classes. 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 213, 34.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10629 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2021. Quantitative verification on product graphs of small treewidth. 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 213, 42.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications