Results 21  30
of
519
Observational equivalence of 3rdorder Idealized Algol is decidable
 In Proceedings of LICS’02. IEEE
, 2002
"... We prove that observational equivalence of 3rdorder finitary Idealized Algol (IA) is decidable using Game Semantics. By modelling state explicitly in our games, we show that the denotation of a term M of this fragment of IA (built up from finite base types) is a compactly innocent strategywithst ..."
Abstract

Cited by 12 (3 self)
 Add to MetaCart
i.e. the strategy is generated by a finite view function fM . Given any such fM , we construct a realtime deterministic pushdown automata (DPDA) that recognizes the complete plays of the knowingstrategy denotation of M . Since such plays characterize observational equivalence
1Applying Spatial Diversity to Mitigate Partial Band Interference in Undersea Networks
, 2014
"... See next page for additional authors ..."
A metaanalytic review of obesity prevention programs for children and adolescents: The skinny on interventions that work.
 Psychological Bulletin,
, 2006
"... This metaanalytic review summarizes obesity prevention programs and their effects and investigates participant, intervention, delivery, and design features associated with larger effects. A literature search identified 64 prevention programs seeking to produce weight gain prevention effects, of wh ..."
Abstract

Cited by 76 (4 self)
 Add to MetaCart
Participant Gender Results from prior trials suggest that obesity prevention programs that promoted a healthier lower calorie diet Participant Ethnicity There is also reason to believe that ethnicity might moderate obesity prevention effects. On the one hand, there is evidence that Black and Hispanic
Spatial evolutionary games of interaction among generic cancer cells
 Computational and Mathematical Methods in Medicine 5
, 2003
"... Evolutionary game models of cellular interactions have shown that heterogeneity in the cellular genotypic composition is maintained through evolution to stable coexistence of growthpromoting and nonpromoting cell types. We generalise these meanfield models and relax the assumption of perfect mix ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
, the different genotypic strategies adopted by the cells can be expressed as a twoplayer game theory model. One such scenario, presented by The payoff matrix for TB model is given in and can be shown to have a single stable equilibrium at growth promoting cells. The TB model thus predicts, in the well mixed
Design and Implementation for an Android based Massively Multiplayer Online Augmented Reality Game Entwurf und Implementierung für ein Android basiertes Massively Multiplayer Online Augmented Reality Game
, 2014
"... Hiermit versichere ich, die vorliegende MasterThesis ohne Hilfe Dritter nur mit den angegebenen Quellen und Hilfsmitteln angefertigt zu haben. Alle Stellen, die aus Quellen entnommen wurden, sind als solche kenntlich gemacht. Diese Arbeit hat in gleicher oder ähnlicher Form noch keiner Prüfungsbeh ..."
Abstract
 Add to MetaCart
such as Ingress, a game created by Google Inc. The game of this thesis motivates the players to meet in the real world and move in groups to certain points of interest like historic monuments. The spatial locality of players, which comes up when players move in groups, makes the game interesting for the research
likelihood and the role of models in molecular phylogenetics.
 Mol. Biol. Evol.
, 2000
"... Methods such as maximum parsimony (MP) are frequently criticized as being statistically unsound and not being based on any ''model.'' On the other hand, advocates of MP claim that maximum likelihood (ML) has some fundamental problems. Here, we explore the connection between the ..."
Abstract

Cited by 70 (11 self)
 Add to MetaCart
to estimate times of divergence. Others will also wish to estimate the character states at the internal nodes. It is thus too simple just to compare ''parsimony'' and ''likelihood.'' Indeed, likelihood itself comes in many flavors, and these will be discussed next
3esis Supervisor Accepted by
, 2005
"... in partial ful2llment of the requirements for the degree of ..."
An approach to deciding observational equivalence of Algollike languages
 Annals of Pure and Applied Logic
"... We prove that observational equivalence of thirdorder nitary (i.e. recursionfree) Idealized Algol (IA) is decidable using Game Semantics. By modelling state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategywithstate i.e. the ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
.e. the strategy is generated by a nite view function f M . Given any such f M , we construct a realtime deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowingstrategy denotation of M . Since such plays characterize observational equivalence, and there is an algorithm
Building a 3rd generation ITS for symbolization: Adding a tutorial model with multiple tutorial strategies
 In Proceedings of the ITS 2000 Workshop on Algebra Learning
, 2000
"... Symbolization is the ability to translate a real world situation into the language of algebra. We believe that symbolization is the single most important skill students learn in high school algebra. We present research on what makes this skill difficult and report the discovery of a “hidden ” skill ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
Symbolization is the ability to translate a real world situation into the language of algebra. We believe that symbolization is the single most important skill students learn in high school algebra. We present research on what makes this skill difficult and report the discovery of a “hidden ” skill
MODELING EXTREME VALUES OF PROCESSES OBSERVED AT IRREGULAR TIME STEPS: APPLICATION TO
"... This work is motivated by the analysis of the extremal behavior of buoy and satellite data describing wave conditions in the North Atlantic Ocean. The available data sets consist of time series of significant wave height (Hs) with irregular time sampling. In such a situation, the usual statistical m ..."
Abstract
 Add to MetaCart
This work is motivated by the analysis of the extremal behavior of buoy and satellite data describing wave conditions in the North Atlantic Ocean. The available data sets consist of time series of significant wave height (Hs) with irregular time sampling. In such a situation, the usual statistical
Results 21  30
of
519