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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




3169 Publications

2020 | Conference Paper | IST-REx-ID: 8383
Alistarh, D.-A., Aspnes, J., Ellen, F., Gelashvili, R., & Zhu, L. (2020). Brief Announcement: Why Extension-Based Proofs Fail. In Proceedings of the 39th Symposium on Principles of Distributed Computing (pp. 54–56). Virtual, Italy: ACM. https://doi.org/10.1145/3382734.3405743
View | DOI
 
2020 | Journal Article | IST-REx-ID: 8384 | OA
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 | OA
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 | OA
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 | OA
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 | Preprint | IST-REx-ID: 8429 | OA
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 | OA
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 | Conference Paper | IST-REx-ID: 8533 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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: 8557 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | Conference Paper | IST-REx-ID: 8580
Graff, G., Graff, B., Jablonski, G., & Narkiewicz, K. (2020). The application of persistent homology in the analysis of heart rate variability. In 11th Conference of the European Study Group on Cardiovascular Oscillations: Computation and Modelling in Physiology: New Challenges and Opportunities, . Pisa, Italy: IEEE. https://doi.org/10.1109/ESGCO49734.2020.9158054
View | DOI
 
2020 | Journal Article | IST-REx-ID: 8581
Pinke, G., Zhou, L., & Sazanov, L. A. (2020). Cryo-EM structure of the entire mammalian F-type ATP synthase. Nature Structural and Molecular Biology. Springer Nature. https://doi.org/10.1038/s41594-020-0503-8
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8586 | OA
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 | OA
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 | OA
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 | Thesis | IST-REx-ID: 8589
Han, H. (2020). Novel insights into PIN polarity regulation during Arabidopsis development. IST Austria. https://doi.org/10.15479/AT:ISTA:8589
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8592 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | Thesis | IST-REx-ID: 8620
Morandell, J. (2020). Illuminating the role of Cul3 in autism spectrum disorder pathogenesis. IST Austria. https://doi.org/10.15479/AT:ISTA:8620
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8623 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | Thesis | IST-REx-ID: 8657
Kavcic, B. (2020). Perturbations of protein synthesis: from antibiotics to genetics and physiology. IST Austria. https://doi.org/10.15479/AT:ISTA:8657
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8669 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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: 8679
Lechner, M., Hasani, R., Amini, A., Henzinger, T. A., Rus, D., & Grosu, R. (2020). Neural circuit policies enabling auditable autonomy. Nature Machine Intelligence. Springer Nature. https://doi.org/10.1038/s42256-020-00237-3
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8680 | OA
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 | OA
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
 

Search

Filter Publications