The size refinement of Cu crystallites under mechanical processing conditions: a phenomenological modeling approach

A phenomenological model is developed for describing the kinetics of the crystallite size refinement process of Cu powder under mechanical treatment conditions. Based on the evidence that collisions represent the elementary events of energy transfer, the rate of crystallite size decrease is related on a statistical basis to the amount of powder trapped at each collision, to the number of collisions and to the collision energy. The mathematical approach allows for identifying the approximate functional form of the kinetic curves obtained at largely different impact energies. The values of the apparent kinetic constants and of the model parameters involved can be thus estimated by fitting the model curves to the experimental data. The results obtained provide a deeper insight into the details of the crystallite size refinement process.     

Lightweight coarse-grained coordination: a scalable system-level approach

In this paper, our solution to the problem of modelling functionally complex communication systems at the application level, based on lightweight coordination, is extended to seamlessly capture system-level testing as well. This extension could be realized simply by self-application: the bulk of the work for integrating system-level testing into our development environment, the ABC, concerned domain modelling, which can be done using the ABC. Therefore, the extension of the ABC to cover system-level testing was merely an application development on the basis of the ABC, illustrated here in the domain of Computer Telephony Integration. Here the adoption of a coarse-grained approach to test design, which is central to the scalability of the overall testing environment, is the enabling aspect for system-level test automation. Together with our lightweight coordination approach this induces an understandable modelling paradigm of system-wide test cases that is adequate for the needs and requirements of industrial test engineers. In particular, it enables test engineers to graphically design complex test cases that, in addition, can even be automatically checked for their intended purposes via model checking.     

Mortality in a cohort of men expressing the glucose-6-phosphate dehydrogenase deficiency

The objective of this study was to test the hypothesis of a lower mortality from cancer and cardiovascular diseases among men expressing glucose-6-phosphate dehydrogenase (G6PD) deficiency. We designed a mortality study based on death certificates from January 1, 1982 through December 31, 1992 in a cohort of G6PD-deficient men. Cohort members were 1,756 men, identified as expressing the G6PD-deficient phenotype during a 1981 population screening of the G6PD polymorphism. The setting was the island of Sardinia, Italy. Outcome measures were cause-specific standardized mortality ratios (SMRs), which were computed as 100 times the observed/expected ratio, with the general Sardinian male population as the reference. Deaths from all causes were significantly less than expected due to decreased SMRs for ischemic heart disease (SMR, 28; 95% confidence interval [CI], 10 to 62), cerebrovascular disease (SMR, 22; 95% CI, 6 to 55), and liver cirrhosis (SMR, 12; 95% CI, 0 to 66), which explained 95.6% of the deficit in total mortality. All cancer mortality was close to the expectation, with a significant increase in the SMR for non-Hodgkin's lymphoma (SMR, 545; 95% CI, 147 to 1,395). A decrease in mortality from cardiovascular diseases was one of the study hypotheses, based on an earlier human report and experimental evidence. However, selection bias is also a likely explanation. Further analytic studies are warranted to confirm whether subjects expressing the G6PD-deficient phenotype are protected against ischemic heart disease and cerebrovascular disease. This cohort study is consistent with more recent case-control studies in rejecting the hypothesis of a decreased cancer risk among G6PD-deficient subjects. The observed increase in mortality from non-Hodgkin's lymphoma and decrease in mortality from liver cirrhosis were not previously reported.     

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.     

Sintered stainless steels: Fatigue crack propagation resistance under hydrogen charging conditions

Monophasic and multiphasic (two and three phases) sintered stainless steels were prepared both considering premixes of AISI 316LHC and AISI 434LHC stainless steels powders and using a prealloyed duplex stainless steel 25% Cr, 5% Ni, 2% Mo powder. Their fatigue crack propagation resistance was investigated both in air and under hydrogen charging conditions (0.5 M H₂SO₄ + 0.01 M KSCN aqueous solution; applied potential = −700 mV/SCE), considering three different stress ratios (R = 0.1; 0.5; 0.75). Fatigue crack propagation micromechanisms were investigated by means of fracture surface scanning electron microscope (SEM) analysis.For all the investigated sintered stainless, fatigue crack propagation resistance is influenced by hydrogen charging and an increase of crack growth rates dependent on the steel microstructure is obtained. Experimental results also allow to identify the sintered stainless steel obtained from the prealloyed 25% Cr, 5% Ni, 2% Mo powder as the most resistant to fatigue crack propagation in air and under hydrogen charging conditions.     

Protein design to understand peptide ligand recognition by tetratricopeptide repeat proteins

Protein design aims to understand the fundamentals of protein structure by creating novel proteins with pre-specified folds. An equally important goal is to understand protein function by creating novel proteins with pre-specified activities. Here we describe the design and characterization of a tetratricopeptide (TPR) protein, which binds to the C-terminal peptide of the eukaryotic chaperone Hsp90. The design emphasizes the importance of both direct, short-range protein-peptide interactions and of long-range electrostatic optimization. We demonstrate that the designed protein binds specifically to the desired peptide and discriminates between it and the similar C-terminal peptide of Hsp70.     

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).     

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.