High-level Language Support for the Control of Reconfigurations in Component-based Architectures

International audienceNowadays, smart home is extended beyond the house itself to encompass connected platforms on the Cloud as well as mobile personal devices. This Smart Home Extended Architecture (SHEA) helps customers to remain in touch with their home everywhere and any time. The endless increase of connected devices in the home and outside within the SHEA multiplies the deployment possibilities for any application. Therefore, SHEA should be taken from now as the actual target platform for smart home application deployment. Every home is different and applications offer different services according to customer preferences. To manage this variability, we extend the feature modeling from software product line domain with deployment constraints and we present an example of a model that could address this deployment challenge

Behavioural Model-based Control for Autonomic Software Components

International audienceAutonomic Managers (AMs) have been largely used to autonomously control reconfigurations within software compo- nents. This management is performed based on past monitoring events, configurations as well as behavioural programs defining the adaptation logics and invariant properties. The challenge here is to provide assurances on navigation through the configuration space, which requires taking decisions that involve predictions on possible futures of the system. This paper proposes the design of AMs based on logical discrete control approaches, where the use of behavioural models enriches the manager with a knowledge not only on events, states and past history, but also with possible future configurations. We define a Domain Specific Language, named Ctrl-F, which provides high-level constructs to describe behavioural programs in the context of software components. The formal definition of Ctrl-F is given by translation to Finite State Automata, which allow for the exploration of behavioural programs by verification or Discrete Controller Synthesis, automatically generating a controller enforcing correct behaviours. We implement an AM by integrating the result of Ctrl-F compilation and validate it with an adaptation scenario over Znn.com, a self-adaptive case study

The Baryonic Phase in Holographic Descriptions of the QCD Phase Diagram

We study holographic models of the QCD temperature-chemical potential phase diagram based on the D3/D7 system with chiral symmetry breaking. The baryonic phase may be included through linked D5-D7 systems. In a previous analysis of a model with a running gauge coupling a baryonic phase was shown to exist to arbitrarily large chemical potential. Here we explore this phase in a more generic phenomenological setting with a step function dilaton profile. The change in dilaton generates a linear confining $\bar{q}q$ potential and opposes the screening effect of temperature. We show that the persistence of the baryonic phase depends on the step size and that QCD-like phase diagrams can be described. The baryonic phase's existence is qualitatively linked to the existence of confinement in Wilson loop computations in the background.Comment: 21 pages, 7 figure

Global gene expression profiling of oral cavity cancers suggests molecular heterogeneity within anatomic subsites

<p>Abstract</p> <p>Background</p> <p>Oral squamous cell carcinoma (OSCC) is a frequent neoplasm, which is usually aggressive and has unpredictable biological behavior and unfavorable prognosis. The comprehension of the molecular basis of this variability should lead to the development of targeted therapies as well as to improvements in specificity and sensitivity of diagnosis.</p> <p>Results</p> <p>Samples of primary OSCCs and their corresponding surgical margins were obtained from male patients during surgery and their gene expression profiles were screened using whole-genome microarray technology. Hierarchical clustering and Principal Components Analysis were used for data visualization and One-way Analysis of Variance was used to identify differentially expressed genes. Samples clustered mostly according to disease subsite, suggesting molecular heterogeneity within tumor stages. In order to corroborate our results, two publicly available datasets of microarray experiments were assessed. We found significant molecular differences between OSCC anatomic subsites concerning groups of genes presently or potentially important for drug development, including mRNA processing, cytoskeleton organization and biogenesis, metabolic process, cell cycle and apoptosis.</p> <p>Conclusion</p> <p>Our results corroborate literature data on molecular heterogeneity of OSCCs. Differences between disease subsites and among samples belonging to the same TNM class highlight the importance of gene expression-based classification and challenge the development of targeted therapies.</p

A cross-sectional study of the quality of life of patients living with type 1 diabetes treated with insulin glargine and neutral protamine hagedorn insulin and the implications

Objectives: The study aim was to identify key factors associated with the health-related quality of life (HRQOL) of patients with type 1 diabetes mellitus (T1DM) treated with neutral protamine Hagedorn (NPH) insulin or human insulin analog glargine (IGLA). Methods: We conducted two cross-sectional studies in Minas Gerais State, Brazil. One with 401 patients treated with IGLA, and the other with 179 T1DM patients treated with NPH. HRQOL was measured by Euroqol (EQ-5D-3L). Key findings: Most participants were male (51%), aged between 18 and 40 years (47%), non-black (58%) and from the highest economic strata (A1-B2) (74%). Participants perceived their health as good/very good (51%), had one to three medical consultations in the previous year (51%), were not hospitalized in the previous year (74%), did not report angina (96%), diabetic neuropathy (90%), hearing loss (94%) or kidney disease (89%). Non-severe hypoglycaemia episodes in the last 30 days were reported by 17% of participants. Conclusions: Higher HRQOL was associated with younger age (18-40 years), good/very good health self-perception, having had up to three medical consultations in the last year, not being hospitalized in the last year, having none to three comorbidities, not reporting angina, diabetic neuropathy, hearing loss or kidney disease and having had episodes of non-severe hypoglycaemia. In addition, the findings of our study demonstrated inequalities in access to treatment, which will be the subject of future research projects

A Mismatch-Based Model for Memory Reconsolidation and Extinction in Attractor Networks

The processes of memory reconsolidation and extinction have received increasing attention in recent experimental research, as their potential clinical applications begin to be uncovered. A number of studies suggest that amnestic drugs injected after reexposure to a learning context can disrupt either of the two processes, depending on the behavioral protocol employed. Hypothesizing that reconsolidation represents updating of a memory trace in the hippocampus, while extinction represents formation of a new trace, we have built a neural network model in which either simple retrieval, reconsolidation or extinction of a stored attractor can occur upon contextual reexposure, depending on the similarity between the representations of the original learning and reexposure sessions. This is achieved by assuming that independent mechanisms mediate Hebbian-like synaptic strengthening and mismatch-driven labilization of synaptic changes, with protein synthesis inhibition preferentially affecting the former. Our framework provides a unified mechanistic explanation for experimental data showing (a) the effect of reexposure duration on the occurrence of reconsolidation or extinction and (b) the requirement of memory updating during reexposure to drive reconsolidation