_id,doi,title
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
1701,10.1073/pnas.1514188112,Thermodynamics and signatures of criticality in a network of neurons
1703,10.1071/BT15023,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
1704,10.1007/s11005-015-0787-5,Note on a family of monotone quantum relative entropies
1706,10.1007/978-3-319-24486-0_13,Multi-task and lifelong learning of kernels
1709,10.1098/rspb.2015.1041,Biological auctions with multiple rewards
1710,10.1137/140993843,Minimal resistance of curves under the single impact assumption
1712,10.1016/j.ceb.2015.07.003,Drosophila immune cell migration and adhesion during embryonic development and larval immune responses
1714,10.1109/RTSS.2014.9,A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
1729,10.1007/978-3-319-21668-3_11,From non-preemptive to preemptive scheduling using synchronization synthesis
1730,10.1007/s00454-015-9679-9,Discrete systolic inequalities and decompositions of triangulated surfaces