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.
8924 Publications
2017 |
Published |
Conference Paper |
IST-REx-ID: 683 |
A. Lubiw, Z. Masárová, and U. Wagner, “A proof of the orbit conjecture for flipping edge labelled triangulations,” presented at the SoCG: Symposium on Computational Geometry, Brisbane, Australia, 2017, vol. 77.
[Published Version]
View
| Files available
| DOI
2017 |
Published |
Journal Article |
IST-REx-ID: 684 |
K. Chatterjee and N. Piterman, “Obligation blackwell games and p-automata,” Journal of Symbolic Logic, vol. 82, no. 2. Cambridge University Press, pp. 420–452, 2017.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 |
Published |
Conference Paper |
IST-REx-ID: 6841 |
G. S. Martius and C. Lampert, “Extrapolation and learning equations,” in 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings, Toulon, France, 2017.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 685 |
J. Briscoe and A. Kicheva, “The physics of development 100 years after D’Arcy Thompson’s ‘on growth and form,’” Mechanisms of Development, vol. 145. Elsevier, pp. 26–31, 2017.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 |
Published |
Journal Article |
IST-REx-ID: 687 |
B. Davison, “The critical CoHA of a quiver with potential,” Quarterly Journal of Mathematics, vol. 68, no. 2. Oxford University Press, pp. 635–703, 2017.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 |
Published |
Conference Paper |
IST-REx-ID: 688 |
H. Edelsbrunner and H. Wagner, “Topological data analysis with Bregman divergences,” presented at the Symposium on Computational Geometry, SoCG, Brisbane, Australia, 2017, vol. 77, pp. 391–3916.
[Published Version]
View
| Files available
| DOI
2017 |
Published |
Conference Paper |
IST-REx-ID: 1000 |
A. Kolesnikov and C. Lampert, “PixelCNN models with auxiliary variables for natural image modeling,” in 34th International Conference on Machine Learning, Sydney, Australia, 2017, vol. 70, pp. 1905–1914.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 |
Published |
Conference Paper |
IST-REx-ID: 1001 |
R. Guseinov, E. Miguel, and B. Bickel, “CurveUps: Shaping objects from flat plates with tension-actuated curvature,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2017, vol. 36, no. 4.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Conference Paper |
IST-REx-ID: 1002 |
R. Zhang, T. Auzinger, D. Ceylan, W. Li, and B. Bickel, “Functionality-aware retargeting of mechanisms to 3D shapes,” presented at the SIGGRAPH: Computer Graphics and Interactive Techniques, Los Angeles, CA, United States , 2017, vol. 36, no. 4.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Conference Paper |
IST-REx-ID: 1003 |
G. Avni, S. Guha, and O. Kupferman, “An abstraction-refinement methodology for reasoning about network games,” presented at the IJCAI: International Joint Conference on Artificial Intelligence , Melbourne, Australia, 2017, pp. 70–76.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 1004 |
K. Ötvös and E. Benková, “Spatiotemporal mechanisms of root branching,” Current Opinion in Genetics & Development, vol. 45. Elsevier, pp. 82–89, 2017.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 |
Published |
Journal Article |
IST-REx-ID: 1006 |
J. Greenwood et al., “Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae,” BMC Genomics, vol. 18, no. 1. BioMed Central, p. 329, 2017.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 1007 |
M. Lang and E. Sontag, “Zeros of nonlinear systems with input invariances,” Automatica, vol. 81C. International Federation of Automatic Control, pp. 46–55, 2017.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Conference Paper |
IST-REx-ID: 1009 |
K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, and D. Zikelic, “Optimizing expectation with guarantees in POMDPs,” in Proceedings of the 31st AAAI Conference on Artificial Intelligence, San Francisco, CA, United States, 2017, vol. 5, pp. 3725–3732.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 1010 |
J. Alt, L. Erdös, and T. H. Krüger, “Local law for random Gram matrices,” Electronic Journal of Probability, vol. 22. Institute of Mathematical Statistics, 2017.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2017 |
Published |
Conference Paper |
IST-REx-ID: 1011 |
K. Chatterjee, B. Kragl, S. Mishra, and A. Pavlogiannis, “Faster algorithms for weighted recursive state machines,” presented at the ESOP: European Symposium on Programming, Uppsala, Sweden, 2017, vol. 10201, pp. 287–313.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 10126 |
A. Vahid Belarghou, A. Šarić, and T. Idema, “Curvature mediated interactions in highly curved membranes,” Biophysical Journal, vol. 112, no. 3. Elsevier , 2017.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 |
Published |
Journal Article |
IST-REx-ID: 1013 |
J. M. Fink, “Viewpoint: Microwave quantum states beat the heat,” Physics, vol. 10, no. 32. American Physical Society, 2017.
[Published Version]
View
| Files available
| DOI