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.




6436 Publications

2017 | Published | Journal Article | IST-REx-ID: 1367 | OA
Adaptive physically based models in computer graphics
P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1407 | OA
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2017 | Published | Conference Paper | IST-REx-ID: 14205 | OA
A unified optimization view on generalized matching pursuit and Frank-Wolfe
F. Locatello, R. Khanna, M. Tschannen, M. Jaggi, in:, Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2017, pp. 860–868.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2017 | Published | Conference Paper | IST-REx-ID: 14206 | OA
Greedy algorithms for cone constrained optimization with convergence guarantees
F. Locatello, M. Tschannen, G. Rätsch, M. Jaggi, in:, Advances in Neural Information Processing Systems, 2017.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1433 | OA
Phat - Persistent homology algorithms toolbox
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, Journal of Symbolic Computation 78 (2017) 76–90.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 18286 | OA
Deep functional maps: Structured prediction for dense shape correspondence
O. Litany, T. Remez, E. Rodola, A. Bronstein, M. Bronstein, in:, 2017 IEEE International Conference on Computer Vision (ICCV), IEEE, 2017.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1228 | OA
Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence
U. Sauerzopf, R. Sacco, G. Novarino, M. Niello, A. Weidenauer, N. Praschak Rieder, H. Sitte, M. Willeit, European Journal of Neuroscience 45 (2017) 45–57.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2017 | Published | Conference Abstract | IST-REx-ID: 12905 | OA
Scientific Computing at IST Austria
A. Schlögl, J. Kiss, in:, AHPC17 – Austrian HPC Meeting 2017, FSP Scientific Computing, 2017, p. 28.
[Published Version] View | Files available | Download Published Version (ext.)
 
2017 | Published | Journal Article | IST-REx-ID: 1294 | OA
Trading performance for stability in Markov decision processes
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, Journal of Computer and System Sciences 84 (2017) 144–170.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 13160 | OA
Index appearance record for transforming Rabin automata into parity automata
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 2016 | OA
Exact goodness-of-fit testing for the Ising model
A. Martin Del Campo Sanchez, S.A. Cepeda Humerez, C. Uhler, Scandinavian Journal of Statistics 44 (2017) 285–306.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2017 | Published | Thesis | PhD | IST-REx-ID: 202 | OA
Biology of restriction-modification systems at the single-cell and population level
M. Pleska, Biology of Restriction-Modification Systems at the Single-Cell and Population Level, Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 1528 | OA
Delocalization for a class of random block band matrices
Z. Bao, L. Erdös, Probability Theory and Related Fields 167 (2017) 673–776.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1063 | OA
Evolutionary rescue in randomly mating, selfing, and clonal populations
H. Uecker, Evolution 71 (2017) 845–858.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1065 | OA
Pushdown reachability with constant treewidth
K. Chatterjee, G.F. Osang, Information Processing Letters 122 (2017) 25–29.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1066 | OA
Quantitative fair simulation games
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Information and Computation 254 (2017) 143–166.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1067 | OA
The physical basis of coordinated tissue spreading in zebrafish gastrulation
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, C.-P.J. Heisenberg, Developmental Cell 40 (2017) 354–366.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1072 | OA
The Morse theory of Čech and delaunay complexes
U. Bauer, H. Edelsbrunner, Transactions of the American Mathematical Society 369 (2017) 3741–3762.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1073 | OA
Algorithmic solvability of the lifting extension problem
M. Čadek, M. Krcál, L. Vokřínek, Discrete & Computational Geometry 54 (2017) 915–965.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1074 | OA
Inferring recent demography from isolation by distance of long shared sequence blocks
H. Ringbauer, G. Coop, N.H. Barton, Genetics 205 (2017) 1335–1351.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed