Solving Sequential Conditions by Finite State Strategies

Our main purpose is to present an algorithm which decides whether or not a condition C(X,Y) stated in sequential calculus admits a finite automata solution, and produces one if it exists. This solves a problem stated in [4] and contains, as a very special case, the answer to case 4 left open in [6]. In an equally appealing form the result can be restated in the terminology of [7^10,15] » Every oi-game definable in sequential calculus Is determined. Moreover the player who has a winning strategy, in fact, has a winning finite state strategy, that is one which can effectively be played in a strong sense. The main proof, that of the central Theorem 1, will be presented at the end. We begin with a discussion of its consequences

Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

One of the main open research issues in Service Oriented Computing is to propose automated techniques to analyse service interfaces. A first problem, called compatibility, aims at determining whether a set of services (two in this paper) can be composed together and interact with each other as expected. Another related problem is to check the substitutability of one service with another. These problems are especially difficult when behavioural descriptions (i.e., message calls and their ordering) are taken into account in service interfaces. Interfaces should capture as faithfully as possible the service behaviour to make their automated analysis possible while not exhibiting implementation details. In this position paper, we choose Labelled Transition Systems to specify the behavioural part of service interfaces. In particular, we show that internal behaviours (tau transitions) are necessary in these transition systems in order to detect subtle errors that may occur when composing a set of services together. We also show that tau transitions should be handled differently in the compatibility and substitutability problem: the former problem requires to check if the compatibility is preserved every time a tau transition is traversed in one interface, whereas the latter requires a precise analysis of tau branchings in order to make the substitution preserve the properties (e.g., a compatibility notion) which were ensured before replacement.Comment: In Proceedings WCSI 2010, arXiv:1010.233

Peripheral blood B lymphocytes derived from patients with idiopathic pulmonary arterial hypertension express a different RNA pattern compared with healthy controls: a cross sectional study

BACKGROUND: Idiopathic pulmonary arterial hypertension (IPAH) is a progressive and still incurable disease. Research of IPAH-pathogenesis is complicated by the lack of a direct access to the involved tissue, the human pulmonary vasculature. Various auto-antibodies have been described in the blood of patients with IPAH. The purpose of the present work was therefore to comparatively analyze peripheral blood B lymphocyte RNA expression characteristics in IPAH and healthy controls. METHODS: Patients were diagnosed having IPAH according to WHO (mean pulmonary arterial pressure > or = 25 mmHg, pulmonary capillary occlusion pressure < or = 15 mmHg, absence of another explaining disease). Peripheral blood B-lymphocytes of patients and controls were immediately separated by density gradient centrifugation and magnetic beads for CD19. RNA was thereafter extracted and analyzed by the use of a high sensitivity gene chip (Affymetrix HG-U133-Plus2) able to analyze 47000 transcripts and variants of human genes. The array data were analyzed by two different softwares, and up-and down-regulations were defined as at least 1.3 fold with standard deviations smaller than fold-changes. RESULTS: Highly purified B-cells of 5 patients with IPAH (mean pulmonary artery pressure 51 +/- 13 mmHg) and 5 controls were analyzed. Using the two different analyzing methods we found 225 respectively 128 transcripts which were up-regulated (1.3-30.7 fold) in IPAH compared with healthy controls. Combining both methods, there were 33 overlapping up-regulated transcripts and no down-regulated B-cell transcripts. CONCLUSION: Patients with IPAH have a distinct RNA expression profile of their peripheral blood B-lymphocytes compared to healthy controls with some clearly up-regulated genes. Our finding suggests that in IPAH patients B cells are activated

Relationship between the magnitude of intraocular pressure during an episode of acute elevation and retinal damage four weeks later in rats

PURPOSE: To determine relationship between the magnitude of intraocular pressure (IOP) during a fixed-duration episode of acute elevation and the loss of retinal function and structure 4 weeks later in rats. METHODS: Unilateral elevation of IOP (105 minutes) was achieved manometrically in adult Brown Norway rats (9 groups; n = 4 to 8 each, 10-100 mm Hg and sham control). Full-field ERGs were recorded simultaneously from treated and control eyes 4 weeks after IOP elevation. Scotopic ERG stimuli were white flashes (-6.04 to 2.72 log cd.s.m(-2)). Photopic ERGs were recorded (1.22 to 2.72 log cd.s.m(-2)) after 15 min of light adaptation (150 cd/m(2)). Relative amplitude (treated/control, %) of ERG components versus IOP was described with a cummulative normal function. Retinal ganglion cell (RGC) layer density was determined post mortem by histology. RESULTS: All ERG components failed to recover completely normal amplitudes by 4 weeks after the insult if IOP was 70 mmHg or greater during the episode. There was no ERG recovery at all if IOP was 100 mmHg. Outer retinal (photoreceptor) function demonstrated the least sensitivity to prior acute IOP elevation. ERG components reflecting inner retinal function were correlated with post mortem RGC layer density. CONCLUSIONS: Retinal function recovers after IOP normalization, such that it requires a level of acute IOP elevation approximately 10 mmHg higher to cause a pattern of permanent dysfunction similar to that observed during the acute event. There is a 'threshold' for permanent retinal functional loss in the rat at an IOP between 60 and 70 mmHg if sustained for 105 minutes or more

Controlling Groundwater Exploitation Through Economic Instruments: Current Practices, Challenges and Innovative Approaches

Groundwater can be considered as a common-pool resource, is often overexploited and, as a result, there are growing management pressures. This chapter starts with a broad presentation of the range of economic instruments that can be used for groundwater management, considering current practices and innovative approaches inspired from the literature on Common Pool Resources management. It then goes on with a detailed presentation of groundwater allocation policies implemented in France, the High Plains aquifer in the USA, and Chile. The chapter concludes with a discussion of social and political difficulties associated with implementing economic instruments for groundwater management

Exercise therapy and cognitive behavioural therapy to improve fatigue, daily activity performance and quality of life in Postpoliomyelitis Syndrome: the protocol of the FACTS-2-PPS trial

Contains fulltext : 88661.pdf (publisher's version ) (Open Access)BACKGROUND: Postpoliomyelitis Syndrome (PPS) is a complex of late onset neuromuscular symptoms with new or increased muscle weakness and muscle fatigability as key symptoms. Main clinical complaints are severe fatigue, deterioration in functional abilities and health related quality of life. Rehabilitation management is the mainstay of treatment. Two different therapeutic interventions may be prescribed (1) exercise therapy or (2) cognitive behavioural therapy (CBT). However, the evidence on the effectiveness of both interventions is limited. The primary aim of the FACTS-2-PPS trial is to study the efficacy of exercise therapy and CBT for reducing fatigue and improving activities and quality of life in patients with PPS. Additionally, the working mechanisms, patients' and therapists' expectations of and experiences with both interventions and cost-effectiveness will be evaluated. METHODS/DESIGN: A multi-centre, single-blinded, randomized controlled trial will be conducted. A sample of 81 severely fatigued patients with PPS will be recruited from 3 different university hospitals and their affiliate rehabilitation centres. Patients will be randomized to one of three groups i.e. (1) exercise therapy + usual care, (2) CBT + usual care, (3) usual care. At baseline, immediately post-intervention and at 3- and 6-months follow-up, fatigue, activities, quality of life and secondary outcomes will be assessed. Costs will be based on a cost questionnaire, and statistical analyses on GEE (generalized estimated equations). Analysis will also consider mechanisms of change during therapy. A responsive evaluation will be conducted to monitor the implementation process and to investigate the perspectives of patients and therapists on both interventions. DISCUSSION: A major strength of the FACTS-2-PPS study is the use of a mixed methods design in which a responsive and economic evaluation runs parallel to the trial. The results of this study will generate new evidence for the rehabilitation treatment of persons with PPS. TRIAL REGISTRATION: Dutch Trial Register NTR1371

Systematic review for non-surgical interventions for the management of late radiation proctitis

Chronic radiation proctitis produces a range of clinical symptoms for which there is currently no recommended standard management. The aim of this review was to identify the various non-surgical treatment options for the management of late chronic radiation proctitis and evaluate the evidence for their efficacy. Synonyms for radiation therapy and for the spectrum of lower gastrointestinal radiation toxicity were combined in an extensive search strategy and applied to a range of databases. The included studies were those that involved interventions for the non-surgical management of late radiation proctitis. Sixty-three studies were identified that met the inclusion criteria, including six randomised controlled trials that described the effects of anti-inflammatory agents in combination, rectal steroids alone, rectal sucralfate, short chain fatty acid enemas and different types of thermal therapy. However, these studies could not be compared. If the management of late radiation proctitis is to become evidence based, then, in view of its episodic and variable nature, placebo controlled studies need to be conducted to clarify which therapeutic options should be recommended. From the current data, although certain interventions look promising and may be effective, one small or modest sized study, even if well-conducted, is insufficient to implement changes in practice. In order to increase recruitment to trials, a national register of cases with established late radiation toxicity would facilitate multi-centre trials with specific entry criteria, formal baseline and therapeutic assessments providing standardised outcome data