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.

2926 Publications


2020 | Conference Paper | IST-REx-ID: 8191
Alistarh D-A, Brown TA, Singhal N. Memory tagging: Minimalist synchronization for scalable concurrent data structures. In: Annual ACM Symposium on Parallelism in Algorithms and Architectures. ACM; 2020:37-49. doi:10.1145/3350755.3400213
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point arithmetic. In: Automated Reasoning. Vol 12166. Springer Nature; 2020:13-31. doi:10.1007/978-3-030-51074-9_2
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8195 | OA
Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298. doi:10.1007/978-3-030-53288-8_14
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8196 | OA
Shehu Y, Dong Q-L, Liu L-L, Yao J-C. New strong convergence method for the sum of two maximal monotone operators. Optimization and Engineering. 2020. doi:10.1007/s11081-020-09544-5
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8198 | OA
Diringer AA, Gulden T. Robustness of the Floquet many-body localized phase in the presence of a  smooth and a non-smooth drive. arXiv:200714879.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8203 | OA
Katsaros G, Kukucka J, Vukušić L, et al. Zero field splitting of heavy-hole states in quantum dots. Nano Letters. 2020;20(7):5201-5206. doi:10.1021/acs.nanolett.0c01466
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8248 | OA
Boissonnat J-D, Dyer R, Ghosh A, Lieutier A, Wintraecken M. Local conditions for triangulating submanifolds of Euclidean space. Discrete & Computational Geometry. 2020. doi:10.1007/s00454-020-00233-9
View | DOI | Download Published Version (ext.)
 

2020 | Research Data | IST-REx-ID: 8254 | OA
Arathoon LS. Estimating Inbreeding and Its Effects in a Long-Term Study of Snapdragons (Antirrhinum Majus). IST Austria; 2020. doi:10.15479/AT:ISTA:8254
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8268 | OA
Gurel NM, Kara K, Stojanov A, et al. Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. IEEE Transactions on Signal Processing. 2020. doi:10.1109/TSP.2020.3010355
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8271
He P, Zhang Y, Xiao G. Origin of a subgenome and genome evolution of allotetraploid cotton species. Molecular Plant. doi:10.1016/j.molp.2020.07.006
View | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8272 | OA
Chatterjee K, Katoen JP, Weininger M, Winkler T. Stochastic games with lexicographic reachability-safety objectives. In: International Conference on Computer Aided Verification. Vol 12225. Springer Nature; 2020:398-420. doi:10.1007/978-3-030-53291-8_21
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8283 | OA
Chen H, Lai L, Li L, et al. AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. International Journal of Molecular Sciences. 2020;21(16). doi:10.3390/ijms21165727
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8285 | OA
Malia BK, Martínez-Rincón J, Wu Y, Hosten O, Kasevich MA. Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit. Physical Review Letters. 2020;125(4). doi:10.1103/PhysRevLett.125.043202
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8286 | OA
Alistarh D-A, Nadiradze G, Sabour A. Dynamic averaging load balancing on cycles. In: Leibniz International Proceedings in Informatics. Vol 168. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.ICALP.2020.7
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8287 | OA
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. In: Proceedings of the International Conference on Embedded Software.
View | Files available | arXiv
 

2020 | Journal Article | IST-REx-ID: 8317 | OA
Aichholzer O, Akitaya HA, Cheung KC, et al. Folding polyominoes with holes into a cube. Computational Geometry: Theory and Applications. 93. doi:10.1016/j.comgeo.2020.101700
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8319 | OA
Wu Y, Krishnakumar R, Martínez-Rincón J, Malia BK, Hosten O, Kasevich MA. Retrieval of cavity-generated atomic spin squeezing after free-space release. Physical Review A. 2020;102(1). doi:10.1103/PhysRevA.102.012224
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8320
Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. Expanding the genetic code: Unnatural base pairs in biological systems. Molecular Biology. 2020;54(4):475-484. doi:10.1134/S0026893320040111
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8321
Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. Expanding the genetic code: Unnatural base pairs in biological systems. Molekuliarnaia biologiia. 2020;54(4):531-541. doi:10.31857/S0026898420040126
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8323 | OA
Pach J. A farewell to Ricky Pollack. Discrete and Computational Geometry. 2020. doi:10.1007/s00454-020-00237-5
View | DOI | Download None (ext.)
 

2020 | Journal Article | IST-REx-ID: 8325 | OA
Kalinin N, Shkolnikov M. Sandpile solitons via smoothing of superharmonic functions. Communications in Mathematical Physics. 2020. doi: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, et al. 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition. doi:10.1002/anie.202008253
View | DOI
 

2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl B. Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization. IST Austria; 2020. doi:10.15479/AT:ISTA:8332
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8336 | OA
Kubiasova K, Montesinos López JC, Šamajová O, et al. Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum. Nature Communications. 2020;11. doi:10.1038/s41467-020-17949-0
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8337 | OA
Antoniadi I, Novák O, Gelová Z, et al. Cell-surface receptors enable perception of extracellular cytokinins. Nature Communications. 2020;11. doi:10.1038/s41467-020-17700-9
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8338 | OA
Akopyan A, Bobenko AI, Schief WK, Techter J. On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs. Discrete and Computational Geometry. 2020. doi:10.1007/s00454-020-00240-w
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8339 | OA
Genise N, Micciancio D, Peikert C, Walter M. 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. Springer Nature; 2020:623-651. doi:10.1007/978-3-030-45374-9_21
View | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 8341
Bezeljak U. In Vitro Reconstitution of a Rab Activation Switch. IST Austria; 2020. doi:10.15479/AT:ISTA:8341
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8349 | OA
Nardin M, Phillips JW, Podlaski WF, Keemink SW. Nonlinear computations in spiking neural networks through multiplicative synapses. arXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8361
Varzi A, Thanner K, Scipioni R, et al. Current status and future perspectives of lithium metal batteries. Journal of Power Sources. 2020;480(12). doi:10.1016/j.jpowsour.2020.228803
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8373 | OA
Pitrik J, Virosztek D. A divergence center interpretation of general symmetric Kubo-Ando means, and related weighted multivariate operator means. Linear Algebra and its Applications. 2020;609:203-217. doi:10.1016/j.laa.2020.09.007
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7936 | OA
Royer A, Lampert C. Localizing grouped instances for efficient detection in low-resource scenarios. In: IEEE Winter Conference on Applications of Computer Vision. IEEE; 2020:1716-1725. doi:10.1109/WACV45572.2020.9093288
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8193
Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. Multiple-environment Markov decision processes: Efficient analysis and applications. In: Proceedings of the 30th International Conference on Automated Planning and Scheduling. Vol 30. Association for the Advancement of Artificial Intelligence; 2020:48-56.
View | Files available
 

2020 | Book Chapter | IST-REx-ID: 8092 | OA
Royer A, Bousmalis K, Gouws S, et al. XGAN: Unsupervised image-to-image translation for many-to-many mappings. In: Singh R, Vatsa M, Patel VM, Ratha N, eds. Domain Adaptation for Visual Understanding. Springer Nature; 2020:33-49. doi:10.1007/978-3-030-30671-7_3
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7847 | OA
Bouchal R, Li Z, Bongu C, et al. Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie International Edition. 2020;59(37):15913-1591. doi:10.1002/anie.202005378
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8057 | OA
Bouchal R, Li Z, Bongu C, et al. Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie. 2020;132(37):16047-16051. doi:10.1002/ange.202005378
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8384 | OA
Ishida S, Synak P, Narita F, Hachisuka T, Wojtan CJ. A model for soap film dynamics with evolving thickness. ACM Transactions on Graphics. 2020;39(4). doi:10.1145/3386569.3392405
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8385 | OA
Sperl G, Narain R, Wojtan CJ. Homogenized yarn-level cloth. ACM Transactions on Graphics. 2020;39(4). doi:10.1145/3386569.3392412
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8383
Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. Brief Announcement: Why Extension-Based Proofs Fail. In: Proceedings of the 39th Symposium on Principles of Distributed Computing. ACM; 2020:54-56. doi:10.1145/3382734.3405743
View | DOI
 

2020 | Preprint | IST-REx-ID: 8429 | OA
Patxot M, Trejo Banos D, Kousathanas A, et al. Probabilistic inference of the genetic architecture of functional enrichment of complex traits. medRxiv. 2020.
View | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8430 | OA
Ojavee SE, Kousathanas A, Trejo Banos D, et al. Genomic architecture and prediction of censored time-to-event phenotypes with a Bayesian genome-wide analysis. medRxiv. 2020.
View | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8038 | OA
Fink JM, Kalaee M, Norte R, Pitanti A, Painter O. Efficient microwave frequency conversion mediated by a photonics compatible silicon nitride nanobeam oscillator. Quantum Science and Technology. 2020;5(3). doi:10.1088/2058-9565/ab8dce
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7505 | OA
Henzinger TA, Lukina A, Schilling C. Outside the box: Abstraction-based monitoring of neural networks. In: 24th European Conference on Artificial Intelligence. Vol 325. IOS Press; 2020:2433-2440. doi:10.3233/FAIA200375
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8535 | OA
Skrivan T, Soderstrom A, Johansson J, Sprenger C, Museth K, Wojtan CJ. Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces. ACM Transactions on Graphics. 2020;39(4). doi:10.1145/3386569.3392466
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8539 | OA
Su C, Zhao G, Zhong C. On the K-theory stable bases of the springer resolution. Annales Scientifiques de l’Ecole Normale Superieure. 2020;53(3):663-671. doi:10.24033/asens.2431
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8538 | OA
Akopyan A, Schwartz R, Tabachnikov S. Billiards in ellipses revisited. European Journal of Mathematics. 2020. doi:10.1007/s40879-020-00426-9
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8532 | OA
Kleindienst D, Montanaro-Punzengruber J-C, Bhandari P, Case MJ, Fukazawa Y, Shigemoto R. 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. 2020;21(18). doi:10.3390/ijms21186737
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8533 | OA
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. Simplified game of life: Algorithms and complexity. In: Vol 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.MFCS.2020.22
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8534 | OA
Jecker IR, Kupferman O, Mazzocchi N. Unary prime languages. In: Vol 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.MFCS.2020.51
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 6359 | OA
Dareiotis K, Gerencser M. On the regularisation of the noise for the Euler-Maruyama scheme with irregular drift. Electronic Journal of Probability. 2020;25. doi:10.1214/20-EJP479
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7427 | OA
Tan S, Abas MF, Verstraeten I, et al. Salicylic acid targets protein phosphatase 2A to attenuate growth in plants. Current Biology. 2020;30(3):381-395.e8. doi:10.1016/j.cub.2019.11.058
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7207 | OA
Martín-Belmonte A, Aguado C, Alfaro-Ruíz R, et al. Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer’s disease. Brain Pathology. 2020;30(3):554-575. doi:10.1111/bpa.12802
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7205 | OA
Johannesson K, Zagrodzka Z, Faria R, Westram AM, Butlin RK. Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes? Journal of Evolutionary Biology. 2020;33(3):342-351. doi:10.1111/jeb.13570
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7033 | OA
Donahue R, Maes ME, Grosser J, Nickells R. BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage. Molecular Neurobiology. 2020;57(2):1070–1084. doi:10.1007/s12035-019-01783-7
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 8557 | OA
Belyaeva V, Wachner S, Gridchyn I, et al. Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance. BioRxiv.
View | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7431 | OA
Kolchinsky A, Corominas-Murtra B. Decomposing information into copying versus transformation. Journal of the Royal Society Interface. 2020;17(162). doi:10.1098/rsif.2019.0623
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Scientific Software | IST-REx-ID: 8181 | OA
Hauschild R. Amplified Centrosomes in Dendritic Cells Promote Immune Cell Effector Functions. IST Austria; 2020. doi:10.15479/AT:ISTA:8181
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8366 | OA
Guseinov R. Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter. IST Austria; 2020. doi:10.15479/AT:ISTA:8366
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7262 | OA
Guseinov R, McMahan C, Perez Rodriguez J, Daraio C, Bickel B. Programming temporal morphing of self-actuated shells. Nature Communications. 2020;11. doi:10.1038/s41467-019-14015-2
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8562 | OA
Gavriil K, Guseinov R, Perez Rodriguez J, et al. Computational design of cold bent glass façades. arXiv. doi:10.1145/3414685.3417843
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Research Data | IST-REx-ID: 8375 | OA
Guseinov R. Supplementary Data for “Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter.” IST Austria; 2020. doi:10.15479/AT:ISTA:8375
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7593 | OA
Moon HM, Hippenmeyer S, Luo L, Wynshaw-Boris A. LIS1 determines cleavage plane positioning by regulating actomyosin-mediated cell membrane contractility. eLife. 2020;9. doi:10.7554/elife.51512
View | Files available | DOI | Download Published Version (ext.)
 

2020 | Preprint | IST-REx-ID: 8546 | OA
Zhang T, Liu T, Mora N, et al. Generation of neuronal diversity from common progenitors via Notch signaling in the cerebellum. bioRxiv. doi:10.1101/2020.03.18.997205
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8545 | OA
Contreras X, Davaatseren A, Amberg N, et al. A genome-wide library of MADM mice for single-cell genetic mosaic analysis. bioRxiv. 2020. doi:10.1101/2020.06.05.136192
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8544 | OA
Takeo YH, Shuster SA, Jiang L, et al. GluD2- and Cbln1-mediated competitive synaptogenesis shapes the dendritic arbors of cerebellar Purkinje cells. bioRxiv. doi:10.1101/2020.06.14.151258
View | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 8390 | OA
Royer A. Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models. IST Austria; 2020. doi:10.15479/AT:ISTA:8390
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7937 | OA
Royer A, Lampert C. A flexible selection scheme for minimum-effort transfer learning. In: 2020 IEEE Winter Conference on Applications of Computer Vision. IEEE; 2020. doi:10.1109/WACV45572.2020.9093635
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 6918 | OA
Goharshady AK, Mohammadi F. An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. 2020;193. doi:10.1016/j.ress.2019.106665
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 8358 | OA
Dos Santos Caldas PR. Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers. IST Austria; 2020. doi:10.15479/AT:ISTA:8358
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7387 | OA
Baranova NS, Radler P, Hernández-Rocamora VM, et al. Diffusion and capture permits dynamic coupling between treadmilling FtsZ filaments and cell division proteins. Nature Microbiology. 2020. doi:10.1038/s41564-019-0657-5
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7572 | OA
Dos Santos Caldas PR, Radler P, Sommer CM, Loose M. Computational analysis of filament polymerization dynamics in cytoskeletal networks. Methods in Cell Biology. 2020;158:145-161. doi:10.1016/bs.mcb.2020.01.006
View | Files available | DOI | Download Preprint (ext.)
 

2020 | Scientific Software | IST-REx-ID: 8294 | OA
Hauschild R. RGtracker. IST Austria; 2020. doi:10.15479/AT:ISTA:8294
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8579 | OA
Andrei A, Öztürk Y, Khalfaoui-Hassani B, et al. Cu homeostasis in bacteria: The ins and outs. Membranes. 2020;10(9). doi:10.3390/membranes10090242
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8571 | OA
Geretti L, Alexandre Dit Sandretto J, Althoff M, et al. ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. In: EPiC Series in Computing. Vol 74. EasyChair; 2020:49-75. doi:10.29007/zkf6
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8580
Graff G, Graff B, Jablonski G, Narkiewicz K. 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, . IEEE; 2020. doi:10.1109/ESGCO49734.2020.9158054
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8569 | OA
Hansen AH, Hippenmeyer S. Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. 2020;8(9). doi:10.3389/fcell.2020.574382
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8568 | OA
Prehal C, Fitzek H, Kothleitner G, et al. Persistent and reversible solid iodine electrodeposition in nanoporous carbons. Nature Communications. 2020;11. doi:10.1038/s41467-020-18610-6
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8572 | OA
Althoff M, Bak S, Bao Z, et al. ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. In: EPiC Series in Computing. Vol 74. EasyChair; 2020:16-48. doi:10.29007/7dt2
View | DOI | Download Published Version (ext.)
 

2020 | Preprint | IST-REx-ID: 8188 | OA
Henderson PM, Lampert C. Unsupervised object-centric video generation and decomposition in 3D. arXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8582 | OA
Li H, von Wangenheim D, Zhang X, et al. Cellular requirements for PIN polar cargo clustering in Arabidopsis thaliana. New Phytologist. 2020. doi:10.1111/nph.16887
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8587 | OA
Li X, Yakaboylu E, Bighin G, Schmidt R, Lemeshko M, Deuchert A. Intermolecular forces and correlations mediated by a phonon bath. The Journal of Chemical Physics. 2020;152(16). doi:10.1063/1.5144759
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8588 | OA
Hubert C, Cohen K, Ghazaryan A, Lemeshko M, Rapaport R, Santos PV. Attractive interactions, molecular complexes, and polarons in coupled dipolar exciton fluids. Physical Review B. 2020;102(4). doi:10.1103/physrevb.102.045307
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8586 | OA
Fäßler F, Zens B, Hauschild R, Schur FK. 3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy. Journal of Structural Biology. 2020. doi:10.1016/j.jsb.2020.107633
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7672 | OA
Samojlov A, Schuster D, Kahr J, Freunberger SA. Surface and catalyst driven singlet oxygen formation in Li-O2 cells. Electrochimica Acta. 2020;362(12). doi:10.1016/j.electacta.2020.137175
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8350
Shamipour S. Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes . IST Austria; 2020. doi:10.15479/AT:ISTA:8350
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8592 | OA
Tian A, Kang B, Li B, et al. Oncogenic state and cell identity combinatorially dictate the susceptibility of cells within glioma development hierarchy to IGF1R targeting. Advanced Science. 2020. doi:10.1002/advs.202001724
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7687 | OA
Ernst D, Novotny G, Schönher EM. (Core Trust) Seal your repository! Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare. 2020;73(1):46-59. doi:10.31263/voebm.v73i1.3491
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7902
Contreras X. Genetic Dissection of Neural Development in Health and Disease at Single Cell Resolution. IST Austria; 2020. doi:10.15479/AT:ISTA:7902
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8574 | OA
Szep E. Local Adaptation in Metapopulations. IST Austria; 2020. doi:10.15479/AT:ISTA:8574
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8386 | OA
Zhang R. Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability. IST Austria; 2020. doi:10.15479/AT:ISTA:8386
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 71 | OA
Gladbach P, Kopfer E, Maas J. Scaling limits of discrete optimal transport. SIAM Journal on Mathematical Analysis. 2020;52(3):2759-2802. doi:10.1137/19M1243440
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8600 | OA
Chatterjee K, Henzinger TA, Otop J. Multi-dimensional long-run average problems for vector addition systems with states. In: 31st International Conference on Concurrency Theory. Vol 171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.CONCUR.2020.23
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8599 | OA
Avni G, Henzinger TA. A survey of bidding games on graphs. In: 31st International Conference on Concurrency Theory. Vol 171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.CONCUR.2020.2
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8597 | OA
Merrin J. Differences in power law growth over time and indicators of COVID-19 pandemic progression worldwide. Physical Biology. 2020;17(6). doi:10.1088/1478-3975/abb2db
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8603
Frank R, Seiringer R. Quantum corrections to the Pekar asymptotics of a strongly coupled polaron. Communications on Pure and Applied Mathematics. 2020. doi:10.1002/cpa.21944
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8308 | OA
Brighi P, Abanin DA, Serbyn M. Stability of mobility edges in disordered interacting systems. Physical Review B. 2020;102(6). doi:10.1103/physrevb.102.060202
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8199 | OA
Gulden T, Berg E, Rudner MS, Lindner N. Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost Physics. 2020;9. doi:10.21468/scipostphys.9.1.015
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8607
Liu D, Kumar R, LAN C, et al. Endocytosis of BRASSINOSTEROID INSENSITIVE1 is partly driven by a canonical tyrosine-based Motif. Plant Cell. 2020. doi:10.1105/tpc.20.00384
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8608 | OA
Ke M, Ma Z, Wang D, et al. Salicylic acid regulates PIN2 auxin transporter hyper-clustering and root gravitropic growth via Remorin-dependent lipid nanodomain organization in Arabidopsis thaliana. New Phytologist. 2020. doi:10.1111/nph.16915
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8606 | OA
He P, Zhang Y, Li H, et al. GhARF16-1 modulates leaf development by transcriptionally regulating the GhKNOX2-1 gene in cotton. Plant Biotechnology Journal. 2020. doi:10.1111/pbi.13484
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

Search

Filter Publications