_id,doi,title
1680,10.1145/2817825,On the decidability of elementary modal logics
1681,10.3390/g6040413,Evolution of decisions in population games with sequentially searching individuals
1682,10.1145/2751524,Robust satisfiability of systems of equations
1683,10.1016/j.sbi.2015.08.008,Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions
1685,10.1007/978-3-662-48350-3_33,A fixed parameter tractable approximation scheme for the optimal cut graph of a surface
1686,10.1126/science.aad0867,Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection
1687,10.1016/j.ceb.2015.08.001,Navigating in tissue mazes: Chemoattractant interpretation in complex environments
1688,10.1007/s00454-015-9720-z,Bounds for Pach's selection theorem and for the minimum solid angle in a simplex
1689,10.1145/2728606.2728608,Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
1690,10.1145/2728606.2728630,HYST: A source transformation and translation tool for hybrid automaton models
1691,10.1145/2728606.2728617,Temporal logic motion planning using POMDPs with parity objectives: Case study paper
1692,10.1145/2728606.2728622,Eliminating spurious transitions in reachability with support functions
1693,10.1103/PhysRevA.92.022514,"Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3"
1694,10.1109/TAC.2015.2404612,Quantitative temporal simulation and refinement distances for timed systems
1695,10.1002/pssb.201552082,Evaluation techniques for Gutzwiller wave functions in finite dimensions
1696,10.1103/PhysRevB.92.125135,Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states
1697,10.1371/journal.pcbi.1004304,High accuracy decoding of dynamical motion from a large retinal population
1698,10.1016/j.ic.2015.03.001,The complexity of multi-mean-payoff and multi-energy games
1699,10.1007/s00285-014-0802-y,Adaptive gene introgression after secondary contact
1700,10.1103/PhysRevB.92.081106,Ultralong-range order in the Fermi-Hubbard model with long-range interactions