Dynamic verification of mashups of service-oriented things through a mediation platform

The new Internet is evolving into the vision of the Internet of Things, where physical world entities are integrated into virtual world things. Things are expected to become active participants in business, information and social processes. Then, the Internet of Things could benefit from the Web Service architecture like today’s Web does; so Future service-oriented Internet things will offer their functionality via service-enabled interfaces. As demonstrated in previous work, there is a need of considering the behaviour of things to develop applications in a more rigorous way. We proposed a lightweight model for representing such behaviour based on the service-oriented paradigm and extending the standard DPWS profile to specify the (partial) order with which things can receive messages. To check whether a mashup of things respects the behaviour, specified at design-time, of composed things, we proposed a static verification. However, at run-time a thing may change its behaviour or receive requests from instances of different mashups. Then, it is required to check and detect dynamically possible invalid invocations provoked by the behaviour’s changes. In this work, we extend our static verification with an approach based on mediation techniques and complex event processing to detect and inhibit invalid invocations, checking that things only receive requests compatible with their behaviour. The solution automatically generates the required elements to perform run-time validation of invocations, and it may be extended to validate other issues. Here, we have also dealt with quality of service and temporal restrictions

SeaClouds: Agile management of complex applications across multiple heterogeneous clouds

SeaClouds is a European FP7 research project, whose goal is to develop a novel open solution to provide developers with the capabilities to design, configure, deploy, and manage complex applications across multiple heterogeneous clouds in an efficient and adaptive way

Motor function in Parkinson's disease and supranuclear palsy: simultaneous factor analysis of a clinical scale in several populations

BACKGROUND: In order to better understand the similarities and differences in the motor behaviour of different groups of patients, their scores on the Motor Examination section of the Unified Parkinson's Disease Rating Scale (UPDRS) were analysed simultaneously. The three groups consisted, respectively, of patients with Parkinson's disease (PD) on medication, patients with Parkinson's disease withdrawn from anti-parkinsonian medication for at least 12 hours, and patients diagnosed with a specific Parkinsonism syndrome: Progressive Supranuclear Palsy (PSP). METHODS: A total of 669 consecutively sampled patients from three separate hospital-based clinics participated (294 PD on medication; 200 PD off medication: 175 PSP). The Motor Examination section of the UPDRS was administered by neurologists at the three participating clinics. The patient scores on each item were recorded. To assess similarities and differences among the components of the UPDRS in these samples, we performed simultaneous or multigroup factor analysis on the covariance matrices of the three groups. In addition, it was investigated whether a single model for the Motor Examination section of the UPDRS could be developed which would be valid for all three groups at the same time. RESULTS: A single six-dimensional factor solution was found that fitted all groups, although this was not straightforward due to differences between the tremor-at-rest variables. The factors were identified as Tremor-at-rest, Postural Tremor, Axial Dysfunctioning, Rigidity, Left Bradykinesia and Right Bradykinesia. The analysis also pointed to a somewhat lower lateralization in bradykinesia for PSP patients. The groups differed in intensity of motor impairment, especially with respect to Tremor-at-Rest, but the overall relationships between the variables were shared by the three groups. In addition, apart from the common factor structure evidence of differences in body part-specific and motor-specific variances was found. CONCLUSION: From a clinical point of view, the analyses showed that using the Motor Examination section of the UPDRS is also appropriate for patients with PSP, because the correlational structure of the items is directly comparable to that of Parkinson's patients. Methodologically, the analysis of all groups together showed that it is possible to evaluate similarities and differences between factor structures in great detail

Analysis and Verification of Service Interaction Protocols - A Brief Survey

Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and tools to verify that the new system will behave correctly. In this paper, we first overview some formal models proposed in the literature to describe services. Second, we give a brief survey of verification techniques that can be used to analyse services and their interaction. Last, we focus on the realizability and conformance of choreographies.Comment: In Proceedings TAV-WEB 2010, arXiv:1009.330

The Impact of Different Types of Assistive Devices on Gait Measures and Safety in Huntington's Disease

BACKGROUND: Gait and balance impairments lead to frequent falls and injuries in individuals with Huntington's disease (HD). Assistive devices (ADs) such as canes and walkers are often prescribed to prevent falls, but their efficacy is unknown. We systematically examined the effects of different types of ADs on quantitative gait measures during walking in a straight path and around obstacles. METHODS: Spatial and temporal gait parameters were measured in 21 subjects with HD as they walked across a GAITRite walkway under 7 conditions (i.e., using no AD and 6 commonly prescribed ADs: a cane, a weighted cane, a standard walker, and a 2, 3 or 4 wheeled walker). Subjects also were timed and observed for number of stumbles and falls while walking around two obstacles in a figure-of-eight pattern. RESULTS: Gait measure variability (i.e., coefficient of variation), an indicator of fall risk, was consistently better when using the 4WW compared to other ADs. Subjects also walked the fastest and had the fewest number of stumbles and falls when using the 4WW in the figure-of-eight course. Subjects walked significantly slower using ADs compared to no AD both across the GAITRite and in the figure-of-eight. Measures reflecting gait stability and safety improved with the 4WW but were made worse by some other ADs

Quality of Life and Costs in Parkinson's Disease: A Cross Sectional Study in Hungary.

BACKGROUND: Patient reported outcomes and costs of illness are useful to capture some of the multiple effects of a disease and its treatments. Our aim was to assess quality of life (QoL) and costs of Parkinson's disease (PD) in Hungary, and to analyze their associations. METHODS: A cross-sectional questionnaire survey was conducted in one neurology university clinic. Clinical characteristics, PD related resource utilizations and productivity loss in the past 12 months were recorded; the Hoehn&Yahr (HY) scale, PDQ-39 and EQ-5D questionnaires were applied. Cost calculation was performed from the societal perspective. RESULTS: 110 patients (34.5% female) were involved with mean age of 63.3 (SD = 11.3) and disease duration of 8.2 (SD = 5.8) years. PDQ-39 summary score was 48.1 (SD = 13.4). The average EQ-5D score was 0.59 (SD = 0.28), and was significantly lower than the population norm in age-groups 45-74. The correlation was significant between EQ-5D and PDQ-39 (-0.47, p = 0.000), the HY scale and EQ-5D (-0.3416, p = 0.0008) and PDQ-39 (0.3419, p = 0.0006) scores. The total mean cost was euro6030.2 (SD = 6163.0)/patient/year (direct medical 35.7%, direct non-medical 29.4%, indirect cost 34.9%). A one year increase in disease duration and 0.1 decrease of the EQ-5D utility score increase the yearly costs by 8 to 10%, and 7.8%, respectively. The effect of the PDQ-39 score on total cost was not significant. CONCLUSIONS: Disease severity and public health importance of PD are clearly demonstrated by the magnitude of QoL loss. PD-related costs are substantial, but are much lower in Hungary than in Western European countries. Disease duration and EQ-5D score are significant proxy of costs

Acute symptomatic hypoglycaemia mimicking ischaemic stroke on imaging:a systemic review

<p>Abstract</p> <p>Background</p> <p>Acute symptomatic hypoglycaemia is a differential diagnosis in patients presenting with stroke-like neurological impairment, but few textbooks describe the full brain imaging appearances. We systematically reviewed the literature to identify how often hypoglycaemia may mimic ischaemic stroke on imaging, common patterns and relationships with hypoglycaemia severity, duration, clinical outcome and add two new cases.</p> <p>Methods</p> <p>We searched EMBASE and Medline databases for papers reporting imaging in adults with symptomatic hypoglycaemia. We analysed the clinical presentation, outcome, brain imaging findings, duration and severity of hypoglycaemia, time course of lesion appearance, including two new cases.</p> <p>Results</p> <p>We found 42 papers describing computed tomography or magnetic resonance imaging in 65 patients, plus our two cases with symptomatic hypoglycaemia. Imaging abnormalities on computed tomography and magnetic resonance were uni or bilateral, cortical or sub-cortical. Thirteen (20%) mimicked cortical or lacunar stroke. Acute lesions had restricted diffusion on magnetic resonance or low attenuation on computed tomography, plus swelling; older lesions showed focal atrophy or disappeared, as with ischaemic stroke. The association between the depth or duration of hypoglycaemia, the severity or extent of neurological deficit, and the imaging abnormalities, was weak.</p> <p>Conclusion</p> <p>Imaging abnormalities in patients with hypoglycaemia are uncommon but very variable, weakly associated with neurological deficit, and about a fifth mimic acute ischaemic stroke. Blood glucose testing should be routine in all patients with acute neurological impairment and hypoglycaemia should be included in the differential diagnosis of imaging appearances in patients presenting with acute stroke.</p

Bupropion for the treatment of apathy in Huntington's disease:A multicenter, randomised, double-blind, placebo-controlled, prospective crossover trial

OBJECTIVE:To evaluate the efficacy and safety of bupropion in the treatment of apathy in Huntington's disease (HD). METHODS:In this phase 2b multicentre, double-blind, placebo-controlled crossover trial, individuals with HD and clinical signs of apathy according to the Structured Clinical Interview for Apathy-Dementia (SCIA-D), but not depression (n = 40) were randomized to receive either bupropion 150/300mg or placebo daily for 10 weeks. The primary outcome parameter was a significant change of the Apathy Evaluation Scale (AES) score after ten weeks of treatment as judged by an informant (AES-I) living in close proximity with the study participant. The secondary outcome parameters included changes of 1. AES scores determined by the patient (AES-S) or the clinical investigator (AES-C), 2. psychiatric symptoms (NPI, HADS-SIS, UHDRS-Behavior), 3. cognitive performance (SDMT, Stroop, VFT, MMSE), 4. motor symptoms (UHDRS-Motor), 5. activities of daily function (TFC, UHDRS-Function), and 6. caregiver distress (NPI-D). In addition, we investigated the effect of bupropion on brain structure as well as brain responses and functional connectivity during reward processing in a gambling task using magnetic resonance imaging (MRI). RESULTS:At baseline, there were no significant treatment group differences in the clinical primary and secondary outcome parameters. At endpoint, there was no statistically significant difference between treatment groups for all clinical primary and secondary outcome variables. Study participation, irrespective of the intervention, lessened symptoms of apathy according to the informant and the clinical investigator. CONCLUSION:Bupropion does not alleviate apathy in HD. However, study participation/placebo effects were observed, which document the need for carefully controlled trials when investigating therapeutic interventions for the neuropsychiatric symptoms of HD. TRIAL REGISTRATION:ClinicalTrials.gov 01914965