Frank Bernard Cockett 1916-2014

La vita di Frank Cockett viene ricordata in occasione della sua mort

From informal requirements to a running program: A case study in algebraic specification and transformational programming

AbstractAlgebraic specification and transformational programming have been advocated as new approaches to the development of software, in order to solve some of the technical problems in software engineering such as “early validation”, correctness of implementations, re-usability of software, or re-usability of software design. By means of a nontrivial example, viz an interactive text editor, we demonstrate that the combined use of these approaches allows to bridge the gap between verbally stated requirements and a running program, even for non-toy, realistic problems

Inelastic Compression is Effective Over Time in Spite of Significant Pressure Drop

n/

Bandages or Double Stockings for the Initial Therapy of Venous Oedema? A Randomized, Controlled Pilot Study

n/

Inelastic bandages maintain their hemodynamic effectiveness over time despite significant pressure loss

n/

High Compression Pressure over the Calf is More Effective than Graduated Compression in Enhancing Venous Pump Function

AbstractBackgroundGraduated compression is routinely employed as standard therapy for chronic venous insufficiency.AimThe study aims to compare the haemodynamic efficiency of a multi-component graduated compression bandage (GCB) versus a negative graduated compression bandage (NGCB) applied with higher pressure over the calf.MethodsIn 20 patients, all affected by greater saphenous vein (GSV) incompetence and candidates for surgery (Clinical, etiologic, anatomic and pathophysiologic data, CEAP C2-C5), the ejection fraction of the venous calf pump was measured using a plethysmographic method during a standardised walking test without compression, with GCB and NGCB, all composed of the same short-stretch material. Sub-bandage pressures were measured simultaneously over the distal leg and over the calf.ResultsNGCBs with median pressures higher at the calf (62 mmHg) than at the distal leg (50 mmHg) achieved a significantly higher increase of ejection fraction (median +157%) compared with GCB, (+115%) with a distal pressure of 54 mmHg and a calf pressure of 28 mmHg (P < 0.001).ConclusionsPatients with severe venous incompetence have a greater haemodynamic benefit from NGCB, especially during standing and walking, than from GCB

Compression Stockings with a Negative Pressure Gradient Have a More Pronounced Effect on Venous Pumping Function than Graduated Elastic Compression Stockings

AbstractObjectivesTo measure the effect on the venous pumping function of a stocking providing a negative pressure gradient with higher pressures over the calf in comparison to a conventional graduated elastic compression stocking (GECS) in patients with advanced venous insufficiency.DesignExperimental study.Material30 patients with severe superficial chronic venous insufficiency were enrolled. Two elastic stocking designs exerting a pressure at ankle between 15 and 25 mm Hg were compared; a conventional GECS and a stocking exerting a higher pressure over the calf than over the ankle producing a “progressive” increase in compression (PECS).Methodthe venous calf pumping function was assessed by measuring the ejection fraction (EF) from the lower leg by a plethysmographic method during a standardised exercise. Interface pressure of the 2 compression devices was simultaneously recorded both at B1 = 12 cm above ankle, C = just above widest part of calf.ResultsThe mean increase of EF produced by PECS was +75% (95 CI 48,7-101,3) compared with +32% (95%CI 16,8-48,6) with GECS (P < 0.001). There was a significant correlation between EF and the stocking pressure measured at calf level during standing and walking.ConclusionStockings exerting a higher pressure on the calf than on the ankle show a greater efficacy in increasing the venous ejection fraction from the leg

Modeling determinants of lifelong learning according to the theory of planned behavior: A proxy-based approach using PIAAC data

In today's world, lifelong learning (LLL) is a key element of individual and societal success. However, despite knowing potential determinants of LLL, we do not yet understand how they interact to facilitate LLL. Therefore, the present study aims to verify the usefulness of the Theory of Planned Behavior (TPB) in predicting LLL. We applied a survey data-based approach by building proxies of TPB components for LLL based on the German PIAAC dataset. Our TPB-based path models explained both participation in non-formal LLL and engagement in informal LLL in a large heterogeneous sample of the German working population, also when controlling for influential socio-demographic determinants of LLL. Thereby, our results provide first evidence that TPB lends itself as core of a LLL process model that can serve as a basis to integrate further well-studied determinants of LLL participation and then can be tested in longitudinal multi-level studies