Hybrid Rules with Well-Founded Semantics

A general framework is proposed for integration of rules and external first order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas of Constraint Logic Programming (CLP) and constructive negation for logic programs. Hybrid rules are normal clauses extended with constraints in the bodies; constraints are certain formulae in the language of the external theory. A hybrid program is a pair of a set of hybrid rules and an external theory. Instances of the framework are obtained by specifying the class of external theories, and the class of constraints. An example instance is integration of (non-disjunctive) Datalog with ontologies formalized as description logics. The paper defines a declarative semantics of hybrid programs and a goal-driven formal operational semantics. The latter can be seen as a generalization of SLS-resolution. It provides a basis for hybrid implementations combining Prolog with constraint solvers. Soundness of the operational semantics is proven. Sufficient conditions for decidability of the declarative semantics, and for completeness of the operational semantics are given

White Blood Cell Count and Major Adverse Cardiovascular Events After Percutaneous Coronary Intervention in the Contemporary Era: Insights From the PARIS Study (Patterns of Non-Adherence to Anti-Platelet Regimens in Stented Patients Registry).

Elevated white blood cell (WBC) count is associated with increased major adverse cardiovascular events (MACE) in the setting of acute coronary syndrome. The aim of this study was to evaluate whether similar associations persist in an all-comers population of patients undergoing percutaneous coronary intervention in the contemporary era. In the multicenter, prospective, observational PARIS study (Patterns of Non-Adherence to Anti-Platelet Regimens in Stented Patients Registry), 4222 patients who underwent percutaneous coronary intervention in the United States and Europe between July 1, 2009, and December 2, 2010, were evaluated. The associations between baseline WBC and MACE (composite of cardiac death, stent thrombosis, spontaneous myocardial infarction, or target lesion revascularization) at 24-month follow-up were analyzed using multivariable Cox regression. Patients with higher WBC were more often younger, smokers, and with less comorbid risk factors compared with those with lower WBC. After adjustment for baseline and procedural characteristics, WBC remained independently associated with MACE (hazard ratio [HR] per 10(3) cells/μL increase, 1.05 [95% confidence intervals (CI), 1.02-1.09]; P=0.001), cardiac death (HR, 1.10 [95% CI, 1.05-1.17]; P<0.001), and clinically indicated target revascularization (HR, 1.04 [95% CI, 1.00-1.09]; P=0.03) but not stent thrombosis (HR, 1.07 [95% CI, 0.99-1.16]; P=0.10) or spontaneous myocardial infarction (HR, 1.03 [95% CI, 0.97-1.09]; P=0.29). The association between WBC and MACE was consistent in acute coronary syndrome and non-acute coronary syndrome presentations (interaction P=0.15). Increased WBC is an independent predictor of MACE after percutaneous coronary intervention in a contemporary all-comers cohort. Further studies to delineate the underlying pathophysiologic role of elevated WBC across a spectrum of coronary artery disease presentations are warranted. URL: http://www.clinicaltrials.gov. Unique identifier: NCT00998127

Being, Becoming and the Undivided Universe: A Dialogue between Relational Blockworld and the Implicate Order Concerning the Unification of Relativity and Quantum Theory

In this paper two different approaches to unification will be compared, Relational Blockworld (RBW) and Hiley's implicate order. Both approaches are monistic in that they attempt to derive matter and spacetime geometry 'at once' in an interdependent and background independent fashion from something underneath both quantum theory and relativity. Hiley's monism resides in the implicate order via Clifford algebras and is based on process as fundamental while RBW's monism resides in spacetimematter via path integrals over graphs whereby space, time and matter are co-constructed per a global constraint equation. RBW's monism therefore resides in being (relational blockworld) while that of Hiley's resides in becoming (elementary processes). Regarding the derivation of quantum theory and relativity, the promises and pitfalls of both approaches will be elaborated. Finally, special attention will be paid as to how Hiley's process account might avoid the blockworld implications of relativity and the frozen time problem of canonical quantum gravity.Comment: 33 pages, 7 figures. Revised to include modified Regge calculus results. Accepted for publication in Foundations of Physics. arXiv admin note: substantial text overlap with arXiv:1106.333

Sigma-term physics in the perturbative chiral quark model

We apply the perturbative chiral quark model (PCQM) at one loop to analyse meson-baryon sigma-terms. Analytic expressions for these quantities are obtained in terms of fundamental parameters of low-energy pion-nucleon physics (weak pion decay constant, axial nucleon coupling, strong pion-nucleon form factor) and of only one model parameter (radius of the nucleonic three-quark core). Our result for the piN sigma term of about 45 MeV is in good agreement with the value deduced by Gasser, Leutwyler and Sainio using dispersion-relation techniques and exploiting the chiral symmetry constraints.Comment: 19 pages, LaTeX-file, 2 Figure

Summer 1967

Massachusetts Turf and Lawn Grass CouncilBetter Turf Through Research and Educatio

Causes, Timing, and Impact of Dual Antiplatelet Therapy Interruption for Surgery (from the Patterns of Non-adherence to Anti-platelet Regimens In Stented Patients Registry).

Temporary interruption of dual antiplatelet therapy (DAPT) is not infrequently required in patients undergoing percutaneous coronary intervention (PCI). We sought to describe the procedures and outcomes associated with DAPT interruption in patients treated with DAPT following successful PCI from the Patterns of non-adherence to anti-platelet regimens in stented patients registry (n = 5018). DAPT interruption was prespecified as physician recommended cessation for <14 days. Of the study cohort, 490 patients (9.8%) experienced 594 DAPT interruptions over 2 years following PCI. Only 1 antiplatelet agent was interrupted in 57.2% cases and interruption was frequently recommended by noncardiologists (51.3%). Where type of surgery was reported, majority of DAPT interruptions occurred for minor surgery (68.4% vs 31.6%) and a similar cessation pattern of single versus dual antiplatelet cessation was observed regardless of minor or major surgery. Subsequent to DAPT interruption, 12 patients (2.4%) experienced 1 thrombotic event each, of which 5 (1.0%) occurred during the interruption period. All events occurred in patients who either stopped both agents (8 of 12) or clopidogrel-only (4 of 12), with no events occurring due to aspirin cessation alone. In conclusion, in the Patterns of Non-adherence to Anti-platelet Regiments in Stented Patients registry, 1 in 10 patients were recommended DAPT interruption for surgery within 2 years of PCI. Interruption was more common for a single agent rather than both antiplatelet agents regardless of severity of surgery, and was frequently recommended by noncardiologists. Only 1% of patients with DAPT interruption experienced a subsequent thrombotic event during the interruption period, which mainly occurred in patients stopping both antiplatelet agents

Hemodynamic Effects of Fenofibrate and Coenzyme Q10 in Type 2 Diabetic Subjects With Left Ventricular Diastolic Dysfunction

OBJECTIVE—To investigate the effects of fenofibrate and coenzyme Q10 (CoQ) on diastolic function, ambulatory blood pressure (ABP), and heart rate (HR) in type 2 diabetic subjects with left ventricular diastolic dysfunction (LVDD)

Recruitment of men to a multi-centre diabetes prevention trial: an evaluation of traditional and online promotional strategies

Background: Effective interventions are required to prevent the current rapid increase in the prevalence of Type 2 diabetes. Clinical trials of large-scale interventions to prevent Type 2 diabetes are essential but recruitment is challenging and expensive, and there are limited data regarding the most cost-effective and efficient approaches to recruitment. This paper aims to evaluate the cost and effectiveness of a range of promotional strategies used to recruit men to a large Type 2 diabetes prevention trial. Methods: An observational study was conducted nested within the Testosterone for the Prevention of Type 2 Diabetes (T4DM) study, a large, multi-centre randomised controlled trial (RCT) of testosterone treatment for the prevention of Type 2 diabetes in men aged 50–74 years at high risk of developing diabetes. Study participation was promoted via mainstream media—television, newspaper and radio; direct marketing using mass mail-outs, publicly displayed posters and attendance at local events; digital platforms, including Facebook and Google; and online promotions by community organisations and businesses. For each strategy, the resulting number of participants and the direct cost involved were recorded. The staff effort required for each strategy was estimated based on feedback from staff. Results: Of 19,022 men screened for the study, 1007 (5%) were enrolled. The most effective recruitment strategies were targeted radio advertising (accounting for 42% of participants), television news coverage (20%) and mass mail-outs (17%). Other strategies, including radio news, publicly displayed posters, attendance at local events, newspaper advertising, online promotions and Google and Facebook advertising, each accounted for no more than 4% of enrolled participants. Recruitment promotions cost an average of AU$594 per randomised participant. The most cost-effective paid strategy was mass mail-outs by a government health agency (AU$745 per participant). Other paid strategies were more expensive: mail-out by general practitioners (GPs) (AU$1104 per participant), radio advertising (AU$1081) and newspaper advertising (AU$1941). Conclusion: Radio advertising, television news coverage and mass mail-outs by a government health agency were the most effective recruitment strategies. Close monitoring of recruitment outcomes and ongoing enhancement of recruitment activities played a central role in recruitment to this RCT.Karen Bracken, Wendy Hague, Anthony Keech, Ann Conway, David J. Handelsman, Mathis Grossmann, David Jesudason, Bronwyn Stuckey, Bu B. Yeap, Warrick Inder, Carolyn Allan, Robert McLachlan, Kristy P. Robledo and Gary Witter

Cost-effectiveness of adding indoor residual spraying to case management in Afghan refugee settlements in Northwest Pakistan during a prolonged malaria epidemic.

INTRODUCTION: Financing of malaria control for displaced populations is limited in scope and duration, making cost-effectiveness analyses relevant but difficult. This study analyses cost-effectiveness of adding prevention through targeted indoor residual spraying (IRS) to case management in Afghan refugee settlements in Pakistan during a prolonged malaria epidemic. METHODS/FINDINGS: An intervention study design was selected, taking a societal perspective. Provider and household costs of vector control and case management were collected from provider records and community survey. Health outcomes (e.g. cases and DALYs averted) were derived and incremental cost-effectiveness ratios (ICERs) for cases prevented and DALYs averted calculated. Population, treatment cost, women's time, days of productivity lost, case fatality rate, cases prevented, and DALY assumptions were tested in sensitivity analysis. Malaria incidence peaked at 44/1,000 population in year 2, declining to 14/1,000 in year 5. In total, 370,000 malaria cases, 80% vivax, were diagnosed and treated and an estimated 67,988 vivax cases and 18,578 falciparum and mixed cases prevented. Mean annual programme cost per capita was US$0.56. The additional cost of including IRS over five years per case prevented was US$39; US$50 for vivax (US$43 in years 1-3, US$80 in years 4-5) and US$182 for falciparum (US$139 in years 1-3 and US$680 in years 4-5). Per DALY averted this was US$266 (US$220 in years 1-3 and US$486 in years 4-5) and thus 'highly cost-effective' or cost-effective using WHO and comparison thresholds. CONCLUSIONS: Adding IRS was cost-effective in this moderate endemicity, low mortality setting. It was more cost-effective when transmission was highest, becoming less so as transmission reduced. Because vivax was three times more common than falciparum and the case fatality rate was low, cost-effectiveness estimations for cases prevented appear reliable and more definitive for vivax malaria

Effects of Ambulant Myofeedback Training and Ergonomic Counselling in Female Computer Workers with Work-Related Neck-Shoulder Complaints: A Randomized Controlled Trial

Objective: To investigate the effects of ambulant myofeedback training including ergonomic counselling (Mfb) and ergonomic counselling alone (EC), on work-related neck-shoulder pain and disability. Methods: Seventy-nine female computer workers reporting neck-shoulder complaints were randomly assigned to Mfb or EC and received four weeks of intervention. Pain intensity in neck, shoulders, and upper back, and pain disability, were measured at baseline, immediately after intervention, and at three and six months follow-up. Results: Pain intensity and disability had significantly decreased immediately after four weeks Mfb or EC, and the effects remained at follow up. No differences were observed between the Mfb and EC group for outcome and subjects in both intervention groups showed comparable chances for improvement in pain intensity and disability. Conclusions: Pain intensity and disability significantly reduced after both interventions and this effect remained at follow-up. No differences were observed between the two intervention groups