Formalizing Adaptation On-the-Fly

AbstractParadigm models specify coordination of collaborating components via constraint control. Component McPal allows for later addition of new constraints and new control in view of unforeseen adaptation. After addition McPal starts coordinating migration accordingly, adapting the system towards to-be collaboration. Once done, McPal removes obsolete control and constraints. All coordination remains ongoing while migrating on-the-fly, being deflected without any quiescence. Through translation into process algebra, supporting formal analysis is arranged carefully, showing that as-is and to-be processes are proper abstractions of the migrating process. A canonical critical section problem illustrates the approach

Effect of an individually tailored one-year energy balance programme on body weight, body composition and lifestyle in recent retirees: a cluster randomised controlled trial

<p>Abstract</p> <p>Background</p> <p>The increased prevalence of overweight and obesity warrants preventive actions, particularly among people in transitional stages associated with lifestyle changes, such as occupational retirement. The purpose is to investigate the effect of a one year low-intensity computer-tailored energy balance programme among recent retirees on waist circumference, body weight and body composition, blood pressure, physical activity and dietary intake.</p> <p>Methods</p> <p>A randomised controlled trial was conducted among recent retirees (N = 413; mean age 59.5 years). Outcome measures were assessed using anthropometry, bio-impedance, blood pressure measurement and questionnaires.</p> <p>Results</p> <p>Waist circumference, body weight and blood pressure decreased significantly in men of the intervention and control group, but no significant between-group-differences were observed at 12 or at 24-months follow-up. A significant effect of the programme was only observed on waist circumference (-1.56 cm (95%CI: -2.91 to -0.21)) at 12 month follow up among men with low education (n = 85). Physical activity and dietary behaviours improved in both the intervention and control group during the intervention period. Although, these behaviours changed more favourably in the intervention group, these between-group-differences were not statistically significant.</p> <p>Conclusions</p> <p>The multifaceted computer-tailored programme for recent retirees did not appear to be effective. Apparently the transition to occupational retirement and/or participation in the study had a greater impact than the intervention programme.</p> <p>Trial registration</p> <p>Clinical Trials NCT00122213.</p

Geological resource management of the future: Drilling down the possibilities

Management of geological resources is based, ideally, on information on the quality and quantity of surface and subsurface litho-stratigraphical properties. Increasingly, these data become available for the offshore realm, though the integration into manageable and user-friendly applications is still at its infancy. Building on expertise from on-land data mining, we are now in the phase of creating 3D voxel models allowing for multi criteria resource volume calculations. The underlying data will be subdued to uncertainty modelling, a necessary step to produce data products with confidence limits. Anticipating on the dynamic nature of the marine environment, we aim at coupling the voxel model to environmental impact models to calculate resource depletion and regeneration, based on geological boundary conditions. In combination with anticipated impacts on fauna and flora, mining thresholds will be defined. All of the information is integrated into a decision support system for easy querying and online visualizations . The main aim is to provide long-term predictions on resource quantities to ensure future developments for the benefit of society and our future generations

Retrospective harm benefit analysis of pre-clinical animal research for six treatment interventions

The harm benefit analysis (HBA) is the cornerstone of animal research regulation and is considered to be a key ethical safeguard for animals. The HBA involves weighing the anticipated benefits of animal research against its predicted harms to animals but there are doubts about how objective and accountable this process is.i. To explore the harms to animals involved in pre-clinical animal studies and to assess these against the benefits for humans accruing from these studies; ii. To test the feasibility of conducting this type of retrospective HBA.Data on harms were systematically extracted from a sample of pre-clinical animal studies whose clinical relevance had already been investigated by comparing systematic reviews of the animal studies with systematic reviews of human studies for the same interventions (antifibrinolytics for haemorrhage, bisphosphonates for osteoporosis, corticosteroids for brain injury, Tirilazad for stroke, antenatal corticosteroids for neonatal respiratory distress and thrombolytics for stroke). Clinical relevance was also explored in terms of current clinical practice. Harms were categorised for severity using an expert panel. The quality of the research and its impact were considered. Bateson's Cube was used to conduct the HBA.The most common assessment of animal harms by the expert panel was 'severe'. Reported use of analgesia was rare and some animals (including most neonates) endured significant procedures with no, or only light, anaesthesia reported. Some animals suffered iatrogenic harms. Many were kept alive for long periods post-experimentally but only 1% of studies reported post-operative care. A third of studies reported that some animals died prior to endpoints. All the studies were of poor quality. Having weighed the actual harms to animals against the actual clinical benefits accruing from these studies, and taking into account the quality of the research and its impact, less than 7% of the studies were permissible according to Bateson's Cube: only the moderate bisphosphonate studies appeared to minimise harms to animals whilst being associated with benefit for humans.This is the first time the accountability of the HBA has been systematically explored across a range of pre-clinical animal studies. The regulatory systems in place when these studies were conducted failed to safeguard animals from severe suffering or to ensure that only beneficial, scientifically rigorous research was conducted. Our findings indicate a pressing need to: i. review regulations, particularly those that permit animals to suffer severe harms; ii. reform the processes of prospectively assessing pre-clinical animal studies to make them fit for purpose; and iii. systematically evaluate the benefits of pre-clinical animal research to permit a more realistic assessment of its likely future benefits

Еволюція топоформанта -щина в слов’янських мовах та його рефлекси в реґіональній історичній ойконімії

У статті автор на широкому географічно-історичному тлі простежує еволюцію топоформанта -щина в слов'янській топонімії детально аналізує рефлекси цього суфікса в реґіональній історичній ойконімії на прикладі дев'яти назв (і 12-ти мікроойконімних варіантів) населених пунктів Галицької та Львівської земель Руського воєводства із подальшим встановленням їхньої етимологи.В статье автор на широком географическо-историческом фоне прослеживает эволюцию топонимического форманта -щина в славянской топонимии детально анализирует рефлексы этого суффикса в региональной исторической ойконимии на примере девяти названий (с 12-ю микроойконимными вариантами) населенных пунктов Галицкой и Львовской земель Русского воеводства с последующим установлением их этимологии.The author traces the evolution of topoformant -schyna on the basis of historical and geographical studies in Slavic Toponymy. Reflexes of the suffix are analyzed in regional historical oykonymy in 12 toponyms (and their 12 microokonymic variants) of villages and towns of Halych and Lviv Lands of Ruske Woyewodstwo. Their etymology is also analysed

A change in the name of the type of Chondria C. Agardh (Rhodomelaceae, Rhodophyta)

Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/149775/1/tax01150.pd