Weaving Concurrency in eXecutable Domain-Specific Modeling Languages

International audienceThe emergence of modern concurrent systems (e.g., Cyber-Physical Systems or the Internet of Things) and highly-parallel platforms (e.g., many-core, GPGPU pipelines, and distributed platforms) calls for Domain-Specific Modeling Languages (DSMLs) where concurrency is of paramount importance. Such DSMLs are intended to propose constructs with rich concurrency semantics, which allow system designers to precisely define and analyze system behaviors. However , specifying and implementing the execution semantics of such DSMLs can be a difficult, costly and error-prone task. Most of the time the concurrency model remains implicit and ad-hoc, embedded in the underlying execution environment. The lack of an explicit concurrency model prevents: the precise definition, the variation and the complete understanding of the semantics of the DSML, the effective usage of concurrency-aware analysis techniques, and the exploitation of the concurrency model during the system refinement (e.g., during its allocation on a specific platform). In this paper, we introduce a concurrent executable metamodeling approach, which supports a modular definition of the execution semantics , including the concurrency model, the semantic rules, and a well-defined and expressive communication protocol between them. Our approach comes with a dedicated metalanguage to specify the communication protocol, and with an execution environment to simulate executable models. We illustrate and validate our approach with an implementation of fUML, and discuss the modularity and applicability of our approach

POLG1 p.R722H mutation associated with multiple mtDNA deletions and a neurological phenotype

<p>Abstract</p> <p>Background</p> <p>The c.2447G>A (p.R722H) mutation in the gene <it>POLG1 </it>of the catalytic subunit of human mitochondrial polymerase gamma has been previously found in a few occasions but its pathogenicity has remained uncertain. We set out to ascertain its contribution to neuromuscular disease.</p> <p>Methods</p> <p>Probands from two families with probable mitochondrial disease were examined clinically, muscle and buccal epithelial DNA were analyzed for mtDNA deletions, and the <it>POLG1, POLG2, ANT1 </it>and <it>Twinkle </it>genes were sequenced.</p> <p>Results</p> <p>An adult proband presented with progressive external ophthalmoplegia, sensorineural hearing impairment, diabetes mellitus, dysphagia, a limb myopathy and dementia. Brain MRI showed central and cortical atrophy, and ¹⁸F-deoxyglucose PET revealed reduced glucose uptake. Histochemical analysis of muscle disclosed ragged red fibers and cytochrome c oxidase-negative fibers. Electron microscopy showed subsarcolemmal aggregates of morphologically normal mitochondria. Multiple mtDNA deletions were found in the muscle, and sequencing of the <it>POLG1 </it>gene revealed a homozygous c.2447G>A (p.R722H) mutation. His two siblings were also homozygous with respect to the p.R722H mutation and presented with dementia and sensorineural hearing impairment. In another family the p.R722H mutation was found as compound heterozygosity with the common p.W748S mutation in two siblings with mental retardation, ptosis, epilepsy and psychiatric symptoms. The estimated carrier frequency of the p.R722H mutation was 1:135 in the Finnish population. No mutations in <it>POLG2</it>, <it>ANT1 </it>and <it>Twinkle </it>genes were found. Analysis of the POLG1 sequence by homology modeling supported the notion that the p.R722H mutation is pathogenic.</p> <p>Conclusions</p> <p>The recessive c.2447G>A (p.R722H) mutation in the linker region of the <it>POLG1 </it>gene is pathogenic for multiple mtDNA deletions in muscle and is associated with a late-onset neurological phenotype as a homozygous state. The onset of the disease can be earlier in compound heterozygotes.</p

The failure of suicide prevention in primary care: family and GP perspectives - a qualitative study

Background Although Primary care is crucial for suicide prevention, clinicians tend to report completed suicides in their care as non-preventable. We aimed to examine systemic inadequacies in suicide prevention from the perspectives of bereaved family members and GPs.Methods Qualitative study of 72 relatives or close friends bereaved by suicide and 19 General Practitioners who have experienced the suicide of patients.Results Relatives highlight failures in detecting symptoms and behavioral changes and the inability of GPs to understand the needs of patients and their social contexts. A perceived overreliance on anti-depressant treatment is a major source of criticism by family members. GPs tend to lack confidence in the recognition and management of suicidal patients, and report structural inadequacies in service provision.Conclusions Mental health and primary care services must find innovative and ethical ways to involve families in the decision-making process for patients at risk of suicide

A Search for Neutrinos from the Solar hep Reaction and the Diffuse Supernova Neutrino Background with the Sudbury Neutrino Observatory

A search has been made for neutrinos from the hep reaction in the Sun and from the diffus

Assessing Biodiversity in Boreal Forests with UAV-Based Photogrammetric Point Clouds and Hyperspectral Imaging

Forests are the most diverse terrestrial ecosystems and their biological diversity includes trees, but also other plants, animals, and micro-organisms. One-third of the forested land is in boreal zone; therefore, changes in biological diversity in boreal forests can shape biodiversity, even at global scale. Several forest attributes, including size variability, amount of dead wood, and tree species richness, can be applied in assessing biodiversity of a forest ecosystem. Remote sensing offers complimentary tool for traditional field measurements in mapping and monitoring forest biodiversity. Recent development of small unmanned aerial vehicles (UAVs) enable the detailed characterization of forest ecosystems through providing data with high spatial but also temporal resolution at reasonable costs. The objective here is to deepen the knowledge about assessment of plot-level biodiversity indicators in boreal forests with hyperspectral imagery and photogrammetric point clouds from a UAV. We applied individual tree crown approach (ITC) and semi-individual tree crown approach (semi-ITC) in estimating plot-level biodiversity indicators. Structural metrics from the photogrammetric point clouds were used together with either spectral features or vegetation indices derived from hyperspectral imagery. Biodiversity indicators like the amount of dead wood and species richness were mainly underestimated with UAV-based hyperspectral imagery and photogrammetric point clouds. Indicators of structural variability (i.e., standard deviation in diameter-at-breast height and tree height) were the most accurately estimated biodiversity indicators with relative RMSE between 24.4% and 29.3% with semi-ITC. The largest relative errors occurred for predicting deciduous trees (especially aspen and alder), partly due to their small amount within the study area. Thus, especially the structural diversity was reliably predicted by integrating the three-dimensional and spectral datasets of UAV-based point clouds and hyperspectral imaging, and can therefore be further utilized in ecological studies, such as biodiversity monitoring

Measurement of the Total Active 8B Solar Neutrino Flux at the Sudbury Neutrino Observatory with Enhanced Neutral Current Sensitivity

The Sudbury Neutrino Observatory (SNO) has precisely determined the total active (nu_x) 8B solar neutrino flux without assumptions about the energy dependence of the nu_e survival probability. The measurements were made with dissolved NaCl in the heavy water to enhance the sensitivity and signature for neutral-current interactions. The flux is found to be 5.21 +/- 0.27 (stat) +/- 0.38 (syst) x10^6 cm^{-2}s^{-1}, in agreement with previous measurements and standard solar models. A global analysis of these and other solar and reactor neutrino results yields Delta m^{2} = 7.1^{+1.2}_{-0.6}x10^{-5} ev^2 and theta = 32.5^{+2.4}_{-2.3} degrees. Maximal mixing is rejected at the equivalent of 5.4 standard deviations.Comment: Submitted to Phys. Rev. Let

Electron Antineutrino Search at the Sudbury Neutrino Observatory

Upper limits on the \nuebar flux at the Sudbury Neutrino Observatory have been set based on the \nuebar charged-current reaction on deuterium. The reaction produces a positron and two neutrons in coincidence. This distinctive signature allows a search with very low background for \nuebar's from the Sun and other potential sources. Both differential and integral limits on the \nuebar flux have been placed in the energy range from 4 -- 14.8 MeV. For an energy-independent \nu_e --> \nuebar conversion mechanism, the integral limit on the flux of solar \nuebar's in the energy range from 4 -- 14.8 MeV is found to be \Phi_\nuebar <= 3.4 x 10^4 cm^{-2} s^{-1} (90% C.L.), which corresponds to 0.81% of the standard solar model 8B \nu_e flux of 5.05 x 10^6 cm^{-2} s^{-1}, and is consistent with the more sensitive limit from KamLAND in the 8.3 -- 14.8 MeV range of 3.7 x 10^2 cm^{-2} s^{-1} (90% C.L.). In the energy range from 4 -- 8 MeV, a search for \nuebar's is conducted using coincidences in which only the two neutrons are detected. Assuming a \nuebar spectrum for the neutron induced fission of naturally occurring elements, a flux limit of Phi_\nuebar <= 2.0 x 10^6 cm^{-2} s^{-1}(90% C.L.) is obtained.Comment: submitted to Phys. Rev.

Measurement of the rate of nu_e + d --> p + p + e^- interactions produced by 8B solar neutrinos at the Sudbury Neutrino Observatory

Solar neutrinos from the decay of $^8$B have been detected at the Sudbury Neutrino Observatory (SNO) via the charged current (CC) reaction on deuterium and by the elastic scattering (ES) of electrons. The CC reaction is sensitive exclusively to nu_e's, while the ES reaction also has a small sensitivity to nu_mu's and nu_tau's. The flux of nu_e's from ^8B decay measured by the CC reaction rate is \phi^CC(nu_e) = 1.75 +/- 0.07 (stat)+0.12/-0.11 (sys.) +/- 0.05(theor) x 10^6 /cm^2 s. Assuming no flavor transformation, the flux inferred from the ES reaction rate is \phi^ES(nu_x) = 2.39+/-0.34 (stat.)+0.16}/-0.14 (sys) x 10^6 /cm^2 s. Comparison of \phi^CC(nu_e) to the Super-Kamiokande Collaboration's precision value of \phi^ES(\nu_x) yields a 3.3 sigma difference, providing evidence that there is a non-electron flavor active neutrino component in the solar flux. The total flux of active ^8B neutrinos is thus determined to be 5.44 +/-0.99 x 10^6/cm^2 s, in close agreement with the predictions of solar models.Comment: 6 pages (LaTex), 3 figures, submitted to Phys. Rev. Letter

Can We Really Prevent Suicide?

Every year, suicide is among the top 20 leading causes of death globally for all ages. Unfortunately, suicide is difficult to prevent, in large part because the prevalence of risk factors is high among the general population. In this review, clinical and psychological risk factors are examined and methods for suicide prevention are discussed. Prevention strategies found to be effective in suicide prevention include means restriction, responsible media coverage, and general public education, as well identification methods such as screening, gatekeeper training, and primary care physician education. Although the treatment for preventing suicide is difficult, follow-up that includes pharmacotherapy, psychotherapy, or both may be useful. However, prevention methods cannot be restricted to the individual. Community, social, and policy interventions will also be essentia

Magnesium treatment for patients with refractory status epilepticus due to POLG1-mutations

Mutations in the gene encoding of the catalytic subunit of mtDNA polymerase gamma (POLG1) can cause typical Alpers' syndrome. Recently, a new POLG1 mutation phenotype was described, the so-called juvenile-onset Alpers' syndrome. This POLG1 mutation phenotype is characterized by refractory epilepsy with recurrent status epilepticus and episodes of epilepsia partialis continua, which often necessitate admission to the intensive care unit (ICU) and pose an important mortality risk. We describe two previously healthy unrelated teenage girls, who both were admitted with generalized tonic-clonic seizures and visual symptoms leading to a DNA-supported diagnosis of juvenile-onset Alpers' syndrome. Despite combined treatment with anti-epileptic drugs, both patients developed status epilepticus requiring admission to the ICU. Intravenous magnesium as anti-convulsant therapy was initiated, resulting in clinical and neurophysiological improvement and rapid extubation of both patients. Treating status epilepticus in juvenile-onset Alpers' syndrome with magnesium has not been described previously. Given the difficulties encountered while treating epilepsy in patients with this syndrome, magnesium therapy might be considered