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.
3141 Publications
2020 | Journal Article | IST-REx-ID: 8323 | 
A farewell to Ricky Pollack
J. Pach, Discrete and Computational Geometry 64 (2020) 571–574.
View
| DOI
| Download None (ext.)
J. Pach, Discrete and Computational Geometry 64 (2020) 571–574.
2020 | Journal Article | IST-REx-ID: 8325 |
Sandpile solitons via smoothing of superharmonic functions
N. Kalinin, M. Shkolnikov, Communications in Mathematical Physics 378 (2020) 1649–1675.
View
| DOI
| Download Preprint (ext.)
| arXiv
N. Kalinin, M. Shkolnikov, Communications in Mathematical Physics 378 (2020) 1649–1675.
2020 | Journal Article | IST-REx-ID: 8329 |
2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries
W. Schlemmer, P. Nothdurft, A. Petzold, P. Frühwirt, M. Schmallegger, G. Gescheidt-Demner, R. Fischer, S.A. Freunberger, W. Kern, S. Spirk, Angewandte Chemie International Edition 59 (2020) 22943–22946.
View
| DOI
| Download Published Version (ext.)
W. Schlemmer, P. Nothdurft, A. Petzold, P. Frühwirt, M. Schmallegger, G. Gescheidt-Demner, R. Fischer, S.A. Freunberger, W. Kern, S. Spirk, Angewandte Chemie International Edition 59 (2020) 22943–22946.
2020 | Thesis | IST-REx-ID: 8332 |
Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, IST Austria, 2020.
View
| Files available
| DOI
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 8336 |
Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum
K. Kubiasova, J.C. Montesinos López, O. Šamajová, J. Nisler, V. Mik, H. Semeradova, L. Plíhalová, O. Novák, P. Marhavý, N. Cavallari, D. Zalabák, K. Berka, K. Doležal, P. Galuszka, J. Šamaj, M. Strnad, E. Benková, O. Plíhal, L. Spíchal, Nature Communications 11 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
K. Kubiasova, J.C. Montesinos López, O. Šamajová, J. Nisler, V. Mik, H. Semeradova, L. Plíhalová, O. Novák, P. Marhavý, N. Cavallari, D. Zalabák, K. Berka, K. Doležal, P. Galuszka, J. Šamaj, M. Strnad, E. Benková, O. Plíhal, L. Spíchal, Nature Communications 11 (2020).
2020 | Journal Article | IST-REx-ID: 8337 |
Cell-surface receptors enable perception of extracellular cytokinins
I. Antoniadi, O. Novák, Z. Gelová, A.J. Johnson, O. Plíhal, R. Simerský, V. Mik, T. Vain, E. Mateo-Bonmatí, M. Karady, M. Pernisová, L. Plačková, K. Opassathian, J. Hejátko, S. Robert, J. Friml, K. Doležal, K. Ljung, C. Turnbull, Nature Communications 11 (2020).
View
| Files available
| DOI
I. Antoniadi, O. Novák, Z. Gelová, A.J. Johnson, O. Plíhal, R. Simerský, V. Mik, T. Vain, E. Mateo-Bonmatí, M. Karady, M. Pernisová, L. Plačková, K. Opassathian, J. Hejátko, S. Robert, J. Friml, K. Doležal, K. Ljung, C. Turnbull, Nature Communications 11 (2020).
2020 | Journal Article | IST-REx-ID: 8338 |
On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs
A. Akopyan, A.I. Bobenko, W.K. Schief, J. Techter, Discrete and Computational Geometry (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Akopyan, A.I. Bobenko, W.K. Schief, J. Techter, Discrete and Computational Geometry (2020).
2020 | Conference Paper | IST-REx-ID: 8339 |
Improved discrete Gaussian and subgaussian analysis for lattice cryptography
N. Genise, D. Micciancio, C. Peikert, M. Walter, in:, 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Springer Nature, 2020, pp. 623–651.
View
| DOI
| Download Preprint (ext.)
N. Genise, D. Micciancio, C. Peikert, M. Walter, in:, 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Springer Nature, 2020, pp. 623–651.
2020 | Thesis | IST-REx-ID: 8340
Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes
D. Kampjut, Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes, IST Austria, 2020.
View
| Files available
| DOI
D. Kampjut, Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8341
In vitro reconstitution of a Rab activation switch
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, IST Austria, 2020.
View
| Files available
| DOI
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, IST Austria, 2020.
2020 | Preprint | IST-REx-ID: 8349 |
Nonlinear computations in spiking neural networks through multiplicative synapses
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, ArXiv (n.d.).
View
| Download Preprint (ext.)
| arXiv
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, ArXiv (n.d.).
2020 | Thesis | IST-REx-ID: 8350
Bulk actin dynamics drive phase segregation in zebrafish oocytes
S. Shamipour, Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes , IST Austria, 2020.
View
| Files available
| DOI
S. Shamipour, Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes , IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8353
Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I
J. Steiner, Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I, IST Austria, 2020.
View
| Files available
| DOI
J. Steiner, Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 8361 |
Current status and future perspectives of lithium metal batteries
A. Varzi, K. Thanner, R. Scipioni, D. Di Lecce, J. Hassoun, S. Dörfler, H. Altheus, S. Kaskel, C. Prehal, S.A. Freunberger, Journal of Power Sources 480 (2020).
View
| Files available
| DOI
| Download Published Version (ext.)
A. Varzi, K. Thanner, R. Scipioni, D. Di Lecce, J. Hassoun, S. Dörfler, H. Altheus, S. Kaskel, C. Prehal, S.A. Freunberger, Journal of Power Sources 480 (2020).
2020 | Thesis | IST-REx-ID: 8366 |
Computational design of curved thin shells: From glass façades to programmable matter
R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter, IST Austria, 2020.
View
| Files available
| DOI
R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter, IST Austria, 2020.
2020 | Research Data | IST-REx-ID: 8375 |
Supplementary data for "Computational design of curved thin shells: from glass façades to programmable matter"
R. Guseinov, (2020).
View
| Files available
| DOI
R. Guseinov, (2020).
2020 | Conference Paper | IST-REx-ID: 8383
Brief Announcement: Why Extension-Based Proofs Fail
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, ACM, 2020, pp. 54–56.
View
| DOI
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, ACM, 2020, pp. 54–56.
2020 | Journal Article | IST-REx-ID: 8384 |
A model for soap film dynamics with evolving thickness
S. Ishida, P. Synak, F. Narita, T. Hachisuka, C.J. Wojtan, ACM Transactions on Graphics 39 (2020).
View
| Files available
| DOI
| Download Submitted Version (ext.)
S. Ishida, P. Synak, F. Narita, T. Hachisuka, C.J. Wojtan, ACM Transactions on Graphics 39 (2020).
2020 | Journal Article | IST-REx-ID: 8385 |
Homogenized yarn-level cloth
G. Sperl, R. Narain, C.J. Wojtan, ACM Transactions on Graphics 39 (2020).
View
| Files available
| DOI
| Download Submitted Version (ext.)
G. Sperl, R. Narain, C.J. Wojtan, ACM Transactions on Graphics 39 (2020).
2020 | Thesis | IST-REx-ID: 8386 |
Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, IST Austria, 2020.
View
| Files available
| DOI
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8390 |
Leveraging structure in Computer Vision tasks for flexible Deep Learning models
A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models, IST Austria, 2020.
View
| Files available
| DOI
A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models, IST Austria, 2020.
2020 | Preprint | IST-REx-ID: 8429 |
Probabilistic inference of the genetic architecture of functional enrichment of complex traits
M. Patxot, D. Trejo Banos, A. Kousathanas, E.J. Orliac, S.E. Ojavee, G. Moser, J. Sidorenko, Z. Kutalik, R. Magi, P.M. Visscher, L. Ronnegard, M.R. Robinson, MedRxiv (2020).
View
| DOI
| Download Preprint (ext.)
M. Patxot, D. Trejo Banos, A. Kousathanas, E.J. Orliac, S.E. Ojavee, G. Moser, J. Sidorenko, Z. Kutalik, R. Magi, P.M. Visscher, L. Ronnegard, M.R. Robinson, MedRxiv (2020).
2020 | Journal Article | IST-REx-ID: 8529 |
Converting microwave and telecom photons with a silicon photonic nanomechanical interface
G.M. Arnold, M. Wulf, S. Barzanjeh, E. Redchenko, A.R. Rueda Sanchez, W.J. Hease, F. Hassani, J.M. Fink, Nature Communications 11 (2020).
View
| Files available
| DOI
G.M. Arnold, M. Wulf, S. Barzanjeh, E. Redchenko, A.R. Rueda Sanchez, W.J. Hease, F. Hassani, J.M. Fink, Nature Communications 11 (2020).
2020 | Conference Paper | IST-REx-ID: 8533 |
Simplified game of life: Algorithms and complexity
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View
| Files available
| DOI
| arXiv
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Conference Paper | IST-REx-ID: 8534 |
Unary prime languages
I.R. Jecker, O. Kupferman, N. Mazzocchi, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View
| Files available
| DOI
I.R. Jecker, O. Kupferman, N. Mazzocchi, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Journal Article | IST-REx-ID: 8535 |
Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces
T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, C.J. Wojtan, ACM Transactions on Graphics 39 (2020).
View
| Files available
| DOI
T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, C.J. Wojtan, ACM Transactions on Graphics 39 (2020).
2020 | Conference Paper | IST-REx-ID: 8536 |
Simplified successive cancellation decoding of polar codes has sublinear latency
M. Mondelli, S.A. Hashemi, J. Cioffi, A. Goldsmith, in:, IEEE International Symposium on Information Theory - Proceedings, IEEE, 2020.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Mondelli, S.A. Hashemi, J. Cioffi, A. Goldsmith, in:, IEEE International Symposium on Information Theory - Proceedings, IEEE, 2020.
2020 | Journal Article | IST-REx-ID: 8538 |
Billiards in ellipses revisited
A. Akopyan, R. Schwartz, S. Tabachnikov, European Journal of Mathematics (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Akopyan, R. Schwartz, S. Tabachnikov, European Journal of Mathematics (2020).
2020 | Journal Article | IST-REx-ID: 8539 |
On the K-theory stable bases of the springer resolution
C. Su, G. Zhao, C. Zhong, Annales Scientifiques de l’Ecole Normale Superieure 53 (2020) 663–671.
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Su, G. Zhao, C. Zhong, Annales Scientifiques de l’Ecole Normale Superieure 53 (2020) 663–671.
2020 | Preprint | IST-REx-ID: 8545 |
A genome-wide library of MADM mice for single-cell genetic mosaic analysis
X. Contreras, A. Davaatseren, N. Amberg, A.H. Hansen, J. Sonntag, L. Andersen, T. Bernthaler, A.-M. Heger, R. Johnson, L.A. Schwarz, L. Luo, T. Rülicke, S. Hippenmeyer, BioRxiv (2020).
View
| DOI
| Download Preprint (ext.)
X. Contreras, A. Davaatseren, N. Amberg, A.H. Hansen, J. Sonntag, L. Andersen, T. Bernthaler, A.-M. Heger, R. Johnson, L.A. Schwarz, L. Luo, T. Rülicke, S. Hippenmeyer, BioRxiv (2020).
2020 | Preprint | IST-REx-ID: 8557 |
Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance
V. Belyaeva, S. Wachner, I. Gridchyn, M. Linder, S. Emtenani, A. György, M. Sibilia, D.E. Siekhaus, BioRxiv (n.d.).
View
| Files available
| DOI
| Download Preprint (ext.)
V. Belyaeva, S. Wachner, I. Gridchyn, M. Linder, S. Emtenani, A. György, M. Sibilia, D.E. Siekhaus, BioRxiv (n.d.).
2020 | Journal Article | IST-REx-ID: 8562 |
Computational design of cold bent glass façades
K. Gavriil, R. Guseinov, J. Perez Rodriguez, D. Pellis, P.M. Henderson, F. Rist, H. Pottmann, B. Bickel, ACM Transactions on Graphics 39 (2020).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Gavriil, R. Guseinov, J. Perez Rodriguez, D. Pellis, P.M. Henderson, F. Rist, H. Pottmann, B. Bickel, ACM Transactions on Graphics 39 (2020).
2020 | Journal Article | IST-REx-ID: 8568 |
Persistent and reversible solid iodine electrodeposition in nanoporous carbons
C. Prehal, H. Fitzek, G. Kothleitner, V. Presser, B. Gollas, S.A. Freunberger, Q. Abbas, Nature Communications 11 (2020).
View
| Files available
| DOI
C. Prehal, H. Fitzek, G. Kothleitner, V. Presser, B. Gollas, S.A. Freunberger, Q. Abbas, Nature Communications 11 (2020).
2020 | Conference Paper | IST-REx-ID: 8571 |
ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics
L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.
View
| DOI
| Download Published Version (ext.)
L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.
2020 | Conference Paper | IST-REx-ID: 8572 |
ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics
M. Althoff, S. Bak, Z. Bao, M. Forets, G. Frehse, D. Freire, N. Kochdumper, Y. Li, S. Mitra, R. Ray, C. Schilling, S. Schupp, M. Wetzlinger, in:, EPiC Series in Computing, EasyChair, 2020, pp. 16–48.
View
| DOI
| Download Published Version (ext.)
M. Althoff, S. Bak, Z. Bao, M. Forets, G. Frehse, D. Freire, N. Kochdumper, Y. Li, S. Mitra, R. Ray, C. Schilling, S. Schupp, M. Wetzlinger, in:, EPiC Series in Computing, EasyChair, 2020, pp. 16–48.
2020 | Thesis | IST-REx-ID: 8574 |
Local adaptation in metapopulations
E. Szep, Local Adaptation in Metapopulations, IST Austria, 2020.
View
| Files available
| DOI
E. Szep, Local Adaptation in Metapopulations, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 8579 |
Cu homeostasis in bacteria: The ins and outs
A. Andrei, Y. Öztürk, B. Khalfaoui-Hassani, J. Rauch, D. Marckmann, P.I. Trasnea, F. Daldal, H.-G. Koch, Membranes 10 (2020).
View
| Files available
| DOI
A. Andrei, Y. Öztürk, B. Khalfaoui-Hassani, J. Rauch, D. Marckmann, P.I. Trasnea, F. Daldal, H.-G. Koch, Membranes 10 (2020).
2020 | Conference Paper | IST-REx-ID: 8580
The application of persistent homology in the analysis of heart rate variability
G. Graff, B. Graff, G. Jablonski, K. Narkiewicz, in:, 11th Conference of the European Study Group on Cardiovascular Oscillations: Computation and Modelling in Physiology: New Challenges and Opportunities, , IEEE, 2020.
View
| DOI
G. Graff, B. Graff, G. Jablonski, K. Narkiewicz, in:, 11th Conference of the European Study Group on Cardiovascular Oscillations: Computation and Modelling in Physiology: New Challenges and Opportunities, , IEEE, 2020.
2020 | Journal Article | IST-REx-ID: 8581
Cryo-EM structure of the entire mammalian F-type ATP synthase
G. Pinke, L. Zhou, L.A. Sazanov, Nature Structural and Molecular Biology 27 (2020) 1077–1085.
View
| Files available
| DOI
| PubMed | Europe PMC
G. Pinke, L. Zhou, L.A. Sazanov, Nature Structural and Molecular Biology 27 (2020) 1077–1085.
2020 | Journal Article | IST-REx-ID: 8586 |
3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy
F. Fäßler, B. Zens, R. Hauschild, F.K. Schur, Journal of Structural Biology 212 (2020).
View
| Files available
| DOI
F. Fäßler, B. Zens, R. Hauschild, F.K. Schur, Journal of Structural Biology 212 (2020).
2020 | Journal Article | IST-REx-ID: 8587 |
Intermolecular forces and correlations mediated by a phonon bath
X. Li, E. Yakaboylu, G. Bighin, R. Schmidt, M. Lemeshko, A. Deuchert, The Journal of Chemical Physics 152 (2020).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
X. Li, E. Yakaboylu, G. Bighin, R. Schmidt, M. Lemeshko, A. Deuchert, The Journal of Chemical Physics 152 (2020).
2020 | Journal Article | IST-REx-ID: 8588 |
Attractive interactions, molecular complexes, and polarons in coupled dipolar exciton fluids
C. Hubert, K. Cohen, A. Ghazaryan, M. Lemeshko, R. Rapaport, P.V. Santos, Physical Review B 102 (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Hubert, K. Cohen, A. Ghazaryan, M. Lemeshko, R. Rapaport, P.V. Santos, Physical Review B 102 (2020).
2020 | Thesis | IST-REx-ID: 8589
Novel insights into PIN polarity regulation during Arabidopsis development
H. Han, Novel Insights into PIN Polarity Regulation during Arabidopsis Development, IST Austria, 2020.
View
| Files available
| DOI
H. Han, Novel Insights into PIN Polarity Regulation during Arabidopsis Development, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 8592 |
Oncogenic state and cell identity combinatorially dictate the susceptibility of cells within glioma development hierarchy to IGF1R targeting
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
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.
2020 | Conference Paper | IST-REx-ID: 8599 |
A survey of bidding games on graphs
G. Avni, T.A. Henzinger, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View
| Files available
| DOI
G. Avni, T.A. Henzinger, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Conference Paper | IST-REx-ID: 8600 |
Multi-dimensional long-run average problems for vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View
| Files available
| DOI
| arXiv
K. Chatterjee, T.A. Henzinger, J. Otop, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Journal Article | IST-REx-ID: 8601 |
Edge universality for non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2020).
View
| Files available
| DOI
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2020).
2020 | Journal Article | IST-REx-ID: 8607 |
Endocytosis of BRASSINOSTEROID INSENSITIVE1 is partly driven by a canonical tyrosine-based Motif
D. Liu, R. Kumar, C. LAN, A.J. Johnson, W. Siao, I. Vanhoutte, P. Wang, K. Bender, K. Yperman, S. Martins, X. Zhao, G. Vert, D. Van Damme, J. Friml, E. Russinova, Plant Cell 32 (2020) 3598–3612.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Liu, R. Kumar, C. LAN, A.J. Johnson, W. Siao, I. Vanhoutte, P. Wang, K. Bender, K. Yperman, S. Martins, X. Zhao, G. Vert, D. Van Damme, J. Friml, E. Russinova, Plant Cell 32 (2020) 3598–3612.
2020 | Preprint | IST-REx-ID: 8616 |
Reduction of neuronal activity mediated by blood-vessel regression in the brain
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.)
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.
2020 | Thesis | IST-REx-ID: 8620
Illuminating the role of Cul3 in autism spectrum disorder pathogenesis
J. Morandell, Illuminating the Role of Cul3 in Autism Spectrum Disorder Pathogenesis, IST Austria, 2020.
View
| Files available
| DOI
J. Morandell, Illuminating the Role of Cul3 in Autism Spectrum Disorder Pathogenesis, IST Austria, 2020.
2020 | Conference Paper | IST-REx-ID: 8623 |
Monitorability under assumptions
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
View
| Files available
| DOI
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
2020 | Journal Article | IST-REx-ID: 8634 |
Capturing turbulent dynamics and statistics in experiments with unstable periodic orbits
B. Suri, L. Kageorge, R.O. Grigoriev, M.F. Schatz, Physical Review Letters 125 (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Suri, L. Kageorge, R.O. Grigoriev, M.F. Schatz, Physical Review Letters 125 (2020).
2020 | Journal Article | IST-REx-ID: 8643 |
A specialized reciprocal connectivity suggests a link between the mechanisms by which the superior colliculus and parabigeminal nucleus produce defensive behaviors in rodents
A. Deichler, D. Carrasco, L. Lopez-Jury, T.A. Vega Zuniga, N. Marquez, J. Mpodozis, G. Marin, Scientific Reports 10 (2020).
View
| Files available
| DOI
A. Deichler, D. Carrasco, L. Lopez-Jury, T.A. Vega Zuniga, N. Marquez, J. Mpodozis, G. Marin, Scientific Reports 10 (2020).
2020 | Journal Article | IST-REx-ID: 8644 |
Detecting composite orders in layered models via machine learning
W. Rzadkowski, N. Defenu, S. Chiacchiera, A. Trombettoni, G. Bighin, New Journal of Physics 22 (2020).
View
| Files available
| DOI
W. Rzadkowski, N. Defenu, S. Chiacchiera, A. Trombettoni, G. Bighin, New Journal of Physics 22 (2020).
2020 | Journal Article | IST-REx-ID: 8645 |
HypercubeME: Two hundred million combinatorially complete datasets from a single experiment
L.A. Esteban, L.R. Lonishin, D.M. Bobrovskiy, G. Leleytner, N.S. Bogatyreva, F. Kondrashov, D.N. Ivankov, Bioinformatics 36 (2020) 1960–1962.
View
| Files available
| DOI
| PubMed | Europe PMC
L.A. Esteban, L.R. Lonishin, D.M. Bobrovskiy, G. Leleytner, N.S. Bogatyreva, F. Kondrashov, D.N. Ivankov, Bioinformatics 36 (2020) 1960–1962.
2020 | Journal Article | IST-REx-ID: 8652 |
Filtering spins by scattering from a lattice of point magnets
A. Ghazaryan, M. Lemeshko, A. Volosniev, Communications Physics 3 (2020).
View
| Files available
| DOI
A. Ghazaryan, M. Lemeshko, A. Volosniev, Communications Physics 3 (2020).
2020 | Thesis | IST-REx-ID: 8657
Perturbations of protein synthesis: from antibiotics to genetics and physiology
B. Kavcic, Perturbations of Protein Synthesis: From Antibiotics to Genetics and Physiology, IST Austria, 2020.
View
| Files available
| DOI
B. Kavcic, Perturbations of Protein Synthesis: From Antibiotics to Genetics and Physiology, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 8669 |
Tracing the cellular basis of islet specification in mouse pancreas
M.K. Sznurkowska, E.B. Hannezo, R. Azzarelli, L. Chatzeli, T. Ikeda, S. Yoshida, A. Philpott, B.D. Simons, Nature Communications 11 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
M.K. Sznurkowska, E.B. Hannezo, R. Azzarelli, L. Chatzeli, T. Ikeda, S. Yoshida, A. Philpott, B.D. Simons, Nature Communications 11 (2020).
2020 | Journal Article | IST-REx-ID: 8670 |
Equality conditions of data processing inequality for α-z Rényi relative entropies
H. Zhang, Journal of Mathematical Physics 61 (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
H. Zhang, Journal of Mathematical Physics 61 (2020).
2020 | Journal Article | IST-REx-ID: 8671 |
A note on belief structures and s-approximation spaces
A. Shakiba, A.K. Goharshady, M.R. Hooshmandasl, M. Alambardar Meybodi, Iranian Journal of Mathematical Sciences and Informatics 15 (2020) 117–128.
View
| Files available
| DOI
| arXiv
A. Shakiba, A.K. Goharshady, M.R. Hooshmandasl, M. Alambardar Meybodi, Iranian Journal of Mathematical Sciences and Informatics 15 (2020) 117–128.
2020 | Journal Article | IST-REx-ID: 8672 |
Abscission couples cell division to embryonic stem cell fate
A. Chaigne, C. Labouesse, I.J. White, M. Agnew, E.B. Hannezo, K.J. Chalut, E.K. Paluch, Developmental Cell 55 (2020) 195–208.
View
| Files available
| DOI
| PubMed | Europe PMC
A. Chaigne, C. Labouesse, I.J. White, M. Agnew, E.B. Hannezo, K.J. Chalut, E.K. Paluch, Developmental Cell 55 (2020) 195–208.
2020 | Journal Article | IST-REx-ID: 8674 |
LTP induction boosts glutamate spillover by driving withdrawal of perisynaptic astroglia
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
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.
2020 | Journal Article | IST-REx-ID: 8679
Neural circuit policies enabling auditable autonomy
M. Lechner, R. Hasani, A. Amini, T.A. Henzinger, D. Rus, R. Grosu, Nature Machine Intelligence 2 (2020) 642–652.
View
| Files available
| DOI
M. Lechner, R. Hasani, A. Amini, T.A. Henzinger, D. Rus, R. Grosu, Nature Machine Intelligence 2 (2020) 642–652.
2020 | Journal Article | IST-REx-ID: 8680 |
An adhesion code ensures robust pattern formation during tissue morphogenesis
T.Y.-C. Tsai, M.K. Sikora, P. Xia, T. Colak-Champollion, H. Knaut, C.-P.J. Heisenberg, S.G. Megason, Science 370 (2020) 113–116.
View
| Files available
| DOI
| Download Preprint (ext.)
T.Y.-C. Tsai, M.K. Sikora, P. Xia, T. Colak-Champollion, H. Knaut, C.-P.J. Heisenberg, S.G. Megason, Science 370 (2020) 113–116.
2020 | Preprint | IST-REx-ID: 8682 |
The Hasse principle for random Fano hypersurfaces
T.D. Browning, P.L. Boudec, W. Sawin, ArXiv (n.d.).
View
| Files available
| Download Preprint (ext.)
| arXiv
T.D. Browning, P.L. Boudec, W. Sawin, ArXiv (n.d.).
2020 | Journal Article | IST-REx-ID: 8697 |
Variance reduction for effective energies of random lattices in the Thomas-Fermi-von Weizsäcker model
J.L. Fischer, M. Kniely, Nonlinearity 33 (2020) 5733–5772.
View
| Files available
| DOI
| arXiv
J.L. Fischer, M. Kniely, Nonlinearity 33 (2020) 5733–5772.
2020 | Journal Article | IST-REx-ID: 8698 |
Learning probabilistic neural representations with randomly connected circuits
O. Maoz, G. Tkačik, M.S. Esteki, R. Kiani, E. Schneidman, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 25066–25073.
View
| Files available
| DOI
| PubMed | Europe PMC
O. Maoz, G. Tkačik, M.S. Esteki, R. Kiani, E. Schneidman, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 25066–25073.
2020 | Journal Article | IST-REx-ID: 8699 |
Strain engineering of the charge and spin-orbital interactions in Sr2IrO4
E. Paris, Y. Tseng, E. Paerschke, W. Zhang, M.H. Upton, A. Efimenko, K. Rolfs, D.E. McNally, L. Maurel, M. Naamneh, M. Caputo, V.N. Strocov, Z. Wang, D. Casa, C.W. Schneider, E. Pomjakushina, K. Wohlfeld, M. Radovic, T. Schmitt, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 24764–24770.
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
E. Paris, Y. Tseng, E. Paerschke, W. Zhang, M.H. Upton, A. Efimenko, K. Rolfs, D.E. McNally, L. Maurel, M. Naamneh, M. Caputo, V.N. Strocov, Z. Wang, D. Casa, C.W. Schneider, E. Pomjakushina, K. Wohlfeld, M. Radovic, T. Schmitt, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 24764–24770.
2020 | Journal Article | IST-REx-ID: 8700
The influence of A/G composition of 3' stop codon contexts on translation termination efficiency in eukaryotes
E.E. Sokolova, P. Vlasov, T.V. Egorova, A.V. Shuvalov, E.Z. Alkalaeva, Molecular Biology 54 (2020) 739–748.
View
| Files available
| DOI
E.E. Sokolova, P. Vlasov, T.V. Egorova, A.V. Shuvalov, E.Z. Alkalaeva, Molecular Biology 54 (2020) 739–748.
2020 | Journal Article | IST-REx-ID: 8701
The influence of A/G composition of 3' stop codon contexts on translation termination efficiency in eukaryotes
E.E. Sokolova, P. Vlasov, T.V. Egorova, A.V. Shuvalov, E.Z. Alkalaeva, Molekuliarnaia biologiia 54 (2020) 837–848.
View
| Files available
| DOI
| PubMed | Europe PMC
E.E. Sokolova, P. Vlasov, T.V. Egorova, A.V. Shuvalov, E.Z. Alkalaeva, Molekuliarnaia biologiia 54 (2020) 837–848.
2020 | Conference Paper | IST-REx-ID: 8703 |
Generalizing CGAL periodic Delaunay triangulations
G.F. Osang, M. Rouxel-Labbé, M. Teillaud, in:, 28th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View
| Files available
| DOI
G.F. Osang, M. Rouxel-Labbé, M. Teillaud, in:, 28th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Conference Paper | IST-REx-ID: 8704 |
Gershgorin loss stabilizes the recurrent neural network compartment of an end-to-end robot learning scheme
M. Lechner, R. Hasani, D. Rus, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2020, pp. 5446–5452.
View
| Files available
| DOI
M. Lechner, R. Hasani, D. Rus, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2020, pp. 5446–5452.
2020 | Journal Article | IST-REx-ID: 8705 |
Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit
K. Mysliwy, R. Seiringer, Annales Henri Poincare 21 (2020) 4003–4025.
View
| Files available
| DOI
| arXiv
K. Mysliwy, R. Seiringer, Annales Henri Poincare 21 (2020) 4003–4025.
2020 | Journal Article | IST-REx-ID: 8707
CHESS enables quantitative comparison of chromatin contact data and automatic feature extraction
S. Galan, N.N. Machnik, K. Kruse, N. Díaz, M.A. Marti-Renom, J.M. Vaquerizas, Nature Genetics 52 (2020) 1247–1255.
View
| DOI
| PubMed | Europe PMC
S. Galan, N.N. Machnik, K. Kruse, N. Díaz, M.A. Marti-Renom, J.M. Vaquerizas, Nature Genetics 52 (2020) 1247–1255.
2020 | Journal Article | IST-REx-ID: 8721
Receptor kinase module targets PIN-dependent auxin transport during canalization
J. Hajny, T. Prat, N. Rydza, L. Rodriguez Solovey, S. Tan, I. Verstraeten, D. Domjan, E. Mazur, E. Smakowska-Luzan, W. Smet, E. Mor, J. Nolf, B. Yang, W. Grunewald, G. Molnar, Y. Belkhadir, B. De Rybel, J. Friml, Science 370 (2020) 550–557.
View
| Files available
| DOI
| PubMed | Europe PMC
J. Hajny, T. Prat, N. Rydza, L. Rodriguez Solovey, S. Tan, I. Verstraeten, D. Domjan, E. Mazur, E. Smakowska-Luzan, W. Smet, E. Mor, J. Nolf, B. Yang, W. Grunewald, G. Molnar, Y. Belkhadir, B. De Rybel, J. Friml, Science 370 (2020) 550–557.
2020 | Conference Paper | IST-REx-ID: 8722 |
Taming unbalanced training workloads in deep learning with partial collective operations
S. Li, T.B.-N. Tal Ben-Nun, S.D. Girolamo, D.-A. Alistarh, T. Hoefler, in:, Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2020, pp. 45–61.
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Li, T.B.-N. Tal Ben-Nun, S.D. Girolamo, D.-A. Alistarh, T. Hoefler, in:, Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2020, pp. 45–61.
2020 | Journal Article | IST-REx-ID: 8723 |
Breaking (global) barriers in parallel stochastic optimization with wait-avoiding group averaging
S. Li, T.B.-N. Tal Ben-Nun, G. Nadiradze, S.D. Girolamo, N. Dryden, D.-A. Alistarh, T. Hoefler, IEEE Transactions on Parallel and Distributed Systems (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Li, T.B.-N. Tal Ben-Nun, G. Nadiradze, S.D. Girolamo, N. Dryden, D.-A. Alistarh, T. Hoefler, IEEE Transactions on Parallel and Distributed Systems (2020).
2020 | Journal Article | IST-REx-ID: 8726 |
Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling
D. Gotfryd, E. Paerschke, K. Wohlfeld, A.M. Oleś, Condensed Matter 5 (2020).
View
| Files available
| DOI
| arXiv
D. Gotfryd, E. Paerschke, K. Wohlfeld, A.M. Oleś, Condensed Matter 5 (2020).
2020 | Journal Article | IST-REx-ID: 8730
Complete inhibition of ABCB1 and ABCG2 at the blood-brain barrier by co-infusion of erlotinib and tariquidar to improve brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib
N. Tournier, S. Goutal, S. Mairinger, I. Lozano, T. Filip, M. Sauberer, F. Caillé, L. Breuil, J. Stanek, A. Freeman, G. Novarino, C. Truillet, T. Wanek, O. Langer, Journal of Cerebral Blood Flow and Metabolism (2020).
View
| DOI
| PubMed | Europe PMC
N. Tournier, S. Goutal, S. Mairinger, I. Lozano, T. Filip, M. Sauberer, F. Caillé, L. Breuil, J. Stanek, A. Freeman, G. Novarino, C. Truillet, T. Wanek, O. Langer, Journal of Cerebral Blood Flow and Metabolism (2020).
2020 | Conference Paper | IST-REx-ID: 8732
Inserting one edge into a simple drawing is hard
A.M. Arroyo Guevara, F. Klute, I. Parada, R. Seidel, B. Vogtenhuber, T. Wiedera, in:, Graph-Theoretic Concepts in Computer Science, Springer Nature, 2020, pp. 325–338.
View
| DOI
A.M. Arroyo Guevara, F. Klute, I. Parada, R. Seidel, B. Vogtenhuber, T. Wiedera, in:, Graph-Theoretic Concepts in Computer Science, Springer Nature, 2020, pp. 325–338.
2020 | Journal Article | IST-REx-ID: 8737 |
The coupling mechanism of mammalian respiratory complex I
D. Kampjut, L.A. Sazanov, Science 370 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
D. Kampjut, L.A. Sazanov, Science 370 (2020).
2020 | Journal Article | IST-REx-ID: 8741 |
Emergence of cascading dynamics in interacting tipping elements of ecology and climate: Cascading dynamics in tipping elements
A.K. Klose, V. Karle, R. Winkelmann, J.F. Donges, Royal Society Open Science 7 (2020).
View
| Files available
| DOI
A.K. Klose, V. Karle, R. Winkelmann, J.F. Donges, Royal Society Open Science 7 (2020).
2020 | Journal Article | IST-REx-ID: 8746 |
Electron transport in iodide-capped core@shell PbTe@PbS colloidal nanocrystal solids
R. Miranti, R.D. Septianto, M. Ibáñez, M.V. Kovalenko, N. Matsushita, Y. Iwasa, S.Z. Bisri, Applied Physics Letters 117 (2020).
View
| DOI
| Download Published Version (ext.)
R. Miranti, R.D. Septianto, M. Ibáñez, M.V. Kovalenko, N. Matsushita, Y. Iwasa, S.Z. Bisri, Applied Physics Letters 117 (2020).
2020 | Journal Article | IST-REx-ID: 8747
Bismuth telluride-copper telluride nanocomposites from heterostructured building blocks
Y. Zhang, Y. Liu, M. Calcabrini, C. Xing, X. Han, J. Arbiol, D. Cadavid, M. Ibáñez, A. Cabot, Journal of Materials Chemistry C 8 (2020) 14092–14099.
View
| DOI
Y. Zhang, Y. Liu, M. Calcabrini, C. Xing, X. Han, J. Arbiol, D. Cadavid, M. Ibáñez, A. Cabot, Journal of Materials Chemistry C 8 (2020) 14092–14099.
2020 | Journal Article | IST-REx-ID: 8758 |
Modeling of chemical reaction systems with detailed balance using gradient structures
J. Maas, A. Mielke, Journal of Statistical Physics 181 (2020) 2257–2303.
View
| Files available
| DOI
| arXiv
J. Maas, A. Mielke, Journal of Statistical Physics 181 (2020) 2257–2303.
2020 | Research Data | IST-REx-ID: 8761 |
Supplementary data for "Computational design of cold bent glass façades"
R. Guseinov, (2020).
View
| Files available
| DOI
R. Guseinov, (2020).
2020 | Journal Article | IST-REx-ID: 8765 |
A practical method for animating anisotropic elastoplastic materials
C. Schreck, C.J. Wojtan, Computer Graphics Forum 39 (2020) 89–99.
View
| Files available
| DOI
C. Schreck, C.J. Wojtan, Computer Graphics Forum 39 (2020) 89–99.
2020 | Journal Article | IST-REx-ID: 8766
Making procedural water waves boundary-aware
S. Jeschke, C. Hafner, N. Chentanez, M. Macklin, M. Müller-Fischer, C.J. Wojtan, Computer Graphics Forum 39 (2020) 47–54.
View
| DOI
S. Jeschke, C. Hafner, N. Chentanez, M. Macklin, M. Müller-Fischer, C.J. Wojtan, Computer Graphics Forum 39 (2020) 47–54.
2020 | Journal Article | IST-REx-ID: 8767 |
The Moran process on 2-chromatic graphs
K. Kaveh, A. McAvoy, K. Chatterjee, M.A. Nowak, PLOS Computational Biology 16 (2020).
View
| Files available
| DOI
K. Kaveh, A. McAvoy, K. Chatterjee, M.A. Nowak, PLOS Computational Biology 16 (2020).
2020 | Journal Article | IST-REx-ID: 8769 |
Quantum impurity model for anyons
E. Yakaboylu, A. Ghazaryan, D. Lundholm, N. Rougerie, M. Lemeshko, R. Seiringer, Physical Review B 102 (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Yakaboylu, A. Ghazaryan, D. Lundholm, N. Rougerie, M. Lemeshko, R. Seiringer, Physical Review B 102 (2020).
2020 | Journal Article | IST-REx-ID: 8787 |
Vascular surveillance by haptotactic blood platelets in inflammation and infection
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
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.
2020 | Journal Article | IST-REx-ID: 8788
Precedence-aware automated competitive analysis of real-time scheduling
A. Pavlogiannis, N. Schaumberger, U. Schmid, K. Chatterjee, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 3981–3992.
View
| DOI
A. Pavlogiannis, N. Schaumberger, U. Schmid, K. Chatterjee, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 3981–3992.
2020 | Journal Article | IST-REx-ID: 8789 |
Prioritised learning in snowdrift-type games
M. Kleshnina, S. Streipert, J. Filar, K. Chatterjee, Mathematics 8 (2020).
View
| Files available
| DOI
M. Kleshnina, S. Streipert, J. Filar, K. Chatterjee, Mathematics 8 (2020).
2020 | Journal Article | IST-REx-ID: 8790 |
Reachability analysis of linear hybrid systems via block decomposition
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 4018–4029.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 4018–4029.
2020 | Research Data Reference | IST-REx-ID: 8809 |
Data from: Assortative mating, sexual selection and their consequences for gene flow in Littorina
S. Perini, M. Rafajlovic, A.M. Westram, K. Johannesson, R. Butlin, (2020).
View
| Files available
| DOI
| Download Published Version (ext.)
S. Perini, M. Rafajlovic, A.M. Westram, K. Johannesson, R. Butlin, (2020).
2020 | Preprint | IST-REx-ID: 8813 |
Novel imprints in mouse blastocysts are predominantly DNA methylation independent
L. Santini, F. Halbritter, F. Titz-Teixeira, T. Suzuki, M. Asami, J. Ramesmayer, X. Ma, A. Lackner, N. Warr, F. Pauler, S. Hippenmeyer, E. Laue, M. Farlik, C. Bock, A. Beyer, A.C.F. Perry, M. Leeb, BioRxiv (n.d.).
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
L. Santini, F. Halbritter, F. Titz-Teixeira, T. Suzuki, M. Asami, J. Ramesmayer, X. Ma, A. Lackner, N. Warr, F. Pauler, S. Hippenmeyer, E. Laue, M. Farlik, C. Bock, A. Beyer, A.C.F. Perry, M. Leeb, BioRxiv (n.d.).
2020 | Journal Article | IST-REx-ID: 8817
An inertial subgradient extragradient algorithm extended to pseudomonotone equilibrium problems
Y. Shehu, O.S. Iyiola, D.V. Thong, N.T.C. Van, Mathematical Methods of Operations Research (2020).
View
| DOI
Y. Shehu, O.S. Iyiola, D.V. Thong, N.T.C. Van, Mathematical Methods of Operations Research (2020).
2020 | Journal Article | IST-REx-ID: 177 |
A geometric version of the circle method
T.D. Browning, W. Sawin, Annals of Mathematics 191 (2020) 893–948.
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, W. Sawin, Annals of Mathematics 191 (2020) 893–948.
2020 | Journal Article | IST-REx-ID: 179 |
Density of rational points on a quadric bundle in ℙ3×ℙ3
T.D. Browning, R. Heath Brown, Duke Mathematical Journal 169 (2020) 3099–3165.
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, R. Heath Brown, Duke Mathematical Journal 169 (2020) 3099–3165.
2020 | Journal Article | IST-REx-ID: 7148
Expression mapping, quantification, and complex formation of GluD1 and GluD2 glutamate receptors in adult mouse brain
C. Nakamoto, K. Konno, T. Miyazaki, E. Nakatsukasa, R. Natsume, M. Abe, M. Kawamura, Y. Fukazawa, R. Shigemoto, M. Yamasaki, K. Sakimura, M. Watanabe, Journal of Comparative Neurology 528 (2020) 1003–1027.
View
| DOI
| PubMed | Europe PMC
C. Nakamoto, K. Konno, T. Miyazaki, E. Nakatsukasa, R. Natsume, M. Abe, M. Kawamura, Y. Fukazawa, R. Shigemoto, M. Yamasaki, K. Sakimura, M. Watanabe, Journal of Comparative Neurology 528 (2020) 1003–1027.