Bounds for Pach's selection theorem and for the minimum solid angle in a simplex
R. Karasev, J. Kyndl, P. Paták, Z. Patakova, M. Tancer, Discrete &; Computational Geometry 54 (2015) 610–636.

On the decidability of elementary modal logics
J. Michaliszyn, J. Otop, E. Kieroski, ACM Transactions on Computational Logic 17 (2015).

Robust satisfiability of systems of equations
P. Franek, M. Krcál, Journal of the ACM 62 (2015).

Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions
J.A. Letts, L.A. Sazanov, Current Opinion in Structural Biology 33 (2015) 135–145.

Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection
E. Kiermaier, M.K. Sixt, Science 349 (2015) 1055–1056.

Eliminating spurious transitions in reachability with support functions
G. Frehse, S. Bogomolov, M. Greitschus, T. Strump, A. Podelski, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 149–158.

Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3
P. Amaro, B. Franke, J. Krauth, M. Diepold, F. Fratini, L. Safari, J. Machado, A. Antognini, F. Kottmann, P. Indelicato, R. Pohl, J. Santos, Physical Review A 92 (2015).

HYST: A source transformation and translation tool for hybrid automaton models
S. Bak, S. Bogomolov, T. Johnson, in:, Springer, 2015, pp. 128–133.

Temporal logic motion planning using POMDPs with parity objectives: Case study paper
M. Svoreová, M. Chmelik, K. Leahy, H. Eniser, K. Chatterjee, I. Cbrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 233–238.

Quantitative temporal simulation and refinement distances for timed systems
K. Chatterjee, V. Prabhu, IEEE Transactions on Automatic Control 60 (2015) 2291–2306.

Evaluation techniques for Gutzwiller wave functions in finite dimensions
J. Kaczmarczyk, T. Schickling, J. Bünemann, Physica Status Solidi (B): Basic Solid State Physics 252 (2015) 2059–2071.

High accuracy decoding of dynamical motion from a large retinal population
O. Marre, V. Botella Soler, K. Simmons, T. Mora, G. Tkadik, M. Berry, PLoS Computational Biology 11 (2015).

Adaptive gene introgression after secondary contact
H. Uecker, D. Setter, J. Hermisson, Journal of Mathematical Biology 70 (2015) 1523–1580.

Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states
M. Wysokiski, J. Kaczmarczyk, J. Spaek, Physical Review B 92 (2015).

Thermodynamics and signatures of criticality in a network of neurons
G. Tkadik, T. Mora, O. Marre, D. Amodei, S. Palmer, M. Berry Ii, W. Bialek, PNAS 112 (2015) 11508–11513.

The complexity of multi-mean-payoff and multi-energy games
Y. Velner, K. Chatterjee, L. Doyen, T.A. Henzinger, A. Rabinovich, J. Raskin, Information and Computation 241 (2015) 177–196.

Ultralong-range order in the Fermi-Hubbard model with long-range interactions
E. Van Loon, M. Katsnelson, M. Lemeshko, Physical Review B 92 (2015).

Note on a family of monotone quantum relative entropies
A. Deuchert, C. Hainzl, R. Seiringer, Letters in Mathematical Physics 105 (2015) 1449–1466.

An evaluation of the genetic structure of seed sources and the maintenance of genetic diversity during establishment of two yellow box (Eucalyptus melliodora) seed-production areas
L. Broadhurst, G. Fifield, B. Vanzella, M. Pickup, Australian Journal of Botany 63 (2015) 455–466.

Multi-task and lifelong learning of kernels
A. Pentina, S. Ben David, in:, Springer, 2015, pp. 194–208.