The Complexity of Nash Equilibria in Limit-Average Games

We study the computational complexity of Nash equilibria in concurrent games with limit-average objectives. In particular, we prove that the existence of a Nash equilibrium in randomised strategies is undecidable, while the existence of a Nash equilibrium in pure strategies is decidable, even if we put a constraint on the payoff of the equilibrium. Our undecidability result holds even for a restricted class of concurrent games, where nonzero rewards occur only on terminal states. Moreover, we show that the constrained existence problem is undecidable not only for concurrent games but for turn-based games with the same restriction on rewards. Finally, we prove that the constrained existence problem for Nash equilibria in (pure or randomised) stationary strategies is decidable and analyse its complexity.Comment: 34 page

Focusing in Asynchronous Games

Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as games on which proofs induce strategies. We are specifically interested here in relating two such semantics of linear logic, of very different flavor, which both take in account concurrent features of the proofs: asynchronous games and concurrent games. Interestingly, we show that associating a concurrent strategy to an asynchronous strategy can be seen as a semantical counterpart of the focusing property of linear logic

Texas Health Harris Methodist-Cleburne: A System Approach to Surgical Improvement

Outlines successful strategies for improving surgical care, including systemwide collaboration, concurrent review, changes to care processes, redefined responsibilities, and preprinted order sets. Lists challenges and lessons learned

Western Baptist Hospital: Problem-Solving With Pneumonia Care Performance Improvement Teams

Describes successful strategies for strengthening pneumonia care, including multidisciplinary performance improvement teams, process improvements built into staff routines, peer collaboratives, standard order sets, and feedback through concurrent review

Parkview Medical Center: Underscoring the Importance of Communication in Pneumonia Care

Highlights successful strategies for excellence in pneumonia care, including evidence-based education, regular communication, and reinforcement via concurrent review; reassigning vaccination responsibilities; and improving antibiotic selection and timing

Norman Regional Health System: A City-Owned Public Trust Dedicated to Improving Performance

Describes successful strategies for providing recommended treatment on process-of-care measures, including board and administration support, order sets, concurrent review, performance feedback, transparency, and engaging nurses. Outlines lessons learned

Holland Hospital: Improving Pneumonia Care by Hardwiring Process Enhancements

Outlines successful strategies for improving care for pneumonia, including implementing core measure teams, concurrent reviews, financial incentives, a focus on system factors, preprinted order sets, and reassigning tasks. Presents lessons learned

St. Luke's Medical Center: Bottom-Up Approach to Quality Improvement in Pneumonia Care

Highlights strategies for improving pneumonia care, including frontline staff leadership, reassigning responsibilities, ongoing nursing staff education, and the use of evidence-based best practices, concurrent review, and streamlined standing order sets

Memorial Hermann Memorial City Medical Center: Excellence in Heart Attack Care Reduces Readmissions

Highlights the factors and strategies behind low readmission rates for heart attack and pneumonia patients, including a focus on quality, concurrent review, extensive training, discharge planning, patient education, and use of risk assessment software

St. Mary's Health Center: Focus on Core Measures Improves Quality

Describes strategies that greatly improved process-of-care measures, including communication through physician-led committees and peers, standardization through order sets, concurrent and retrospective chart reviews, and transparency and data analysis