We extend our framework of incremental proof planning. By employing nested sets of metarules the formulation of strategies may be structured. By switching to another metarule set the planner can adjust to a new situation within the proof. The new metarule set represents a more specialized strategy better suited for the current situation. We deene the semantics of our framework by an inference s...

Axelrod’s originally experiments for evolving IPD player strategies involved the use of a basic GA. In this paper we examine how well a simple GA performs against the more recent Population Based Incremental Learning system under similar conditions. We find that while PBIL performs well, GA in general does slightly better although more experiments should be conducted.

OBJECTIVE To investigate the role of initial nonsteroidal antiinflammatory drug (NSAID) choice in the prevention of NSAID gastropathy, based on relative clinical and economic effects. METHODS To mimic clinical practice, a symptom-driven decision analytic model was constructed to compare 2 treatment strategies for long-term users of NSAIDs over a 1-year period: Strategy 1-generic NSAID used in...

OBJECTIVES To assess the relative cost-effectiveness of five gastroprotective strategies for patients in the general population not judged to be at high gastrointestinal (GI) risk requiring regular traditional (t) non-steroidal anti-inflammatory drugs (NSAIDs) for over 3 weeks: tNSAID/H(2) receptor antagonists (H(2)RAs); tNSAID/proton pump inhibitors (PPIs); tNSAID/misoprostol; COX-2 preferenti...

Graph processing challenges are common in modern database systems, with the property graph data model gaining widespread adoption [29]. Due to the novelty of the eld, graph databases and frameworks typically provide their own query language, such as Cypher for Neo4j [27], Gremlin for TinkerPop [28] and GraphScript for SAP HANA [24]. These languages often lack a formal background for their data ...

Graph processing challenges are common in modern database systems, with the property graph data model gaining widespread adoption [29]. Due to the novelty of the eld, graph databases and frameworks typically provide their own query language, such as Cypher for Neo4j [27], Gremlin for TinkerPop [28] and GraphScript for SAP HANA [24]. These languages often lack a formal background for their data ...

BACKGROUND Pre-exposure prophylaxis (PrEP) with antiretrovirals is an efficacious and effective intervention to decrease the risk of HIV (human immunodeficiency virus) acquisition. Yet drug and delivery costs prohibit access in many jurisdictions. In the absence of guidelines for the synthesis of economic evaluations, we developed a protocol for a systematic review of economic evaluation studie...

BACKGROUND The cost-effectiveness of the optimal use of hospital-based acute myocardial infarction (AMI) treatments and their potential impact on coronary heart disease (CHD) mortality in China is not well known. METHODS AND RESULTS The effectiveness and costs of optimal use of hospital-based AMI treatments were estimated by the CHD Policy Model-China, a Markov-style computer simulation model...

BACKGROUND Screening for hereditary hemochromatosis is traditionally done by using serum iron studies. However, mutation analysis of the hemochromatosis-associated HFE gene has recently become available. OBJECTIVE To compare the cost-effectiveness of no screening with four screening strategies that incorporate HFE gene testing or serum iron studies. DESIGN Cost-effectiveness analysis. DAT...