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.

10718 Publications


2017 | Published | Conference Paper | IST-REx-ID: 1108 | OA
Learning theory for conditional risk minimization
A. Zimin, C. Lampert, in:, ML Research Press, 2017, pp. 213–222.
[Submitted Version] View | Download Submitted Version (ext.) | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 6841 | OA
Extrapolation and learning equations
G.S. Martius, C. Lampert, 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: 626 | OA
The infinitesimal model: Definition derivation and implications
Barton, Nicholas H, The infinitesimal model: Definition derivation and implications. Theoretical Population Biology 118. 2017
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1074 | OA
Inferring recent demography from isolation by distance of long shared sequence blocks
Ringbauer, Harald, Inferring recent demography from isolation by distance of long shared sequence blocks. Genetics 205 (3). 2017
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1063 | OA
Evolutionary rescue in randomly mating, selfing, and clonal populations
Uecker, Hildegard, Evolutionary rescue in randomly mating, selfing, and clonal populations. Evolution 71 (4). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1199 | OA
How does epistasis influence the response to selection?
N.H. Barton, Heredity 118 (2017) 96–109.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Research Data Reference | IST-REx-ID: 9842 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 990 | OA
Divergence and evolution of assortative mating in a polygenic trait model of speciation with gene flow
Sachdeva, Himani, Divergence and evolution of assortative mating in a polygenic trait model of speciation with gene flow. Evolution; International Journal of Organic Evolution 71 (6). 2017
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 486 | OA
Scattering-aware texture reproduction for 3D printing
O. Elek, D. Sumin, R. Zhang, T. Weyrich, K. Myszkowski, B. Bickel, A. Wilkie, J. Krivanek, ACM Transactions on Graphics 36 (2017).
[Submitted Version] View | Files available | DOI
 

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

2017 | Published | Journal Article | IST-REx-ID: 571
Migrating platelets are mechano scavengers that collect and bundle bacteria
Gärtner, Florian R, Migrating platelets are mechano scavengers that collect and bundle bacteria. Cell Press 171 (6). 2017
View | DOI
 

2017 | Published | Thesis | IST-REx-ID: 837 | OA
Reactivation of the hippocampal cognitive map in goal-directed spatial tasks
H. Xu, Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks, Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1132 | OA
Superficial layers of the medial entorhinal cortex replay independently of the hippocampus
O'Neill, Joseph, Superficial layers of the medial entorhinal cortex replay independently of the hippocampus. Science 355 (6321). 2017
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 727
Load adaptation of lamellipodial actin networks
Mueller, Jan, Load adaptation of lamellipodial actin networks. Cell 171 (1). 2017
View | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 1116 | OA
Computing scores of forwarding schemes in switched networks with probabilistic faults
G. Avni, S. Goel, T.A. Henzinger, G. Rodríguez Navas, in:, Springer, 2017, pp. 169–187.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 942
S3: Syntax- and semantic-guided repair synthesis via programming by examples
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, ACM, 2017, pp. 593–604.
View | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 962
Model counting for recursively-defined strings
M. Trinh, D.H. Chu, J. Jaffar, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 399–418.
View | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 647 | OA
Conic abstractions for hybrid systems
S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132.
[Submitted Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 631 | OA
Counterexample guided refinement of template polyhedra
S. Bogomolov, G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2017, pp. 589–606.
[Submitted Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 636 | OA
On the quantitative semantics of regular expressions over real-valued signals
A. Bakhirkin, T. Ferrere, O. Maler, D. Ulus, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 189–206.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed