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.

Coalescent simulation in continuous space: Algorithms for large neighbourhood size
J. Kelleher, A. Etheridge, N.H. Barton, Theoretical Population Biology 95 (2014) 13–23.

Diverse forms of selection in evolution and computer science
N.H. Barton, S. Novak, T. Paixao, PNAS 111 (2014) 10398–10399.

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.

Closed-form approximate CRF training for scalable image segmentation
A. Kolesnikov, M. Guillaumin, V. Ferrari, C. Lampert, in:, D. Fleet, T. Pajdla, B. Schiele, T. Tuytelaars (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 550–565.

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.

CoConut: Co-classification with output space regularization
S. Khamis, C. Lampert, in:, Proceedings of the British Machine Vision Conference 2014, BMVA Press, 2014.

Stability and response of polygenic traits to stabilizing selection and mutation
H. De Vladar, N.H. Barton, Genetics 197 (2014) 749–767.

Monitoring neurogenesis in the cerebral cortex: an update
M.P. Postiglione, S. Hippenmeyer, Future Neurology 9 (2014) 323–340.

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.

On the computational complexity of betti numbers reductions from matrix rank
H. Edelsbrunner, S. Parsa, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2014, pp. 152–160.

Markov degree of the three-state toric homogeneous Markov chain model
D. Haws, A. Martin del Campo Sanchez, A. Takemura, R. Yoshida, Beitrage Zur Algebra Und Geometrie 55 (2014) 161–188.

Local semicircle law with imprimitive variance matrix
O.H. Ajanki, L. Erdös, T.H. Krüger, Electronic Communications in Probability 19 (2014).

Learning a priori constrained weighted majority votes
A. Bellet, A. Habrard, E. Morvant, M. Sebban, Machine Learning 97 (2014) 129–154.

Hierarchy and polysynchrony in an adaptive network 
V. Botella Soler, P. Glendinning, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).

Computing all maps into a sphere
M. cadek, M. Krcál, J. Matousek, F. Sergeraert, L. Vokínek, U. Wagner, Journal of the ACM 61 (2014).

Key derivation without entropy waste
Y. Dodis, K.Z. Pietrzak, D. Wichs, in:, P. Nguyen, E. Oswald (Eds.), Springer, 2014, pp. 93–110.

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.

Synthesizing robust systems
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, G. Hofferek, B. Jobstmann, B. Könighofer, R. Könighofer, Acta Informatica 51 (2014) 193–220.

Polar delivery in plants; commonalities and differences to animal epithelial cells
U. Kania, M. Fendrych, J. Friml, Open Biology 4 (2014).