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