Model Checking a C++ Software Framework, a Case Study

This paper presents a case study on applying two model checkers, SPIN and DIVINE, to verify key properties of a C++ software framework, known as ADAPRO, originally developed at CERN. SPIN was used for verifying properties on the design level. DIVINE was used for verifying simple test applications that interacted with the implementation. Both model checkers were found to have their own respective sets of pros and cons, but the overall experience was positive. Because both model checkers were used in a complementary manner, they provided valuable new insights into the framework, which would arguably have been hard to gain by traditional testing and analysis tools only. Translating the C++ source code into the modeling language of the SPIN model checker helped to find flaws in the original design. With DIVINE, defects were found in parts of the code base that had already been subject to hundreds of hours of unit tests, integration tests, and acceptance tests. Most importantly, model checking was found to be easy to integrate into the workflow of the software project and bring added value, not only as verification, but also validation methodology. Therefore, using model checking for developing library-level code seems realistic and worth the effort.Comment: In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '19), August 26-30, 2019, Tallinn, Estonia. ACM, New York, NY, USA, 11 page

Genome-Wide Studies Reveal that H3K4me3 Modification in Bivalent Genes Is Dynamically Regulated during the Pluripotent Cell Cycle and Stabilized upon Differentiation

Indexación: Web of Science; Scopus.Stem cell phenotypes are reflected by posttranslational histone modifications, and this chromatin-related memory must be mitotically inherited to maintain cell identity through proliferative expansion. In human embryonic stem cells (hESCs), bivalent genes with both activating (H3K4me3) and repressive (H3K27me3) histone modifications are essential to sustain pluripotency. Yet, the molecular mechanisms by which this epigenetic landscape is transferred to progeny cells remain to be established. By mapping genomic enrichment of H3K4me3/H3K27me3 in pure populations of hESCs in G2, mitotic, and G1 phases of the cell cycle, we found striking variations in the levels of H3K4me3 through the G2-M-G1 transition. Analysis of a representative set of bivalent genes revealed that chromatin modifiers involved in H3K4 methylation/demethylation are recruited to bivalent gene promoters in a cell cycle-dependent fashion. Interestingly, bivalent genes enriched with H3K4me3 exclusively during mitosis undergo the strongest upregulation after induction of differentiation. Furthermore, the histone modification signature of genes that remain bivalent in differentiated cells resolves into a cell cycle-independent pattern after lineage commitment. These results establish a new dimension of chromatin regulation important in the maintenance of pluripotencyhttp://mcb.asm.org/content/36/4/61

Atrial fibrillation detection using insertable cardiac monitor after stroke: a real-word cohort study

First published: 09 November 2022Objective: This study aimed to report the real‐world atrial fibrillation (AF) diagnostic yield of the implantable cardiac monitor (ICM) in patients with stroke or transient ischemic attack (TIA), and compare it to patients with an ICM for unexplained syncope. Methods: We used patient data from device clinics across the United States of America with ICM remote monitoring via PaceMate™, implanted for stroke or TIA, and unexplained syncope. Patients with known AF or atrial flutter were excluded. The outcome was AF lasting ≥2 min, adjudicated by International Board of Heart Rhythm Examiners certified cardiac device specialists. Results: We included a total of 2469 patients, 51.1% with stroke or TIA (mean age: 69.7 [SD: 12.2] years, 41.1% female) and 48.9% with syncope (mean age: 67.0 [SD: 17.1] years, 59.4% female). The cumulative AF detection rate in patients with stroke or TIA was 5.5%, 8.9%, and 14.0% at 12, 24, and 36 months, respectively. The median episode duration was 73 (interquartile range: 10–456) min, ranging from 2 min to 40.9 days, with 52.3%, 28.6%, and 4.4% of episodes lasting at least 1, 6, and 24 h, respectively. AF detection was increased by age (adjusted hazard ratio [for every 1‐year increase]: 1.024, 95% confidence interval: 1.008–1.040; p = .003), but was not influenced by sex (p = .089). For comparison, the cumulative detection rate at 12, 24, and 36 months were, respectively, 2.4%, 5.2%, and 7.4% in patients with syncope. Conclusion: Patients with stroke or TIA have a higher rate of AF detection. However, this real‐world study shows significantly lower AF detection rates than what has been previously reported.Jean J. Noubiap, Gijo Thomas, Melissa E. Middeldorp, John L. Fitzgerald, Curtis Harper, Prashanthan Sander

Sex disparities in enrolment and reporting of outcomes by sex in contemporary clinical trials of atrial fibrillation

Background:Underrepresentation of females in randomized controlled trials (RCTs)limits generalizability and quality of the evidence guiding treatment of females. This study aimed to measure the sex disparities in participants' recruitment in RCTs of atrial fibrillation (AF) and determine associated factors, and to describe the frequency of outcomes reported by sex. Methods:MEDLINE was searched to identify RCTs of AF published between January 1, 2011, and November 20, 2021, in 12 top‐tier journals. We measured the enrollment of females using the enrollment disparity difference (EDD) which is the difference between the proportion of females in the trial and the proportion of females with AF in the underlying general population (obtained from the Global Burden of Disease). Random‐effects meta‐analyses of the EDD were performed, and multivariable meta‐regression was used to explore factors associated with disparity estimates. We also determined the proportion of trials that included sex‐stratified results. Results:Out of 1133 records screened, 142 trials were included, reporting on a total of 133 532 participants. The random‐effects summary EDD was−0.125 (95%confidence interval [CI] =−0.143 to−0.108), indicating that females were under‐enrolled by 12.5 percentage points. Female enrollment was higher in trials with higher sample size (750, adjusted odds ratio [aOR] 1.065, 95% CI:1.008–1.125), higher mean participants' age (aOR: 1.006, 95% CI: 1.002–1.009), and lower in trials conducted in North America compared to Europe (aOR: 0.945, 95% CI:0.898–0.995). Only 36 trials (25.4%) reported outcomes by sex, and of these 29(80.6%) performed statistical testing of the sex‐by‐treatment interaction. Conclusion:Females remain substantially less represented in RCTs of AF, and sex‐stratified reporting of primary outcomes is infrequent. These findings call for urgent action to improve sex equity in enrollment and sex‐stratified outcomes' reporting in RCTs of AF.Jean Jacques Noubiap, Gijo Thomas, Ulrich Flore Nyaga, John L. Fitzgerald, Celine Gallagher, Melissa E. Middeldorp, Prashanthan Sander

Global Surgery Pro–Con Debate: A Pathway to Bilateral Academic Success or the Bold New Face of Colonialism?

Global surgery, especially academic global surgery, is of tremendous interest to many surgeons. Classically, it entails personnel from high-income countries going to low- and middle-income countries and engaging in educational activities as well as procedures. Academic medical personnel have included students, residents, and attendings. The pervasive notion is that this is a win–win situation for the volunteers and the hosts, that is, a pathway to bilateral academic success. However, a critical examination demonstrates that it can easily become the bold new face of colonialism of a low- and middle-income country by a high-income country

The Local Bubble and Interstellar Material Near the Sun

The properties of interstellar matter (ISM) at the Sun are regulated by our location with respect to the Local Bubble (LB) void in the ISM. The LB is bounded by associations of massive stars and fossil supernovae that have disrupted natal ISM and driven intermediate velocity ISM into the LB interior void. The Sun is located in such a driven ISM parcel. The Local Fluff has a bulk velocity of 19 km/s in the LSR, and an upwind direction towards the center of the gas and dust ring formed by the Loop I supernova remnant interaction with the LB. When the ram pressure of the LIC is included in the total LIC pressure, and if magnetic thermal and cosmic ray pressures are similar, the LIC appears to be in pressure equilibrium with the local hot bubble plasma.Comment: Proceedings of Symposium on the Composition of Matter, honoring Johannes Geiss on the occasion of his 80th birthday. Space Science Reviews (in press

Implementing evidence-based recommended practices for the management of patients with mild traumatic brain injuries in Australian emergency care departments: study protocol for a cluster randomised controlled trial

Background: Mild head injuries commonly present to emergency departments. The challenges facing clinicians in emergency departments include identifying which patients have traumatic brain injury, and which patients can safely be sent home. Traumatic brain injuries may exist with subtle symptoms or signs, but can still lead to adverse outcomes. Despite the existence of several high quality clinical practice guidelines, internationally and in Australia, research shows inconsistent implementation of these recommendations. The aim of this trial is to test the effectiveness of a targeted, theory- and evidence-informed implementation intervention to increase the uptake of three key clinical recommendations regarding the emergency department management of adult patients (18 years of age or older) who present following mild head injuries (concussion), compared with passive dissemination of these recommendations. The primary objective is to establish whether the intervention is effective in increasing the percentage of patients for which appropriate post-traumatic amnesia screening is performed. Methods/design: The design of this study is a cluster randomised trial. We aim to include 34 Australian 24-hour emergency departments, which will be randomised to an intervention or control group. Control group departments will receive a copy of the most recent Australian evidence-based clinical practice guideline on the acute management of patients with mild head injuries. The intervention group will receive an implementation intervention based on an analysis of influencing factors, which include local stakeholder meetings, identification of nursing and medical opinion leaders in each site, a train-the-trainer day and standardised education and interactive workshops delivered by the opinion leaders during a 3 month period of time. Clinical practice outcomes will be collected retrospectively from medical records by independent chart auditors over the 2 month period following intervention delivery (patient level outcomes). In consenting hospitals, eligible patients will be recruited for a follow-up telephone interview conducted by trained researchers. A cost-effectiveness analysis and process evaluation using mixed-methods will be conducted. Sample size calculations are based on including 30 patients on average per department. Outcome assessors will be blinded to group allocation

Atmospheric sources, transport and deposition of mercury in Michigan: Two years of event precipitation

To assess the sources, transport and deposition of atmospheric mercury (Hg) in Michigan, a multi-site network was implemented in which Hg concentrations in event precipitation and ambient samples (vapor and participate phases) were determined. Results from the analysis of 2 years of event precipitation samples for Hg are reported here. The volume-weighted average Hg concentration in precipitation was 7.9, 10.8 and 10.2 ng/L for the Pellston, South Haven and Dexter sites, respectively. Yearly wet deposition of Hg for 1992–93 and 1993–94 was 5.8 and 5.5 μg/m 2 at Pellston, 9.5 and 12.7 μg/m 2 at South Haven and 8.7 and 9.1 μg/m at Dexter. A spatial gradient in both the Hg concentration and wet deposition was observed. Northern Michigan received almost half the deposition of Hg recorded at the southern Michigan sites. The concentration of Hg in precipitation exhibited a strong seasonal behavior with low values of 1.0 to 2.0 ng/L in winter and maximum values greater than 40 ng/L in summer. The spring, summer and autumn precipitation accounted for 89 to 91% of the total yearly Hg deposition. Mixed-layer back trajectories were calculated for each precipitation event to investigate the meteorological history and transport from potential Hg source regions. Elevated Hg concentrations were observed with air mass transport from the west, southwest, south, and southeast. At each of the sites precipitation events for which the Hg concentration was in the 90th and 10th percentile were-analyzed for trace elements by ICP-MS to investigate source impacts.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/43912/1/11270_2005_Article_BF01189668.pd

New neutron-rich nuclei Zr103,104 and the A100 region of deformation

Partial decay schemes in the neutron-rich nuclei Zr103 and Zr104 have been measured for the first time and rotational bands in Zr100 102 have been extended to spins of up to 10Latin small letter h with stroke by observing prompt rays from the spontaneous fisson of Cm248. These nuclei are among the most deformed known at low spin and excitation energy. The level structures in the odd-A nuclei show that the h11/2 intruder orbital plays an important role in stabilizing the deformation in this region

Prevalence and Characteristics of Autism Spectrum Disorder Among Children Aged 4 Years — Early Autism and Developmental Disabilities Monitoring Network, Seven Sites, United States, 2010, 2012, and 2014

Problem/Condition: Autism spectrum disorder (ASD) is estimated to affect up to 3% of children in the United States. Public health surveillance for ASD among children aged 4 years provides information about trends in prevalence, characteristics of children with ASD, and progress made toward decreasing the age of identification of ASD so that evidence-based interventions can begin as early as possible. Period Covered: 2010, 2012, and 2014. Description of System: The Early Autism and Developmental Disabilities Monitoring (Early ADDM) Network is an active surveillance system that provides biennial estimates of the prevalence and characteristics of ASD among children aged 4 years whose parents or guardians lived within designated sites. During surveillance years 2010, 2012, or 2014, data were collected in seven sites: Arizona, Colorado, Missouri, New Jersey, North Carolina, Utah, and Wisconsin. The Early ADDM Network is a subset of the broader ADDM Network (which included 13 total sites over the same period) that has been conducting ASD surveillance among children aged 8 years since 2000. Each Early ADDM site covers a smaller geographic area than the broader ADDM Network. Early ADDM ASD surveillance is conducted in two phases using the same methods and project staff members as the ADDM Network. The first phase consists of reviewing and abstracting data from children’s records, including comprehensive evaluations performed by community professionals. Sources for these evaluations include general pediatric health clinics and specialized programs for children with developmental disabilities. In addition, special education records (for children aged ≥3 years) were reviewed for Arizona, Colorado, New Jersey, North Carolina, and Utah, and early intervention records (for children aged 0 to <3 years) were reviewed for New Jersey, North Carolina, Utah, and Wisconsin; in Wisconsin, early intervention records were reviewed for 2014 only. The second phase involves a review of the abstracted evaluationsby trained clinicians using a standardized case definition and method. A child is considered to meet the surveillance case definition for ASD if one or more comprehensive evaluations of that child completed by a qualified professional describes behaviors consistent with the Diagnostic and Statistical Manual of Mental Disorders, 4th Edition, Text Revision (DSM-IV-TR) diagnostic criteria for any of the following conditions: autistic disorder, pervasive developmental disorder–not otherwise specified (PDD-NOS, including atypical autism), or Asperger disorder (2010, 2012, and 2014). For 2014 only, prevalence estimates based on surveillance case definitions according to DSM-IV-TR and the Diagnostic and Statistical Manual of Mental Disorders, Fifth Edition (DSM-5) were compared. This report provides estimates of overall ASD prevalence and prevalence by sex and race/ethnicity; characteristics of children aged 4 years with ASD, including age at first developmental evaluation, age at ASD diagnosis, and cognitive function; and trends in ASD prevalence and characteristics among Early ADDM sites with data for all 3 surveillance years (2010, 2012, and 2014), including comparisons with children aged 8 years living in the same geographic area. Analyses of time trends in ASDprevalence are restricted to the three sites that contributed data for all 3 surveillance years with consistent data sources (Arizona, Missouri, and New Jersey). Results: The overall ASD prevalence was 13.4 per 1,000 children aged 4 years in 2010, 15.3 in 2012, and 17.0 in 2014 for Early ADDM sites with data for the specific years. ASD prevalence was determined using a surveillance case definition based on DSM-IV-TR. Within each surveillance year, ASD prevalence among children aged 4 years varied across surveillance sites and was lowest each year for Missouri (8.5, 8.1, and 9.6 per 1,000, for 2010, 2012, and 2014, respectively) and highest each year for New Jersey (19.7, 22.1, and 28.4 per 1,000, for the same years, respectively). Aggregated prevalence estimates were higher for sites that reviewed education and health care records than for sites that reviewed only health care records. Among all participating sites and years, ASD prevalence among children aged 4 years was consistently higher among boys than girls; prevalence ratios ranged from 2.6 (Arizona and Wisconsin in 2010) to 5.2 boys per one girl (Colorado in 2014). In 2010, ASD prevalence was higher among non-Hispanic white children than among Hispanic children in Arizona and non-Hispanic black children in Missouri; no other differences were observed by race/ethnicity. Among four sites with ≥60% data on cognitive test scores (Arizona, New Jersey, North Carolina, and Utah), the frequency of co-occurring intellectual disabilities was significantly higher among children aged 4 years than among those aged 8 years for each site in each surveillance year except Arizona in 2010. The percentage of children with ASD who had a first evaluation by age 36 months ranged from 48.8% in Missouri in 2012 to 88.9% in Wisconsin in 2014. The percentage of children with a previous ASD diagnosis from a community provider varied by site, ranging from 43.0% for Arizona in 2012 to 86.5% for Missouri in 2012. The median age at earliest known ASD diagnosis varied from 28 months in North Carolina in 2014 to 39.0 months in Missouri and Wisconsin in 2012. In 2014, the ASD prevalence based on the DSM-IV-TR case definition was 20% higher than the prevalence based on the DSM-5 (17.0 versus 14.1 per 1,000, respectively). Trends in ASD prevalence and characteristics among children aged 4 years during the study period were assessed for the three siteswith data for all 3 years and consistent data sources (Arizona, Missouri, and New Jersey) using the DSM-IV-TR case definition; prevalence was higher in 2014 than in 2010 among children aged 4 years in New Jersey and was stable in Arizona and Missouri. In Missouri, ASD prevalence was higher among children aged 8 years than among children aged 4 years. The percentage of children with ASD who had a comprehensive evaluation by age 36 months was stable in Arizona and Missouri and decreased in New Jersey. In the three sites, no change occurred in the age at earliest known ASD diagnosis during 2010–2014. Interpretation: The findings suggest that ASD prevalence among children aged 4 years was higher in 2014 than in 2010 in one site and remained stable in others. Among children with ASD, the frequency of cognitive impairment was higher among children aged 4 years than among those aged 8 years and suggests that surveillance at age 4 years might more often include children with more severe symptoms or those with co-occurring conditions such as intellectual disability. In the sites with data for all years and consistent data sources, no change in the age at earliest known ASD diagnosis was found, and children received their first developmental evaluation at the same or a later age in 2014 compared with 2010. Delays in the initiation of a first developmental evaluation might adversely affect children by delaying access to treatment and special services that can improve outcomes for children with ASD. Public Health Action: Efforts to increase awareness of ASD and improve the identification of ASD by community providers can facilitate early diagnosis of children with ASD. Heterogeneity of results across sites suggests that community-level differences in evaluation and diagnostic services as well as access to data sources might affect estimates of ASD prevalence and age of identification. Continuing improvements in providing developmental evaluations to children as soon as developmental concerns are identified might result in earlier ASD diagnoses and earlier receipt of services, which might improve developmental outcomes