We experiment Leifer-Milner RPO approach to CCS and to π-calculus. The basic category in which we carry out the construction is the category of term contexts. Several issues and problems emerge from this experiment; for them we propose some original solutions.

T h i s d o c u me n t c o n t a i n s i n f o r ma t i o n , wh i c h i s p r o p r i e t a r y t o t h e " E U-DE E P " C o n s o r t i u m. Ne i t h e r t h i s d o c u me n t nor the information contained herein shall be used, duplicated or communicated by any means to any third party, in whole or in p a r t s , e x c e p t wi t h p r i o r wr i t t e n c o n s e n t o f t h e " E U-DE E P ...

The need for managing the conceptual representation of European law led to the development of the Legal Taxonomy Syllabus (LTS) and the related methodology. In this paper we consider further legal issues that emerged during the test and use phases, and outline the new features that we added to the new version, the LTS 2.0.

Biometric latent growth curve models were applied to data from the LTS in order to replicate and extend Wilson's (Child Dev 54:298-316, 1983) findings. Assessments of cognitive development were available from 8 measurement occasions covering the period 4-15 years for 1032 individuals. Latent growth curve models were fit to percent correct for 7 subscales: information, similarities, arithmetic, ...

The long-term survivor mixture model is commonly applied to analyse survival data when some individuals may never experience the failure event of interest. A score test is presented to assess whether the cured proportion is significant to justify the long-term survivor mixture model. Sampling distribution and power of the test statistic are evaluated by simulation studies. The results confirm t...

Repetitive, unilateral stimulation of Aplysia induces long-term sensitization (LTS) of ipsilaterally elicited siphon-withdrawal responses. Whereas some morphological effects of training appear only on ipsilateral sensory neurons, others appear bilaterally. We tested the possibility that contralateral morphological modifications may have functional significance. Therefore, we examined whether LT...

Increasing awareness of the issue of deforestation and degradation in the tropics has resulted in efforts to monitor forest resources in tropical countries. Advances in satellite-based remote sensing and ground-based technologies have allowed for monitoring of forests with high spatial, temporal and thematic detail. Despite these advances, there is a need to engage communities in monitoring act...

Aim The aim of this study was to test the feasibility and fidelity of an intervention, Moving On, aimed to increase outcome expectations OEs (i.e. what one expects to obtain or avoid as a result of a behaviour) and exercise among breast cancer survivors. Design Randomized controlled trial. Methods Intervention arm participants will be given a theory-guided booklet that was co-created by the...

A “largely theocratic society” (LTS) is defined as one in which the main purpose of government is religious and some coercion is used to serve it. Such societies exist at least in the imagination and discourse of some people. The focus is on LTS in which the major religious roles are assigned -partly on the basis of theological interpretations -to priesthood, kingship and community. In the smal...