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.




2627 Publications

2019 | Conference Paper | IST-REx-ID: 6989   OA
Aichholzer, Oswin, Hugo A Akitaya, Kenneth C Cheung, Erik D Demaine, Martin L Demaine, Sandor P Fekete, Linda Kleist, et al. “Folding Polyominoes with Holes into a Cube.” In Proceedings of the 31st Canadian Conference on Computational Geometry, 164–70. Canadian Conference on Computational Geometry, 2019.
View | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7002
Kondapaneni, Ivo, Petr Vevoda, Pascal Grittmann, Tomas Skrivan, Philipp Slusallek, and Jaroslav Křivánek. “Optimal Multiple Importance Sampling.” ACM Transactions on Graphics 38, no. 4 (2019). https://doi.org/10.1145/3306346.3323009.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7146
Vicoso, Beatriz. “Molecular and Evolutionary Dynamics of Animal Sex-Chromosome Turnover.” Nature Ecology & Evolution 3, no. 12 (2019): 1632–41. https://doi.org/10.1038/s41559-019-1050-8.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7108   OA
Goaoc, Xavier, Pavel Patak, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Shellability Is NP-Complete.” Journal of the ACM 66, no. 3 (2019). https://doi.org/10.1145/3314024.
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 7122
Khirirat, Sarit, Mikael Johansson, and Dan-Adrian Alistarh. “Gradient Compression for Communication-Limited Convex Optimization.” In 2018 IEEE Conference on Decision and Control. IEEE, 2019. https://doi.org/10.1109/cdc.2018.8619625.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7165   OA
Guerrero, Pilar, Ruben Perez-Carrasco, Marcin P Zagórski, David Page, Anna Kicheva, James Briscoe, and Karen M. Page. “Neuronal Differentiation Influences Progenitor Arrangement in the Vertebrate Neuroepithelium.” Development 146, no. 23 (2019). https://doi.org/10.1242/dev.176297.
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Thesis | IST-REx-ID: 7172   OA
Vasileva, Mina K. Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana. IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:7172.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 7216
Osang, Georg F, James Cook, Alex Fabrikant, and Marco Gruteser. “LiveTraVeL: Real-Time Matching of Transit Vehicle Trajectories to Transit Routes at Scale.” In 2019 IEEE Intelligent Transportation Systems Conference. IEEE, 2019. https://doi.org/10.1109/ITSC.2019.8917514.
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 7228
Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. “Scalable FIFO Channels for Programming via Communicating Sequential Processes.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11725:317–33. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-29400-7_23.
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 7230   OA
Arroyo Guevara, Alan M, Martin Derka, and Irene Parada. “Extending Simple Drawings.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11904:230–43. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-35802-0_18.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7235   OA
Lieb, Elliott H., and Robert Seiringer. “Divergence of the Effective Mass of a Polaron in the Strong Coupling Limit.” Journal of Statistical Physics, 2019. https://doi.org/10.1007/s10955-019-02322-3.
View | DOI | Download (ext.)
 
2019 | Journal Article | IST-REx-ID: 5828
Xu, Haibing, Peter Baracskay, Joseph O’Neill, and Jozsef L Csicsvari. “Assembly Responses of Hippocampal CA1 Place Cells Predict Learned Behavior in Goal-Directed Spatial Tasks on the Radial Eight-Arm Maze.” Neuron 101, no. 1 (2019): 119–132.e4. https://doi.org/10.1016/j.neuron.2018.11.015.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6092   OA
Mentink, Johann H, Mikhail Katsnelson, and Mikhail Lemeshko. “Quantum Many-Body Dynamics of the Einstein-de Haas Effect.” Physical Review B 99, no. 6 (2019). https://doi.org/10.1103/PhysRevB.99.064428.
View | DOI | Download (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6042   OA
Christakis, Maria, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, and Valentin Wüstholz. “Semantic Fault Localization and Suspiciousness Ranking.” In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , 11427:226–43. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-17462-0_13.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6648   OA
Edelsbrunner, Herbert, Ziga Virk, and Hubert Wagner. “Topological Data Analysis in Information Space.” In 35th International Symposium on Computational Geometry, 129:31:1-31:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.SOCG.2019.31.
View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 5948
Fu, Hongfei, and Krishnendu Chatterjee. “Termination of Nondeterministic Probabilistic Programs.” In International Conference on Verification, Model Checking, and Abstract Interpretation, 11388:468–90. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-11245-5_22.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7026   OA
Lukacisin, Martin, and Tobias Bollenbach. “Emergent Gene Expression Responses to Drug Combinations Predict Higher-Order Drug Interactions.” Cell Systems 9, no. 5 (2019): 423-433.e1-e3. https://doi.org/10.1016/j.cels.2019.10.004.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 7158
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.” ACM Transactions on Programming Languages and Systems 41, no. 4 (2019). https://doi.org/10.1145/3363525.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6756   OA
Pranav, Pratyush, Robert J. Adler, Thomas Buchert, Herbert Edelsbrunner, Bernard J.T. Jones, Armin Schwartzman, Hubert Wagner, and Rien Van De Weygaert. “Unexpected Topology of the Temperature Fluctuations in the Cosmic Microwave Background.” Astronomy and Astrophysics 627 (2019). https://doi.org/10.1051/0004-6361/201834916.
View | Files available | DOI | arXiv
 
2019 | Thesis | IST-REx-ID: 6681
Zhechev, Stephan Y. Algorithmic Aspects of Homotopy Theory and Embeddability. IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6681.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6888
Lechner, Mathias, Ramin Hasani, Manuel Zimmer, Thomas A Henzinger, and Radu Grosu. “Designing Worm-Inspired Neural Networks for Interpretable Robotic Control.” In Proceedings - IEEE International Conference on Robotics and Automation, Vol. 2019–May. IEEE, 2019. https://doi.org/10.1109/icra.2019.8793840.
View | DOI
 
2019 | Preprint | IST-REx-ID: 7083   OA
Kavcic, Bor, Gašper Tkačik, and Tobias Bollenbach. “Mechanistic Origin of Drug Interactions between Translation-Inhibiting Antibiotics.” BioRxiv. Cold Spring Harbor Laboratory, n.d.
View | Download (ext.)
 
2019 | Thesis | IST-REx-ID: 6371
Igler, Claudia. On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation. IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6371.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 7420   OA
Sahgal, Pranshu, Jonna H Alanko, Jaroslav Icha, Ilkka Paatero, Hellyeh Hamidi, Antti Arjonen, Mika Pietilä, Anne Rokka, and Johanna Ivaska. “GGA2 and RAB13 Promote Activity-Dependent Β1-Integrin Recycling.” Journal of Cell Science 132, no. 11 (2019): jcs233387. https://doi.org/10.1242/jcs.233387.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 7437   OA
Yu, Chen, Hanlin Tang, Cedric Renggli, Simon Kassing, Ankit Singla, Dan-Adrian Alistarh, Ce Zhang, and Ji Liu. “Distributed Learning over Unreliable Networks.” In 36th International Conference on Machine Learning, ICML 2019, 2019–June:12481–512. IMLS, 2019.
View | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7418
Karlík, Ondřej, Martin Šik, Petr Vévoda, Tomas Skrivan, and Jaroslav Křivánek. “MIS Compensation: Optimizing Sampling Techniques in Multiple Importance Sampling.” ACM Transactions on Graphics 38, no. 6 (2019): 151. https://doi.org/10.1145/3355089.3356565.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7413   OA
Boccato, Chiara, Christian Brennecke, Serena Cenatiempo, and Benjamin Schlein. “Bogoliubov Theory in the Gross–Pitaevskii Limit.” Acta Mathematica 222, no. 2 (2019): 219–335. https://doi.org/10.4310/acta.2019.v222.n2.a1.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7393   OA
Morales, Hernán E., Rui Faria, Kerstin Johannesson, Tomas Larsson, Marina Panova, Anja M Westram, and Roger K. Butlin. “Genomic Architecture of Parallel Ecological Divergence: Beyond a Single Environmental Contrast.” Science Advances 5, no. 12 (2019): eaav9963. https://doi.org/10.1126/sciadv.aav9963.
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7406
Mckenzie, Catherine, Miroslava Spanova, Alexander J Johnson, Stephanie Kainrath, Vanessa Zheden, Harald H. Sitte, and Harald L Janovjak. “Isolation of Synaptic Vesicles from Genetically Engineered Cultured Neurons.” Journal of Neuroscience Methods 312 (2019): 114–21. https://doi.org/10.1016/j.jneumeth.2018.11.018.
View | DOI | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 7401   OA
Fulek, Radoslav, and Jan Kyncl. “Z_2-Genus of Graphs and Minimum Rank of Partial Symmetric Matrices.” In 35th International Symposium on Computational Geometry (SoCG 2019), 129:39. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.SOCG.2019.39.
View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6035   OA
Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “JuliaReach: A Toolbox for Set-Based Reachability.” In Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, 22:39–44. ACM, 2019. https://doi.org/10.1145/3302504.3311804.
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 7398   OA
Erdem, Fatma Asli, Marija Ilic, Peter Koppensteiner, Jakub Gołacki, Gert Lubec, Michael Freissmuth, and Walter Sandtner. “A Comparison of the Transport Kinetics of Glycine Transporter 1 and Glycine Transporter 2.” The Journal of General Physiology 151, no. 8 (2019): 1035–50. https://doi.org/10.1085/jgp.201912318.
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Thesis | IST-REx-ID: 6179
Schröder, Dominik J. From Dyson to Pearcey: Universal Statistics in Random Matrix Theory. IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:th6179.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6186   OA
Cipolloni, Giorgio, László Erdös, Torben H Krüger, and Dominik J Schröder. “Cusp Universality for Random Matrices, II: The Real Symmetric Case.” Pure and Applied Analysis 1, no. 4 (2019): 615–707. https://doi.org/10.2140/paa.2019.1.615.
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6857   OA
Giese, B, J L Friess, M F Schetelig, Nicholas H Barton, Philip Messer, Florence Debarre, H Meimberg, N Windbichler, and C Boete. “Gene Drives: Dynamics and Regulatory Matters – A Report from the Workshop ‘Evaluation of Spatial and Temporal Control of Gene Drives’, 4 – 5 April 2019, Vienna.” BioEssays 41, no. 11 (2019): 1900151. https://doi.org/10.1002/bies.201900151.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 5789
Petridou, Nicoletta, Silvia Grigolon, Guillaume Salbreux, Edouard B Hannezo, and Carl-Philipp J Heisenberg. “Fluidization-Mediated Tissue Spreading by Mitotic Cell Rounding and Non-Canonical Wnt Signalling.” Nature Cell Biology 21 (2019): 169–178. https://doi.org/10.1038/s41556-018-0247-4.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 7468   OA
Swoboda, Paul, and Vladimir Kolmogorov. “Map Inference via Block-Coordinate Frank-Wolfe Algorithm.” In Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2019–June:11138–47. IEEE, 2019. https://doi.org/10.1109/CVPR.2019.01140.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7451   OA
Vukics, A., A. Dombi, Johannes M Fink, and P. Domokos. “Finite-Size Scaling of the Photon-Blockade Breakdown Dissipative Quantum Phase Transition.” Quantum 3 (2019): 150. https://doi.org/10.22331/q-2019-06-03-150.
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 5986   OA
Lubiw, Anna, Zuzana Masárová, and Uli Wagner. “A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations.” Discrete & Computational Geometry 61, no. 4 (2019): 880–98. https://doi.org/10.1007/s00454-018-0035-8.
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 7014
Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Non-Polynomial Worst-Case Analysis of Recursive Programs.” ACM Transactions on Programming Languages and Systems 41, no. 4 (2019). https://doi.org/10.1145/3339984.
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6713   OA
Castro, João Pl, Michelle N. Yancoskie, Marta Marchini, Stefanie Belohlavy, Layla Hiramatsu, Marek Kučka, William H. Beluch, et al. “An Integrative Genomic Analysis of the Longshanks Selection Experiment for Longer Limbs in Mice.” ELife 8 (2019): e42014. https://doi.org/10.7554/eLife.42014.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6338
Stella, Federico, Peter Baracskay, Joseph O’Neill, and Jozsef L Csicsvari. “Hippocampal Reactivation of Random Trajectories Resembling Brownian Diffusion.” Neuron 102 (2019): 1–12. https://doi.org/10.1016/j.neuron.2019.01.052.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 151   OA
Fischer, Julian L, and Olivier Kneuss. “Bi-Sobolev Solutions to the Prescribed Jacobian Inequality in the Plane with L p Data and Applications to Nonlinear Elasticity.” Journal of Differential Equations 266, no. 1 (2019): 257–311. https://doi.org/10.1016/j.jde.2018.07.045.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7160
Salazar, Juan Esteban, Daniel Severin, Tomas A Vega Zuniga, Pedro Fernández-Aburto, Alfonso Deichler, Michel Sallaberry A., and Jorge Mpodozis. “Anatomical Specializations Related to Foraging in the Visual System of a Nocturnal Insectivorous Bird, the Band-Winged Nightjar (Aves: Caprimulgiformes).” Brain, Behavior and Evolution 94, no. 1–4 (2019): 27–36. https://doi.org/10.1159/000504162.
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6819   OA
Antoniou, Michael N., Armel Nicolas, Robin Mesnage, Martina Biserni, Francesco V. Rao, and Cristina Vazquez Martin. “Glyphosate Does Not Substitute for Glycine in Proteins of Actively Dividing Mammalian Cells.” BMC Research Notes 12 (2019): 494. https://doi.org/10.1186/s13104-019-4534-3.
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6511   OA
Bao, Zhigang, László Erdös, and Kevin Schnelli. “Local Single Ring Theorem on Optimal Scale.” Annals of Probability 47, no. 3 (2019): 1270–1334. https://doi.org/10.1214/18-AOP1284.
View | DOI | Download (ext.) | arXiv
 
2019 | Preprint | IST-REx-ID: 7552   OA
Bialek, William, Thomas Gregor, and Gašper Tkačik. “Action at a Distance in Transcriptional Regulation.” ArXiv:1912.08579. ArXiv, n.d.
View | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 175   OA
Browning, Timothy D, and Daniel Loughran. “Sieving Rational Points on Varieties.” Transactions of the American Mathematical Society 371, no. 8 (2019): 5757–85. https://doi.org/10.1090/tran/7514.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6477   OA
Abanin, Dmitry A., Ehud Altman, Immanuel Bloch, and Maksym Serbyn. “Colloquium: Many-Body Localization, Thermalization, and Entanglement.” Reviews of Modern Physics 91, no. 2 (2019): 021001. https://doi.org/10.1103/revmodphys.91.021001.
View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 7576   OA
Immler, Fabian, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, and Christian Schilling. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In EPiC Series in Computing, 61:41–61. EasyChair Publications, 2019. https://doi.org/10.29007/m75b.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed