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 | OA
Lubiw A, Masárová Z, Wagner U. A proof of the orbit conjecture for flipping edge labelled triangulations. In: Vol 77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.SoCG.2017.49
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 684 | OA
Chatterjee K, Piterman N. Obligation blackwell games and p-automata. Journal of Symbolic Logic. 2017;82(2):420-452. doi:10.1017/jsl.2016.71
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Published | Conference Paper | IST-REx-ID: 6841 | OA
Martius GS, Lampert C. Extrapolation and learning equations. In: 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings. International Conference on Learning Representations; 2017.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 685 | OA
Briscoe J, Kicheva A. The physics of development 100 years after D’Arcy Thompson’s “on growth and form.” Mechanisms of Development. 2017;145:26-31. doi:10.1016/j.mod.2017.03.005
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 686
Heisenberg C-PJ. D’Arcy Thompson’s ‘on growth and form’: From soap bubbles to tissue self organization. Mechanisms of Development. 2017;145:32-37. doi:10.1016/j.mod.2017.03.006
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 687 | OA
Davison B. The critical CoHA of a quiver with potential. Quarterly Journal of Mathematics. 2017;68(2):635-703. doi:10.1093/qmath/haw053
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Published | Conference Paper | IST-REx-ID: 688 | OA
Edelsbrunner H, Wagner H. Topological data analysis with Bregman divergences. In: Vol 77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017:391-3916. doi:10.4230/LIPIcs.SoCG.2017.39
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 689
Novarino G. Rett syndrome modeling goes simian. Science Translational Medicine. 2017;9(393). doi:10.1126/scitranslmed.aan8196
View | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 1000 | OA
Kolesnikov A, Lampert C. PixelCNN models with auxiliary variables for natural image modeling. In: 34th International Conference on Machine Learning. Vol 70. JMLR; 2017:1905-1914.
[Submitted Version] View | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 1001 | OA
Guseinov R, Miguel E, Bickel B. CurveUps: Shaping objects from flat plates with tension-actuated curvature. In: Vol 36. ACM; 2017. doi:10.1145/3072959.3073709
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 1002 | OA
Zhang R, Auzinger T, Ceylan D, Li W, Bickel B. Functionality-aware retargeting of mechanisms to 3D shapes. In: Vol 36. ACM; 2017. doi:10.1145/3072959.3073710
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 1003 | OA
Avni G, Guha S, Kupferman O. An abstraction-refinement methodology for reasoning about network games. In: AAAI Press; 2017:70-76. doi:10.24963/ijcai.2017/11
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1004 | OA
Ötvös K, Benková E. Spatiotemporal mechanisms of root branching. Current Opinion in Genetics & Development. 2017;45:82-89. doi:10.1016/j.gde.2017.03.010
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 1006 | OA
Greenwood J, Milutinovic B, Peuß R, et al. Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. BMC Genomics. 2017;18(1):329. doi:10.1186/s12864-017-3705-7
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1007 | OA
Lang M, Sontag E. Zeros of nonlinear systems with input invariances. Automatica. 2017;81C:46-55. doi:10.1016/j.automatica.2017.03.030
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 1009 | OA
Chatterjee K, Novotný P, Pérez G, Raskin J, Zikelic D. Optimizing expectation with guarantees in POMDPs. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence. Vol 5. AAAI Press; 2017:3725-3732.
[Submitted Version] View | Download Submitted Version (ext.) | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1010 | OA
Alt J, Erdös L, Krüger TH. Local law for random Gram matrices. Electronic Journal of Probability. 2017;22. doi:10.1214/17-EJP42
[Published Version] View | Files available | DOI | WoS | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 1011 | OA
Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. Faster algorithms for weighted recursive state machines. In: Yang H, ed. Vol 10201. Springer; 2017:287-313. doi:10.1007/978-3-662-54434-1_11
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 10126 | OA
Vahid Belarghou A, Šarić A, Idema T. Curvature mediated interactions in highly curved membranes. Biophysical Journal. 2017;112(3). doi:10.1016/j.bpj.2016.11.2123
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 1013 | OA
Fink JM. Viewpoint: Microwave quantum states beat the heat. Physics. 2017;10(32). doi:10.1103/Physics.10.32
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed