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.




6487 Publications

2017 | Published | Journal Article | IST-REx-ID: 1367 | OA
Manteaux, P., Wojtan, C., Narain, R., Redon, S., Faure, F., & Cani, M. (2017). Adaptive physically based models in computer graphics. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/cgf.12941
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1407 | OA
Svoreňová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cěrná, I., & Belta, C. (2017). Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2016.04.006
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2017 | Published | Conference Paper | IST-REx-ID: 14205 | OA
Locatello, F., Khanna, R., Tschannen, M., & Jaggi, M. (2017). A unified optimization view on generalized matching pursuit and Frank-Wolfe. In Proceedings of the 20th International Conference on Artificial Intelligence and Statistics (Vol. 54, pp. 860–868). Fort Lauderdale, FL, United States: ML Research Press.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2017 | Published | Conference Paper | IST-REx-ID: 14206 | OA
Locatello, F., Tschannen, M., Rätsch, G., & Jaggi, M. (2017). Greedy algorithms for cone constrained optimization with convergence guarantees. In Advances in Neural Information Processing Systems. Long Beach, CA, United States.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1433 | OA
Bauer, U., Kerber, M., Reininghaus, J., & Wagner, H. (2017). Phat - Persistent homology algorithms toolbox. Journal of Symbolic Computation. Academic Press. https://doi.org/10.1016/j.jsc.2016.03.008
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 18286 | OA
Litany, O., Remez, T., Rodola, E., Bronstein, A., & Bronstein, M. (2017). Deep functional maps: Structured prediction for dense shape correspondence. In 2017 IEEE International Conference on Computer Vision (ICCV) (Vol. 31). IEEE. https://doi.org/10.1109/iccv.2017.603
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1228 | OA
Sauerzopf, U., Sacco, R., Novarino, G., Niello, M., Weidenauer, A., Praschak Rieder, N., … Willeit, M. (2017). Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/ejn.13418
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2017 | Published | Conference Abstract | IST-REx-ID: 12905 | OA
Schlögl, A., & Kiss, J. (2017). Scientific Computing at IST Austria. In AHPC17 – Austrian HPC Meeting 2017 (p. 28). Grundlsee, Austria: FSP Scientific Computing.
[Published Version] View | Files available | Download Published Version (ext.)
 
2017 | Published | Journal Article | IST-REx-ID: 1294 | OA
Brázdil, T., Chatterjee, K., Forejt, V., & Kučera, A. (2017). Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2016.09.009
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 13160 | OA
Kretinsky, J., Meggendorfer, T., Waldmann, C., & Weininger, M. (2017). Index appearance record for transforming Rabin automata into parity automata. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 10205, pp. 443–460). Uppsala, Sweden: Springer. https://doi.org/10.1007/978-3-662-54577-5_26
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1063 | OA
Uecker, H. (2017). Evolutionary rescue in randomly mating, selfing, and clonal populations. Evolution. Wiley-Blackwell. https://doi.org/10.1111/evo.13191
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1065 | OA
Chatterjee, K., & Osang, G. F. (2017). Pushdown reachability with constant treewidth. Information Processing Letters. Elsevier. https://doi.org/10.1016/j.ipl.2017.02.003
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1066 | OA
Chatterjee, K., Henzinger, T. A., Otop, J., & Velner, Y. (2017). Quantitative fair simulation games. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2016.10.006
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1067 | OA
Morita, H., Grigolon, S., Bock, M., Krens, G., Salbreux, G., & Heisenberg, C.-P. J. (2017). The physical basis of coordinated tissue spreading in zebrafish gastrulation. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2017.01.010
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1072 | OA
Bauer, U., & Edelsbrunner, H. (2017). The Morse theory of Čech and delaunay complexes. Transactions of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/tran/6991
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1073 | OA
Čadek, M., Krcál, M., & Vokřínek, L. (2017). Algorithmic solvability of the lifting extension problem. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-016-9855-6
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1076 | OA
Klaiber, M., Daněk, J., Yakaboylu, E., Hatsagortsyan, K., & Keitel, C. (2017). Strong-field ionization via a high-order Coulomb-corrected strong-field approximation. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.95.023403
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1077 | OA
Fernandes Redondo, R. A., de Vladar, H., Włodarski, T., & Bollback, J. P. (2017). Evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family. Journal of the Royal Society Interface. Royal Society of London. https://doi.org/10.1098/rsif.2016.0139
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1078 | OA
von Wangenheim, D., Hauschild, R., & Friml, J. (2017). Light sheet fluorescence microscopy of plant roots growing on the surface of a gel. Journal of Visualized Experiments JoVE. Journal of Visualized Experiments. https://doi.org/10.3791/55044
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1079 | OA
Nam, P., & Van Den Bosch, H. (2017). Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges. Mathematical Physics, Analysis and Geometry. Springer. https://doi.org/10.1007/s11040-017-9238-0
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed