A General Framework for Sound and Complete Floyd-Hoare Logics

This paper presents an abstraction of Hoare logic to traced symmetric monoidal categories, a very general framework for the theory of systems. Our abstraction is based on a traced monoidal functor from an arbitrary traced monoidal category into the category of pre-orders and monotone relations. We give several examples of how our theory generalises usual Hoare logics (partial correctness of while programs, partial correctness of pointer programs), and provide some case studies on how it can be used to develop new Hoare logics (run-time analysis of while programs and stream circuits).Comment: 27 page

Non-steady 3D dendrite tip growth under diffusive and weakly convective conditions

Three dimensional α-Al dendrite tip growth under varying solute gradients in an Al-Cu-Si alloy melt has been studied using real time synchrotron X-ray imaging and mathematical modelling. X-radiographic image sequences with high temporal and spatial resolution were processed and analysed to retrieve three-dimensional spatial details of the evolving dendrite and the solute concentration field, providing vastly improved estimates for the latter, in particular for the melt regions adjacent to the dendrite tips. Computational results obtained from an extended Horvay-Cahn dendrite tip model, capable of taking into account the effects of sample confinement, showed good agreement with the experimental data, and can be taken to verify the robustness of the 3D data extraction protocol.European Commission - Seventh Framework Programme (FP7)Engineering and Physical Sciences Research Council (EPSRC) UKNorwegian Research Council, SYNKNOYT programm

HbA1c levels in non-diabetic older adults - No J-shaped associations with primary cardiovascular events, cardiovascular and all-cause mortality after adjustment for confounders in a meta-analysis of individual participant data from six cohort studies

Background:To determine the shape of the associations of HbA1c with mortality and cardiovascular outcomes in non-diabetic individuals and explore potential explanations. Methods: The associations of HbA1c with all-cause mortality, cardiovascular mortality and primary cardiovascular events (myocardial infarction or stroke) were assessed in non-diabetic subjects ≥50 years from six population-based cohort studies from Europe and the USA and meta-analyzed. Very low, low, intermediate and increased HbA1c were defined as <5.0, 5.0 to <5.5, 5.5 to <6.0 and 6.0 to <6.5 % (equals <31, 31 to <37, 37 to <42 and 42 to <48 mmol/mol), respectively, and low HbA1c was used as reference in Cox proportional hazards models. Results:Overall, 6,769 of 28,681 study participants died during a mean follow-up of 10.7 years, of whom 2,648 died of cardiovascular disease. Furthermore, 2,493 experienced a primary cardiovascular event. A linear association with primary cardiovascular events was observed. Adjustment for cardiovascular risk factors explained about 50 % of the excess risk and attenuated hazard ratios (95 % confidence interval) for increased HbA1c to 1.14 (1.03–1.27), 1.17 (1.00–1.37) and 1.19 (1.04–1.37) for all-cause mortality, cardiovascular mortality and cardiovascular events, respectively. The six cohorts yielded inconsistent results for the association of very low HbA1c levels with the mortality outcomes and the pooled effect estimates were not statistically significant. In one cohort with a pronounced J-shaped association of HbA1c levels with all-cause and cardiovascular mortality (NHANES), the following confounders of the association of very low HbA1c levels with mortality outcomes were identified: race/ethnicity; alcohol consumption; BMI; as well as biomarkers of iron deficiency anemia and liver function. Associations for very low HbA1c levels lost statistical significance in this cohort after adjusting for these confounders.Conclusions: A linear association of HbA1c levels with primary cardiovascular events was observed. For cardiovascular and all-cause mortality, the observed small effect sizes at both the lower and upper end of HbA1c distribution do not support the notion of a J-shaped association of HbA1c levels because a certain degree of residual confounding needs to be considered in the interpretation of the results. Keywords: Glycated hemoglobin, Cardiovascular disease, Myocardial infarction, Stroke, Mortality, Cohort study, Meta-analysi

Variable pulmonary manifestations in Chitayat syndrome: Six additional affected individuals

Hand hyperphalangism leading to shortened index fingers with ulnar deviation, hallux valgus, mild facial dysmorphism and respiratory compromise requiring assisted ventilation are the key features of Chitayat syndrome. This condition results from the recurrent heterozygous missense variant NM_006494.2:c.266A>G; p.(Tyr89Cys) in ERF on chromosome 19q13.2, encoding the ETS2 repressor factor (ERF) protein. The pathomechanism of Chitayat syndrome is unknown. To date, seven individuals with Chitayat syndrome and the recurrent pathogenic ERF variant have been reported in the literature. Here, we describe six additional individuals, among them only one presenting with a history of assisted ventilation, and the remaining presenting with variable pulmonary phenotypes, including one individual without any obvious pulmonary manifestations. Our findings widen the phenotype spectrum caused by the recurrent pathogenic variant in ERF, underline Chitayat syndrome as a cause of isolated skeletal malformations and therefore contribute to the improvement of diagnostic strategies in individuals with hand hyperphalangism

Should neurosurgeons continue to work in the absence of personal protective equipment during the COVID-19 era?

The COVID-19 pandemic has resulted in a widespread shortage of personal protective equipment (PPE). Many healthcare workers, including neurosurgeons, have expressed concern about how to safely and adequately perform their medical responsibilities in these challenging circumstances. One of these concerns revolves around the pressing question: should providers continue to work in the absence of adequate PPE? Although the first peak of the COVID-19 crisis seems to have subsided and supply of PPE has increased, concerns about insufficient PPE availability remain. Inconsistent supply, limited efficacy, and continued high demand for PPE, combined with the continued threat of a second COVID-19 wave, mean that the issues surrounding PPE availability remain unresolved, including a duty to work. This paper offers an ethical investigation of whether neurosurgeons should perform their professional responsibilities with limited availability of PPE. We evaluate ethical considerations and conflicting duties and thereby hope to facilitate providers in making a well-considered personal and moral decision about this challenging issue.Scientific Assessment and Innovation in Neurosurgical Treatment Strategie

Population-based study of diagnostic assays for Borrelia infection: comparison of purified flagella antigen assay (Ideia™, Dako Cytomation) and recombinant antigen assay (Liaison®, DiaSorin)

<p>Abstract</p> <p>Background</p> <p>Testing for <it>Borrelia</it>-specific IgM and IgG-antibodies are often performed on a variety of poorly defined symptoms, and isolated IgM results are a frequent finding, which results in diagnostic uncertainty and further testing. We wanted to test the hypothesis that Borrelia-specific assays using recombinant antigens perform differently from assays based on purified flagella antigen.</p> <p>Methods</p> <p>We compared the use of recombinant antigens (LIAISON^®DiaSorin, Saluggia, Italy) and purified flagella antigen (IDEIA™ Borrelia, DakoCytomation, Glostrup, Denmark) in the assay for <it>Borrelia</it>-specific IgM and IgG-antibodies. The assays were tested on an unselected population of serum samples submitted from general practice. A total of 357 consecutive samples for analysis of <it>Borrelia </it>IgM and IgG antibodies. Furthermore, we analysed 540 samples for <it>Borrelia</it>-specific IgM or IgG antibodies first by the IDEIA™ and, if they were positive, the samples were further analysed using the LIAISON^®assay. To verify the correctness of the patient's serological status, discrepant samples were analysed by line blots (EcoLine, Virotech).</p> <p>Results</p> <p>In the consecutive series of 357 samples, the IgM assays detected 308 negative and 3 positive samples with concordant results. Compared with the line blot, the IDEIA™ system produced 21 false-positive IgM results, whereas the LIAISON^®system produced only one false-positive IgM result. The IgG assays showed 1 positive and 328 negative concordant results. The LIAISON^®system produced 9 true IgG-positive samples that were not detected by the IDEIA™ system, but the former produced 4 positive IgG results that were negative by line blot.</p> <p>Conclusion</p> <p>Diagnostic assays based on flagella antigen seem to show more false-positive IgM and false-negative IgG results than assays based on recombinant antigens. The latter may reduce the number of presumably false-positive IgM results and identify more IgG-positive subjects, but this system also produces more false-positive IgG results.</p

Simulation techniques for cosmological simulations

Modern cosmological observations allow us to study in great detail the evolution and history of the large scale structure hierarchy. The fundamental problem of accurate constraints on the cosmological parameters, within a given cosmological model, requires precise modelling of the observed structure. In this paper we briefly review the current most effective techniques of large scale structure simulations, emphasising both their advantages and shortcomings. Starting with basics of the direct N-body simulations appropriate to modelling cold dark matter evolution, we then discuss the direct-sum technique GRAPE, particle-mesh (PM) and hybrid methods, combining the PM and the tree algorithms. Simulations of baryonic matter in the Universe often use hydrodynamic codes based on both particle methods that discretise mass, and grid-based methods. We briefly describe Eulerian grid methods, and also some variants of Lagrangian smoothed particle hydrodynamics (SPH) methods.Comment: 42 pages, 16 figures, accepted for publication in Space Science Reviews, special issue "Clusters of galaxies: beyond the thermal view", Editor J.S. Kaastra, Chapter 12; work done by an international team at the International Space Science Institute (ISSI), Bern, organised by J.S. Kaastra, A.M. Bykov, S. Schindler & J.A.M. Bleeke

Application of non-HDL cholesterol for population-based cardiovascular risk stratification: results from the Multinational Cardiovascular Risk Consortium.

BACKGROUND: The relevance of blood lipid concentrations to long-term incidence of cardiovascular disease and the relevance of lipid-lowering therapy for cardiovascular disease outcomes is unclear. We investigated the cardiovascular disease risk associated with the full spectrum of bloodstream non-HDL cholesterol concentrations. We also created an easy-to-use tool to estimate the long-term probabilities for a cardiovascular disease event associated with non-HDL cholesterol and modelled its risk reduction by lipid-lowering treatment. METHODS: In this risk-evaluation and risk-modelling study, we used Multinational Cardiovascular Risk Consortium data from 19 countries across Europe, Australia, and North America. Individuals without prevalent cardiovascular disease at baseline and with robust available data on cardiovascular disease outcomes were included. The primary composite endpoint of atherosclerotic cardiovascular disease was defined as the occurrence of the coronary heart disease event or ischaemic stroke. Sex-specific multivariable analyses were computed using non-HDL cholesterol categories according to the European guideline thresholds, adjusted for age, sex, cohort, and classical modifiable cardiovascular risk factors. In a derivation and validation design, we created a tool to estimate the probabilities of a cardiovascular disease event by the age of 75 years, dependent on age, sex, and risk factors, and the associated modelled risk reduction, assuming a 50% reduction of non-HDL cholesterol. FINDINGS: Of the 524 444 individuals in the 44 cohorts in the Consortium database, we identified 398 846 individuals belonging to 38 cohorts (184 055 [48·7%] women; median age 51·0 years [IQR 40·7-59·7]). 199 415 individuals were included in the derivation cohort (91 786 [48·4%] women) and 199 431 (92 269 [49·1%] women) in the validation cohort. During a maximum follow-up of 43·6 years (median 13·5 years, IQR 7·0-20·1), 54 542 cardiovascular endpoints occurred. Incidence curve analyses showed progressively higher 30-year cardiovascular disease event-rates for increasing non-HDL cholesterol categories (from 7·7% for non-HDL cholesterol <2·6 mmol/L to 33·7% for ≥5·7 mmol/L in women and from 12·8% to 43·6% in men; p<0·0001). Multivariable adjusted Cox models with non-HDL cholesterol lower than 2·6 mmol/L as reference showed an increase in the association between non-HDL cholesterol concentration and cardiovascular disease for both sexes (from hazard ratio 1·1, 95% CI 1·0-1·3 for non-HDL cholesterol 2·6 to <3·7 mmol/L to 1·9, 1·6-2·2 for ≥5·7 mmol/L in women and from 1·1, 1·0-1·3 to 2·3, 2·0-2·5 in men). The derived tool allowed the estimation of cardiovascular disease event probabilities specific for non-HDL cholesterol with high comparability between the derivation and validation cohorts as reflected by smooth calibration curves analyses and a root mean square error lower than 1% for the estimated probabilities of cardiovascular disease. A 50% reduction of non-HDL cholesterol concentrations was associated with reduced risk of a cardiovascular disease event by the age of 75 years, and this risk reduction was greater the earlier cholesterol concentrations were reduced. INTERPRETATION: Non-HDL cholesterol concentrations in blood are strongly associated with long-term risk of atherosclerotic cardiovascular disease. We provide a simple tool for individual long-term risk assessment and the potential benefit of early lipid-lowering intervention. These data could be useful for physician-patient communication about primary prevention strategies. FUNDING: EU Framework Programme, UK Medical Research Council, and German Centre for Cardiovascular Research

The importance of maternal insulin resistance throughout pregnancy on neonatal adiposity

Background: Although previous studies evaluated the association of maternal health parameters with neonatal adiposity, little is known regarding the complexity of the relationships among different maternal health parameters throughout pregnancy and its impact on neonatal adiposity. Objectives: To evaluate the direct and indirect associations between maternal insulin resistance during pregnancy, in women with obesity, and neonatal adiposity. In addition, associations between maternal fasting glucose, triglycerides (TG), non-esterified fatty acids (NEFA), and neonatal adiposity were also assessed. Methods: This is a longitudinal, secondary analysis of the DALI study, an international project conducted in nine European countries with pregnant women with obesity. Maternal insulin resistance (HOMA-IR), fasting glucose, TG, and NEFA were measured three times during pregnancy (<20, 24-28, and 35-37 weeks of gestation). Offspring neonatal adiposity was estimated by the sum of four skinfolds. Structural equation modelling was conducted to evaluate the direct and indirect relationships among the variables of interest. Results: Data on 657 mother-infant pairs (50.7% boys) were analysed. Neonatal boys exhibited lower mean sum of skinfolds compared to girls (20.3 mm, 95% CI 19.7, 21.0 vs 21.5 mm, 95% CI 20.8, 22.2). In boys, maternal HOMA-IR at <20 weeks was directly associated with neonatal adiposity (β = 0.35 mm, 95% CI 0.01, 0.70). In girls, maternal HOMA-IR at 24-28 weeks was only indirectly associated with neonatal adiposity, which implies that this association was mediated via maternal HOMA-IR, glucose, triglycerides, and NEFA during pregnancy (β = 0.26 mm, 95% CI 0.08, 0.44). Conclusions: The timing of the role of maternal insulin resistance on neonatal adiposity depends on fetal sex. Although the association was time-dependent, maternal insulin resistance was associated with neonatal adiposity in both sexes