An Efficient Rule-Based Distributed Reasoning Framework for Resource-bounded Systems

© 2018, The Author(s). Over the last few years, context-aware computing has received a growing amount of attention among the researchers in the IoT and ubiquitous computing community. In principle, context-aware computing transforms a physical environment into a smart space by sensing the surrounding environment and interpreting the situation of the user. This process involves three major steps: context acquisition, context modelling, and context-aware reasoning. Among other approaches, ontology-based context modelling and rule-based context reasoning are widely used techniques to enable semantic interoperability and interpreting user situations. However, implementing rich context-aware applications that perform reasoning on resource-bounded mobile devices is quite challenging. In this paper, we present a context-aware systems development framework for smart spaces, which includes a lightweight efficient rule engine and a wide range of user preferences to reduce the number of rules while inferring personalized contexts. This shows rules can be reduced in order to optimize the inference engine execution speed, and ultimately to reduce total execution time and execution cost

Factors Associated with Response to Acetylcholinesterase Inhibition in Dementia:A Cohort Study from a Secondary Mental Health Care Case Register in London

Background: Acetylcholinesterase inhibitors (AChEIs) are widely used to delay cognitive decline in Alzheimer's disease. Observational studies in routine clinical practice have shown cognitive improvement in some groups of patients receiving these agents but longitudinal trajectories before and after AChEI initiation have not previously been considered.  Objectives: To compare trajectories of cognitive function before and after AChEI initiation and investigate predictors of these differences.  Method: A retrospective longitudinal study was constructed using data from 2460 patients who received AChEIs and who had routine data on cognitive function (Mini-Mental State Examination; MMSE) before and after AChEI initiation. Longitudinal MMSE change was modelled using three-piece linear mixed models with the following segments: 0-12 months prior to AChEI initiation, 0-6 months and 6-36 months after initiation.  Results: MMSE decline was reversed (in that the slope was improved by an average 4.2 units per year, 95% CI 3.5-4.8) during the 6-month period following AChEI initiation compared with the slope in the one year period before AChEI initiation. The slope in the period from 6-36 months following AChEI initiation returned to the pre-initiation downward trajectory. The differences in slopes in the 1 year period prior to AChEI initiation and in the 6 months after initiation were smaller among those with higher MMSE scores at the time of AChEI initiation, among those who received a vascular dementia diagnosis at any point, and among those receiving antipsychotic agents.  Conclusion: In this naturalistic observational study, changes in cognitive trajectories around AChEI initiation were similar to those reported in randomised controlled trials. The magnitude of the difference in slopes between the 1 year period prior to AChEI initiation and the 6 month period after AChEI initiation was related to level of cognitive function at treatment initiation, vascular comorbidity and antipsychotic use

Performance of the CMS Cathode Strip Chambers with Cosmic Rays

The Cathode Strip Chambers (CSCs) constitute the primary muon tracking device in the CMS endcaps. Their performance has been evaluated using data taken during a cosmic ray run in fall 2008. Measured noise levels are low, with the number of noisy channels well below 1%. Coordinate resolution was measured for all types of chambers, and fall in the range 47 microns to 243 microns. The efficiencies for local charged track triggers, for hit and for segments reconstruction were measured, and are above 99%. The timing resolution per layer is approximately 5 ns

A Conserved Behavioral State Barrier Impedes Transitions between Anesthetic-Induced Unconsciousness and Wakefulness: Evidence for Neural Inertia

One major unanswered question in neuroscience is how the brain transitions between conscious and unconscious states. General anesthetics offer a controllable means to study these transitions. Induction of anesthesia is commonly attributed to drug-induced global modulation of neuronal function, while emergence from anesthesia has been thought to occur passively, paralleling elimination of the anesthetic from its sites in the central nervous system (CNS). If this were true, then CNS anesthetic concentrations on induction and emergence would be indistinguishable. By generating anesthetic dose-response data in both insects and mammals, we demonstrate that the forward and reverse paths through which anesthetic-induced unconsciousness arises and dissipates are not identical. Instead they exhibit hysteresis that is not fully explained by pharmacokinetics as previously thought. Single gene mutations that affect sleep-wake states are shown to collapse or widen anesthetic hysteresis without obvious confounding effects on volatile anesthetic uptake, distribution, or metabolism. We propose a fundamental and biologically conserved concept of neural inertia, a tendency of the CNS to resist behavioral state transitions between conscious and unconscious states. We demonstrate that such a barrier separates wakeful and anesthetized states for multiple anesthetics in both flies and mice, and argue that it contributes to the hysteresis observed when the brain transitions between conscious and unconscious states

Identification of Tsetse (Glossina spp.) using matrix-assisted laser desorption/ionisation time of flight mass spectrometry

Glossina (G.) spp. (Diptera: Glossinidae), known as tsetse flies, are vectors of African trypanosomes that cause sleeping sickness in humans and nagana in domestic livestock. Knowledge on tsetse distribution and accurate species identification help identify potential vector intervention sites. Morphological species identification of tsetse is challenging and sometimes not accurate. The matrix-assisted laser desorption/ionisation time of flight mass spectrometry (MALDI TOF MS) technique, already standardised for microbial identification, could become a standard method for tsetse fly diagnostics. Therefore, a unique spectra reference database was created for five lab-reared species of riverine-, savannah- and forest- type tsetse flies and incorporated with the commercial Biotyper 3.0 database. The standard formic acid/acetonitrile extraction of male and female whole insects and their body parts (head, thorax, abdomen, wings and legs) was used to obtain the flies' proteins. The computed composite correlation index and cluster analysis revealed the suitability of any tsetse body part for a rapid taxonomical identification. Phyloproteomic analysis revealed that the peak patterns of G. brevipalpis differed greatly from the other tsetse. This outcome was comparable to previous theories that they might be considered as a sister group to other tsetse spp. Freshly extracted samples were found to be matched at the species level. However, sex differentiation proved to be less reliable. Similarly processed samples of the common house fly Musca domestica (Diptera: Muscidae; strain: Lei) did not yield any match with the tsetse reference database. The inclusion of additional strains of morphologically defined wild caught flies of known origin and the availability of large-scale mass spectrometry data could facilitate rapid tsetse species identification in the futur

Minimising disability and falls in older people through a post-hospital exercise program: a protocol for a randomised controlled trial and economic evaluation

Background: Disability and falls are particularly common among older people who have recently been hospitalised. There is evidence that disability severity and fall rates can be reduced by well-designed exercise interventions. However, the potential for exercise to have these benefits in older people who have spent time in hospital has not been established. This randomised controlled trial will investigate the effects of a home-based exercise program on disability and falls among people who have had recent hospital stays. The cost-effectiveness of the exercise program from the health and community service provider's perspective will be established. In addition, predictors for adherence with the exercise program will be determined. Methods and design: Three hundred and fifty older people who have recently had hospital stays will participate in the study. Participants will have no medical contraindications to exercise and will be cognitively and physically able to complete the assessments and exercise program. The primary outcome measures will be mobility-related disability (measured with 12 monthly questionnaires and the Short Physical Performance Battery) and falls (measured with 12 monthly calendars). Secondary measures will be tests of risk of falling, additional measures of mobility, strength and flexibility, quality of life, fall-related self efficacy, health-system and community-service contact, assistance from others, difficulty with daily tasks, physical activity levels and adverse events. After discharge from hospital and completion of all hospital-related treatments, participants will be randomly allocated to an intervention group or usual-care control group. For the intervention group, an individualised home exercise program will be established and progressed during ten home visits from a physiotherapist. Participants will be asked to exercise at home up to 6 times per week for the 12-month study period. Discussion: The study will determine the impact of this exercise intervention on mobility-related disability and falls in older people who have been in hospital as well as cost-effectiveness and predictors of adherence to the program. Thus, the results will have direct implications for the design and implementation of interventions for this high-risk group of older people.7 page(s

Transgenic technologies to induce sterility

The last few years have witnessed a considerable expansion in the number of tools available to perform molecular and genetic studies on the genome of Anopheles mosquitoes, the vectors of human malaria. As a consequence, knowledge of aspects of the biology of mosquitoes, such as immunity, reproduction and behaviour, that are relevant to their ability to transmit disease is rapidly increasing, and could be translated into concrete benefits for malaria control strategies. Amongst the most important scientific advances, the development of transgenic technologies for Anopheles mosquitoes provides a crucial opportunity to improve current vector control measures or design novel ones. In particular, the use of genetic modification of the mosquito genome could provide for a more effective deployment of the sterile insect technique (SIT) against vector populations in the field. Currently, SIT relies on the release of radiation sterilized males, which compete with wild males for mating with wild females. The induction of sterility in males through the genetic manipulation of the mosquito genome, already achieved in a number of other insect species, could eliminate the need for radiation and increase the efficiency of SIT-based strategies. This paper provides an overview of the mechanisms already in use for inducing sterility by transgenesis in Drosophila and other insects, and speculates on possible ways to apply similar approaches to Anopheles mosquitoes

The Regulation of miRNA-211 Expression and Its Role in Melanoma Cell Invasiveness

The immediate molecular mechanisms behind invasive melanoma are poorly understood. Recent studies implicate microRNAs (miRNAs) as important agents in melanoma and other cancers. To investigate the role of miRNAs in melanoma, we subjected human melanoma cell lines to miRNA expression profiling, and report a range of variations in several miRNAs. Specifically, compared with expression levels in melanocytes, levels of miR-211 were consistently reduced in all eight non-pigmented melanoma cell lines we examined; they were also reduced in 21 out of 30 distinct melanoma samples from patients, classified as primary in situ, regional metastatic, distant metastatic, and nodal metastatic. The levels of several predicted target mRNAs of miR-211 were reduced in melanoma cell lines that ectopically expressed miR-211. In vivo target cleavage assays confirmed one such target mRNA encoded by KCNMA1. Mutating the miR-211 binding site seed sequences at the KCNMA1 3′-UTR abolished target cleavage. KCNMA1 mRNA and protein expression levels varied inversely with miR-211 levels. Two different melanoma cell lines ectopically expressing miR-211 exhibited significant growth inhibition and reduced invasiveness compared with the respective parental melanoma cell lines. An shRNA against KCNMA1 mRNA also demonstrated similar effects on melanoma cells. miR-211 is encoded within the sixth intron of TRPM1, a candidate suppressor of melanoma metastasis. The transcription factor MITF, important for melanocyte development and function, is needed for high TRPM1 expression. MITF is also needed for miR-211 expression, suggesting that the tumor-suppressor activities of MITF and/or TRPM1 may at least partially be due to miR-211's negative post transcriptional effects on the KCNMA1 transcript. Given previous reports of high KCNMA1 levels in metastasizing melanoma, prostate cancer and glioma, our findings that miR-211 is a direct posttranscriptional regulator of KCNMA1 expression as well as the dependence of this miRNA's expression on MITF activity, establishes miR-211 as an important regulatory agent in human melanoma

Transgenic technologies to induce sterility

The last few years have witnessed a considerable expansion in the number of tools available to perform molecular and genetic studies on the genome of Anopheles mosquitoes, the vectors of human malaria. As a consequence, knowledge of aspects of the biology of mosquitoes, such as immunity, reproduction and behaviour, that are relevant to their ability to transmit disease is rapidly increasing, and could be translated into concrete benefits for malaria control strategies. Amongst the most important scientific advances, the development of transgenic technologies for Anopheles mosquitoes provides a crucial opportunity to improve current vector control measures or design novel ones. In particular, the use of genetic modification of the mosquito genome could provide for a more effective deployment of the sterile insect technique (SIT) against vector populations in the field. Currently, SIT relies on the release of radiation sterilized males, which compete with wild males for mating with wild females. The induction of sterility in males through the genetic manipulation of the mosquito genome, already achieved in a number of other insect species, could eliminate the need for radiation and increase the efficiency of SIT-based strategies. This paper provides an overview of the mechanisms already in use for inducing sterility by transgenesis in Drosophila and other insects, and speculates on possible ways to apply similar approaches to Anopheles mosquitoes

Effect of protocatechuic acid on insulin responsiveness and inflammation in visceral adipose tissue from obese individuals: possible role for PTP1B

n/