Results 51 to 60 of about 28,094 (268)
Life is Random, Time is Not: Markov Decision Processes with Window Objectives [PDF]
Logical Methods in Computer Science, 2020 The window mechanism was introduced by Chatterjee et al. to strengthen classical game objectives with time bounds. It permits to synthesize system controllers that exhibit acceptable behaviors within a configurable time frame, all along their infinite ...
Thomas Brihaye +3 more
doaj +1 more source
Understanding Computer Role-Playing Games: A Genre Analysis Based on Gameplay Features in Combat Systems [PDF]
, 2013 A game genre as diverse as that of computer role-playing games is difficult to overview. This poses challenges or both developers and researchers to position their work clearly within the genre.
Stenström, Christopher Dristig +3 more
core
FEBS Letters, EarlyView.Obesity raises blood levels of PAI‐1, a protein linked to metabolic dysfunction‐associated steatotic liver disease in people with obesity. In female mice fed a high‐fat diet, partially lowering PAI‐1 led to smaller subcutaneous fat cells and lower liver cholesterol, without changing body weight or insulin sensitivity.
Claudia E. Ramirez Bustamante +10 more
wiley +1 more source
On the Existence of Reactive Strategies Resilient to Delay [PDF]
Logical Methods in Computer ScienceWe compare games under delayed control and delay games, two types of infinite games modelling asynchronicity in reactive synthesis. In games under delayed control both players suffer from partial informedness due to symmetrically delayed communication ...
Martin Fränzle +3 more
doaj +1 more source
Parity and Streett Games with Costs [PDF]
Logical Methods in Computer Science, 2014 We consider two-player games played on finite graphs equipped with costs on edges and introduce two winning conditions, cost-parity and cost-Streett, which require bounds on the cost between requests and their responses.
Nathanaël Fijalkow, Martin Zimmermann
doaj +1 more source
Translophagy—A potential link between autophagy impairment and translational errors
FEBS Letters, EarlyView.Neurodegenerative diseases are characterised by the accumulation of abnormal proteins and protein aggregates, but their origin often remains unknown. We propose that selective autophagy removes damaged protein‐making machinery, preventing errors during protein synthesis.
Mykola V. Korolchuk +11 more
wiley +1 more source
Lectures in Game Theory for Computer Scientists
, 2011 Games provide mathematical models for interaction. Numerous tasks in computer science can be formulated in game-theoretic terms. This fresh and intuitive way of thinking through complex issues reveals underlying algorithmic questions and clarifies the ...
core +1 more source
Tumour–host interactions in Drosophila: mechanisms in the tumour micro‐ and macroenvironment
Molecular Oncology, EarlyView.This review examines how tumour–host crosstalk takes place at multiple levels of biological organisation, from local cell competition and immune crosstalk to organism‐wide metabolic and physiological collapse. Here, we integrate findings from Drosophila melanogaster studies that reveal conserved mechanisms through which tumours hijack host systems to ...
José Teles‐Reis, Tor Erik Rusten
wiley +1 more source
Molecular Oncology, EarlyView.LUNAR is a liver‐specific long noncoding RNA (lncRNA) that is highly expressed in normal liver but becomes epigenetically silenced in hepatocellular carcinoma through promoter hypermethylation. Loss of LUNAR is associated with NOTCH activation, epithelial–mesenchymal transition, and metastasis, whereas restoring LUNAR restrains metastatic progression ...
Se Ha Jang +9 more
wiley +1 more source
Predicate Abstraction with Under-approximation Refinement [PDF]
Logical Methods in Computer Science, 2007 We propose an abstraction-based model checking method which relies on refinement of an under-approximation of the feasible behaviors of the system under analysis. The method preserves errors to safety properties, since all analyzed behaviors are feasible
Corina S. Pasareanu +2 more
doaj +1 more source