Please note that IST 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.
3236 Publications
2020 | Conference Paper | IST-REx-ID: 8286 | 
Alistarh, D.-A., Nadiradze, G., & Sabour, A. (2020). Dynamic averaging load balancing on cycles. In 47th International Colloquium on Automata, Languages, and Programming (Vol. 168). Virtual, Online; Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2020.7
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 8287 |
Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (n.d.). Reachability analysis of linear hybrid systems via block decomposition. In Proceedings of the International Conference on Embedded Software. Virtual .
View
| Files available
| arXiv
2020 | Scientific Software | IST-REx-ID: 8294 |
Hauschild, R. (2020). RGtracker. IST Austria. https://doi.org/10.15479/AT:ISTA:8294
View
| Files available
| DOI
2020 | Preprint | IST-REx-ID: 8307 |
Stewart, A., & Kokoris Kogias, E. (n.d.). GRANDPA: A Byzantine finality gadget. arXiv.
View
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8308 |
Brighi, P., Abanin, D. A., & Serbyn, M. (2020). Stability of mobility edges in disordered interacting systems. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.102.060202
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8318 |
Gutierrez-Fernandez, J., Kaszuba, K., Minhas, G. S., Baradaran, R., Tambalo, M., Gallagher, D. T., & Sazanov, L. A. (2020). Key role of quinone in the mechanism of respiratory complex I. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-17957-0
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8319 |
Wu, Y., Krishnakumar, R., Martínez-Rincón, J., Malia, B. K., Hosten, O., & Kasevich, M. A. (2020). Retrieval of cavity-generated atomic spin squeezing after free-space release. Physical Review A. APS. https://doi.org/10.1103/PhysRevA.102.012224
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 8322 |
Chakraborty, S., Dziembowski, S., & Nielsen, J. B. (2020). Reverse firewalls for actively secure MPCs. In Advances in Cryptology – CRYPTO 2020 (Vol. 12171, pp. 732–762). Santa Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-030-56880-1_26
View
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 8323 |
Pach, J. (2020). A farewell to Ricky Pollack. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-020-00237-5
View
| DOI
| Download None (ext.)
2020 | Journal Article | IST-REx-ID: 8325 |
Kalinin, N., & Shkolnikov, M. (2020). Sandpile solitons via smoothing of superharmonic functions. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-020-03828-8
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8329 |
Schlemmer, W., Nothdurft, P., Petzold, A., Frühwirt, P., Schmallegger, M., Gescheidt-Demner, G., … Spirk, S. (2020). 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202008253
View
| DOI
| Download Published Version (ext.)
2020 | Thesis | IST-REx-ID: 8332 |
Kragl, B. (2020). Verifying concurrent programs: Refinement, synchronization, sequentialization. IST Austria. https://doi.org/10.15479/AT:ISTA:8332
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8336 |
Kubiasova, K., Montesinos López, J. C., Šamajová, O., Nisler, J., Mik, V., Semeradova, H., … Spíchal, L. (2020). Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-17949-0
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8337 |
Antoniadi, I., Novák, O., Gelová, Z., Johnson, A. J., Plíhal, O., Simerský, R., … Turnbull, C. (2020). Cell-surface receptors enable perception of extracellular cytokinins. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-17700-9
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8338 |
Akopyan, A., Bobenko, A. I., Schief, W. K., & Techter, J. (2020). On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-020-00240-w
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 8339 |
Genise, N., Micciancio, D., Peikert, C., & Walter, M. (2020). Improved discrete Gaussian and subgaussian analysis for lattice cryptography. In 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography (Vol. 12110, pp. 623–651). Edinburgh, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-45374-9_21
View
| DOI
| Download Preprint (ext.)
2020 | Preprint | IST-REx-ID: 8349 |
Nardin, M., Phillips, J. W., Podlaski, W. F., & Keemink, S. W. (n.d.). Nonlinear computations in spiking neural networks through multiplicative synapses. arXiv.
View
| Download Preprint (ext.)
| arXiv
2020 | Thesis | IST-REx-ID: 8358 |
Dos Santos Caldas, P. R. (2020). Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. IST Austria. https://doi.org/10.15479/AT:ISTA:8358
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8361 |
Varzi, A., Thanner, K., Scipioni, R., Di Lecce, D., Hassoun, J., Dörfler, S., … Freunberger, S. A. (2020). Current status and future perspectives of lithium metal batteries. Journal of Power Sources. Elsevier. https://doi.org/10.1016/j.jpowsour.2020.228803
View
| Files available
| DOI
| Download Published Version (ext.)
2020 | Thesis | IST-REx-ID: 8366 |
Guseinov, R. (2020). Computational design of curved thin shells: From glass façades to programmable matter. IST Austria. https://doi.org/10.15479/AT:ISTA:8366
View
| Files available
| DOI
2020 | Research Data | IST-REx-ID: 8375 |
Guseinov, R. (2020). Supplementary data for “Computational design of curved thin shells: from glass façades to programmable matter.” IST Austria. https://doi.org/10.15479/AT:ISTA:8375
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8382 |
Baig, M. A., Hendler, D., Milani, A., & Travers, C. (2020). Long-lived snapshots with polylogarithmic amortized step complexity. In Proceedings of the 39th Symposium on Principles of Distributed Computing (pp. 31–40). Virtual, Italy: ACM. https://doi.org/10.1145/3382734.3406005
View
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 8384 |
Ishida, S., Synak, P., Narita, F., Hachisuka, T., & Wojtan, C. J. (2020). A model for soap film dynamics with evolving thickness. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3386569.3392405
View
| Files available
| DOI
| Download Submitted Version (ext.)
2020 | Journal Article | IST-REx-ID: 8385 |
Sperl, G., Narain, R., & Wojtan, C. J. (2020). Homogenized yarn-level cloth. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3386569.3392412
View
| Files available
| DOI
| Download Submitted Version (ext.)
2020 | Thesis | IST-REx-ID: 8386 |
Zhang, R. (2020). Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. IST Austria. https://doi.org/10.15479/AT:ISTA:8386
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8390 |
Royer, A. (2020). Leveraging structure in Computer Vision tasks for flexible Deep Learning models. IST Austria. https://doi.org/10.15479/AT:ISTA:8390
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8402 |
Rampelt, H., Sucec, I., Bersch, B., Horten, P., Perschil, I., Martinou, J.-C., … Pfanner, N. (2020). The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments. BMC Biology. Springer Nature. https://doi.org/10.1186/s12915-019-0733-6
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Preprint | IST-REx-ID: 8403 |
Sučec, I., Wang, Y., Dakhlaoui, O., Weinhäupl, K., Jores, T., Costa, D., … Schanda, P. (n.d.). Structural basis of client specificity in mitochondrial membrane-protein chaperones. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.06.08.140772
View
| DOI
| Download Preprint (ext.)
2020 | Preprint | IST-REx-ID: 8404 |
Weinhäupl, K., Wang, Y., Hessel, A., Brennich, M., Lindorff-Larsen, K., & Schanda, P. (n.d.). Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.03.13.990150
View
| DOI
| Download Preprint (ext.)
2020 | Preprint | IST-REx-ID: 8429 |
Patxot, M., Trejo Banos, D., Kousathanas, A., Orliac, E. J., Ojavee, S. E., Moser, G., … Robinson, M. R. (2020). Probabilistic inference of the genetic architecture of functional enrichment of complex traits. medRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.09.04.20188433
View
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 8529 |
Arnold, G. M., Wulf, M., Barzanjeh, S., Redchenko, E., Rueda Sanchez, A. R., Hease, W. J., … Fink, J. M. (2020). Converting microwave and telecom photons with a silicon photonic nanomechanical interface. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-18269-z
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8532 |
Kleindienst, D., Montanaro-Punzengruber, J.-C., Bhandari, P., Case, M. J., Fukazawa, Y., & Shigemoto, R. (2020). Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms21186737
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8533 |
Chatterjee, K., Ibsen-Jensen, R., Jecker, I. R., & Svoboda, J. (2020). Simplified game of life: Algorithms and complexity. In 45th International Symposium on Mathematical Foundations of Computer Science (Vol. 170). Prague, Czech Republic: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2020.22
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 8534 |
Jecker, I. R., Kupferman, O., & Mazzocchi, N. (2020). Unary prime languages. In 45th International Symposium on Mathematical Foundations of Computer Science (Vol. 170). Prague, Czech Republic: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2020.51
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8535 |
Skrivan, T., Soderstrom, A., Johansson, J., Sprenger, C., Museth, K., & Wojtan, C. J. (2020). Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3386569.3392466
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8536 |
Mondelli, M., Hashemi, S. A., Cioffi, J., & Goldsmith, A. (2020). Simplified successive cancellation decoding of polar codes has sublinear latency. In IEEE International Symposium on Information Theory - Proceedings (Vol. 2020–June). Los Angeles, CA, United States: IEEE. https://doi.org/10.1109/ISIT44484.2020.9174141
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8538 |
Akopyan, A., Schwartz, R., & Tabachnikov, S. (2020). Billiards in ellipses revisited. European Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s40879-020-00426-9
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8539 |
Su, C., Zhao, G., & Zhong, C. (2020). On the K-theory stable bases of the springer resolution. Annales Scientifiques de l’Ecole Normale Superieure. Société Mathématique de France. https://doi.org/10.24033/asens.2431
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Preprint | IST-REx-ID: 8545 |
Contreras, X., Davaatseren, A., Amberg, N., Hansen, A. H., Sonntag, J., Andersen, L., … Hippenmeyer, S. (2020). A genome-wide library of MADM mice for single-cell genetic mosaic analysis. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.06.05.136192
View
| DOI
| Download Preprint (ext.)
2020 | Preprint | IST-REx-ID: 8546 |
Zhang, T., Liu, T., Mora, N., Guegan, J., Bertrand, M., Contreras, X., … Hassan, B. A. (n.d.). Generation of neuronal diversity from common progenitors via Notch signaling in the cerebellum. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.03.18.997205
View
| DOI
| Download Preprint (ext.)
2020 | Preprint | IST-REx-ID: 8557 |
Belyaeva, V., Wachner, S., Gridchyn, I., Linder, M., Emtenani, S., György, A., … Siekhaus, D. E. (n.d.). Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance. bioRxiv. https://doi.org/10.1101/2020.09.18.301481
View
| Files available
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 8562 |
Gavriil, K., Guseinov, R., Perez Rodriguez, J., Pellis, D., Henderson, P. M., Rist, F., … Bickel, B. (2020). Computational design of cold bent glass façades. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3414685.3417843
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8568 |
Prehal, C., Fitzek, H., Kothleitner, G., Presser, V., Gollas, B., Freunberger, S. A., & Abbas, Q. (2020). Persistent and reversible solid iodine electrodeposition in nanoporous carbons. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-18610-6
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8571 |
Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Chapoutot, A., Chen, X., … Schilling, C. (2020). ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. In EPiC Series in Computing (Vol. 74, pp. 49–75). EasyChair. https://doi.org/10.29007/zkf6
View
| DOI
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 8572 |
Althoff, M., Bak, S., Bao, Z., Forets, M., Frehse, G., Freire, D., … Wetzlinger, M. (2020). ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. In EPiC Series in Computing (Vol. 74, pp. 16–48). EasyChair. https://doi.org/10.29007/7dt2
View
| DOI
| Download Published Version (ext.)
2020 | Thesis | IST-REx-ID: 8574 |
Szep, E. (2020). Local adaptation in metapopulations. IST Austria. https://doi.org/10.15479/AT:ISTA:8574
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8579 |
Andrei, A., Öztürk, Y., Khalfaoui-Hassani, B., Rauch, J., Marckmann, D., Trasnea, P. I., … Koch, H.-G. (2020). Cu homeostasis in bacteria: The ins and outs. Membranes. MDPI. https://doi.org/10.3390/membranes10090242
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8586 |
Fäßler, F., Zens, B., Hauschild, R., & Schur, F. K. (2020). 3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy. Journal of Structural Biology. Elsevier. https://doi.org/10.1016/j.jsb.2020.107633
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8587 |
Li, X., Yakaboylu, E., Bighin, G., Schmidt, R., Lemeshko, M., & Deuchert, A. (2020). Intermolecular forces and correlations mediated by a phonon bath. The Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/1.5144759
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8588 |
Hubert, C., Cohen, K., Ghazaryan, A., Lemeshko, M., Rapaport, R., & Santos, P. V. (2020). Attractive interactions, molecular complexes, and polarons in coupled dipolar exciton fluids. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.102.045307
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8592 |
Tian A, Kang B, Li B, Qiu B, Jiang W, Shao F, Gao Q, Liu R, Cai C, Jing R, Wang W, Chen P, Liang Q, Bao L, Man J, Wang Y, Shi Y, Li J, Yang M, Wang L, Zhang J, Hippenmeyer S, Zhu J, Bian X, Wang Y, Liu C. 2020. Oncogenic state and cell identity combinatorially dictate the susceptibility of cells within glioma development hierarchy to IGF1R targeting. Advanced Science. 7(21), 2001724.
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8597 |
Merrin, J. (2020). Differences in power law growth over time and indicators of COVID-19 pandemic progression worldwide. Physical Biology. IOP Publishing. https://doi.org/10.1088/1478-3975/abb2db
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8599 |
Avni, G., & Henzinger, T. A. (2020). A survey of bidding games on graphs. In 31st International Conference on Concurrency Theory (Vol. 171). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2020.2
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8600 |
Chatterjee, K., Henzinger, T. A., & Otop, J. (2020). Multi-dimensional long-run average problems for vector addition systems with states. In 31st International Conference on Concurrency Theory (Vol. 171). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2020.23
View
| Files available
| DOI
| arXiv
2020 | Journal Article | IST-REx-ID: 8601 |
Cipolloni, G., Erdös, L., & Schröder, D. J. (2020). Edge universality for non-Hermitian random matrices. Probability Theory and Related Fields. Springer Nature. https://doi.org/10.1007/s00440-020-01003-7
View
| Files available
| DOI
| arXiv
2020 | Journal Article | IST-REx-ID: 8607 |
Liu, D., Kumar, R., LAN, C., Johnson, A. J., Siao, W., Vanhoutte, I., … Russinova, E. (2020). Endocytosis of BRASSINOSTEROID INSENSITIVE1 is partly driven by a canonical tyrosine-based Motif. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.20.00384
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Preprint | IST-REx-ID: 8616 |
Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. Reduction of neuronal activity mediated by blood-vessel regression in the brain. bioRxiv, 10.1101/2020.09.15.262782.
View
| DOI
| Download Preprint (ext.)
2020 | Conference Paper | IST-REx-ID: 8623 |
Henzinger, T. A., & Sarac, N. E. (2020). Monitorability under assumptions. In Runtime Verification (Vol. 12399, pp. 3–18). Los Angeles, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-030-60508-7_1
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8634 |
Suri, B., Kageorge, L., Grigoriev, R. O., & Schatz, M. F. (2020). Capturing turbulent dynamics and statistics in experiments with unstable periodic orbits. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.125.064501
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8643 |
Deichler, A., Carrasco, D., Lopez-Jury, L., Vega Zuniga, T. A., Marquez, N., Mpodozis, J., & Marin, G. (2020). A specialized reciprocal connectivity suggests a link between the mechanisms by which the superior colliculus and parabigeminal nucleus produce defensive behaviors in rodents. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-020-72848-0
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8644 |
Rzadkowski, W., Defenu, N., Chiacchiera, S., Trombettoni, A., & Bighin, G. (2020). Detecting composite orders in layered models via machine learning. New Journal of Physics. IOP Publishing. https://doi.org/10.1088/1367-2630/abae44
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8645 |
Esteban, L. A., Lonishin, L. R., Bobrovskiy, D. M., Leleytner, G., Bogatyreva, N. S., Kondrashov, F., & Ivankov, D. N. (2020). HypercubeME: Two hundred million combinatorially complete datasets from a single experiment. Bioinformatics. Oxford Academic. https://doi.org/10.1093/bioinformatics/btz841
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8652 |
Ghazaryan, A., Lemeshko, M., & Volosniev, A. (2020). Filtering spins by scattering from a lattice of point magnets. Communications Physics. Springer Nature. https://doi.org/10.1038/s42005-020-00445-8
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8669 |
Sznurkowska, M. K., Hannezo, E. B., Azzarelli, R., Chatzeli, L., Ikeda, T., Yoshida, S., … Simons, B. D. (2020). Tracing the cellular basis of islet specification in mouse pancreas. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-18837-3
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8670 |
Zhang, H. (2020). Equality conditions of data processing inequality for α-z Rényi relative entropies. Journal of Mathematical Physics. AIP. https://doi.org/10.1063/5.0022787
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8671 |
Shakiba, A., Goharshady, A. K., Hooshmandasl, M. R., & Alambardar Meybodi, M. (2020). A note on belief structures and s-approximation spaces. Iranian Journal of Mathematical Sciences and Informatics. ACECR Tarbiat Modares University. https://doi.org/10.29252/ijmsi.15.2.117
View
| Files available
| DOI
| arXiv
2020 | Journal Article | IST-REx-ID: 8672 |
Chaigne, A., Labouesse, C., White, I. J., Agnew, M., Hannezo, E. B., Chalut, K. J., & Paluch, E. K. (2020). Abscission couples cell division to embryonic stem cell fate. Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2020.09.001
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8674 |
Henneberger C, Bard L, Panatier A, Reynolds JP, Kopach O, Medvedev NI, Minge D, Herde MK, Anders S, Kraev I, Heller JP, Rama S, Zheng K, Jensen TP, Sanchez-Romero I, Jackson CJ, Janovjak HL, Ottersen OP, Nagelhus EA, Oliet SHR, Stewart MG, Nägerl UVa, Rusakov DA. 2020. LTP induction boosts glutamate spillover by driving withdrawal of perisynaptic astroglia. Neuron. 108(5), P919–936.E11.
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8680 |
Tsai, T. Y.-C., Sikora, M. K., Xia, P., Colak-Champollion, T., Knaut, H., Heisenberg, C.-P. J., & Megason, S. G. (2020). An adhesion code ensures robust pattern formation during tissue morphogenesis. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aba6637
View
| Files available
| DOI
| Download Preprint (ext.)
2020 | Preprint | IST-REx-ID: 8682 |
Browning, T. D., Boudec, P. L., & Sawin, W. (n.d.). The Hasse principle for random Fano hypersurfaces. arXiv.
View
| Files available
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8691 |
Koudjinan, E. (2020). A KAM theorem for finitely differentiable Hamiltonian systems. Journal of Differential Equations. Elsevier. https://doi.org/10.1016/j.jde.2020.03.044
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8694 |
Golmakani, A., Koudjinan, E., Luzzatto, S., & Pilarczyk, P. (2020). Rigorous numerics for critical orbits in the quadratic family. Chaos. AIP. https://doi.org/10.1063/5.0012822
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Working Paper | IST-REx-ID: 8695 |
Mayer, K., Rieck, K., Reichmann, S., Danowski, P., Graschopf, A., König, T., … Schürz, S. (2020). Empfehlungen für eine nationale Open Science Strategie in Österreich / Recommendations for a National Open Science Strategy in Austria. OANA. https://doi.org/10.5281/ZENODO.4109242
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8697 |
Fischer, J. L., & Kniely, M. (2020). Variance reduction for effective energies of random lattices in the Thomas-Fermi-von Weizsäcker model. Nonlinearity. IOP Publishing. https://doi.org/10.1088/1361-6544/ab9728
View
| Files available
| DOI
| arXiv
2020 | Journal Article | IST-REx-ID: 8698 |
Maoz, O., Tkačik, G., Esteki, M. S., Kiani, R., & Schneidman, E. (2020). Learning probabilistic neural representations with randomly connected circuits. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.1912804117
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8699 |
Paris, E., Tseng, Y., Paerschke, E., Zhang, W., Upton, M. H., Efimenko, A., … Schmitt, T. (2020). Strain engineering of the charge and spin-orbital interactions in Sr2IrO4. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2012043117
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
2020 | Conference Paper | IST-REx-ID: 8703 |
Osang, G. F., Rouxel-Labbé, M., & Teillaud, M. (2020). Generalizing CGAL periodic Delaunay triangulations. In 28th Annual European Symposium on Algorithms (Vol. 173). Virtual, Online; Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ESA.2020.75
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8704 |
Lechner, M., Hasani, R., Rus, D., & Grosu, R. (2020). Gershgorin loss stabilizes the recurrent neural network compartment of an end-to-end robot learning scheme. In Proceedings - IEEE International Conference on Robotics and Automation (pp. 5446–5452). Paris, France: IEEE. https://doi.org/10.1109/ICRA40945.2020.9196608
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8705 |
Mysliwy, K., & Seiringer, R. (2020). Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-020-00969-3
View
| Files available
| DOI
| arXiv
2020 | Journal Article | IST-REx-ID: 8706 |
Danowski, P., Ferus, A., Hikl, A.-L., McNeill, G., Miniberger, C., Reding, S., … Zojer, M. (2020). „Recommendation“ for the further procedure for open access monitoring. Deliverable of the AT2OA subproject TP1-B. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare. Vereinigung Osterreichischer Bibliothekarinnen und Bibliothekare. https://doi.org/10.31263/voebm.v73i2.3941
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8722 |
Li, S., Tal Ben-Nun, T. B.-N., Girolamo, S. D., Alistarh, D.-A., & Hoefler, T. (2020). Taming unbalanced training workloads in deep learning with partial collective operations. In Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 45–61). San Diego, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3332466.3374528
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8723 |
Li, S., Tal Ben-Nun, T. B.-N., Nadiradze, G., Girolamo, S. D., Dryden, N., Alistarh, D.-A., & Hoefler, T. (2020). Breaking (global) barriers in parallel stochastic optimization with wait-avoiding group averaging. IEEE Transactions on Parallel and Distributed Systems. IEEE. https://doi.org/10.1109/TPDS.2020.3040606
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 8724 |
Konstantinov, N. H., Frantar, E., Alistarh, D.-A., & Lampert, C. (2020). On the sample complexity of adversarial multi-source PAC learning. In Proceedings of the 37th International Conference on Machine Learning (Vol. 119, pp. 5416–5425). Online: ML Research Press.
View
| Files available
| arXiv
2020 | Journal Article | IST-REx-ID: 8726 |
Gotfryd, D., Paerschke, E., Wohlfeld, K., & Oleś, A. M. (2020). Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling. Condensed Matter. MDPI. https://doi.org/10.3390/condmat5030053
View
| Files available
| DOI
| arXiv
2020 | Journal Article | IST-REx-ID: 8737 |
Kampjut, D., & Sazanov, L. A. (2020). The coupling mechanism of mammalian respiratory complex I. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.abc4209
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8741 |
Klose, A. K., Karle, V., Winkelmann, R., & Donges, J. F. (2020). Emergence of cascading dynamics in interacting tipping elements of ecology and climate: Cascading dynamics in tipping elements. Royal Society Open Science. https://doi.org/10.1098/rsos.200599
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8744 |
Schulte, L., Mao, J., Reitz, J., Sreeramulu, S., Kudlinzki, D., Hodirnau, V.-V., … Schwalbe, H. (2020). Cysteine oxidation and disulfide formation in the ribosomal exit tunnel. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-19372-x
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8746 |
Miranti, R., Septianto, R. D., Ibáñez, M., Kovalenko, M. V., Matsushita, N., Iwasa, Y., & Bisri, S. Z. (2020). Electron transport in iodide-capped core@shell PbTe@PbS colloidal nanocrystal solids. Applied Physics Letters. AIP Publishing. https://doi.org/10.1063/5.0025965
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 8758 |
Maas, J., & Mielke, A. (2020). Modeling of chemical reaction systems with detailed balance using gradient structures. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-020-02663-4
View
| Files available
| DOI
| arXiv
2020 | Research Data | IST-REx-ID: 8761 |
Guseinov, R. (2020). Supplementary data for “Computational design of cold bent glass façades.” IST Austria. https://doi.org/10.15479/AT:ISTA:8761
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8765 |
Schreck, C., & Wojtan, C. J. (2020). A practical method for animating anisotropic elastoplastic materials. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.13914
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8767 |
Kaveh, K., McAvoy, A., Chatterjee, K., & Nowak, M. A. (2020). The Moran process on 2-chromatic graphs. PLOS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1008402
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8769 |
Yakaboylu, E., Ghazaryan, A., Lundholm, D., Rougerie, N., Lemeshko, M., & Seiringer, R. (2020). Quantum impurity model for anyons. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.102.144109
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8787 |
Nicolai L, Schiefelbein K, Lipsky S, Leunig A, Hoffknecht M, Pekayvaz K, Raude B, Marx C, Ehrlich A, Pircher J, Zhang Z, Saleh I, Marel A-K, Löf A, Petzold T, Lorenz M, Stark K, Pick R, Rosenberger G, Weckbach L, Uhl B, Xia S, Reichel CA, Walzog B, Schulz C, Zheden V, Bender M, Li R, Massberg S, Gärtner FR. 2020. Vascular surveillance by haptotactic blood platelets in inflammation and infection. Nature Communications. 11, 5778.
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8789 |
Kleshnina, M., Streipert, S., Filar, J., & Chatterjee, K. (2020). Prioritised learning in snowdrift-type games. Mathematics. MDPI. https://doi.org/10.3390/math8111945
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8790 |
Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (2020). Reachability analysis of linear hybrid systems via block decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE. https://doi.org/10.1109/TCAD.2020.3012859
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Research Data Reference | IST-REx-ID: 8809 |
Perini, S., Rafajlovic, M., Westram, A. M., Johannesson, K., & Butlin, R. (2020). Data from: Assortative mating, sexual selection and their consequences for gene flow in Littorina. Dryad. https://doi.org/10.5061/dryad.qrfj6q5cn
View
| Files available
| DOI
| Download Published Version (ext.)
2020 | Preprint | IST-REx-ID: 8813 |
Santini, L., Halbritter, F., Titz-Teixeira, F., Suzuki, T., Asami, M., Ramesmayer, J., … Leeb, M. (n.d.). Novel imprints in mouse blastocysts are predominantly DNA methylation independent. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.11.03.366948
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 177 |
Browning, T. D., & Sawin, W. (2020). A geometric version of the circle method. Annals of Mathematics. Princeton University. https://doi.org/10.4007/annals.2020.191.3.4
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 179 |
Browning, T. D., & Heath Brown, R. (2020). Density of rational points on a quadric bundle in ℙ3×ℙ3. Duke Mathematical Journal. Project Euclid. https://doi.org/10.1215/00127094-2020-0031
View
| DOI
| Download Preprint (ext.)
| arXiv