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.
10779 Publications
2017 | Published | Journal Article | IST-REx-ID: 722 | 
Morris E, Griffiths M, Golebiowska A, et al. Shaping 3D root system architecture. Current Biology. 2017;27(17):R919-R930. doi:10.1016/j.cub.2017.06.043
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 730
Savin C, Tkačik G. Maximum entropy models as a tool for building precise neural controls. Current Opinion in Neurobiology. 2017;46:120-126. doi:10.1016/j.conb.2017.08.001
View
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 683 |
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 | Conference Paper | IST-REx-ID: 911 |
Royer A, Kolesnikov A, Lampert C. Probabilistic image colorization. In: BMVA Press; 2017:85.1-85.12. doi:10.5244/c.31.85
[Published Version]
View
| Files available
| DOI
| arXiv
2017 | Published | Conference Paper | IST-REx-ID: 1000 |
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: 1108 |
Zimin A, Lampert C. Learning theory for conditional risk minimization. In: Vol 54. ML Research Press; 2017:213-222.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 6841 |
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: 1199 |
Barton NH. How does epistasis influence the response to selection? Heredity. 2017;118:96-109. doi:10.1038/hdy.2016.109
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Research Data Reference | IST-REx-ID: 9842 |
Etheridge A, Barton NH. Data for: Establishment in a new habitat by polygenic adaptation. 2017. doi:10.17632/nw68fxzjpm.1
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 486 |
Elek O, Sumin D, Zhang R, et al. Scattering-aware texture reproduction for 3D printing. ACM Transactions on Graphics. 2017;36(6). doi:10.1145/3130800.3130890
[Submitted Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 1002 |
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: 1116 |
Avni G, Goel S, Henzinger TA, Rodríguez Navas G. Computing scores of forwarding schemes in switched networks with probabilistic faults. In: Vol 10206. Springer; 2017:169-187. doi:10.1007/978-3-662-54580-5_10
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 942
Le X, Chu DH, Lo D, Le Goues C, Visser W. S3: Syntax- and semantic-guided repair synthesis via programming by examples. In: Vol F130154. ACM; 2017:593-604. doi:10.1145/3106237.3106309
View
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 962
Trinh M, Chu DH, Jaffar J. Model counting for recursively-defined strings. In: Majumdar R, Kunčak V, eds. Vol 10427. Springer; 2017:399-418. doi:10.1007/978-3-319-63390-9_21
View
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 647 |
Bogomolov S, Giacobbe M, Henzinger TA, Kong H. Conic abstractions for hybrid systems. In: Vol 10419. Springer; 2017:116-132. doi:10.1007/978-3-319-65765-3_7
[Submitted Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 631 |
Bogomolov S, Frehse G, Giacobbe M, Henzinger TA. Counterexample guided refinement of template polyhedra. In: Vol 10205. Springer; 2017:589-606. doi:10.1007/978-3-662-54577-5_34
[Submitted Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 636 |
Bakhirkin A, Ferrere T, Maler O, Ulus D. On the quantitative semantics of regular expressions over real-valued signals. In: Abate A, Geeraerts G, eds. Vol 10419. Springer; 2017:189-206. doi:10.1007/978-3-319-65765-3_11
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Published | Conference Paper | IST-REx-ID: 633
Bak S, Bogomolov S, Henzinger TA, Kumar A. Challenges and tool implementation of hybrid rapidly exploring random trees. In: Abate A, Bodo S, eds. Vol 10381. Springer; 2017:83-89. doi:10.1007/978-3-319-63501-9_6
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 538 |
Kainrath S, Stadler M, Gschaider-Reichhart E, Distel M, Janovjak HL. Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen. Angewandte Chemie. 2017;129(16):4679-4682. doi:10.1002/ange.201611998
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 1026
Agus V, Janovjak HL. Optogenetic methods in drug screening: Technologies and applications. Current Opinion in Biotechnology. 2017;48:8-14. doi:10.1016/j.copbio.2017.02.006
View
| DOI
| WoS