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.
10945 Publications
2014 | Published | Journal Article | IST-REx-ID: 2188 | 
Polar delivery in plants; commonalities and differences to animal epithelial cells
U. Kania, M. Fendrych, J. Friml, Open Biology 4 (2014).
[Published Version]
View
| Files available
| DOI
| WoS
U. Kania, M. Fendrych, J. Friml, Open Biology 4 (2014).
2014 | Published | Conference Paper | IST-REx-ID: 1903 |
Partial-observation stochastic reachability and parity games
K. Chatterjee, in:, Springer, 2014, pp. 1–4.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, in:, Springer, 2014, pp. 1–4.
2014 | Published | Journal Article | IST-REx-ID: 2183 |
Hierarchy and polysynchrony in an adaptive network
V. Botella Soler, P. Glendinning, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
V. Botella Soler, P. Glendinning, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).
2014 | Published | Journal Article | IST-REx-ID: 2184 |
Computing all maps into a sphere
M. Čadek, M. Krcál, J. Matoušek, F. Sergeraert, L. Vokřínek, U. Wagner, Journal of the ACM 61 (2014).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Čadek, M. Krcál, J. Matoušek, F. Sergeraert, L. Vokřínek, U. Wagner, Journal of the ACM 61 (2014).
2014 | Published | Journal Article | IST-REx-ID: 2186 |
On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti
T. Chen, C. Hainzl, N. Pavlović, R. Seiringer, Letters in Mathematical Physics 104 (2014) 871–891.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
T. Chen, C. Hainzl, N. Pavlović, R. Seiringer, Letters in Mathematical Physics 104 (2014) 871–891.
2014 | Published | Journal Article | IST-REx-ID: 2170 |
Likelihood-based inference of population history from low-coverage de novo genome assemblies
J. Hearn, G. Stone, L. Bunnefeld, J. Nicholls, N.H. Barton, K. Lohse, Molecular Ecology 23 (2014) 198–211.
[Submitted Version]
View
| Files available
| DOI
| WoS
J. Hearn, G. Stone, L. Bunnefeld, J. Nicholls, N.H. Barton, K. Lohse, Molecular Ecology 23 (2014) 198–211.
2014 | Published | Journal Article | IST-REx-ID: 2168 |
Coalescent simulation in continuous space: Algorithms for large neighbourhood size
J. Kelleher, A. Etheridge, N.H. Barton, Theoretical Population Biology 95 (2014) 13–23.
[Published Version]
View
| Files available
| DOI
| WoS
J. Kelleher, A. Etheridge, N.H. Barton, Theoretical Population Biology 95 (2014) 13–23.
2014 | Published | Conference Paper | IST-REx-ID: 2172
Deep Fisher Kernels – End to end learning of the Fisher Kernel GMM parameters
V. Sydorov, M. Sakurada, C. Lampert, in:, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2014, pp. 1402–1409.
View
| DOI
| WoS
V. Sydorov, M. Sakurada, C. Lampert, in:, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2014, pp. 1402–1409.
2014 | Published | Journal Article | IST-REx-ID: 2174 |
Stability and response of polygenic traits to stabilizing selection and mutation
H. De Vladar, N.H. Barton, Genetics 197 (2014) 749–767.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
H. De Vladar, N.H. Barton, Genetics 197 (2014) 749–767.
2014 | Published | Journal Article | IST-REx-ID: 2179 |
Local semicircle law with imprimitive variance matrix
O.H. Ajanki, L. Erdös, T.H. Krüger, Electronic Communications in Probability 19 (2014).
[Published Version]
View
| Files available
| DOI
| WoS
O.H. Ajanki, L. Erdös, T.H. Krüger, Electronic Communications in Probability 19 (2014).
2014 | Published | Journal Article | IST-REx-ID: 2180 |
Learning a priori constrained weighted majority votes
A. Bellet, A. Habrard, E. Morvant, M. Sebban, Machine Learning 97 (2014) 129–154.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
A. Bellet, A. Habrard, E. Morvant, M. Sebban, Machine Learning 97 (2014) 129–154.
2014 | Published | Journal Article | IST-REx-ID: 2176
Capture of activity-induced ultrastructural changes at synapses by high-pressure freezing of brain tissue
D. Studer, S. Zhao, X. Chai, P.M. Jonas, W. Graber, S. Nestel, M. Frotscher, Nature Protocols 9 (2014) 1480–1495.
View
| DOI
| WoS
D. Studer, S. Zhao, X. Chai, P.M. Jonas, W. Graber, S. Nestel, M. Frotscher, Nature Protocols 9 (2014) 1480–1495.
2014 | Published | Journal Article | IST-REx-ID: 2169 |
Diverse forms of selection in evolution and computer science
N.H. Barton, S. Novak, T. Paixao, PNAS 111 (2014) 10398–10399.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
N.H. Barton, S. Novak, T. Paixao, PNAS 111 (2014) 10398–10399.
2014 | Published | Conference Paper | IST-REx-ID: 2167 |
Compositional specifications for IOCO testing
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, in:, IEEE 7th International Conference on Software Testing, Verification and Validation, IEEE, 2014.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, in:, IEEE 7th International Conference on Software Testing, Verification and Validation, IEEE, 2014.
2014 | Published | Journal Article | IST-REx-ID: 2161
Increased grooming after repeated brood care provides sanitary benefits in a clonal ant
C. Westhus, L.V. Ugelvig, E. Tourdot, J. Heinze, C. Doums, S. Cremer, Behavioral Ecology and Sociobiology 68 (2014) 1701–1710.
View
| Files available
| DOI
| WoS
C. Westhus, L.V. Ugelvig, E. Tourdot, J. Heinze, C. Doums, S. Cremer, Behavioral Ecology and Sociobiology 68 (2014) 1701–1710.
2014 | Published | Technical Report | IST-REx-ID: 5411 |
Compositional specifications for IOCO testing
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, Compositional Specifications for IOCO Testing, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, Compositional Specifications for IOCO Testing, IST Austria, 2014.
2014 | Published | Journal Article | IST-REx-ID: 2154 |
On Gromov's method of selecting heavily covered points
J. Matoušek, U. Wagner, Discrete & Computational Geometry 52 (2014) 1–33.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
J. Matoušek, U. Wagner, Discrete & Computational Geometry 52 (2014) 1–33.
2014 | Published | Journal Article | IST-REx-ID: 2164
Epilepsy-induced motility of differentiated neurons
X. Chai, G. Münzner, S. Zhao, S. Tinnes, J. Kowalski, U. Häussler, C. Young, C. Haas, M. Frotscher, Cerebral Cortex 24 (2014) 2130–2140.
View
| DOI
| WoS
X. Chai, G. Münzner, S. Zhao, S. Tinnes, J. Kowalski, U. Häussler, C. Young, C. Haas, M. Frotscher, Cerebral Cortex 24 (2014) 2130–2140.
2014 | Published | Journal Article | IST-REx-ID: 2158 |
New paradigms in the establishment and maintenance of gradients during directed cell migration
R. Majumdar, M.K. Sixt, C. Parent, Current Opinion in Cell Biology 30 (2014) 33–40.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
R. Majumdar, M.K. Sixt, C. Parent, Current Opinion in Cell Biology 30 (2014) 33–40.
2014 | Published | Journal Article | IST-REx-ID: 2086 |
So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees
S. Wolf, D. Mcmahon, K. Lim, C. Pull, S. Clark, R. Paxton, J. Osborne, PLoS One 9 (2014).
[Published Version]
View
| Files available
| DOI
| WoS
S. Wolf, D. Mcmahon, K. Lim, C. Pull, S. Clark, R. Paxton, J. Osborne, PLoS One 9 (2014).