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.
2848 Publications
2020 | Thesis | IST-REx-ID: 7196 | 
A role of graphs in evolutionary processes
J. Tkadlec, A Role of Graphs in Evolutionary Processes, IST Austria, 2020.
View
| Files available
| DOI
J. Tkadlec, A Role of Graphs in Evolutionary Processes, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 7204 |
Root growth adaptation is mediated by PYLs ABA receptor-PP2A protein phosphatase complex
Y. Li, Y. Wang, S. Tan, Z. Li, Z. Yuan, M. Glanc, D. Domjan, K. Wang, W. Xuan, Y. Guo, Z. Gong, J. Friml, J. Zhang, Advanced Science 7 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
Y. Li, Y. Wang, S. Tan, Z. Li, Z. Yuan, M. Glanc, D. Domjan, K. Wang, W. Xuan, Y. Guo, Z. Gong, J. Friml, J. Zhang, Advanced Science 7 (2020).
2020 | Journal Article | IST-REx-ID: 7212 |
Limits on amplifiers of natural selection under death-Birth updating
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, PLoS Computational Biology 16 (2020).
View
| Files available
| DOI
| arXiv
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, PLoS Computational Biology 16 (2020).
2020 | Journal Article | IST-REx-ID: 7219
Adaptive growth: Shaping auxin-mediated root system architecture
G. Xiao, Y. Zhang, Trends in Plant Science 25 (2020) 121–123.
View
| DOI
| PubMed | Europe PMC
G. Xiao, Y. Zhang, Trends in Plant Science 25 (2020) 121–123.
2020 | Journal Article | IST-REx-ID: 7224 |
Habitat fragmentation and species diversity in competitive communities
J. Rybicki, N. Abrego, O. Ovaskainen, Ecology Letters 23 (2020) 506–517.
View
| Files available
| DOI
J. Rybicki, N. Abrego, O. Ovaskainen, Ecology Letters 23 (2020) 506–517.
2020 | Journal Article | IST-REx-ID: 7236 |
Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair
C. Baskett, L. Schroeder, M.G. Weber, D.W. Schemske, Ecological Monographs 90 (2020).
View
| Files available
| DOI
C. Baskett, L. Schroeder, M.G. Weber, D.W. Schemske, Ecological Monographs 90 (2020).
2020 | Journal Article | IST-REx-ID: 7253 |
Imprinted Cdkn1c genomic locus cell-autonomously promotes cell survival in cerebral cortex development
S. Laukoter, R.J. Beattie, F. Pauler, N. Amberg, K.I. Nakayama, S. Hippenmeyer, Nature Communications 11 (2020).
View
| Files available
| DOI
S. Laukoter, R.J. Beattie, F. Pauler, N. Amberg, K.I. Nakayama, S. Hippenmeyer, Nature Communications 11 (2020).
2020 | Thesis | IST-REx-ID: 7258
New approaches to reduce friction in turbulent pipe flow
D. Scarselli, New Approaches to Reduce Friction in Turbulent Pipe Flow, IST Austria, 2020.
View
| Files available
| DOI
D. Scarselli, New Approaches to Reduce Friction in Turbulent Pipe Flow, IST Austria, 2020.
2020 | Conference Paper | IST-REx-ID: 7272 |
Getting to the root of concurrent binary search tree performance
M. Arbel-Raviv, T.A. Brown, A. Morrison, in:, Proceedings of the 2018 USENIX Annual Technical Conference, USENIX ATC 2018, USENIX Association, 2020, pp. 295–306.
View
| Download Published Version (ext.)
M. Arbel-Raviv, T.A. Brown, A. Morrison, in:, Proceedings of the 2018 USENIX Annual Technical Conference, USENIX ATC 2018, USENIX Association, 2020, pp. 295–306.
2020 | Journal Article | IST-REx-ID: 7339 |
Microtubule and actin differentially regulate synaptic vesicle cycling to maintain high-frequency neurotransmission
L. Piriya Ananda Babu, H.Y. Wang, K. Eguchi, L. Guillaud, T. Takahashi, Journal of Neuroscience 40 (2020) 131–142.
View
| Files available
| DOI
| PubMed | Europe PMC
L. Piriya Ananda Babu, H.Y. Wang, K. Eguchi, L. Guillaud, T. Takahashi, Journal of Neuroscience 40 (2020) 131–142.
2020 | Journal Article | IST-REx-ID: 7343 |
Social immunity modulates competition between coinfecting pathogens
B. Milutinovic, M. Stock, A.V. Grasse, E. Naderlinger, C. Hilbe, S. Cremer, Ecology Letters (2020).
View
| Files available
| DOI
B. Milutinovic, M. Stock, A.V. Grasse, E. Naderlinger, C. Hilbe, S. Cremer, Ecology Letters (2020).
2020 | Conference Paper | IST-REx-ID: 7346 |
The evolutionary price of anarchy: Locally bounded agents in a dynamic virus game
L. Schmid, K. Chatterjee, S. Schmid, in:, Proceedings of the 23rd International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View
| Files available
| DOI
| arXiv
L. Schmid, K. Chatterjee, S. Schmid, in:, Proceedings of the 23rd International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Conference Paper | IST-REx-ID: 7348 |
Monitoring event frequencies
T. Ferrere, T.A. Henzinger, B. Kragl, in:, 28th EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View
| Files available
| DOI
| arXiv
T. Ferrere, T.A. Henzinger, B. Kragl, in:, 28th EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Journal Article | IST-REx-ID: 7350 |
Thermo-sensitive alternative splicing of FLOWERING LOCUS M is modulated by cyclin-dependent kinase G2
C. Nibau, M. Gallemi, D. Dadarou, J.H. Doonan, N. Cavallari, Frontiers in Plant Science 10 (2020).
View
| Files available
| DOI
C. Nibau, M. Gallemi, D. Dadarou, J.H. Doonan, N. Cavallari, Frontiers in Plant Science 10 (2020).
2020 | Journal Article | IST-REx-ID: 7364 |
nsCouette – A high-performance code for direct numerical simulations of turbulent Taylor–Couette flow
J.M. Lopez Alonso, D. Feldmann, M. Rampp, A. Vela-Martín, L. Shi, M. Avila, SoftwareX 11 (2020).
View
| Files available
| DOI
| arXiv
J.M. Lopez Alonso, D. Feldmann, M. Rampp, A. Vela-Martín, L. Shi, M. Avila, SoftwareX 11 (2020).
2020 | Journal Article | IST-REx-ID: 7369 |
Multiscale relevance and informative encoding in neuronal spike trains
R.J. Cubero, M. Marsili, Y. Roudi, Journal of Computational Neuroscience (2020).
View
| Files available
| DOI
R.J. Cubero, M. Marsili, Y. Roudi, Journal of Computational Neuroscience (2020).
2020 | Journal Article | IST-REx-ID: 7388 |
Nondivergence form quasilinear heat equations driven by space-time white noise
M. Gerencser, Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire (n.d.).
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Gerencser, Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire (n.d.).
2020 | Journal Article | IST-REx-ID: 7389 |
Isometric study of Wasserstein spaces - the real line
G.P. Geher, T. Titkos, D. Virosztek, Transactions of the American Mathematical Society 373 (2020) 5855–5883.
View
| DOI
| Download Preprint (ext.)
| arXiv
G.P. Geher, T. Titkos, D. Virosztek, Transactions of the American Mathematical Society 373 (2020) 5855–5883.
2020 | Book Chapter | IST-REx-ID: 74 |
Gromov's waist of non-radial Gaussian measures and radial non-Gaussian measures
A. Akopyan, R. Karasev, in:, B. Klartag, E. Milman (Eds.), Geometric Aspects of Functional Analysis, Springer Nature, 2020, pp. 1–27.
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Akopyan, R. Karasev, in:, B. Klartag, E. Milman (Eds.), Geometric Aspects of Functional Analysis, Springer Nature, 2020, pp. 1–27.
2020 | Journal Article | IST-REx-ID: 7416
Generation of effective zinc-deficient agar-solidified media allows identification of root morphology changes in response to zinc limitation
S.A. Sinclair, U. Krämer, Plant Signaling & Behavior 15 (2020).
View
| DOI
| PubMed | Europe PMC
S.A. Sinclair, U. Krämer, Plant Signaling & Behavior 15 (2020).
2020 | Journal Article | IST-REx-ID: 7417
Regulation of acetylation of plant cell wall components is complex and responds to external stimuli
S.A. Sinclair, S. Gille, M. Pauly, U. Krämer, Plant Signaling & Behavior 15 (2020).
View
| DOI
| PubMed | Europe PMC
S.A. Sinclair, S. Gille, M. Pauly, U. Krämer, Plant Signaling & Behavior 15 (2020).
2020 | Journal Article | IST-REx-ID: 7428 |
Effect of Zeeman coupling on the Majorana vortex modes in iron-based topological superconductors
A. Ghazaryan, P.L.S. Lopes, P. Hosur, M.J. Gilbert, P. Ghaemi, Physical Review B 101 (2020) 020504.
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Ghazaryan, P.L.S. Lopes, P. Hosur, M.J. Gilbert, P. Ghaemi, Physical Review B 101 (2020) 020504.
2020 | Thesis | IST-REx-ID: 7460 |
The hole system of triangulated shapes
K. Ölsböck, The Hole System of Triangulated Shapes, IST Austria, 2020.
View
| Files available
| DOI
K. Ölsböck, The Hole System of Triangulated Shapes, IST Austria, 2020.
2020 | Preprint | IST-REx-ID: 7463 |
Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches
F. Lombardi, O. Shriki, H.J. Herrmann, L. de Arcangelis, BioRxiv (2020).
View
| Download Preprint (ext.)
F. Lombardi, O. Shriki, H.J. Herrmann, L. de Arcangelis, BioRxiv (2020).
2020 | Journal Article | IST-REx-ID: 7464 |
Structures of immature EIAV Gag lattices reveal a conserved role for IP6 in lentivirus assembly
R.A. Dick, C. Xu, D.R. Morado, V. Kravchuk, C.L. Ricana, T.D. Lyddon, A.M. Broad, J.R. Feathers, M.C. Johnson, V.M. Vogt, J.R. Perilla, J.A.G. Briggs, F.K. Schur, PLOS Pathogens 16 (2020).
View
| Files available
| DOI
R.A. Dick, C. Xu, D.R. Morado, V. Kravchuk, C.L. Ricana, T.D. Lyddon, A.M. Broad, J.R. Feathers, M.C. Johnson, V.M. Vogt, J.R. Perilla, J.A.G. Briggs, F.K. Schur, PLOS Pathogens 16 (2020).
2020 | Journal Article | IST-REx-ID: 7465 |
Clathrin-mediated trafficking and PIN trafficking are required for auxin canalization and vascular tissue formation in Arabidopsis
E. Mazur, M.C. Gallei, M. Adamowski, H. Han, H.S. Robert, J. Friml, Plant Science 293 (2020).
View
| Files available
| DOI
E. Mazur, M.C. Gallei, M. Adamowski, H. Han, H.S. Robert, J. Friml, Plant Science 293 (2020).
2020 | Journal Article | IST-REx-ID: 7466 |
Muscle function and homeostasis require cytokine inhibition of AKT activity in Drosophila
K. Kierdorf, F. Hersperger, J. Sharrock, C.M. Vincent, P. Ustaoglu, J. Dou, A. György, O. Groß, D.E. Siekhaus, M.S. Dionne, ELife 9 (2020).
View
| Files available
| DOI
K. Kierdorf, F. Hersperger, J. Sharrock, C.M. Vincent, P. Ustaoglu, J. Dou, A. György, O. Groß, D.E. Siekhaus, M.S. Dionne, ELife 9 (2020).
2020 | Journal Article | IST-REx-ID: 7467
Influence of the ligand stripping on the transport properties of nanoparticle-based PbSe nanomaterials
D. Cadavid, S. Ortega, S. Illera, Y. Liu, M. Ibáñez, A. Shavel, Y. Zhang, M. Li, A.M. López, G. Noriega, O.J. Durá, M.A. López De La Torre, J.D. Prades, A. Cabot, ACS Applied Energy Materials (2020).
View
| DOI
D. Cadavid, S. Ortega, S. Illera, Y. Liu, M. Ibáñez, A. Shavel, Y. Zhang, M. Li, A.M. López, G. Noriega, O.J. Durá, M.A. López De La Torre, J.D. Prades, A. Cabot, ACS Applied Energy Materials (2020).
2020 | Journal Article | IST-REx-ID: 7472
Replay of behavioral sequences in the medial prefrontal cortex during rule switching
K. Käfer, M. Nardin, K. Blahna, J.L. Csicsvari, Neuron 106 (2020) 154–165.e6.
View
| Files available
| DOI
| PubMed | Europe PMC
K. Käfer, M. Nardin, K. Blahna, J.L. Csicsvari, Neuron 106 (2020) 154–165.e6.
2020 | Journal Article | IST-REx-ID: 7473 |
Functional electron microscopy (“Flash and Freeze”) of identified cortical synapses in acute brain slices
C. Borges Merjane, O. Kim, P.M. Jonas, Neuron (2020).
View
| Files available
| DOI
| Download Published Version (ext.)
C. Borges Merjane, O. Kim, P.M. Jonas, Neuron (2020).
2020 | Conference Paper | IST-REx-ID: 7481 |
Functional vs. parametric equivalence of ReLU networks
P. Bui Thi Mai, C. Lampert, in:, n.d.
View
| Files available
P. Bui Thi Mai, C. Lampert, in:, n.d.
2020 | Journal Article | IST-REx-ID: 7487 |
Nuclear translocation of glutaminase GLS2 in human cancer cells associates with proliferation arrest and differentiation
A.R. López De La Oliva, J.A. Campos-Sandoval, M.C. Gómez-García, C. Cardona, M. Martín-Rufián, F.J. Sialana, L. Castilla, N. Bae, C. Lobo, A. Peñalver, M. García-Frutos, D. Carro, V. Enrique, J.C. Paz, R.G. Mirmira, A. Gutiérrez, F.J. Alonso, J.A. Segura, J.M. Matés, G. Lubec, J. Márquez, Scientific Reports 10 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
A.R. López De La Oliva, J.A. Campos-Sandoval, M.C. Gómez-García, C. Cardona, M. Martín-Rufián, F.J. Sialana, L. Castilla, N. Bae, C. Lobo, A. Peñalver, M. García-Frutos, D. Carro, V. Enrique, J.C. Paz, R.G. Mirmira, A. Gutiérrez, F.J. Alonso, J.A. Segura, J.M. Matés, G. Lubec, J. Márquez, Scientific Reports 10 (2020).
2020 | Journal Article | IST-REx-ID: 7488 |
Evaluating Face2Gene as a tool to identify Cornelia de Lange syndrome by facial phenotypes
A. Latorre-Pellicer, Á. Ascaso, L. Trujillano, M. Gil-Salvador, M. Arnedo, C. Lucia-Campos, R. Antoñanzas-Pérez, I. Marcos-Alcalde, I. Parenti, G. Bueno-Lozano, A. Musio, B. Puisac, F.J. Kaiser, F.J. Ramos, P. Gómez-Puertas, J. Pié, International Journal of Molecular Sciences 21 (2020).
View
| Files available
| DOI
A. Latorre-Pellicer, Á. Ascaso, L. Trujillano, M. Gil-Salvador, M. Arnedo, C. Lucia-Campos, R. Antoñanzas-Pérez, I. Marcos-Alcalde, I. Parenti, G. Bueno-Lozano, A. Musio, B. Puisac, F.J. Kaiser, F.J. Ramos, P. Gómez-Puertas, J. Pié, International Journal of Molecular Sciences 21 (2020).
2020 | Journal Article | IST-REx-ID: 7489 |
Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension
J.L. Fischer, S. Hensel, Archive for Rational Mechanics and Analysis (2020).
View
| Files available
| DOI
J.L. Fischer, S. Hensel, Archive for Rational Mechanics and Analysis (2020).
2020 | Journal Article | IST-REx-ID: 7490 |
Evolutionarily unique mechanistic framework of clathrin-mediated endocytosis in plants
M. Narasimhan, A.J. Johnson, R. Prizak, W. Kaufmann, S. Tan, B.E. Casillas Perez, J. Friml, ELife 9 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
M. Narasimhan, A.J. Johnson, R. Prizak, W. Kaufmann, S. Tan, B.E. Casillas Perez, J. Friml, ELife 9 (2020).
2020 | Journal Article | IST-REx-ID: 7497
Colonization of endophyte Acremonium sp. D212 in Panax notoginseng and rice mediated by auxin and jasmonic acid
L. Han, X. Zhou, Y. Zhao, S. Zhu, L. Wu, Y. He, X. Ping, X. Lu, W. Huang, J. Qian, L. Zhang, X. Jiang, D. Zhu, C. Luo, S. Li, Q. Dong, Q. Fu, K. Deng, X. Wang, L. Wang, S. Peng, J. Wu, W. Li, J. Friml, Y. Zhu, X. He, Y. Du, Journal of Integrative Plant Biology (2020).
View
| DOI
| PubMed | Europe PMC
L. Han, X. Zhou, Y. Zhao, S. Zhu, L. Wu, Y. He, X. Ping, X. Lu, W. Huang, J. Qian, L. Zhang, X. Jiang, D. Zhu, C. Luo, S. Li, Q. Dong, Q. Fu, K. Deng, X. Wang, L. Wang, S. Peng, J. Wu, W. Li, J. Friml, Y. Zhu, X. He, Y. Du, Journal of Integrative Plant Biology (2020).
2020 | Journal Article | IST-REx-ID: 7500 |
Auxin canalization and vascular tissue formation by TIR1/AFB-mediated auxin signaling in arabidopsis
E. Mazur, I. Kulik, J. Hajny, J. Friml, New Phytologist (2020).
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E. Mazur, I. Kulik, J. Hajny, J. Friml, New Phytologist (2020).
2020 | Journal Article | IST-REx-ID: 7508 |
Higher order corrections to the mean-field description of the dynamics of interacting bosons
L. Bossmann, N. Pavlović, P. Pickl, A. Soffer, Journal of Statistical Physics (2020).
View
| Files available
| DOI
| arXiv
L. Bossmann, N. Pavlović, P. Pickl, A. Soffer, Journal of Statistical Physics (2020).
2020 | Journal Article | IST-REx-ID: 7509 |
From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture
H. Zhang, Advances in Mathematics (n.d.).
View
| DOI
| Download Preprint (ext.)
| arXiv
H. Zhang, Advances in Mathematics (n.d.).
2020 | Journal Article | IST-REx-ID: 7511 |
Benchmarking tomographic acquisition schemes for high-resolution structural biology
B. Turoňová, W.J.H. Hagen, M. Obr, S. Mosalaganti, J.W. Beugelink, C.E. Zimmerli, H.G. Kräusslich, M. Beck, Nature Communications 11 (2020).
View
| Files available
| DOI
B. Turoňová, W.J.H. Hagen, M. Obr, S. Mosalaganti, J.W. Beugelink, C.E. Zimmerli, H.G. Kräusslich, M. Beck, Nature Communications 11 (2020).
2020 | Journal Article | IST-REx-ID: 7512 |
Local laws for polynomials of Wigner matrices
L. Erdös, T.H. Krüger, Y. Nemish, Journal of Functional Analysis (n.d.) 108507.
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Erdös, T.H. Krüger, Y. Nemish, Journal of Functional Analysis (n.d.) 108507.
2020 | Thesis | IST-REx-ID: 7514 |
The free energy of a dilute two-dimensional Bose gas
S. Mayer, The Free Energy of a Dilute Two-Dimensional Bose Gas, IST Austria, 2020.
View
| Files available
| DOI
S. Mayer, The Free Energy of a Dilute Two-Dimensional Bose Gas, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7525
Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, IST Austria, 2020.
View
| Files available
| DOI
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 7534 |
Upper edge of chaos and the energetics of transition in pipe flow
N.B. Budanur, E. Marensi, A.P. Willis, B. Hof, Physical Review Fluids 5 (2020) 023903.
View
| DOI
| Download Preprint (ext.)
| arXiv
N.B. Budanur, E. Marensi, A.P. Willis, B. Hof, Physical Review Fluids 5 (2020) 023903.
2020 | Journal Article | IST-REx-ID: 7540
In vitro shoot growth and adventitious rooting of Wikstroemia gemmata depends on light quality
I. Verstraeten, H. Buyle, S. Werbrouck, M.C. Van Labeke, D. Geelen, Israel Journal of Plant Sciences 67 (2020) 16–26.
View
| DOI
I. Verstraeten, H. Buyle, S. Werbrouck, M.C. Van Labeke, D. Geelen, Israel Journal of Plant Sciences 67 (2020) 16–26.
2020 | Journal Article | IST-REx-ID: 7541 |
Site-controlled uniform Ge/Si hut wires with electrically tunable spin-orbit coupling
F. Gao, J.-H. Wang, H. Watzinger, H. Hu, M.J. Rančić, J.-Y. Zhang, T. Wang, Y. Yao, G.-L. Wang, J. Kukucka, L. Vukušić, C. Kloeffel, D. Loss, F. Liu, G. Katsaros, J.-J. Zhang, Advanced Materials (2020) 1906523.
View
| Files available
| DOI
| Download Published Version (ext.)
F. Gao, J.-H. Wang, H. Watzinger, H. Hu, M.J. Rančić, J.-Y. Zhang, T. Wang, Y. Yao, G.-L. Wang, J. Kukucka, L. Vukušić, C. Kloeffel, D. Loss, F. Liu, G. Katsaros, J.-J. Zhang, Advanced Materials (2020) 1906523.
2020 | Journal Article | IST-REx-ID: 7546 |
Natural variation in a dendritic scaffold protein remodels experience-dependent plasticity by altering neuropeptide expression
I. Beets, G. Zhang, L.A. Fenk, C. Chen, G.M. Nelson, M.-A. Félix, M. de Bono, Neuron 105 (2020) 106–121.e10.
View
| Files available
| DOI
| PubMed | Europe PMC
I. Beets, G. Zhang, L.A. Fenk, C. Chen, G.M. Nelson, M.-A. Félix, M. de Bono, Neuron 105 (2020) 106–121.e10.
2020 | Preprint | IST-REx-ID: 7553 |
Statistical analysis and optimality of biological systems
W.F. Mlynarski, M. Hledik, T.R. Sokolowski, G. Tkačik, BioRxiv (n.d.).
View
| Download Preprint (ext.)
W.F. Mlynarski, M. Hledik, T.R. Sokolowski, G. Tkačik, BioRxiv (n.d.).
2020 | Journal Article | IST-REx-ID: 7554 |
Weighted Poisson–Delaunay mosaics
H. Edelsbrunner, A. Nikitenko, Theory of Probability and Its Applications 64 (2020) 595–614.
View
| DOI
| Download Preprint (ext.)
| arXiv
H. Edelsbrunner, A. Nikitenko, Theory of Probability and Its Applications 64 (2020) 595–614.
2020 | Journal Article | IST-REx-ID: 7563 |
Inferring symbolic dynamics of chaotic flows from persistence
G. Yalniz, N.B. Budanur, Chaos 30 (2020) 033109.
View
| DOI
| Download Published Version (ext.)
| arXiv
G. Yalniz, N.B. Budanur, Chaos 30 (2020) 033109.
2020 | Journal Article | IST-REx-ID: 7567 |
Coxeter triangulations have good quality
A. Choudhary, S. Kachanovich, M. Wintraecken, Mathematics in Computer Science (2020).
View
| Files available
| DOI
A. Choudhary, S. Kachanovich, M. Wintraecken, Mathematics in Computer Science (2020).
2020 | Preprint | IST-REx-ID: 7568 |
The topological correctness of the PL-approximation of isomanifolds
J.-D. Boissonnat, M. Wintraecken, EUROCG 2020 (n.d.).
View
| Download Preprint (ext.)
J.-D. Boissonnat, M. Wintraecken, EUROCG 2020 (n.d.).
2020 | Journal Article | IST-REx-ID: 7569 |
The relation between crosstalk and gene regulation form revisited
R. Grah, T. Friedlander, PLOS Computational Biology 16 (2020).
View
| Files available
| DOI
R. Grah, T. Friedlander, PLOS Computational Biology 16 (2020).
2020 | Journal Article | IST-REx-ID: 7570 |
Slow quantum thermalization and many-body revivals from mixed phase space
A. Michailidis, C.J. Turner, Z. Papić, D.A. Abanin, M. Serbyn, Physical Review X 10 (2020).
View
| Files available
| DOI
| arXiv
A. Michailidis, C.J. Turner, Z. Papić, D.A. Abanin, M. Serbyn, Physical Review X 10 (2020).
2020 | Journal Article | IST-REx-ID: 7573 |
Homogenisation of one-dimensional discrete optimal transport
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Journal Des Mathematiques Pures et Appliquees (n.d.).
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Journal Des Mathematiques Pures et Appliquees (n.d.).
2020 | Journal Article | IST-REx-ID: 7580 |
Stochastic activation and bistability in a Rab GTPase regulatory network
U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences 117 (2020) 6504–6549.
View
| Files available
| DOI
| Download Preprint (ext.)
U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences 117 (2020) 6504–6549.
2020 | Journal Article | IST-REx-ID: 7582 |
Molecular evolution and diversification of proteins involved in miRNA maturation pathway
T.R. Moturu, S. Sinha, H. Salava, S. Thula, T. Nodzyński, R.S. Vařeková, J. Friml, S. Simon, Plants 9 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
T.R. Moturu, S. Sinha, H. Salava, S. Thula, T. Nodzyński, R.S. Vařeková, J. Friml, S. Simon, Plants 9 (2020).
2020 | Journal Article | IST-REx-ID: 7586 |
Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration
S. Weinert, N. Gimber, D. Deuschel, T. Stuhlmann, D. Puchkov, Z. Farsi, C.F. Ludwig, G. Novarino, K.I. López-Cayuqueo, R. Planells-Cases, T.J. Jentsch, EMBO Journal (n.d.).
View
| Files available
| DOI
S. Weinert, N. Gimber, D. Deuschel, T. Stuhlmann, D. Puchkov, Z. Farsi, C.F. Ludwig, G. Novarino, K.I. López-Cayuqueo, R. Planells-Cases, T.J. Jentsch, EMBO Journal (n.d.).
2020 | Journal Article | IST-REx-ID: 7594 |
How spin-orbital entanglement depends on the spin-orbit coupling in a Mott insulator
D. Gotfryd, E. Paerschke, J. Chaloupka, A.M. Oles, K. Wohlfeld, Physical Review Research 2 (2020).
View
| Files available
| DOI
D. Gotfryd, E. Paerschke, J. Chaloupka, A.M. Oles, K. Wohlfeld, Physical Review Research 2 (2020).
2020 | Journal Article | IST-REx-ID: 7600 |
The lipid code-dependent phosphoswitch PDK1–D6PK activates PIN-mediated auxin efflux in Arabidopsis
S. Tan, X. Zhang, W. Kong, X.-L. Yang, G. Molnar, Z. Vondráková, R. Filepová, J. Petrášek, J. Friml, H.-W. Xue, Nature Plants 6 (2020) 556–569.
View
| Files available
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
S. Tan, X. Zhang, W. Kong, X.-L. Yang, G. Molnar, Z. Vondráková, R. Filepová, J. Petrášek, J. Friml, H.-W. Xue, Nature Plants 6 (2020) 556–569.
2020 | Preprint | IST-REx-ID: 7601 |
Plasmodesmata-like intercellular connections by plant remorin in animal cells
Z. Wei, S. Tan, T. Liu, Y. Wu, J.-G. Lei, Z. Chen, J. Friml, H.-W. Xue, K. Liao, BioRxiv (2020).
View
| Download Preprint (ext.)
Z. Wei, S. Tan, T. Liu, Y. Wu, J.-G. Lei, Z. Chen, J. Friml, H.-W. Xue, K. Liao, BioRxiv (2020).
2020 | Conference Paper | IST-REx-ID: 7605 |
In search of the fastest concurrent union-find algorithm
D.-A. Alistarh, A. Fedorov, N. Koval, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View
| Files available
| DOI
| arXiv
D.-A. Alistarh, A. Fedorov, N. Koval, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Journal Article | IST-REx-ID: 7611 |
Central limit theorem for Bose gases interacting through singular potentials
S.A.E. Rademacher, Letters in Mathematical Physics (2020).
View
| DOI
| Download Published Version (ext.)
S.A.E. Rademacher, Letters in Mathematical Physics (2020).
2020 | Journal Article | IST-REx-ID: 7618 |
Quantum Hellinger distances revisited
J. Pitrik, D. Virosztek, Letters in Mathematical Physics 110 (2020) 2039–2052.
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Pitrik, D. Virosztek, Letters in Mathematical Physics 110 (2020) 2039–2052.
2020 | Journal Article | IST-REx-ID: 7619 |
Arabidopsis flippases cooperate with ARF GTPase exchange factors to regulate the trafficking and polarity of PIN auxin transporters
X. Zhang, M. Adamowski, P. Marhavá, S. Tan, Y. Zhang, L. Rodriguez Solovey, M. Zwiewka, V. Pukyšová, A.S. Sánchez, V.K. Raxwal, C.S. Hardtke, T. Nodzynski, J. Friml, The Plant Cell 32 (2020) 1644–1664.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
X. Zhang, M. Adamowski, P. Marhavá, S. Tan, Y. Zhang, L. Rodriguez Solovey, M. Zwiewka, V. Pukyšová, A.S. Sánchez, V.K. Raxwal, C.S. Hardtke, T. Nodzynski, J. Friml, The Plant Cell 32 (2020) 1644–1664.
2020 | Journal Article | IST-REx-ID: 7623 |
Modeling adhesion-independent cell migration
G. Jankowiak, D. Peurichard, A. Reversat, C. Schmeiser, M.K. Sixt, Mathematical Models and Methods in Applied Sciences (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Jankowiak, D. Peurichard, A. Reversat, C. Schmeiser, M.K. Sixt, Mathematical Models and Methods in Applied Sciences (2020).
2020 | Thesis | IST-REx-ID: 7629 |
Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains
D.L. Forkert, Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains, IST Austria, 2020.
View
| Files available
| DOI
D.L. Forkert, Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 7632 |
Action representation in the mouse parieto-frontal network
T. Tombaz, B.A. Dunn, K. Hovde, R.J. Cubero, B. Mimica, P. Mamidanna, Y. Roudi, J.R. Whitlock, Scientific Reports 10 (2020).
View
| Files available
| DOI
T. Tombaz, B.A. Dunn, K. Hovde, R.J. Cubero, B. Mimica, P. Mamidanna, Y. Roudi, J.R. Whitlock, Scientific Reports 10 (2020).
2020 | Journal Article | IST-REx-ID: 7634
Exclusive electron transport in Core@Shell PbTe@PbS colloidal semiconductor nanocrystal assemblies
R. Miranti, D. Shin, R.D. Septianto, M. Ibáñez, M.V. Kovalenko, N. Matsushita, Y. Iwasa, S.Z. Bisri, ACS Nano 14 (2020) 3242–3250.
View
| DOI
| PubMed | Europe PMC
R. Miranti, D. Shin, R.D. Septianto, M. Ibáñez, M.V. Kovalenko, N. Matsushita, Y. Iwasa, S.Z. Bisri, ACS Nano 14 (2020) 3242–3250.
2020 | Conference Paper | IST-REx-ID: 7635
Testing concurrency on the JVM with Lincheck
N. Koval, M. Sokolova, A. Fedorov, D.-A. Alistarh, D. Tsitelov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, ACM, 2020, pp. 423–424.
View
| DOI
N. Koval, M. Sokolova, A. Fedorov, D.-A. Alistarh, D. Tsitelov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, ACM, 2020, pp. 423–424.
2020 | Conference Paper | IST-REx-ID: 7636
Non-blocking interpolation search trees with doubly-logarithmic running time
T.A. Brown, A. Prokopec, D.-A. Alistarh, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, ACM, 2020, pp. 276–291.
View
| DOI
T.A. Brown, A. Prokopec, D.-A. Alistarh, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, ACM, 2020, pp. 276–291.
2020 | Journal Article | IST-REx-ID: 7637 |
From weakly interacting particles to a regularised Dean-Kawasaki model
F. Cornalba, T. Shardlow, J. Zimmer, Nonlinearity 33 (2020) 864–891.
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Cornalba, T. Shardlow, J. Zimmer, Nonlinearity 33 (2020) 864–891.
2020 | Journal Article | IST-REx-ID: 7638 |
Non-equilibrium quantum spin dynamics from classical stochastic processes
S. De Nicola, B. Doyon, M.J. Bhaseen, Journal of Statistical Mechanics: Theory and Experiment 2020 (2020).
View
| Files available
| DOI
| arXiv
S. De Nicola, B. Doyon, M.J. Bhaseen, Journal of Statistical Mechanics: Theory and Experiment 2020 (2020).
2020 | Journal Article | IST-REx-ID: 7650 |
Gross-Pitaevskii limit of a homogeneous Bose gas at positive temperature
A. Deuchert, R. Seiringer, Archive for Rational Mechanics and Analysis 236 (2020) 1217–1271.
View
| DOI
| Download Published Version (ext.)
| arXiv
A. Deuchert, R. Seiringer, Archive for Rational Mechanics and Analysis 236 (2020) 1217–1271.
2020 | Journal Article | IST-REx-ID: 7651 |
A developmentally descriptive method for quantifying shape in gastropod shells
J. Larsson, A.M. Westram, S. Bengmark, T. Lundh, R.K. Butlin, Journal of The Royal Society Interface 17 (2020).
View
| Files available
| DOI
J. Larsson, A.M. Westram, S. Bengmark, T. Lundh, R.K. Butlin, Journal of The Royal Society Interface 17 (2020).
2020 | Journal Article | IST-REx-ID: 7656 |
Clustering of neural activity: A design principle for population codes
M.J. Berry, G. Tkačik, Frontiers in Computational Neuroscience 14 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
M.J. Berry, G. Tkačik, Frontiers in Computational Neuroscience 14 (2020).
2020 | Journal Article | IST-REx-ID: 7663 |
Wood deformation leads to rearrangement of molecules at the nanoscale
M. Felhofer, P. Bock, A. Singh, B. Prats Mateu, R. Zirbs, N. Gierlinger, Nano Letters 20 (2020) 2647–2653.
View
| Files available
| DOI
| PubMed | Europe PMC
M. Felhofer, P. Bock, A. Singh, B. Prats Mateu, R. Zirbs, N. Gierlinger, Nano Letters 20 (2020) 2647–2653.
2020 | Journal Article | IST-REx-ID: 7664 |
Density of GABAB receptors is reduced in granule cells of the hippocampus in a mouse model of Alzheimer's disease
A. Martín-Belmonte, C. Aguado, R. Alfaro-Ruíz, A.E. Moreno-Martínez, L. De La Ossa, J. Martínez-Hernández, A. Buisson, R. Shigemoto, Y. Fukazawa, R. Luján, International Journal of Molecular Sciences 21 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
A. Martín-Belmonte, C. Aguado, R. Alfaro-Ruíz, A.E. Moreno-Martínez, L. De La Ossa, J. Martínez-Hernández, A. Buisson, R. Shigemoto, Y. Fukazawa, R. Luján, International Journal of Molecular Sciences 21 (2020).
2020 | Journal Article | IST-REx-ID: 7665 |
Advantages of acute brain slices prepared at physiological temperature in the characterization of synaptic functions
K. Eguchi, P. Velicky, E. Hollergschwandtner, M. Itakura, Y. Fukazawa, J.G. Danzl, R. Shigemoto, Frontiers in Cellular Neuroscience 14 (2020).
View
| Files available
| DOI
K. Eguchi, P. Velicky, E. Hollergschwandtner, M. Itakura, Y. Fukazawa, J.G. Danzl, R. Shigemoto, Frontiers in Cellular Neuroscience 14 (2020).
2020 | Journal Article | IST-REx-ID: 7666 |
Tri-partitions and bases of an ordered complex
H. Edelsbrunner, K. Ölsböck, Discrete and Computational Geometry (2020).
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, K. Ölsböck, Discrete and Computational Geometry (2020).
2020 | Preprint | IST-REx-ID: 7675 |
Normative models of enhancer function
R. Grah, B. Zoller, G. Tkačik, BioRxiv (2020).
View
| Files available
| Download Preprint (ext.)
R. Grah, B. Zoller, G. Tkačik, BioRxiv (2020).
2020 | Thesis | IST-REx-ID: 7680
Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals
S. Kainrath, Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals, IST Austria, 2020.
View
| Files available
| DOI
S. Kainrath, Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 7683 |
Cohomological Hall algebras for Higgs torsion sheaves, moduli of triples and sheaves on surfaces
S. Minets, Selecta Mathematica, New Series 26 (2020).
View
| Files available
| DOI
| arXiv
S. Minets, Selecta Mathematica, New Series 26 (2020).
2020 | Journal Article | IST-REx-ID: 7684
Assembly-specific disruption of hippocampal replay leads to selective memory deficit
I. Gridchyn, P. Schönenberger, J. O’Neill, J.L. Csicsvari, Neuron 106 (2020) 291–300.e6.
View
| Files available
| DOI
| PubMed | Europe PMC
I. Gridchyn, P. Schönenberger, J. O’Neill, J.L. Csicsvari, Neuron 106 (2020) 291–300.e6.
2020 | Journal Article | IST-REx-ID: 7685 |
The excitation spectrum of the Bose gas in the Gross-Pitaevskii regime
C. Boccato, Reviews in Mathematical Physics (2020) 2060006.
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Boccato, Reviews in Mathematical Physics (2020) 2060006.
2020 | Journal Article | IST-REx-ID: 7686
Neo-gibberellin signaling: Guiding the next generation of the green revolution
H. Xue, Y. Zhang, G. Xiao, Trends in Plant Science (2020).
View
| DOI
H. Xue, Y. Zhang, G. Xiao, Trends in Plant Science (2020).
2020 | Research Data | IST-REx-ID: 7689 |
Supplementary data for "Zero field splitting of heavy-hole states in quantum dots"
G. Katsaros, Supplementary Data for “Zero Field Splitting of Heavy-Hole States in Quantum Dots,” IST Austria, 2020.
View
| Files available
| DOI
G. Katsaros, Supplementary Data for “Zero Field Splitting of Heavy-Hole States in Quantum Dots,” IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 7695 |
High temporal resolution reveals simultaneous plasma membrane recruitment of TPLATE complex subunits
J. Wang, E. Mylle, A.J. Johnson, N. Besbrugge, G. De Jaeger, J. Friml, R. Pleskot, D. van Damme, Plant Physiology (2020).
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
J. Wang, E. Mylle, A.J. Johnson, N. Besbrugge, G. De Jaeger, J. Friml, R. Pleskot, D. van Damme, Plant Physiology (2020).
2020 | Journal Article | IST-REx-ID: 7697 |
Directional auxin fluxes in plants by intramolecular domain‐domain co‐evolution of PIN auxin transporters
Y. Zhang, C. Hartinger, X. Wang, J. Friml, New Phytologist (2020).
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Y. Zhang, C. Hartinger, X. Wang, J. Friml, New Phytologist (2020).
2020 | Journal Article | IST-REx-ID: 7788 |
NDUFS4 deletion triggers loss of NDUFA12 in Ndufs4−/− mice and Leigh syndrome patients: A stabilizing role for NDUFAF2
M.J.W. Adjobo-Hermans, R. De Haas, P.H.G.M. Willems, A. Wojtala, S.E. Van Emst-De Vries, J.A. Wagenaars, M. Van Den Brand, R.J. Rodenburg, J.A.M. Smeitink, L.G. Nijtmans, L.A. Sazanov, M.R. Wieckowski, W.J.H. Koopman, Biochimica et Biophysica Acta - Bioenergetics 1861 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
M.J.W. Adjobo-Hermans, R. De Haas, P.H.G.M. Willems, A. Wojtala, S.E. Van Emst-De Vries, J.A. Wagenaars, M. Van Den Brand, R.J. Rodenburg, J.A.M. Smeitink, L.G. Nijtmans, L.A. Sazanov, M.R. Wieckowski, W.J.H. Koopman, Biochimica et Biophysica Acta - Bioenergetics 1861 (2020).
2020 | Journal Article | IST-REx-ID: 7789 |
Defining the design principles of skin epidermis postnatal growth
S. Dekoninck, E.B. Hannezo, A. Sifrim, Y.A. Miroshnikova, M. Aragona, M. Malfait, S. Gargouri, C. De Neunheuser, C. Dubois, T. Voet, S.A. Wickström, B.D. Simons, C. Blanpain, Cell 181 (2020) 604–620.e22.
View
| Files available
| DOI
| PubMed | Europe PMC
S. Dekoninck, E.B. Hannezo, A. Sifrim, Y.A. Miroshnikova, M. Aragona, M. Malfait, S. Gargouri, C. De Neunheuser, C. Dubois, T. Voet, S.A. Wickström, B.D. Simons, C. Blanpain, Cell 181 (2020) 604–620.e22.
2020 | Journal Article | IST-REx-ID: 7790 |
The free energy of the two-dimensional dilute Bose gas. I. Lower bound
A. Deuchert, S. Mayer, R. Seiringer, Forum of Mathematics, Sigma 8 (2020).
View
| Files available
| DOI
| arXiv
A. Deuchert, S. Mayer, R. Seiringer, Forum of Mathematics, Sigma 8 (2020).
2020 | Journal Article | IST-REx-ID: 7791 |
When different norms lead to same billiard trajectories?
A. Akopyan, R. Karasev, European Journal of Mathematics (2020).
View
| Files available
| DOI
| arXiv
A. Akopyan, R. Karasev, European Journal of Mathematics (2020).
2020 | Journal Article | IST-REx-ID: 7793 |
Direct ETTIN-auxin interaction controls chromatin states in gynoecium development
A. Kuhn, S. Ramans Harborough, H.M. McLaughlin, B. Natarajan, I. Verstraeten, J. Friml, S. Kepinski, L. Østergaard, ELife 9 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
A. Kuhn, S. Ramans Harborough, H.M. McLaughlin, B. Natarajan, I. Verstraeten, J. Friml, S. Kepinski, L. Østergaard, ELife 9 (2020).
2020 | Conference Paper | IST-REx-ID: 7802 |
Graph sparsification for derandomizing massively parallel computation with low space
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), Association for Computing Machinery, 2020, pp. 175–185.
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), Association for Computing Machinery, 2020, pp. 175–185.
2020 | Journal Article | IST-REx-ID: 7804 |
MALT-1 mediates IL-17 neural signaling to regulate C. elegans behavior, immunity and longevity
S.M. Flynn, C. Chen, M. Artan, S. Barratt, A. Crisp, G.M. Nelson, S.Y. Peak-Chew, F. Begum, M. Skehel, M. de Bono, Nature Communications 11 (2020).
View
| Files available
| DOI
S.M. Flynn, C. Chen, M. Artan, S. Barratt, A. Crisp, G.M. Nelson, S.Y. Peak-Chew, F. Begum, M. Skehel, M. de Bono, Nature Communications 11 (2020).
2020 | Conference Paper | IST-REx-ID: 7806 |
Embeddability of simplicial complexes is undecidable
M. Filakovský, U. Wagner, S.Y. Zhechev, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 767–785.
View
| DOI
| Download Published Version (ext.)
M. Filakovský, U. Wagner, S.Y. Zhechev, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 767–785.
2020 | Conference Paper | IST-REx-ID: 7807 |
Connectivity of triangulation flip graphs in the plane (Part I: Edge flips)
U. Wagner, E. Welzl, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 2823–2841.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
U. Wagner, E. Welzl, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 2823–2841.
2020 | Conference Paper | IST-REx-ID: 7808 |
How many bits does it take to quantize your neural network?
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.
View
| Files available
| DOI
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.
2020 | Conference Paper | IST-REx-ID: 7810 |
Optimal and perfectly parallel algorithms for on-demand data-flow analysis
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
View
| Files available
| DOI
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.