Results 41 to 50 of about 28,094 (268)
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems [PDF]
Logical Methods in Computer Science, 2008 Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested "stack of stacks" structure.
Matthew Hague, C. -H. Luke Ong
doaj +1 more source
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs [PDF]
Logical Methods in Computer Science, 2017 The winning condition of a parity game with costs requires an arbitrary, but fixed bound on the cost incurred between occurrences of odd colors and the next occurrence of a larger even one.
Alexander Weinert, Martin Zimmermann
doaj +1 more source
Computer Science and Game Theory: A Brief Survey
CoRR, 2007 To appear; Palgrave Dictionary of ...
openaire +2 more sources
On The Foundations of Digital Games [PDF]
, 2013 Computers have lead to a revolution in the games we play, and, following this, an interest for computer-based games has been sparked in research communities.
Björk, Staffan, Bj\uf6rk, Staffan
core
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Adult survivors of childhood acute lymphoblastic leukemia (ALL) are at risk of reduced exercise capacity, decreased physical activity levels, persistent fatigue, and neurocognitive deficits. The aim was to investigate exercise capacity and physical activity levels of adult survivors of childhood ALL and their associations with ...
Laura Jess +5 more
wiley +1 more source
On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games [PDF]
Logical Methods in Computer Science, 2013 We study turn-based quantitative multiplayer non zero-sum games played on finite graphs with reachability objectives. In such games, each player aims at reaching his own goal set of states as soon as possible.
Thomas Brihaye +3 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Purpose To explore caregivers' experiences and perceptions of the nutritional challenges faced by children and adolescents undergoing cancer treatment, including oral intake and the use of nutritional support. Methods This was a qualitative study based on focus groups with parents and caregivers at a Brazilian pediatric oncology hospital ...
Danyelle Apparecida Balsamão Marques +5 more
wiley +1 more source
Algorithms for Omega-Regular Games with Imperfect Information [PDF]
Logical Methods in Computer Science, 2007 We study observation-based strategies for two-player turn-based games on graphs with omega-regular objectives. An observation-based strategy relies on imperfect information about the history of a play, namely, on the past sequence of observations.
Krishnendu Chatterjee +3 more
doaj +1 more source
FEBS Letters, EarlyView.Proteostasis and the gut microbiota play a key role in shaping host physiology. Microbiota‐derived metabolites, vitamins, and RNA modulate host proteostasis. Findings from model systems, including C. elegans, indicate microbes can either stabilize or disrupt host proteostasis.
Abhishek Anil Dubey, Maria Ermolaeva
wiley +1 more source
Half-Positional Objectives Recognized by Deterministic B\"uchi Automata [PDF]
Logical Methods in Computer ScienceIn two-player games on graphs, the simplest possible strategies are those that can be implemented without any memory. These are called positional strategies. In this paper, we characterize objectives recognizable by deterministic B\"uchi automata (a
Patricia Bouyer +3 more
doaj +1 more source