The xSAP Safety Analysis Platform

This paper describes the xSAP safety analysis platform. xSAP provides several model-based safety analysis features for finite- and infinite-state synchronous transition systems. In particular, it supports library-based definition of fault modes, an automatic model extension facility, generation of safety analysis artifacts such as Dynamic Fault Trees (DFTs) and Failure Mode and Effects Analysis (FMEA) tables. Moreover, it supports probabilistic evaluation of Fault Trees, failure propagation analysis using Timed Failure Propagation Graphs (TFPGs), and Common Cause Analysis (CCA). xSAP has been used in several industrial projects as verification back-end, and is currently being evaluated in a joint R&D Project involving FBK and The Boeing Company

Community-based benchmarking improves spike rate inference from two-photon calcium imaging data

In recent years, two-photon calcium imaging has become a standard tool to probe the function of neural circuits and to study computations in neuronal populations. However, the acquired signal is only an indirect measurement of neural activity due to the comparatively slow dynamics of fluorescent calcium indicators. Different algorithms for estimating spike rates from noisy calcium measurements have been proposed in the past, but it is an open question how far performance can be improved. Here, we report the results of the spikefinder challenge, launched to catalyze the development of new spike rate inference algorithms through crowd-sourcing. We present ten of the submitted algorithms which show improved performance compared to previously evaluated methods. Interestingly, the top-performing algorithms are based on a wide range of principles from deep neural networks to generative models, yet provide highly correlated estimates of the neural activity. The competition shows that benchmark challenges can drive algorithmic developments in neuroscience

A total blood volume or more transfused during pregnancy or after childbirth: Individual patient data from six international population-based observational studies.

BackgroundThis study aimed to compare incidence, management and outcomes of women transfused their blood volume or more within 24 hours during pregnancy or following childbirth.MethodsCombined analysis of individual patient data, prospectively collected in six international population-based studies (France, United Kingdom, Italy, Australia, the Netherlands and Denmark). Massive transfusion in major obstetric haemorrhage was defined as transfusion of eight or more units of red blood cells within 24 hours in a pregnant or postpartum woman. Causes, management and outcomes of women with massive transfusion were compared across countries using descriptive statistics.FindingsThe incidence of massive transfusion was approximately 21 women per 100,000 maternities for the United Kingdom, Australia and Italy; by contrast Denmark, the Netherlands and France had incidences of 82, 66 and 69 per 100,000 maternities, respectively. There was large variation in obstetric and haematological management across countries. Fibrinogen products were used in 86% of women in Australia, while the Netherlands and Italy reported lower use at 35-37% of women. Tranexamic acid was used in 75% of women in the Netherlands, but in less than half of women in the UK, Australia and Italy. In all countries, women received large quantities of colloid/crystalloid fluids during resuscitation (>3·5 litres). There was large variation in the use of compression sutures, embolisation and hysterectomy across countries. There was no difference in maternal mortality; however, variable proportions of women had cardiac arrests, renal failure and thrombotic events from 0-16%.InterpretationThere was considerable variation in the incidence of massive transfusion associated with major obstetric haemorrhage across six high-income countries. There were also large disparities in both transfusion and obstetric management between these countries. There is a requirement for detailed evaluation of evidence underlying current guidance. Furthermore, cross-country comparison may empower countries to reference their clinical care against that of other countries

Genotype-Phenotype Correlation in 153 Adult Patients With Congenital Adrenal Hyperplasia due to 21-Hydroxylase Deficiency: Analysis of the United Kingdom Congenital Adrenal Hyperplasia Adult Study Executive (CaHASE) Cohort

CONTEXT: In congenital adrenal hyperplasia (CAH) due to 21-hydroxylase deficiency, a strong genotype-phenotype correlation exists in childhood. However, similar data in adults are lacking. OBJECTIVE: The objective of the study was to test whether the severity of disease-causing CYP21A2 mutations influences the treatment and health status in adults with CAH. RESEARCH DESIGN AND METHODS: We analyzed the genotype in correlation with treatment and health status in 153 adults with CAH from the United Kingdom Congenital adrenal Hyperplasia Adult Study Executive cohort. RESULTS: CYP21A2 mutations were distributed similarly to previously reported case series. In 7 patients a mutation was identified on only 1 allele. Novel mutations were detected on 1.7% of alleles (5 of 306). Rare mutations were found on 2.3% of alleles (7 of 306). For further analysis, patients were categorized into CYP21A2 mutation groups according to predicted residual enzyme function: null (n = 34), A (n = 42), B (n = 36), C (n = 34), and D (n = 7). Daily glucocorticoid dose was highest in group null and lowest in group C. Fludrocortisone was used more frequently in patients with more severe genotypes. Except for lower female height in group B, no statistically significant associations between genotype and clinical parameters were found. Androgens, blood pressure, lipids, blood glucose, and homeostasis model assessment of insulin resistance were not different between groups. Subjective health status was similarly impaired across groups. CONCLUSIONS: In adults with classic CAH and women with nonclassic CAH, there was a weak association between genotype and treatment, but health outcomes were not associated with genotype. The underrepresentation of males with nonclassic CAH may reflect that milder genotypes result in a milder condition that is neither diagnosed nor followed up in adulthood. Overall, our results suggest that the impaired health status of adults with CAH coming to medical attention is acquired rather than genetically determined and therefore could potentially be improved through modification of treatment

Exploiting Magnetic Resonance Angiography Imaging Improves Model Estimation of BOLD Signal

The change of BOLD signal relies heavily upon the resting blood volume fraction () associated with regional vasculature. However, existing hemodynamic data assimilation studies pretermit such concern. They simply assign the value in a physiologically plausible range to get over ill-conditioning of the assimilation problem and fail to explore actual . Such performance might lead to unreliable model estimation. In this work, we present the first exploration of the influence of on fMRI data assimilation, where actual within a given cortical area was calibrated by an MR angiography experiment and then was augmented into the assimilation scheme. We have investigated the impact of on single-region data assimilation and multi-region data assimilation (dynamic cause modeling, DCM) in a classical flashing checkerboard experiment. Results show that the employment of an assumed in fMRI data assimilation is only suitable for fMRI signal reconstruction and activation detection grounded on this signal, and not suitable for estimation of unobserved states and effective connectivity study. We thereby argue that introducing physically realistic in the assimilation process may provide more reliable estimation of physiological information, which contributes to a better understanding of the underlying hemodynamic processes. Such an effort is valuable and should be well appreciated

High Frequency of Copy Number Variations and Sequence Variants at CYP21A2 Locus: Implication for the Genetic Diagnosis of 21-Hydroxylase Deficiency

BACKGROUND: The systematic study of the human genome indicates that the inter-individual variability is greater than expected and it is not only related to sequence polymorphisms but also to gene copy number variants (CNVs). Congenital Adrenal Hyperplasia due to 21-hydroxylase deficiency (21OHD) is the most common autosomal recessive disorder with a carrier frequency of 1:25 to 1:10. The gene that encodes 21-hydroxylase enzyme, CYP21A2, is considered to be one of the most polymorphic human genes. Copy number variations, such as deletions, which are severe mutations common in 21OHD patients, or gene duplications, which have been reported as rare events, have also been described. The correct characterization of 21OHD alleles is important for disease carrier detection and genetic counselling METHODOLOGY AND FINDINGS: CYP21A2 genotyping by sequencing has been performed in a random sample of the Spanish population, where 144 individuals recruited from university students and employees of the hospital were studied. The frequency of CYP21A2 mutated alleles in our sample was 15.3% (77.3% were mild mutations, 9% were severe mutations and 13.6% were novel variants). Gene dosage assessment was also performed when CYP21A2 gene duplication was suspected. This analysis showed that 7% of individuals bore a chromosome with a duplicated CYP21A2 gene, where one of the copies was mutated. CONCLUSIONS: As far as we know, the present study has shown the highest frequency of 21OHD carriers reported by a genotyping analysis. In addition, a high frequency of alleles with CYP21A2 duplications, which could be misinterpreted as 21OHD alleles, was found. Moreover, a high frequency of novel genetic variations with an unknown effect on 21-hydroxylase activity was also found. The high frequency of gene duplications, as well as novel variations, should be considered since they have an important involvement in carrier testing and genetic counseling