Learn More
This document details an initial study into cognitive abilities that may be enhanced from playing computer games. Using a neuro-psychological assessment software package titled SynWin, participants were tested for their ability to function in a synthetic work environment. Scores were recorded and after playing computer games for specified lengths of time,(More)
We present a generic modular policy modelling framework and instantiate it with a substantial case study for model-based testing of some key security mechanisms of applications and services of the NPfIT. NPfIT, the National Programme for IT, is a very large-scale development project aiming to modernise the IT infrastructure of the NHS in England. Consisting(More)
We describe Glosser, a system that supports students in writing essays by 1) scaffolding their reflection with trigger questions, and 2) using text mining techniques to provide content clues that can help answer those questions. A comparison with other computer generated feedback and scorings systems is provided to explain the novelty of the approach. We(More)
There is a variety of applications that can bene®t from the ability to ®nd optimal or good solutions to a proposed problem, automatically. The arti®cial intelligent (AI) community has been actively involved in ef®cient problem-solving in complex domains such as military or spacecraft problems with successful results. In this paper, we describe the(More)
Analyses of whole-genome data often reveal that some genes have evolutionary histories that diverge from the majority phylogeny estimated for the entire genome. We present a probabilistic model that deals with heterogeneity among gene trees, implement it via the Gibbs sampler, and apply it to the plastid genome. Plastids and their genomes are transmitted as(More)
INTRODUCTION Indeterminate pulmonary nodules (IPNs) lack clinical or radiographic features of benign etiologies and often undergo invasive procedures unnecessarily, suggesting potential roles for diagnostic adjuncts using molecular biomarkers. The primary objective was to validate a multivariate classifier that identifies likely benign lung nodules by(More)