Coordination of ECA Rules by Verification and Control

International audienceEvent-Condition-Action (ECA) rules are a widely used language for the high level specification of controllers in adaptive systems, such as Cyber-Physical Systems and smart environments, where devices equipped with sensors and actuators are controlled according to a set of rules. The evaluation and execution of every ECA rule is considered to be independent from the others, but interactions of rule actions can cause the system behaviors to be unpredictable or unsafe. Typical problems are in redundancy of rules, inconsistencies, circularity, or application-dependent safety issues. Hence, there is a need for coordination of ECA rule-based systems in order to ensure safety objectives. We propose a tool-supported method for verifying and controlling the correct interactions of rules, relying on formal models related to reactive systems, and Discrete Controller Synthesis (DCS) to generate correct rule controllers

Educational needs of health professionals working in rheumatology in Europe

Objective: To explore the availability of postgraduate education for health professionals (HPs) working in rheumatology in Europe, and their perceived educational needs and barriers for participation in current educational offerings. Methods: Structured interviews were conducted with national representatives of rheumatology HPs’ organisations and an online survey among individual HPs was disseminated through existing EULAR networks (10 languages including English). These comprised questions on: availability of postgraduate education, familiarity with EULAR and its educational offerings, unmet needs regarding the contents and mode of delivery and potential barriers to participate in education (0-10 scales). Results: According to 17 national representatives, postgraduate rheumatology education was most common for nurses, physical and occupational therapists. There were 1041 individual responses to the survey, of whom 48% completed all questions. More than half (56%) were familiar with EULAR as an organisation, whereas less than 25% had attended the EULAR congress or was familiar with EULAR online courses. Educational needs regarding contents were highest for “inflammatory arthritis” and “connective tissue diseases” and regarding modes of delivery for “courses organised in own country” and “online courses”. Important barriers to participation included lack of “resources”, “time” and “English language skills”. Overall, there was considerable variation in needs and barriers among countries . Conclusions: There is a lack of postgraduate rheumatology education for HPs in most countries. There are opportunities to raise awareness regarding EULAR educational offerings and to develop courses provided in HPs’ own country, tailored to national needs and barriers and taking language barriers into consideration

Molecular Gas in NUclei of GAlaxies (NUGA) XIV. The barred LINER/Seyfert 2 galaxy NGC 3627

We present CO(1-0) and CO(2-1) maps of the interacting barred LINER/Seyfert 2 galaxy NGC 3627 obtained with the IRAM interferometer at resolutions of 2.1" x 1.3" and 0.9" x 0.6", respectively. The molecular gas emission shows a nuclear peak, an elongated bar-like structure of ~18" (~900 pc) diameter in both CO maps and, in CO(1-0), a two-arm spiral feature from r~9" (~450 pc) to r~16" (~800 pc). The inner ~18" bar-like structure, with a north/south orientation (PA = 14{\deg}), forms two peaks at the extremes of this elongated emission region. The kinematics of the inner molecular gas shows signatures of non-circular motions associated both with the 18" bar-like structure and the spiral feature detected beyond it. The 1.6 micron H-band 2MASS image of NGC 3627 shows a stellar bar with a PA = -21{\deg}, different from the PA (= 14{\deg}) of the CO bar-like structure, indicating that the gas is leading the stellar bar. The torques computed with the HST-NICMOS F160W image and our PdBI maps are negative down to the resolution limit of our images, ~60 pc in CO(2-1). If the bar ends at ~3 kpc, coincident with corotation (CR), the torques are negative between the CR of the bar and the nucleus, down to the resolution limit of our observations. This scenario is compatible with a recently-formed rapidly rotating bar which has had insufficient time to slow down because of secular evolution, and thus has not yet formed an inner Lindblad resonance (ILR). The presence of molecular gas inside the CR of the primary bar, where we expect that the ILR will form, makes NGC 3627 a potential smoking gun of inner gas inflow. The gas is fueling the central region, and in a second step could fuel directly the active nucleus.Comment: 24 pages, 28 figures, 2 tables. Accepted for publication in Astronomy and Astrophysic

Maturation, Peer Context, and Indigenous Girls\u27 Early-Onset Substance Use

This paper examines a biosocial model of the impact of puberty on Indigenous girls\u27 early-onset substance use by considering the potential mediating role of peer context (i.e. mixed-sex peer groups and substance use prototypes) on the puberty and substance use relationship. Data include responses from 360 girls of a common Indigenous cultural group residing on reservations/reserves in the upper Midwest and Canada. Results of structural equation modeling revealed that the statistically significant relationship between girls\u27 pubertal development and early-onset substance use was mediated by both mixed-sex/romantic peer groups and favorable social definitions of substance use. Implications for substance use prevention work include addressing the multiple and overlapping effects of peer influence from culturally-relevant perspectives

Labrador retrievers under primary veterinary care in the UK: demography, mortality and disorders

Abstract Background Labrador retrievers are reportedly predisposed to many disorders but accurate prevalence information relating to the general population are lacking. This study aimed to describe demography, mortality and commonly recorded diseases in Labrador retrievers under UK veterinary care. Methods The VetCompass™ programme collects electronic patient record data on dogs attending UK primary-care veterinary practices. Demographic analysis covered all33,320 Labrador retrievers in the VetCompass™ database under veterinary care during 2013 while disorder and mortality data were extracted from a random sample of 2074 (6.2%) of these dogs. Results Of the Labrador retrievers with information available, 15,427 (46.4%) were female and 15,252 (53.6%) were male. Females were more likely to be neutered than males (59.7% versus 54.8%, P <  0.001). The overall mean adult bodyweight was 33.0 kg (SD 6.1). Adult males were heavier (35.2 kg, SD 5.9 kg) than adult females (30.4 kg, SD 5.2 kg) (P <  0.001). The median longevity of Labrador retrievers overall was 12.0 years (IQR 9.9–13.8, range 0.0–16.0). The most common recorded colours were black (44.6%), yellow (27.8%) and liver/chocolate (reported from hereon as chocolate) (23.8%). The median longevity of non-chocolate coloured dogs (n = 139, 12.1 years, IQR 10.2–13.9, range 0.0–16.0) was longer than for chocolate coloured animals (n = 34, 10.7 years, IQR 9.0–12.4, range 3.8–15.5) (P = 0.028). Of a random sample of 2074 (6.2%) Labrador retrievers under care in 2013 that had full disorder data extracted, 1277 (61.6%) had at least one disorder recorded. The total number of dogs who died at any date during the study was 176. The most prevalent disorders recorded were otitis externa (n = 215, prevalence 10.4%, 95% CI: 9.1–11.8), overweight/obesity (183, 8.8%, 95% CI: 7.6–10.1) and degenerative joint disease (115, 5.5%, 95% CI: 4.6–6.6). Overweight/obesity was not statistically significantly associated with neutering in females (8.3% of entire versus 12.5% of neutered, P = 0.065) but was associated with neutering in males (4.1% of entire versus 11.4% of neutered, P < 0.001). The prevalence of otitis externa in black dogs was 12.8%, in yellow dogs it was 17.0% but, in chocolate dogs, it rose to 23.4% (P < 0.001). Similarly, the prevalence of pyo-traumatic dermatitis in black dogs was 1.1%, in yellow dogs it was 1.6% but in chocolate dogs it rose to 4.0% (P = 0.011). Conclusions The current study assists prioritisation of health issues within Labrador retrievers. The most common disorders were overweight/obesity, otitis externa and degenerative joint disease. Males were significantly heavier females. These results can alert prospective owners to potential health issues and inform breed-specific wellness checks

Status of the light ion source developments at CEA/Saclay

ACC NIMInternational audienceSILHI (High Intensity Light Ion Source) is an ECR ion source producing high intensity proton ordeuteron beams at 95 keV. It is now installed in the IPHI site building, on the CEA/Saclay center. IPHI is a frontend demonstrator of high power accelerator. The source regularly delivers more than 130 mA protons in CWmode and already produced more than 170 mA deuterons in pulsed mode at nominal energy. The last beamcharacterisations, including emittance measurements, space charge compensation analysis and diagnosticimprovements, will be reported. Taking into account the SILHI experience, new developments are in progress tobuild and test a 5 mA deuteron source working in CW mode. This new source will also operate at 2.45 GHz andpermanent magnets will provide the magnetic configuration. This source, of which the design will be discussed,will have to fit in with the SPIRAL 2 accelerator developed at GANIL to produce Radioactive Ion Beams. TheH- test stand status is briefly presented here and detailed in companion papers.This work is partly supported by the European Commission under contract n°: HPRI-CT-2001-50021

MT1-MMP regulates urothelial cell invasion via transcriptional regulation of Dickkopf-3

Membrane type-1 matrix metalloproteinase (MT1-MMP) is a zinc-binding endopeptidase, which plays a crucial role in tumour growth, invasion and metastasis. We have shown previously that MT1-MMP has higher expression levels in the human urothelial cell carcinoma (UCC) tissue. We show here that siRNA against MT1-MMP blocks invasion in UCC cell lines. Invasion is also blocked by broad-spectrum protease and MMP inhibitors including tissue inhibitor of metalloproteinase-1 and -2. Membrane type-1-MMP can also regulate transcription. We have used expression arrays to identify genes that are differentially transcribed when siRNA is used to suppress MT1-MMP expression. Upon MT1-MMP knockdown, Dickkopf-3 (DKK3) expression was highly upregulated. The stability of DKK3 mRNA was unaffected under these conditions, suggesting transcriptional regulation of DKK3 by MT1-MMP. Dickkopf-3 has been previously shown to inhibit invasion. We confirm that the overexpression of DKK3 leads to decreased invasive potential as well as delayed wound healing. We show for the first time that the effects of MT1-MMP on cell invasion are mediated in part through changes in DKK3 gene transcription