Size-related differences in power production and swim speed duration may contribute to the observed deficit of nursing calves in relation to lactating females killed in sets by tuna purse-seiners in the eastern tropical Pacific Ocean (ETP). Power production and swim-speed duration were estimated for northeastern spotted dolphins (Stenella attenuata), the species (neonate through adult) most oft...

This paper presents an approach enabling a smart card is-suer to verify that a new applet securely interacts with already down-loaded applets. A security policy has been deened that associates levels to applet attributes and methods and deenes authorized ows between levels. We propose a technique based on model checking to verify that actual information ows between applets are authorized. We il...

In this paper, we present a method and a tool to build symbolic labelled transition systems from B specifications. The tool, called GeneSyst, can take into account refinement levels and can visualize the decomposition of abstract states in concrete hierarchical states. The resulting symbolic transition system represents all the behaviors of the initial B event system. So, it can be used to reas...

M oday, M arch 7, 2017 reduction (SPAIR) mammaplasty. This technique utilizes an inferior pedicle, circumvertical skin resection pattern, and purse-string peri-areolar closure to achieve a stable and aesthetic breast shape. Late breast distortion from seroma formation is rare complication than may occur after an initially satisfactory result. Contraction of the seroma cavity may cause the surro...

The ZIP technique, a surgical equivalent of the 'Preclose' technique, useful for transcatheter aortic valve implantation or endovascular aortic aneurysm repair is described. While percutaneous closure devices are expensive, need a long learning curve and are associated with primary failure, the ZIP technique is easy and allows a quick, safe and anatomical closure of the artery. This procedure a...

This seemingly inexorable rise in the cost of clinical negligence litigation poses a limitless drain upon the finite health service purse. Contrary to the principles of beneficence, in which resources are equitably distributed for the maximum benefit of the maximum number of patients, large sums of money are diverted away from the wider patient population through the restriction of clinical ser...

M oday, M arch 7, 2017 reduction (SPAIR) mammaplasty. This technique utilizes an inferior pedicle, circumvertical skin resection pattern, and purse-string peri-areolar closure to achieve a stable and aesthetic breast shape. Late breast distortion from seroma formation is rare complication than may occur after an initially satisfactory result. Contraction of the seroma cavity may cause the surro...