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


2021 | Conference Paper | IST-REx-ID: 9644 | OA
K. Chatterjee, E. K. Goharshady, P. Novotný, and D. Zikelic, “Proving non-termination by program reversal,” in Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Online, 2021, pp. 1033–1048.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9760 | OA
S. Sack and M. Serbyn, “Quantum annealing initialization of the quantum approximate optimization algorithm,” Quantum, vol. 5. Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10414 | OA
K. Chatterjee, E. K. Goharshady, P. Novotný, J. Zárevúcky, and D. Zikelic, “On lexicographic proof rules for probabilistic termination,” in 24th International Symposium on Formal Methods, Virtual, 2021, vol. 13047, pp. 619–639.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 14800 | OA
Chang C, Chen W, Chen Y, Chen Y, Chen Y, Ding F, Fan C, Fan HJ, Fan Z, Gong C, Gong Y, He Q, Hong X, Hu S, Hu W, Huang W, Huang Y, Ji W, Li D, Li LJ, Li Q, Lin L, Ling C, Liu M, Liu N, Liu Z, Loh KP, Ma J, Miao F, Peng H, Shao M, Song L, Su S, Sun S, Tan C, Tang Z, Wang D, Wang H, Wang J, Wang X, Wang X, Wee ATS, Wei Z, Wu Y, Wu ZS, Xiong J, Xiong Q, Xu W, Yin P, Zeng H, Zeng Z, Zhai T, Zhang H, Zhang H, Zhang Q, Zhang T, Zhang X, Zhao LD, Zhao M, Zhao W, Zhao Y, Zhou KG, Zhou X, Zhou Y, Zhu H, Zhang H, Liu Z. 2021. Recent progress on two-dimensional materials. Acta Physico-Chimica Sinica. 37(12), 2108017.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 10206 | OA
A. Lukina, C. Schilling, and T. A. Henzinger, “Into the unknown: active monitoring of neural networks,” in 21st International Conference on Runtime Verification, Virtual, 2021, vol. 12974, pp. 42–61.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 14889 | OA
N. K. Leopold, D. J. Mitrouskas, S. A. E. Rademacher, B. Schlein, and R. Seiringer, “Landau–Pekar equations and quantum fluctuations for the dynamics of a strongly coupled polaron,” Pure and Applied Analysis, vol. 3, no. 4. Mathematical Sciences Publishers, pp. 653–676, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 14890 | OA
L. Bossmann, S. P. Petrat, P. Pickl, and A. Soffer, “Beyond Bogoliubov dynamics,” Pure and Applied Analysis, vol. 3, no. 4. Mathematical Sciences Publishers, pp. 677–726, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 15013 | OA
J. Alt, L. Erdös, and T. H. Krüger, “Spectral radius of random matrices with independent entries,” Probability and Mathematical Physics, vol. 2, no. 2. Mathematical Sciences Publishers, pp. 221–280, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9887 | OA
A. J. Johnson et al., “The TPLATE complex mediates membrane bending during plant clathrin-mediated endocytosis,” Proceedings of the National Academy of Sciences, vol. 118, no. 51. National Academy of Sciences, 2021.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Book Chapter | IST-REx-ID: 14984
S. Stankowski, D. Shipilina, and A. M. Westram, “Hybrid Zones,” in Encyclopedia of Life Sciences, vol. 2, Wiley, 2021.
View | DOI
 

2021 | Book Chapter | IST-REx-ID: 14987
C. Lampert, “Zero-Shot Learning,” in Computer Vision, 2nd ed., K. Ikeuchi, Ed. Cham: Springer, 2021, pp. 1395–1397.
View | DOI
 

2021 | Research Data Reference | IST-REx-ID: 14988 | OA
A. J. Johnson, “Raw data from Johnson et al, PNAS, 2021.” Zenodo, 2021.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2021 | Preprint | IST-REx-ID: 10029 | OA
D. T. Phan et al., “Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid,” arXiv. .
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2021 | Research Data | IST-REx-ID: 9291 | OA
G. Katsaros, “Raw transport data for: Enhancement of proximity induced superconductivity in planar germanium.” Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Research Data | IST-REx-ID: 9636 | OA
A. P. Higginbotham, “Data for ‘Breakdown of induced p ± ip pairing in a superconductor-semiconductor hybrid.’” Institute of Science and Technology Austria, 2021.
[Submitted Version] View | Files available
 

2021 | Journal Article | IST-REx-ID: 8910 | OA
M. Valentini et al., “Nontopological zero-bias peaks in full-shell nanowires induced by flux-tunable Andreev states,” Science, vol. 373, no. 6550. American Association for the Advancement of Science, 2021.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2021 | Research Data | IST-REx-ID: 9323 | OA
D. Jirovec, “Research data for ‘A singlet-triplet hole spin qubit planar Ge.’” Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Research Data | IST-REx-ID: 9389 | OA
M. Valentini, “Research data for ‘Non-topological zero bias peaks in full-shell nanowires induced by flux tunable Andreev states.’” Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 10559 | OA
K. Aggarwal et al., “Enhancement of proximity-induced superconductivity in a planar Ge hole gas,” Physical Review Research, vol. 3, no. 2. American Physical Society, 2021.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Journal Article | IST-REx-ID: 10166 | OA
A. K. Huylmans, A. Macon, F. Hontoria, and B. Vicoso, “Transitions to asexuality and evolution of gene expression in Artemia brine shrimp,” Proceedings of the Royal Society B: Biological Sciences, vol. 288, no. 1959. The Royal Society, 2021.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Research Data | IST-REx-ID: 9192 | OA
P. Surendranadh, L. S. Arathoon, C. Baskett, D. Field, M. Pickup, and N. H. Barton, “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, 2021.
[Published Version] View | Files available | DOI
 

2021 | Research Data | IST-REx-ID: 9949 | OA
B. Vicoso, “Data from Hyulmans et al 2021, ‘Transitions to asexuality and evolution of gene expression in Artemia brine shrimp.’” Institute of Science and Technology Austria, 2021.
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 8997 | OA
B. Kavcic, G. Tkačik, and M. T. Bollenbach, “Minimal biophysical model of combined antibiotic action,” PLOS Computational Biology, vol. 17. Public Library of Science, 2021.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 9283 | OA
A. A. Nagy-Staron et al., “Local genetic context shapes the function of a gene regulatory network,” eLife, vol. 10. eLife Sciences Publications, 2021.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 10184 | OA
T. Alderighi, L. Malomo, B. Bickel, P. Cignoni, and N. Pietroni, “Volume decomposition for two-piece rigid casting,” ACM Transactions on Graphics, vol. 40, no. 6. Association for Computing Machinery, 2021.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2021 | Journal Article | IST-REx-ID: 9541 | OA
A. Czumaj, P. Davies, and M. Parter, “Graph sparsification for derandomizing massively parallel computation with low space,” ACM Transactions on Algorithms, vol. 17, no. 2. Association for Computing Machinery, 2021.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 10134 | OA
F. Suzuki, M. Lemeshko, W. H. Zurek, and R. V. Krems, “Anderson localization of composite particles,” Physical Review Letters, vol. 127, no. 16. American Physical Society , 2021.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9678 | OA
S. Brandt, B. Keller, J. Rybicki, J. Suomela, and J. Uitto, “Efficient load-balancing through distributed token dropping,” in Annual ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, United States, 2021, pp. 129–139.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 8286 | OA
D.-A. Alistarh, G. Nadiradze, and A. Sabour, “Dynamic averaging load balancing on cycles,” Algorithmica. Springer Nature, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Thesis | IST-REx-ID: 9733 | OA
D. Feliciangeli, “The polaron at strong coupling,” Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9571 | OA
A. Ramezani-Kebrya, F. Faghri, I. Markov, V. Aksenov, D.-A. Alistarh, and D. M. Roy, “NUQSGD: Provably communication-efficient data-parallel SGD via nonuniform quantization,” Journal of Machine Learning Research, vol. 22, no. 114. Journal of Machine Learning Research, p. 1−43, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 8544 | OA
Y. H. Takeo et al., “GluD2- and Cbln1-mediated competitive synaptogenesis shapes the dendritic arbors of cerebellar Purkinje cells,” Neuron, vol. 109, no. 4. Elsevier, p. P629–644.E8, 2021.
[Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Preprint | IST-REx-ID: 9791 | OA
D. Feliciangeli, S. A. E. Rademacher, and R. Seiringer, “The effective mass problem for the Landau-Pekar equations,” arXiv. .
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 7553 | OA
W. F. Mlynarski, M. Hledik, T. R. Sokolowski, and G. Tkačik, “Statistical analysis and optimality of neural systems,” Neuron, vol. 109, no. 7. Cell Press, p. 1227–1241.e5, 2021.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2021 | Conference Paper | IST-REx-ID: 10598 | OA
M. Mondelli and R. Venkataramanan, “Approximate message passing with spectral initialization for generalized linear models,” in Proceedings of The 24th International Conference on Artificial Intelligence and Statistics, Virtual, San Diego, CA, United States, 2021, vol. 130, pp. 397–405.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 8196 | OA
Y. Shehu, Q.-L. Dong, L.-L. Liu, and J.-C. Yao, “New strong convergence method for the sum of two maximal monotone operators,” Optimization and Engineering, vol. 22. Springer Nature, pp. 2627–2653, 2021.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 8911 | OA
G. Scappucci et al., “The germanium quantum information route,” Nature Reviews Materials, vol. 6. Springer Nature, pp. 926–943, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 8338 | OA
A. Akopyan, A. I. Bobenko, W. K. Schief, and J. Techter, “On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs,” Discrete and Computational Geometry, vol. 66. Springer Nature, pp. 938–976, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 7939 | OA
K. Censor-Hillel, M. Dory, J. Korhonen, and D. Leitersdorf, “Fast approximate shortest paths in the congested clique,” Distributed Computing, vol. 34. Springer Nature, pp. 463–487, 2021.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 8248 | OA
J.-D. Boissonnat, R. Dyer, A. Ghosh, A. Lieutier, and M. Wintraecken, “Local conditions for triangulating submanifolds of Euclidean space,” Discrete and Computational Geometry, vol. 66. Springer Nature, pp. 666–686, 2021.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2021 | Journal Article | IST-REx-ID: 9002
A. Fazeli, H. Hassani, M. Mondelli, and A. Vardy, “Binary linear codes with optimal scaling: Polar codes with large kernels,” IEEE Transactions on Information Theory, vol. 67, no. 9. IEEE, pp. 5693–5710, 2021.
[Preprint] View | Files available | DOI | arXiv
 

2021 | Journal Article | IST-REx-ID: 7883 | OA
K. Kuzmicz-Kowalska and A. Kicheva, “Regulation of size and scale in vertebrate spinal cord development,” Wiley Interdisciplinary Reviews: Developmental Biology. Wiley, 2021.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 7905 | OA
A. Brown and B. Wang, “Sheaf-theoretic stratification learning from geometric and topological perspectives,” Discrete and Computational Geometry, vol. 65. Springer Nature, pp. 1166–1198, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 8601 | OA
G. Cipolloni, L. Erdös, and D. J. Schröder, “Edge universality for non-Hermitian random matrices,” Probability Theory and Related Fields. Springer Nature, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 7925 | OA
Y. Shehu and A. Gibali, “New inertial relaxed method for solving split feasibilities,” Optimization Letters, vol. 15. Springer Nature, pp. 2109–2126, 2021.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 9438 | OA
D. H. Vandael, Y. Okamoto, C. Borges Merjane, V. M. Vargas Barroso, B. Suter, and P. M. Jonas, “Subcellular patch-clamp techniques for single-bouton stimulation and simultaneous pre- and postsynaptic recording at cortical synapses,” Nature Protocols, vol. 16, no. 6. Springer Nature, pp. 2947–2967, 2021.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Thesis | IST-REx-ID: 9992 | OA
L. Hörmayer, “Wound healing in the Arabidopsis root meristem,” Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 10816 | OA
J. Guzmán, A. Schlögl, C. Espinoza Martinez, X. Zhang, B. Suter, and P. M. Jonas, “How connectivity rules and synaptic properties shape the efficacy of pattern separation in the entorhinal cortex–dentate gyrus–CA3 network,” Nature Computational Science, vol. 1, no. 12. Springer Nature, pp. 830–842, 2021.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2021 | Scientific Software | IST-REx-ID: 10110 | OA
J. Guzmán, A. Schlögl, C. Espinoza Martinez, X. Zhang, B. Suter, and P. M. Jonas, “How connectivity rules and synaptic properties shape the efficacy of pattern separation in the entorhinal cortex–dentate gyrus–CA3 network.” IST Austria, 2021.
View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 10077 | OA
M. Nardin, J. L. Csicsvari, G. Tkačik, and C. Savin, “The structure of hippocampal CA1 interactions optimizes spatial coding across experience,” bioRxiv. Cold Spring Harbor Laboratory.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications