Results 31 to 40 of about 6,460,360 (271)
Relational Concurrent Refinement: Timed Refinement [PDF]
, 2011 Data refinement in a state-based language such as Z is defined using a relational model in terms of the behaviour of abstract programs. Downward and upward simulation conditions form a sound and jointly complete methodology to verify relational data ...
Derrick, John +4 more
core +1 more source
Applied Mathematics and Nonlinear Sciences, 2022 With the rapid development of the Internet, GSM (Global System for Mobile Communications) is gradually developing towards “centralization, standardization, informationization, and refinement”.
Pei Yu, A. Shatat
semanticscholar +1 more source
Probability and nondeterminism in compositional game theory [PDF]
, 2021 We substantially extend previous work in the emerging field of compositional game theory. We generalise work by Escardó and Oliva relating the selection monad to game theory.
Bolt, Josef Michael
core +1 more source
Game Refinement Theory and Multiplayer Games: Case Study Using UNO [PDF]
, 2015 Game refinement theory has started to provide some interesting tools to measure sophistication of board games, sport games, and video games. In this paper, we apply game refinement theory to UNO(R) card game, from which we identify valuable aspects ...
Ramadhan, Alfian +2 more
core +1 more source
AN ANALYSIS OF WINNING STREAK'S EFFECTS IN LANGUAGE COURSE OF "DUOLINGO"
Asia-Pacific Journal of Information Technology and Multimedia, 2017 This paper explores the effects of the winning streak on users' motivation and engagement in Duolingo's language course. The winning streak has been used in sport and video games to describe a consecutive number of successful actions and increase players'
Duy Huynh, Hiroyuki Iida
doaj +1 more source
Journal of Economics Theory, 2020 Using the theory of potential games, this paper addresses the emergence of polycentric structures in cities that result from trade-offs between agglomeration economies and congestion effects.
Minoru Osawa, T. Akamatsu
semanticscholar +1 more source
Наукові вісті Національного технічного університету України "Київський політехнічний інститут", 2018 Background. Multiple Nash equilibria bring a new problem of selecting amongst them but this problem is solved by refining the equilibria. However, none of the existing refinements can guarantee a single refined Nash equilibrium.
Vadim V. Romanuke
doaj +1 more source
Has Game Theory Been Refuted? [PDF]
, 2005 The answer in a nutshell is: Yes, five years ago, but nobody has noticed. Nobody noticed because the majority of social scientists subscribe to one of the following views: (1) the ‘anomalous’ behaviour observed in standard prisoner’s dilemma or ultimatum
Guala, Francesco +2 more
core +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
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To evaluate the diagnostic accuracy of glial fibrillary acidic protein (GFAP) measured in dried plasma spots versus conventional plasma‐ and serum‐GFAP testing for assessment of disease severity in aquaporin‐4 immunoglobulin G–positive neuromyelitis optica spectrum disorder (AQP4‐IgG+ NMOSD).
Felix Wohlrab +19 more
wiley +1 more source