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

Stimulation of lymphocyte anti-melanoma activity by co-cultured macrophages activated by complex homeopathic medication

<p>Abstract</p> <p>Background</p> <p>Melanoma is the most aggressive form of skin cancer, and the most rapidly expanding cancer in terms of worldwide incidence. Chemotherapeutic approaches to treat melanoma have been uniformly disappointing. A Brazilian complex homeopathic medication (CHM), used as an immune modulator, has been recommended for patients with depressed immune systems. Previous studies in mice have demonstrated that the CHM activates macrophages, induces an increase in the number of leukocytes and improves the murine response against Sarcoma-180.</p> <p>Methods</p> <p>Here we studied the interaction of mouse lymph node lymphocytes, co-cultured <it>in vitro </it>with macrophages in the presence or absence of the CHM, with B16F10 melanoma cells.</p> <p>Results</p> <p>Lymphocytes co-cultured with macrophages in the presence of the CHM had greater anti-melanoma activity, reducing melanoma cell density and increasing the number of lysed tumor cells. There was also a higher proportion of activated (CD25⁺) lymphocytes with increased viability. Overall, lymphocytes activated by treatment destroyed growing cancer cells more effectively than control lymphocytes.</p> <p>Conclusion</p> <p>Co-culture of macrophages with lymphocytes in the presence of the CHM enhanced the anti-cancer performance of lymphocytes against a very aggressive lineage of melanoma cells. These results suggest that non-toxic therapies using CHMs are a promising alternative approach to the treatment of melanomas. In addition, they are attractive combination-therapy candidates, which may enhance the efficacy of conventional medicines by improving the immune response against tumor cells.</p

Developments on drug discovery and on new therapeutics: highly diluted tinctures act as biological response modifiers

<p>Abstract</p> <p>Background</p> <p>In the search for new therapies novel drugs and medications are being discovered, developed and tested in laboratories. Highly diluted substances are intended to enhance immune system responses resulting in reduced frequency of various diseases, and often present no risk of serious side-effects due to its low toxicity. Over the past years our research group has been investigating the action of highly diluted substances and tinctures on cells from the immune system.</p> <p>Methods</p> <p>We have developed and tested several highly diluted tinctures and here we describe the biological activity of M1, M2, and M8 both <it>in vitro </it>in immune cells from mice and human, and <it>in vivo </it>in mice. Cytotoxicity, cytokines released and NF-κB activation were determined after <it>in vitro </it>treatment. Cell viability, oxidative response, lipid peroxidation, bone marrow and lymph node cells immunophenotyping were accessed after mice <it>in vivo </it>treatment.</p> <p>Results</p> <p>None of the highly diluted tinctures tested were cytotoxic to macrophages or K562. Lipopolysaccharide (LPS)-stimulated macrophages treated with all highly diluted tinctures decreased tumour necrosis factor alpha (TNF-α) release and M1, and M8 decreased IFN-<it>γ </it>production. M1 has decreased NF-κB activity on TNF-α stimulated reporter cell line. <it>In vivo </it>treatment lead to a decrease in reactive oxygen species (ROS), nitric oxide (NO) production was increased by M1, and M8, and lipid peroxidation was induced by M1, and M2. All compounds enhanced the innate immunity, but M1 also augmented acquired immunity and M2 diminished B lymphocytes, responsible to acquired immunity.</p> <p>Conclusions</p> <p>Based on the results presented here, these highly diluted tinctures were shown to modulate immune responses. Even though further investigation is needed there is an indication that these highly diluted tinctures could be used as therapeutic interventions in disorders where the immune system is compromised.</p

In vitro and in vivo anticancer properties of a Calcarea carbonica derivative complex (M8) treatment in a murine melanoma model

<p>Abstract</p> <p>Background</p> <p>Melanoma is the most aggressive form of skin cancer and the most rapidly expanding cancer in terms of worldwide incidence. Chemotherapeutic approaches to treat melanoma have had only marginal success. Previous studies in mice demonstrated that a high diluted complex derived from <it>Calcarea carbonica </it>(M8) stimulated the tumoricidal response of activated lymphocytes against B16F10 melanoma cells <it>in vitro</it>.</p> <p>Methods</p> <p>Here we describe the <it>in vitro </it>inhibition of invasion and the <it>in vivo </it>anti-metastatic potential after M8 treatment by inhalation in the B16F10 lung metastasis model.</p> <p>Results</p> <p>We found that M8 has at least two functions, acting as both an inhibitor of cancer cell adhesion and invasion and as a perlecan expression antagonist, which are strongly correlated with several metastatic, angiogenic and invasive factors in melanoma tumors.</p> <p>Conclusion</p> <p>The findings suggest that this medication is a promising non-toxic therapy candidate by improving the immune response against tumor cells or even induce direct dormancy in malignancies.</p

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

«La relation de limitation et d’exception dans le français d’aujourd’hui : excepté, sauf et hormis comme pivots d’une relation algébrique »

L’analyse des emplois prépositionnels et des emplois conjonctifs d’ “excepté”, de “sauf” et d’ “hormis” permet d’envisager les trois prépositions/conjonctions comme le pivot d’un binôme, comme la plaque tournante d’une structure bipolaire. Placées au milieu du binôme, ces prépositions sont forcées par leur sémantisme originaire dûment métaphorisé de jouer le rôle de marqueurs d’inconséquence systématique entre l’élément se trouvant à leur gauche et celui qui se trouve à leur droite. L’opposition qui surgit entre les deux éléments n’est donc pas une incompatibilité naturelle, intrinsèque, mais extrinsèque, induite. Dans la plupart des cas (emplois limitatifs), cette opposition prend la forme d’un rapport entre une « classe » et le « membre (soustrait) de la classe », ou bien entre un « tout » et une « partie » ; dans d’autres (emplois exceptifs), cette opposition se manifeste au contraire comme une attaque de front portée par un « tout » à un autre « tout ». De plus, l’inconséquence induite mise en place par la préposition/conjonction paraît, en principe, tout à fait insurmontable. Dans l’assertion « les écureuils vivent partout, sauf en Australie » (que l’on peut expliciter par « Les écureuils vivent partout, sauf [qu’ils ne vivent pas] en Australie »), la préposition semble en effet capable d’impliquer le prédicat principal avec signe inverti, et de bâtir sur une telle implication une sorte de sous énoncé qui, à la rigueur, est totalement inconséquent avec celui qui le précède (si « les écureuils ne vivent pas en Australie », le fait qu’ils « vivent partout » est faux). Néanmoins, l’analyse montre qu’alors que certaines de ces oppositions peuvent enfin être dépassées, d’autres ne le peuvent pas. C’est, respectivement, le cas des relations limitatives et des relations exceptives. La relation limitative, impliquant le rapport « tout » - « partie », permet de résoudre le conflit dans les termes d’une somme algébrique entre deux sous énoncés pourvus de différent poids informatif et de signe contraire. Les valeurs numériques des termes de la somme étant déséquilibrées, le résultat est toujours autre que zéro. La relation exceptive, au contraire, qui n’implique pas le rapport « tout » - « partie », n’est pas capable de résoudre le conflit entre deux sous énoncés pourvus du même poids informatif et en même temps de signe contraire : les valeurs numériques des termes de la somme étant symétriques et égales, le résultat sera toujours équivalent à zéro

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