Model checking is a fruitful application of computational logic with high relevance to the verification of concurrent systems. While model checking is capable of automatically testing that a concurrent system satisfies its formal specification, it can not precisely locate an error and suggest a repair, i.e., a suitable correction, to the system. In this paper, we tackle this problem by using pr...

objective: to date, several scaffolds have been fabricated for application in bone tissue repair. however, there remains a need for synthesis of scaffolds with better mechanical properties, which can be applied to defects in weight-bearing bones. we constructed a composite ceramic bioscaffold of hydroxyapatite-alumina and silicon carbide (ha-al2o3- sic) to take advantage of the mechanical prope...

BACKGROUND Mitral valve repair is considered better than mitral valve replacement for degenerative mitral regurgitation. AIM To evaluate late clinical results of mitral valve repair as compared to mitral valve replacement in patients with degenerative mitral regurgitation. PATIENTS AND METHODS All patients subjected to open heart surgery for degenerative mitral regurgitation between 1990 an...

OBJECTIVE To evaluate the intraoperative use of mitomycin to improve the surgical outcome and reduce the rate of soft tissue restenosis in children undergoing choanal atresia repair. DESIGN Retrospective chart review of all patients surgically treated for congenital choanal atresia by the senior author (W.F.M). SETTING Tertiary children's hospital. PATIENTS Eight consecutive patients with...

UNLABELLED The need for long-term retention to prevent post-treatment tooth movement is now widely accepted by orthodontists. This may be achieved with removable retainers or permanent bonded retainers. This article aims to provide simple guidance for the dentist on how to maintain and repair both removable and fixed retainers. CLINICAL RELEVANCE The general dental practitioner is more likely...

Highly coordinated DNA repair pathways exist to detect, excise and replace damaged DNA bases, and coordinate repair of DNA strand breaks. While molecular biology techniques have clarified structure, enzymatic functions, and kinetics of repair proteins, there is still a need to understand how repair is coordinated within the nucleus. Laser micro-irradiation offers a powerful tool for inducing DN...

The paper considers a new version of IRIS ISO/TS 22163:2017 standard in relation to the quality repair complex equipment railway industry. It is shown that ISO/ TS provides for need organizations conduct risk analysis and accounting their work. authors propose consider as an example well-established types consequences potential defects FMEA process. use made it possible significance various ris...

This position paper summarises a vision of how cell-based therapies can be applied clinically to regenerate bone, as well as the steps needed to narrow the gap between that vision and clinical reality. It is a result of the presentations and discussion of the "Cell Therapy for Bone Repair" breakout session at the AO Foundation Symposium "Where Science Meets Clinics" in Davos, Switzerland from S...