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.

2536 Publications


2019 | Journal Article | IST-REx-ID: 7099
Y. Kasugai et al., “Structural and functional remodeling of amygdala GABAergic synapses in associative fear learning,” Neuron, vol. 104, no. 4, p. 781–794.e4, 2019.
View | DOI | PubMed | Europe PMC
 

2019 | Book (Editor) | IST-REx-ID: 7171
K. Kersting, C. Lampert, and C. Rothkopf, Eds., Wie Maschinen lernen. Springer Nature, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7234   OA
P. Obeidy et al., “Partial loss of actin nucleator actin-related protein 2/3 activity triggers blebbing in primary T lymphocytes,” Immunology and Cell Biology, 2019.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7001
C. Schwayer et al., “Mechanosensation of tight junctions depends on ZO-1 phase separation and flow,” Cell, vol. 179, no. 4, p. 937–952.e18, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7190   OA
D. Huber, H.-W. Hammer, and A. Volosniev, “In-medium bound states of two bosonic impurities in a one-dimensional Fermi gas,” Physical Review Research, vol. 1, no. 3, 2019.
View | Files available | DOI | arXiv
 

2019 | Thesis | IST-REx-ID: 6363
C. M. Espinoza Martinez, Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits. IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6849
D. K. Rangel Guerrero, The role of CCK-interneurons in regulating hippocampal network dynamics. IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6546
K. Valosková, The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration. IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6089   OA
C. Fraisse, G. Puixeu Sala, and B. Vicoso, “Pleiotropy modulates the efficacy of selection in drosophila melanogaster,” Molecular biology and evolution, vol. 36, no. 3, pp. 500–515, 2019.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6046   OA
K. Mitosch, G. Rieckh, and M. T. Bollenbach, “Temporal order and precision of complex stress responses in individual bacteria,” Molecular systems biology, vol. 15, no. 2, 2019.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6786   OA
C. Hubert et al., “Attractive dipolar coupling between stacked exciton fluids,” Physical Review X, vol. 9, no. 2, 2019.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6856   OA
M. Pickup et al., “Mating system variation in hybrid zones: Facilitation, barriers and asymmetries to gene flow,” New Phytologist, vol. 224, no. 3, pp. 1035–1047, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6887   OA
K. Chatterjee, W. Dvorák, M. Henzinger, and A. Svozil, “Near-linear time algorithms for Streett objectives in graphs and MDPs,” in Leibniz International Proceedings in Informatics, Amsterdam, Netherlands, 2019, vol. 140.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6940   OA
G. Bighin, N. Defenu, I. Nándori, L. Salasnich, and A. Trombettoni, “Berezinskii-Kosterlitz-Thouless paired phase in coupled XY models,” Physical Review Letters, vol. 123, no. 10, 2019.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6508
S. Shamipour, R. Kardos, S. Xue, B. Hof, E. B. Hannezo, and C.-P. J. Heisenberg, “Bulk actin dynamics drive phase segregation in zebrafish oocytes,” Cell, vol. 177, no. 6, p. 1463–1479.e18, 2019.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6565
A. Kundu, M. Garcia Soto, and P. Prabhakar, “Formal synthesis of stabilizing controllers for periodically controlled linear switched systems,” in 5th Indian Control Conference Proceedings, Delhi, India, 2019.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6647   OA
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, and U. Wagner, “The crossing Tverberg theorem,” in 35th International Symposium on Computational Geometry, Portland, OR, United States, 2019, vol. 129, p. 38:1-38:13.
View | Files available | DOI | arXiv
 

2019 | Thesis | IST-REx-ID: 6894
M. Giacobbe, Automatic time-unbounded reachability analysis of hybrid systems. IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7210   OA
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, and M. A. Nowak, “Population structure determines the tradeoff between fixation probability and fixation time,” Communications Biology, vol. 2, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7227
D. C. Nunes Pinheiro and C.-P. J. Heisenberg, “Zebrafish gastrulation: Putting fate in motion,” Current Topics in Developmental Biology.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 73   OA
M. Erbar, J. Maas, and M. Wirth, “On the geometry of geodesics in discrete optimal transport,” Calculus of Variations and Partial Differential Equations, vol. 58, no. 1, 2019.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 80   OA
A. Deuchert, R. Seiringer, and J. Yngvason, “Bose–Einstein condensation in a dilute, trapped gas at positive temperature,” Communications in Mathematical Physics, vol. 368, no. 2, pp. 723–776, 2019.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7183   OA
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, and D. Velan, “Deciding fast termination for probabilistic VASS with nondeterminism,” in International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, 2019, vol. 11781, pp. 462–478.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 151   OA
J. L. Fischer and O. 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, vol. 266, no. 1, pp. 257–311, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 175   OA
T. D. Browning and D. Loughran, “Sieving rational points on varieties,” Transactions of the American Mathematical Society, vol. 371, no. 8, pp. 5757–5785, 2019.
View | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5   OA
I. V. Ganev, “The wonderful compactification for quantum groups,” Journal of the London Mathematical Society, vol. 99, no. 3, pp. 778–806, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5789
N. Petridou, S. Grigolon, G. Salbreux, E. Hannezo, and C.-P. J. Heisenberg, “Fluidization-mediated tissue spreading by mitotic cell rounding and non-canonical Wnt signalling,” Nature Cell Biology, vol. 21, pp. 169–178, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5878
N. B. Budanur and M. Fleury, “State space geometry of the chaotic pilot-wave hydrodynamics,” Chaos: An Interdisciplinary Journal of Nonlinear Science, vol. 29, no. 1, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5943
L. Klotz, K. Gumowski, and J. E. Wesfreid, “Experiments on a jet in a crossflow in the low-velocity-ratio regime,” Journal of Fluid Mechanics, vol. 863, pp. 386–406, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6023   OA
S. Yoshida et al., “A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis,” Nature Plants, vol. 5, no. 2, pp. 160–166, 2019.
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 6028   OA
M. Gerencser and M. Hairer, “A solution theory for quasilinear singular SPDEs,” Communications on Pure and Applied Mathematics, vol. 72, no. 9, pp. 1983–2005, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6105   OA
M. Kutzer, J. Kurtz, and S. A. O. Armitage, “A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance,” Journal of Animal Ecology, vol. 88, no. 4, pp. 566–578, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6174   OA
P. T. Dumitrescu, A. Goremykina, S. A. Parameswaran, M. Serbyn, and R. Vasseur, “Kosterlitz-Thouless scaling at many-body localization phase transitions,” Physical Review B, vol. 99, no. 9, 2019.
View | DOI | Download (ext.) | arXiv
 

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

2019 | Journal Article | IST-REx-ID: 6186   OA
G. Cipolloni, L. Erdös, T. H. Krüger, and D. J. Schröder, “Cusp universality for random matrices, II: The real symmetric case,” Pure and Applied Analysis , vol. 1, no. 4, pp. 615–707, 2019.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6232   OA
M. Gerencser, “Boundary regularity of stochastic PDEs,” Annals of Probability, vol. 47, no. 2, pp. 804–834, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6465   OA
H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, and M. Fussenegger, “A modular degron library for synthetic circuits in mammalian cells,” Nature Communications, vol. 10, no. 1, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6352   OA
A. A. Temnov et al., “Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure,” Molecular Biology Reports, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6477   OA
D. A. Abanin, E. Altman, I. Bloch, and M. Serbyn, “Colloquium: Many-body localization, thermalization, and entanglement,” Reviews of Modern Physics, vol. 91, no. 2, 2019.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6415
S. Cremer, “Pathogens and disease defense of invasive ants,” Current Opinion in Insect Science, vol. 33, pp. 63–68, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6491
A. R. Rueda Sanchez, F. Sedlmeir, M. Kumari, G. Leuchs, and H. G. L. Schwefel, “Publisher correction: Resonant electro-optic frequency comb,” Nature, vol. 569, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6504
Y. Zhang et al., “Auxin-mediated statolith production for root gravitropism,” New Phytologist, vol. 224, no. 2, pp. 761–774, 2019.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6511   OA
Z. Bao, L. Erdös, and K. Schnelli, “Local single ring theorem on optimal scale,” Annals of Probability, vol. 47, no. 3, pp. 1270–1334, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6528   OA
K. Z. Pietrzak, “Simple verifiable delay functions,” in 10th Innovations in Theoretical Computer Science Conference, San Diego, CA, United States, 2019, vol. 124.
View | Files available | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 6554   OA
Y. Xian, C. Lampert, B. Schiele, and Z. Akata, “Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 41, no. 9, pp. 2251–2265, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6559
E. B. Hannezo and B. D. Simons, “Multiscale dynamics of branching morphogenesis,” Current Opinion in Cell Biology, vol. 60, pp. 99–105, 2019.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6566   OA
M. Ibáñez et al., “Tuning transport properties in thermoelectric nanocomposites through inorganic ligands and heterostructured building blocks,” ACS Nano, vol. 13, no. 6, pp. 6572–6580, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

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

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

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

2019 | Journal Article | IST-REx-ID: 6713   OA
J. P. Castro et al., “An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice,” eLife, vol. 8, 2019.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6725   OA
V. Kolmogorov, “Testing the complexity of a valued CSP language,” in 46th International Colloquium on Automata, Languages and Programming, Patras, Greece, 2019, vol. 132, p. 77:1-77:12.
View | Files available | DOI | arXiv
 

2019 | Thesis | IST-REx-ID: 6371
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: 6821
M. R. Yourick et al., “Diurnal variation in opsin expression and common housekeeping genes necessitates comprehensive normalization methods for quantitative real-time PCR analyses,” Molecular Ecology Resources, vol. 19, no. 6, pp. 1447–1460, 2019.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6857   OA
B. Giese et al., “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, vol. 41, no. 11, 2019.
View | Files available | DOI
 

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

2019 | Journal Article | IST-REx-ID: 6819   OA
M. N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F. V. Rao, and C. V. Martin, “Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells,” BMC Research Notes, vol. 12, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 5986
A. Lubiw, Z. Masárová, and U. Wagner, “A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations,” Discrete & Computational Geometry, vol. 61, no. 4, pp. 880–898, 2019.
View | Files available | DOI | arXiv
 

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

2019 | Preprint | IST-REx-ID: 7083   OA
B. Kavcic, G. Tkačik, and T. Bollenbach, “Mechanistic origin of drug interactions between translation-inhibiting antibiotics,” bioRxiv. Cold Spring Harbor Laboratory, 2019.
View | Download (ext.)
 

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

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

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

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

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

2019 | Preprint | IST-REx-ID: 6965   OA
K. P. Rychlewicz, “The positivity of local equivariant Hirzebruch class for toric varieties,” arXiv. ArXiv.
View | Download (ext.) | arXiv
 

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

2019 | Conference Paper | IST-REx-ID: 6989   OA
O. Aichholzer et al., “Folding polyominoes with holes into a cube,” in Proceedings of the 31st Canadian Conference on Computational Geometry, Edmonton, Canada, 2019, pp. 164–170.
View | Download (ext.) | arXiv
 

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

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

2019 | Journal Article | IST-REx-ID: 7160
J. E. Salazar et al., “Anatomical specializations related to foraging in the visual system of a nocturnal insectivorous bird, the band-winged nightjar (Aves: Caprimulgiformes),” Brain, Behavior and Evolution, vol. 94, no. 1–4, pp. 27–36, 2019.
View | DOI
 

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

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

2019 | Journal Article | IST-REx-ID: 7204
Y. Li et al., “Root growth adaptation is mediated by PYLs ABA receptor-PP2A protein phosphatase complex,” Advanced Science, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7165   OA
P. Guerrero et al., “Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium,” Development, vol. 146, no. 23, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 7172   OA
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
G. F. Osang, J. Cook, A. Fabrikant, and M. Gruteser, “LiveTraVeL: Real-time matching of transit vehicle trajectories to transit routes at scale,” in 2019 IEEE Intelligent Transportation Systems Conference, Auckland, New Zealand, 2019.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7228
N. Koval, D.-A. Alistarh, and R. 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), Göttingen, Germany, 2019, vol. 11725, pp. 317–333.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7230   OA
A. M. Arroyo Guevara, M. Derka, and I. Parada, “Extending simple drawings,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Prague, Czech Republic, 2019, vol. 11904, pp. 230–243.
View | DOI | Download (ext.) | arXiv
 

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

2019 | Journal Article | IST-REx-ID: 5828
H. Xu, P. Baracskay, J. O’Neill, and J. L. Csicsvari, “Assembly responses of hippocampal CA1 place cells predict learned behavior in goal-directed spatial tasks on the radial eight-arm maze,” Neuron, vol. 101, no. 1, p. 119–132.e4, 2019.
View | Files available | DOI
 

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

2019 | Journal Article | IST-REx-ID: 6338
F. Stella, P. Baracskay, J. O’Neill, and J. L. Csicsvari, “Hippocampal reactivation of random trajectories resembling Brownian diffusion,” Neuron, vol. 102, pp. 1–12, 2019.
View | Files available | DOI
 

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

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

2019 | Conference Paper | IST-REx-ID: 6648   OA
H. Edelsbrunner, Z. Virk, and H. Wagner, “Topological data analysis in information space,” in 35th International Symposium on Computational Geometry, Portland, OR, United States, 2019, vol. 129, p. 31:1-31:14.
View | Files available | DOI | arXiv
 

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

2019 | Journal Article | IST-REx-ID: 7014
K. Chatterjee, H. Fu, and A. K. Goharshady, “Non-polynomial worst-case analysis of recursive programs,” ACM Transactions on Programming Languages and Systems, vol. 41, no. 4, 2019.
View | DOI | arXiv
 

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

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

2019 | Journal Article | IST-REx-ID: 6756   OA
P. Pranav et al., “Unexpected topology of the temperature fluctuations in the cosmic microwave background,” Astronomy and Astrophysics, vol. 627, 2019.
View | Files available | DOI | arXiv
 

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

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

2019 | Journal Article | IST-REx-ID: 290   OA
D. Abanin, E. Altman, I. Bloch, and M. Serbyn, “Colloquium: Many-body localization, thermalization, and entanglement,” Reviews of Modern Physics , vol. 91, no. 2, p. 021001, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 138   OA
N. Nikolic, “Autoregulation of bacterial gene expression: lessons from the MazEF toxin–antitoxin system,” Current Genetics, vol. 65, no. 1, pp. 133–138, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 405   OA
D. Virosztek, “Jointly convex quantum Jensen divergences,” Linear Algebra and Its Applications, vol. 576, pp. 67–78, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 429   OA
O. H. Ajanki, L. Erdös, and T. H. Krüger, “Stability of the matrix Dyson equation and random matrices with correlations,” Probability Theory and Related Fields, vol. 173, no. 1–2, pp. 293–373, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5906
A. Goremykina, R. Vasseur, and M. Serbyn, “Analytically Solvable Renormalization Group for the Many-Body Localization Transition,” Physical Review Letters, vol. 122, no. 4, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 5944   OA
B. Corominas-Murtra, “Thermodynamics of duplication thresholds in synthetic protocell systems,” Life, vol. 9, no. 1, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5817
B. Kavcic, A. Sakashita, H. Noguchi, and P. Ziherl, “Limiting shapes of confined lipid vesicles,” Soft Matter, vol. 15, no. 4, pp. 602–614, 2019.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed