Evaluating humanhuman communication protocols with miscommunication generation and model checking

Abstract. Human-human communication is critical to safe operations in domains such as air transportation where airlines develop and train pilots on communication procedures with the goal to ensure that they check that verbal air traffic clearances are correctly heard and executed. Such communication protocols should be designed to be robust to miscommunication. However, they can fail in ways unanticipated by designers. In this work, we present a method for modeling human-human communication protocols using the Enhanced Operator Function Model with Communications (EOFMC), a task analytic modeling formalism that can be interpreted by a model checker. We describe how miscommunications can be generated from instantiated EOFMC models of human-human communication protocols. Using an air transportation example, we show how model checking can be used to evaluate if a given protocol will ensure successful communication. Avenues of future research are explored

Reversed anisotropies and thermal contraction of FCC (110) surfaces

The observed anisotropies of surface vibrations for unreconstructed FCC metal (110) surfaces are often reversed from the "common sense" expectation. The source of these reversals is investigated by performing ab initio density functional theory calculations to obtain the surface force constant tensors for Ag(110), Cu(110) and Al(110). The most striking result is a large enhancement in the coupling between the first and third layers of the relaxed surface, which strongly reduces the amplitude of out-of-plane vibrations of atoms in the first layer. This also provides a simple explanation for the thermal contraction of interlayer distances. Both the anisotropies and the thermal contraction arise primarily as a result of the bond topology, with all three (110) surfaces showing similar behavior.Comment: 13 pages, in revtex format, plus 1 postscript figur

Systemic Correlates of Angiographic Coronary Artery Disease

Coronary angiography allows a direct evaluation of coronary anatomy. The aim of the present investigation was to search for correlations between the magnitude of coronary artery disease, as assessed by angiography, and a number of systemic parameters. A group of 116 patients (80 male, 36 female) with coronary heart disease diagnosed by angiography, aged 62.0±10.5 years, was the subject of an observational study. Correlation and linear regression analysis using coronary artery disease burden (CADB - sum of the percentage of the luminal stenosis encountered in all the lesions of the coronary arterial trees) as dependent variable, and age, sex, plasma calcium, phosphorus, magnesium, glucose, HDL cholesterol, LDL cholesterol, triglycerides, uric acid, estimated glomerular filtration rate and body mass index as independent variables, were carried out. Significant correlation values versus CADB were seen with age (r 0.19, p 0.04), uric acid (r 0.18, p 0.048) and fasting plasma glucose (r 0.33, p<0.001). Linear regression analysis, yielding a global significance level of 0.002, showed a significant value for glucose (p 0.018) and for sex (0.008). In conclusion, among several systemic parameters studied, plasma glucose was found to be correlated to coronary artery atherosclerosis lesions

First-principles calculation of the thermal properties of silver

The thermal properties of silver are calculated within the quasi-harmonic approximation, by using phonon dispersions from density-functional perturbation theory, and the pseudopotential plane-wave method. The resulting free energy provides predictions for the temperature dependence of various quantities such as the equilibrium lattice parameter, the bulk modulus, and the heat capacity. Our results for the thermal properties are in good agreement with available experimental data in a wide range of temperatures. As a by-product, we calculate phonon frequency and Grueneisen parameter dispersion curves which are also in good agreement with experiment.Comment: 9 pages, 8 figures, submitted to Phys. Rev. B April 30, 1998). Other related publications can be found at http://www.rz-berlin.mpg.de/th/paper.htm

The Inducible lac Operator-Repressor System Is Functional in Zebrafish Cells

BackgroundZebrafish are a foundational model organism for studying the spatio-temporal activity of genes and their regulatory sequences. A variety of approaches are currently available for editing genes and modifying gene expression in zebrafish, including RNAi, Cre/lox, and CRISPR-Cas9. However, the lac operator-repressor system, an E. coli lac operon component which has been adapted for use in many other species and is a valuable, flexible tool for inducible modulation of gene expression studies, has not been previously tested in zebrafish.ResultsHere we demonstrate that the lac operator-repressor system robustly decreases expression of firefly luciferase in cultured zebrafish fibroblast cells. Our work establishes the lac operator-repressor system as a promising tool for the manipulation of gene expression in whole zebrafish.ConclusionOur results lay the groundwork for the development of lac-based reporter assays in zebrafish, and adds to the tools available for investigating dynamic gene expression in embryogenesis. We believe this work will catalyze the development of new reporter assay systems to investigate uncharacterized regulatory elements and their cell-type specific activities

Relations between lipoprotein(a) concentrations, LPA genetic variants, and the risk of mortality in patients with established coronary heart disease: a molecular and genetic association study

Background: Lipoprotein(a) concentrations in plasma are associated with cardiovascular risk in the general population. Whether lipoprotein(a) concentrations or LPA genetic variants predict long-term mortality in patients with established coronary heart disease remains less clear. Methods: We obtained data from 3313 patients with established coronary heart disease in the Ludwigshafen Risk and Cardiovascular Health (LURIC) study. We tested associations of tertiles of lipoprotein(a) concentration in plasma and two LPA single-nucleotide polymorphisms ([SNPs] rs10455872 and rs3798220) with all-cause mortality and cardiovascular mortality by Cox regression analysis and with severity of disease by generalised linear modelling, with and without adjustment for age, sex, diabetes diagnosis, systolic blood pressure, BMI, smoking status, estimated glomerular filtration rate, LDL-cholesterol concentration, and use of lipid-lowering therapy. Results for plasma lipoprotein(a) concentrations were validated in five independent studies involving 10 195 patients with established coronary heart disease. Results for genetic associations were replicated through large-scale collaborative analysis in the GENIUS-CHD consortium, comprising 106 353 patients with established coronary heart disease and 19 332 deaths in 22 studies or cohorts. Findings: The median follow-up was 9·9 years. Increased severity of coronary heart disease was associated with lipoprotein(a) concentrations in plasma in the highest tertile (adjusted hazard radio [HR] 1·44, 95% CI 1·14–1·83) and the presence of either LPA SNP (1·88, 1·40–2·53). No associations were found in LURIC with all-cause mortality (highest tertile of lipoprotein(a) concentration in plasma 0·95, 0·81–1·11 and either LPA SNP 1·10, 0·92–1·31) or cardiovascular mortality (0·99, 0·81–1·2 and 1·13, 0·90–1·40, respectively) or in the validation studies. Interpretation: In patients with prevalent coronary heart disease, lipoprotein(a) concentrations and genetic variants showed no associations with mortality. We conclude that these variables are not useful risk factors to measure to predict progression to death after coronary heart disease is established. Funding: Seventh Framework Programme for Research and Technical Development (AtheroRemo and RiskyCAD), INTERREG IV Oberrhein Programme, Deutsche Nierenstiftung, Else-Kroener Fresenius Foundation, Deutsche Stiftung für Herzforschung, Deutsche Forschungsgemeinschaft, Saarland University, German Federal Ministry of Education and Research, Willy Robert Pitzer Foundation, and Waldburg-Zeil Clinics Isny

The rationale and design of the perindopril genetic association study (PERGENE): A pharmacogenetic analysis of angiotensin-converting enzyme inhibitor therapy in patients with stable coronary artery disease

Background: Angiotensin-converting enzyme (ACE) inhibitors reduce clinical symptoms and improve outcome in patients with hypertension, heart failure, and stable coronary artery disease (CAD) and are among the most frequently used drugs in these patient groups. For hypertension, treatment is guided by the level of blood pressure. In the secondary prevention setting, there are no means of guiding therapy. Prior attempts to target ACE-inhibitors to those patients that are most likely to benefit have not been successful, mainly due to the consistency in the treatment effect in clinical subgroups. Still, for prolonged prophylactic treatment with ACE-inhibitors it would be best to target treatment to only those patients most likely to benefit, which would considerably lower the number needed to treat and increase cost-effectiveness. A new approach for such "tailored-therapy" may be to integrate information on the genetic variation between patients. Until now, pharmacogenetic research of the efficacy of ACE-inhibitor therapy in CAD patients is still in a preliminary stage. Methods: The PERindopril GENEtic association study (PERGENE) is a substudy of the EUROPA trial, a randomized double-blind placebo-controlled multicentre clinical trial which demonstrated a beneficial effect of the ACE-inhibitor perindopril in reducing cardiovascular morbidity and mortality in 12.218 patients with stable coronary artery disease (mean follow-up 4.2 years). Blood tubes were received from patients at the beginning of the EUROPA trial and buffy coats were stored at -40°C at the central core laboratory. Candidate genes were selected in the renin-angiotensin-system and bradykinin pathways. Polymorphisms were selected based on haplotype tagging principles using the HapMap genome project, Seattle and other up-to-date genetic database platforms to comprehensively cover all common genetic variation within the genes. Selection also took into consideration the functionality of SNP's, location within the gene (promoter) and existing relevant literature. The main outcome measure of PERGENE is the effect of genetic factors on the treatment benefit with ACE-inhibitors. The size of this pharmacogenetic substudy allows detection with a statistical power of 98% to detect a difference in hazard ratios (treatment effect) of 20% between genotypes with minor allele frequency of 0.20 (two-sided alpha 0.05). Conclusion: The PERGENE study is a large cardiovascular pharmacogenetic study aimed to assess the feasibility of pharmacogenetic profiling of the treatment effect of ACE-inhibitor use with the perspective to individualize treatment in patients with stable coronary artery disease

A common variant of the MACC1 gene is significantly associated with overall survival in colorectal cancer patients

<p>Abstract</p> <p>Background</p> <p>The newly discovered metastasis-associated in colon cancer-1 (MACC1) gene is a key regulator of the HGF/MET pathway. Deregulation of HGF/MET signaling is reported as a prognostic marker for tumorigenesis, early stage invasion, and metastasis. High expression levels of MACC1 have been associated with colon cancer metastasis and reduced survival. Potential links between the genetic diversity of the MACC1 locus and overall survival are unknown. We therefore investigated the association between MACC1 tagging single nucleotide polymorphisms (SNPs) and overall survival in a large cohort of colorectal cancer patients.</p> <p>Methods</p> <p>The study included 318 subjects with histopathologically proven colorectal cancer at the Academic Teaching Hospital Feldkirch, Austria. Survival data were provided by the federal agency for statistics in Austria. Genomic DNA was isolated from formalin-fixed paraffin-embedded specimens; six tagging SNPs (rs1990172, rs3114446, rs10275612, rs3095007, rs3095009, and rs7780032), capturing most of the common variants of the MACC1 locus, were genotyped by SNaPshot assays.</p> <p>Results</p> <p>Over a mean follow up period of 5.3 (± 1.0) years, 94 deaths were recorded. Carriers of the G-allele of SNP rs1990172 showed a significantly decreased overall survival (additive HR = 1.38 [1.05-1.82]; <it>p </it>= 0.023). Multivariate analysis adjusted for age and UICC tumor stage confirmed this result (HR = 1.49 [1.12-1.98]; <it>p </it>= 0.007). Other investigated genetic variants of the MACC1 gene were not significantly associated with overall survival (<it>p</it>-values > 0.05).</p> <p>Conclusions</p> <p>For the first time, our study investigated the influence of MACC1 tagging polymorphisms on overall survival suggesting SNP rs1990172 as a predictor for reduced overall survival in colorectal cancer patients. Further studies will be required to validate our findings.</p

Associations of Polymorphisms in the Peroxisome Proliferator-Activated Receptor Gamma Coactivator-1 Alpha Gene With Subsequent Coronary Heart Disease: An Individual-Level Meta-Analysis

Background: The knowledge of factors influencing disease progression in patients with established coronary heart disease (CHD) is still relatively limited. One potential pathway is related to peroxisome proliferator–activated receptor gamma coactivator-1 alpha (PPARGC1A), a transcription factor linked to energy metabolism which may play a role in the heart function. Thus, its associations with subsequent CHD events remain unclear. We aimed to investigate the effect of three different SNPs in the PPARGC1A gene on the risk of subsequent CHD in a population with established CHD. Methods: We employed an individual-level meta-analysis using 23 studies from the GENetIcs of sUbSequent Coronary Heart Disease (GENIUS-CHD) consortium, which included participants (n = 80,900) with either acute coronary syndrome, stable CHD, or a mixture of both at baseline. Three variants in the PPARGC1A gene (rs8192678, G482S; rs7672915, intron 2; and rs3755863, T528T) were tested for their associations with subsequent events during the follow-up using a Cox proportional hazards model adjusted for age and sex. The primary outcome was subsequent CHD death or myocardial infarction (CHD death/myocardial infarction). Stratified analyses of the participant or study characteristics as well as additional analyses for secondary outcomes of specific cardiovascular disease diagnoses and all-cause death were also performed. Results: Meta-analysis revealed no significant association between any of the three variants in the PPARGC1A gene and the primary outcome of CHD death/myocardial infarction among those with established CHD at baseline: rs8192678, hazard ratio (HR): 1.01, 95% confidence interval (CI) 0.98–1.05 and rs7672915, HR: 0.97, 95% CI 0.94–1.00; rs3755863, HR: 1.02, 95% CI 0.99–1.06. Similarly, no significant associations were observed for any of the secondary outcomes. The results from stratified analyses showed null results, except for significant inverse associations between rs7672915 (intron 2) and the primary outcome among 1) individuals aged ≥65, 2) individuals with renal impairment, and 3) antiplatelet users. Conclusion: We found no clear associations between polymorphisms in the PPARGC1A gene and subsequent CHD events in patients with established CHD at baseline