Portable system for data acquisition and transmission based on handheld PC technology

A portable system is developed to monitor physical activity by acquiring and storing data from body-mounted sensors; a handheld PC is used for managing data acquisition and storage, including radio-transmission to a remote host. An application related to the use of a gyro-accelerometric sensor for determining walking distance is discussed.     

"No allogeneic blood transfusion" protocol for the surgical correction of craniosynostoses. II. Clinical application

The authors describe the results obtained in 13 consecutive cases of craniosynostosis operated on according to a protocol devised at avoiding allogeneic blood transfusion. The protocol is based on pre- and postoperative treatment with erythropoietin, preoperative autologous blood donation, preoperative normovolemic hemodilution and intraoperative blood salvage. Nine subjects were affected by simple forms of craniosynostosis, whereas the remaining 4 presented with oxycephaly or craniofacial syndromes. Five of the 13 children were under 7 months and a further 3, under 10 months of age at the time of the surgical operation. Seven children weighed less than 10 kg. Allogeneic blood transfusion was avoided in 11 of the 13 children considered. Two failures - defined as the necessity to reinfuse the patient with an allogeneic blood transfusion - were recorded, 1 of them resulting from an unexpected hemorrhage during surgery. The results obtained indicate that this protocol designed to avoid allogeneic blood transfusion can be safely applied in the great majority of children with craniosynostosis, even when the surgical correction is carried out early in life.     

Lipofilling in Breast Oncological Surgery: A Safe Opportunity or Risk for Cancer Recurrence?

Lipofilling (LF) is a largely employed technique in reconstructive and esthetic breast surgery. Over the years, it has demonstrated to be extremely useful for treatment of soft tissue defects after demolitive or conservative breast cancer surgery and different procedures have been developed to improve the survival of transplanted fat graft. The regenerative potential of LF is attributed to the multipotent stem cells found in large quantity in adipose tissue. However, a growing body of pre-clinical evidence shows that adipocytes and adipose-derived stromal cells may have pro-tumorigenic potential. Despite no clear indication from clinical studies has demonstrated an increased risk of cancer recurrence upon LF, these observations challenge the oncologic safety of the procedure. This review aims to provide an updated overview of both the clinical and the pre-clinical indications to the suitability and safety of LF in breast oncological surgery. Cellular and molecular players in the crosstalk between adipose tissue and cancer are described, and heterogeneous contradictory results are discussed, highlighting that important issues still remain to be solved to get a clear understanding of LF safety in breast cancer patients.     

Homogeneous versus heterogeneous catalytic reactions to eliminate organics from waste water using H2O2

Homogeneous (Cu²⁺ ions) and heterogeneous (Cu²⁺-pillared clay) Fenton-like catalysts have been compared in the conversion of p-coumaric acid. The performances of the two classes of catalysts are similar for an analogous amount of copper, but there are some relevant differences in terms of (i) the presence of an induction time, (ii) the turnover frequency, (iii) the efficiency in the use of H₂O₂, (iv) the initial attack of p-coumaric acid (hydroxylation on the aromatic ring or oxidative attack on the double bond of the lateral chain), and (v) the effect of dissolved oxygen on the removal of total organic carbon (TOC). These differences were interpreted in terms of reaction network of generation of radical oxygen species and of organics conversion. The possible formation of a surface peroxo adduct coordinated to a copper binulcear site was also evidenced for the solid heterogeneous catalyst.     

Program verification and testing technologies

Program verification and testing techniques are crucial in fruitfully analyzing and validating complex software systems. This is an active research area and has produced various promising techniques in the last decade. However, many challenges lie ahead. We review the research area and summarize six papers selected from the Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE 2012).     

FPGA-based architecture for real time segmentation and denoising of HD video

The identification of moving objects is a basic step in computer vision. The identification begins with the segmentation and is followed by a denoising phase. This paper proposes the FPGA hardware implementation of segmentation and denoising unit. The segmentation is conducted using the Gaussian mixture model (GMM), a probabilistic method for the segmentation of the background. The denoising is conducted implementing the morphological operators of erosion, dilation, opening and closing. The proposed circuit is optimized to perform real time processing of HD video sequences (1,920 × 1,080 @ 20 fps) when implemented on FPGA devices. The circuit uses an optimized fixed width representation of the data and implements high performance arithmetic circuits. The circuit is implemented on Xilinx and Altera FPGA. Implemented on xc5vlx50 Virtex5 FPGA, it can process 24 fps of an HD video using 1,179 Slice LUTs and 291 Slice Registers; the dynamic power dissipation is 0.46 mW/MHz. Implemented on EP2S15F484C3 StratixII, it provides a maximum working frequency of 44.03 MHz employing 5038 Logic Elements and 7,957 flip flop with a dynamic power dissipation of 4.03 mW/MHz.     

Tool-supported enhancement of diagnosis in model-driven verification

We show on a case study from an autonomous aerospace context how to apply a game-based model-checking approach as a powerful technique for the verification, diagnosis, and adaptation of system behaviors based on temporal properties. This work is part of our contribution within the SHADOWS project, where we provide a number of enabling technologies for model-driven self-healing. We propose here to use GEAR, a game-based model checker, as a user-friendly tool that can offer automatic proofs of critical properties of such systems. Although it is a model checker for the full modal μ-calculus, it also supports derived, more user-oriented logics. With GEAR, designers and engineers can interactively investigate automatically generated winning strategies for the games, by this way exploring the connection between the property, the system, and the proof. This work has been partially supported by the European Union Specific Targeted Research Project SHADOWS (IST-2006-35157), exploring a Self-Healing Approach to Designing cOmplex softWare Systems. The project’s web page is at . This article is an extended version of Renner et al. [18] presented at ISoLA 2007, Poitiers, December 2007.     

Sensitivity analysis of the rice model WARM in Europe: Exploring the effects of different locations,climates and methods of analysis on model sensitivity to crop parameters

Sensitivity analysis studies how the variation in model outputs can be due to different sources of variation. This issue is addressed, in this study, as an application of sensitivity analysis techniques to a crop model in the Mediterranean region. In particular, an application of Morris and Sobol' sensitivity analysis methods to the rice model WARM is presented. The output considered is aboveground biomass at maturity, simulated at five rice districts of different countries (France, Greece, Italy, Portugal, and Spain) for years characterized by low, intermediate, and high continentality. The total effect index of Sobol' (that accounts for the total contribution to the output variation due a given parameter) and two Morris indices (mean μ and standard deviation σ of the ratios output changes/parameter variations) were used as sensitivity metrics. Radiation use efficiency (RUE), optimum temperature (T_opt), and leaf area index at emergence (LAI_ini) ranked in most of the combinations site × year as first, second and third most relevant parameters. Exceptions were observed, depending on the sensitivity method (e.g. LAI_ini resulted not relevant by the Morris method), or site-continentality pattern (e.g. with intermediate continentality in Spain, LAI_ini and T_opt were second and third ranked; with low continentality in Portugal, RUE was outranked by T_opt). Low σ values associated with the most relevant parameters indicated limited parameter interactions. The importance of sensitivity analyses by exploring site × climate combinations is discussed as pre-requisite to evaluate either novel crop-modelling approaches or the application of known modelling solutions to conditions not explored previously. The need of developing tools for sensitivity analysis within the modelling environment is also emphasized.     

Preface by the section editor

This special section is devoted to some of the novel approaches to hardware-like system verification that are currently being used in industry or the object of fielded research. The topics presented in this special section are based on a selection of the papers which appeared originally in the Proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Verification Methods which took place in Livingston, Scotland, UK in September 2001. They are by no means a complete account of the numerous ways in which hardware and hardware-like systems are being subject to rigorous investigation, but they represent an interesting sample of today’s problems and of the techniques oriented around new uses of verification techniques. Published online: 10 April 2003