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.

5497 Publications


2019 | Journal Article | IST-REx-ID: 6617   OA
The choice of representative volumes in the approximation of effective properties of random materials
J.L. Fischer, Archive for Rational Mechanics and Analysis 234 (2019) 635–726.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6631
Cell division and tissue mechanics
B.G. Godard, C.-P.J. Heisenberg, Current Opinion in Cell Biology 60 (2019) 114–120.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6650   OA
Volume-aware design of composite molds
T. Alderighi, L. Malomo, D. Giorgi, B. Bickel, P. Cignoni, N. Pietroni, ACM Transactions on Graphics 38 (2019).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6662   OA
Fundamental limits of weak recovery with applications to phase retrieval
M. Mondelli, A. Montanari, Foundations of Computational Mathematics 19 (2019) 703–773.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6725   OA
Testing the complexity of a valued CSP language
V. Kolmogorov, in:, 46th International Colloquium on Automata, Languages and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 77:1-77:12.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6821
Diurnal variation in opsin expression and common housekeeping genes necessitates comprehensive normalization methods for quantitative real-time PCR analyses
M.R. Yourick, B.A. Sandkam, W.J. Gammerdinger, D. Escobar-Camacho, S.P. Nandamuri, F.E. Clark, B. Joyce, M.A. Conte, T.D. Kocher, K.L. Carleton, Molecular Ecology Resources 19 (2019) 1447–1460.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6763
Microwave induced mechanical activation of hydrogel dimers
H.K. Khattak, S.R. Waitukaitis, A.D. Slepkov, Soft Matter 15 (2019) 5804–5809.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6840   OA
Thermodynamics of inhomogeneous imperfect quantum gases in harmonic traps
K. Mysliwy, M. Napiórkowski, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019).
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7057   OA
Thermodynamic signatures of Weyl fermions in NbP
K.A. Modic, T. Meng, F. Ronning, E.D. Bauer, P.J.W. Moll, B.J. Ramshaw, Scientific Reports 9 (2019).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7007   OA
A new coding paradigm for the primitive relay channel
M. Mondelli, S.H. Hassani, R. Urbanke, Algorithms 12 (2019).
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7033
BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage
R. Donahue, M.E. Maes, J. Grosser, R. Nickells, Molecular Neurobiology (2019).
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7095   OA
Completion of BAX recruitment correlates with mitochondrial fission during apoptosis
M.E. Maes, J.A. Grosser, R.L. Fehrman, C.L. Schlamp, R.W. Nickells, Scientific Reports 9 (2019).
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7103   OA
Non-equilibrium critical dynamics of bursts in θ and δ rhythms as fundamental characteristic of sleep and wake micro-architecture
J.W.J.L. Wang, F. Lombardi, X. Zhang, C. Anaclet, P.C. Ivanov, PLOS Computational Biology 15 (2019).
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Book Chapter | IST-REx-ID: 6890
Structural analysis of pleomorphic and asymmetric viruses using cryo-electron tomography and subtomogram averaging
M. Obr, F.K. Schur, in:, F.A. Rey (Ed.), Complementary Strategies to Study Virus Structure and Function, Elsevier, 2019, pp. 117–159.
View | DOI | PubMed | Europe PMC
 

2019 | Preprint | IST-REx-ID: 6965   OA View | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6972   OA
Self-stabilising Byzantine clock synchronisation is almost as easy as consensus
C. Lenzen, J. Rybicki, Journal of the ACM 66 (2019).
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6989   OA
Folding polyominoes with holes into a cube
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, in:, Proceedings of the 31st Canadian Conference on Computational Geometry, Canadian Conference on Computational Geometry, 2019, pp. 164–170.
View | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7002
Optimal multiple importance sampling
I. Kondapaneni, P. Vevoda, P. Grittmann, T. Skrivan, P. Slusallek, J. Křivánek, ACM Transactions on Graphics 38 (2019).
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7146
Molecular and evolutionary dynamics of animal sex-chromosome turnover
B. Vicoso, Nature Ecology & Evolution 3 (2019) 1632–1641.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7108   OA
Shellability is NP-complete
X. Goaoc, P. Patak, Z. Patakova, M. Tancer, U. Wagner, Journal of the ACM 66 (2019).
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7122
Gradient compression for communication-limited convex optimization
S. Khirirat, M. Johansson, D.-A. Alistarh, in:, 2018 IEEE Conference on Decision and Control, IEEE, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7165   OA
Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium
P. Guerrero, R. Perez-Carrasco, M.P. Zagórski, D. Page, A. Kicheva, J. Briscoe, K.M. Page, Development 146 (2019).
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 7172   OA
Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana
M.K. Vasileva, Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana, IST Austria, 2019.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7216
LiveTraVeL: Real-time matching of transit vehicle trajectories to transit routes at scale
G.F. Osang, J. Cook, A. Fabrikant, M. Gruteser, in:, 2019 IEEE Intelligent Transportation Systems Conference, IEEE, 2019.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7228
Scalable FIFO channels for programming via communicating sequential processes
N. Koval, D.-A. Alistarh, R. Elizarov, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 317–333.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7230   OA
Extending simple drawings
A.M. Arroyo Guevara, M. Derka, I. Parada, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 230–243.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7235   OA
Divergence of the effective mass of a polaron in the strong coupling limit
E.H. Lieb, R. Seiringer, Journal of Statistical Physics (2019).
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 5828 View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6092   OA
Quantum many-body dynamics of the Einstein-de Haas effect
J.H. Mentink, M. Katsnelson, M. Lemeshko, Physical Review B 99 (2019).
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6042   OA
Semantic fault localization and suspiciousness ranking
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6648   OA
Topological data analysis in information space
H. Edelsbrunner, Z. Virk, H. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 31:1-31:14.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 5948
Termination of nondeterministic probabilistic programs
H. Fu, K. Chatterjee, in:, International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2019, pp. 468–490.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7026   OA
Emergent gene expression responses to drug combinations predict higher-order drug interactions
M. Lukacisin, T. Bollenbach, Cell Systems 9 (2019) 423-433.e1-e3.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7158
Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth
K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 41 (2019).
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6756   OA
Unexpected topology of the temperature fluctuations in the cosmic microwave background
P. Pranav, R.J. Adler, T. Buchert, H. Edelsbrunner, B.J.T. Jones, A. Schwartzman, H. Wagner, R. Van De Weygaert, Astronomy and Astrophysics 627 (2019).
View | Files available | DOI | arXiv
 

2019 | Thesis | IST-REx-ID: 6681
Algorithmic aspects of homotopy theory and embeddability
S.Y. Zhechev, Algorithmic Aspects of Homotopy Theory and Embeddability, IST Austria, 2019.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6888
Designing worm-inspired neural networks for interpretable robotic control
M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7280   OA
Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen
W.-J. Kwak, H. Kim, Y.K. Petit, C. Leypold, T.T. Nguyen, N. Mahne, P. Redfern, L.A. Curtiss, H.-G. Jung, S.M. Borisov, S.A. Freunberger, Y.-K. Sun, Nature Communications 10 (2019) 1380.
View | Files available | DOI
 

2019 | Preprint | IST-REx-ID: 7083   OA
Mechanistic origin of drug interactions between translation-inhibiting antibiotics
B. Kavcic, G. Tkačik, T. Bollenbach, BioRxiv (n.d.).
View | Download (ext.)
 

2019 | Thesis | IST-REx-ID: 6371
On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation
C. Igler, On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation, IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7420   OA
GGA2 and RAB13 promote activity-dependent β1-integrin recycling
P. Sahgal, J.H. Alanko, J. Icha, I. Paatero, H. Hamidi, A. Arjonen, M. Pietilä, A. Rokka, J. Ivaska, Journal of Cell Science 132 (2019) jcs233387.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7437   OA
Distributed learning over unreliable networks
C. Yu, H. Tang, C. Renggli, S. Kassing, A. Singla, D.-A. Alistarh, C. Zhang, J. Liu, in:, 36th International Conference on Machine Learning, ICML 2019, IMLS, 2019, pp. 12481–12512.
View | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7418
MIS compensation: Optimizing sampling techniques in multiple importance sampling
O. Karlík, M. Šik, P. Vévoda, T. Skrivan, J. Křivánek, ACM Transactions on Graphics 38 (2019) 151.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7413   OA
Bogoliubov theory in the Gross–Pitaevskii limit
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Acta Mathematica 222 (2019) 219–335.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7393   OA
Genomic architecture of parallel ecological divergence: Beyond a single environmental contrast
H.E. Morales, R. Faria, K. Johannesson, T. Larsson, M. Panova, A.M. Westram, R.K. Butlin, Science Advances 5 (2019) eaav9963.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7406
Isolation of synaptic vesicles from genetically engineered cultured neurons
C. Mckenzie, M. Spanova, A.J. Johnson, S. Kainrath, V. Zheden, H.H. Sitte, H.L. Janovjak, Journal of Neuroscience Methods 312 (2019) 114–121.
View | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7401   OA
Z_2-Genus of graphs and minimum rank of partial symmetric matrices
R. Fulek, J. Kyncl, in:, 35th International Symposium on Computational Geometry (SoCG 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 39.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6035   OA
JuliaReach: A toolbox for set-based reachability
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 39–44.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7398   OA
A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2
F.A. Erdem, M. Ilic, P. Koppensteiner, J. Gołacki, G. Lubec, M. Freissmuth, W. Sandtner, The Journal of General Physiology 151 (2019) 1035–1050.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6179
From Dyson to Pearcey: Universal statistics in random matrix theory
D.J. Schröder, From Dyson to Pearcey: Universal Statistics in Random Matrix Theory, IST Austria, 2019.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed