ATHENA DSS is a decision-support system that provides recommendations for managing hypertension in primary care. ATHENA DSS is built on a component-based architecture called EON. User acceptance of a system like this one depends partly on how well the system explains its reasoning and justifies its conclusions. We addressed this issue by adapting WOZ, a declarative explanation framework, to bui...

This paper describes the ATHENA Decision Support System (DSS), which operationalizes guidelines for hypertension using the EON architecture. ATHENA DSS encourages blood pressure control and recommends guideline-concordant choice of drug therapy in relation to comorbid diseases. ATHENA DSS has an easily modifiable knowledge base that specifies eligibility criteria, risk stratification, blood pre...

In this paper we present a novel approach for the verification of a business process configuration. The approach is formal, so that logic mechanisms are used in the verification process. The approach has been applied in the scope of the project ATHENA for the verification of cross organizational

The strategy of sudden cardiac death prevention by implantable cardioverter defibrillator, in primary prevention, is mainly based on the value of ejection fraction. That means that the approach is not really patient specific. A lot of implanted patients will not receive any shock. The implantation of large categories of patients is interesting on a global therapeutical point of view but, when c...

Feline immunodeficiency virus (FIV), a feline lentivirus related to HIV, causes immune dysfunction in domestic andwild cats. The Pallas’ cat is the only species fromAsia known to harbor a species-specific strain of FIV designated FIVOma in natural populations. Here, a 25% seroprevalence of FIV is reported from 28wildMongolian Pallas’ cats sampled from 2000 to 2008. Phylogenetic analysis of prov...

Zinc (Zn) deficiency reduces crop yields globally. This study investigated the importance of root morphological traits, especially root hairs, in plant growth and Zn uptake. Wild-type barley (Hordeum vulgare) Pallas and its root-hairless mutant brb were grown in soil and solution culture at different levels of Zn supply for 16 d. Root morphological traits (root length, diameter, and surface are...

We present Prioni, a tool that integrates model checking and theorem proving for relational reasoning. Prioni takes as input formulas written in Alloy, a declarative language based on relations. Prioni uses the Alloy Analyzer to check the validity of Alloy formulas for a given scope that bounds the universe of discourse. The Alloy Analyzer can refute a formula if a counterexample exists within ...

Athena is the ATLAS off-line software framework, based upon the GAUDI architecture from LHCb. As part of ATLAS' continuing efforts to enhance and customise the architecture to meet our needs, we have developed a data object description tool suite and service for Athena. The aim is to provide a set of tools to describe, manage, integrate and use the Event Data Model at a design level according t...

1 ATHENA, A HYPERTENSION DECISIONSUPPORT SYSTEM The EON architecture, developed at Stanford Medical Informatics, consists of a set of general components that work together to provide decisionsupport to physicians for guideline-based medical therapy [1]. A clinical application based on the EON architecture is ATHENA (Assessment and Treatment of Hypertension: Evidence-Based Automation), a project...