Please note that ISTA 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.
4153 Publications
2017 | Journal Article | IST-REx-ID: 1367 | 
Adaptive physically based models in computer graphics
P. Manteaux, C.J. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.
View
| Files available
| DOI
P. Manteaux, C.J. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.
2017 | Journal Article | IST-REx-ID: 1407 |
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.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
2017 | Conference Paper | IST-REx-ID: 1000 |
PixelCNN models with auxiliary variables for natural image modeling
A. Kolesnikov, C. Lampert, in:, 34th International Conference on Machine Learning, JMLR, 2017, pp. 1905–1914.
View
| Download Submitted Version (ext.)
| arXiv
A. Kolesnikov, C. Lampert, in:, 34th International Conference on Machine Learning, JMLR, 2017, pp. 1905–1914.
2017 | Conference Paper | IST-REx-ID: 1001 |
CurveUps: Shaping objects from flat plates with tension-actuated curvature
R. Guseinov, E. Miguel, B. Bickel, in:, ACM, 2017.
View
| Files available
| DOI
R. Guseinov, E. Miguel, B. Bickel, in:, ACM, 2017.
2017 | Conference Paper | IST-REx-ID: 1002 |
Functionality-aware retargeting of mechanisms to 3D shapes
R. Zhang, T. Auzinger, D. Ceylan, W. Li, B. Bickel, in:, ACM, 2017.
View
| Files available
| DOI
R. Zhang, T. Auzinger, D. Ceylan, W. Li, B. Bickel, in:, ACM, 2017.
2017 | Conference Paper | IST-REx-ID: 1003 |
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
View
| Files available
| DOI
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
2017 | Journal Article | IST-REx-ID: 1004 |
Spatiotemporal mechanisms of root branching
K. Ötvös, E. Benková, Current Opinion in Genetics & Development 45 (2017) 82–89.
View
| Files available
| DOI
| PubMed | Europe PMC
K. Ötvös, E. Benková, Current Opinion in Genetics & Development 45 (2017) 82–89.
2017 | Journal Article | IST-REx-ID: 1007 |
Zeros of nonlinear systems with input invariances
M. Lang, E. Sontag, Automatica 81C (2017) 46–55.
View
| Files available
| DOI
M. Lang, E. Sontag, Automatica 81C (2017) 46–55.
2017 | Conference Paper | IST-REx-ID: 1009 |
Optimizing expectation with guarantees in POMDPs
K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, D. Zikelic, in:, Proceedings of the 31st AAAI Conference on Artificial Intelligence, AAAI Press, 2017, pp. 3725–3732.
View
| Download Submitted Version (ext.)
K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, D. Zikelic, in:, Proceedings of the 31st AAAI Conference on Artificial Intelligence, AAAI Press, 2017, pp. 3725–3732.
2017 | Journal Article | IST-REx-ID: 1010 |
Local law for random Gram matrices
J. Alt, L. Erdös, T.H. Krüger, Electronic Journal of Probability 22 (2017).
View
| Files available
| DOI
| arXiv
J. Alt, L. Erdös, T.H. Krüger, Electronic Journal of Probability 22 (2017).