A unified approach to architecture conformance checking

Architectural decisions can be interpreted as structural and behavioral constraints that must be enforced in order to guarantee overarching qualities in a system. Enforcing those constraints in a fully automated way is often challenging and not well supported by current tools. Current approaches for checking architecture conformance either lack in usability or offer poor options for adaptation. To overcome this problem we analyze the current state of practice and propose an approach based on an extensible, declarative and empirically-grounded specification language. This solution aims at reducing the overall cost of setting up and maintaining an architectural conformance monitoring environment by decoupling the conceptual representation of a user-defined rule from its technical specification prescribed by the underlying analysis tools. By using a declarative language, we are able to write tool-agnostic rules that are simple enough to be understood by untrained stakeholders and, at the same time, can be can be automatically processed by a conformance checking validator. Besides addressing the issue of cost, we also investigate opportunities for increasing the value of conformance checking results by assisting the user towards the full alignment of the implementation with respect to its architecture. In particular, we show the benefits of providing actionable results by introducing a technique which automatically selects the optimal repairing solutions by means of simulation and profit-based quantification. We perform various case studies to show how our approach can be successfully adopted to support truly diverse industrial projects. We also investigate the dynamics involved in choosing and adopting a new automated conformance checking solution within an industrial context. Our approach reduces the cost of conformance checking by avoiding the need for an explicit management of the involved validation tools. The user can define rules using a convenient high-level DSL which automatically adapts to emerging analysis requirements. Increased usability and modular customization ensure lower costs and a shorter feedback loop.

In situ pinning with arthroscopic osteoplasty for mild SCFE: A preliminary technical report

There is emerging evidence that even mild slipped capital femoral epiphysis leads to early articular damage. Therefore, we have begun treating patients with mild slips and signs of impingement with in situ pinning and immediate arthroscopic osteoplasty. DESCRIPTION OF TECHNIQUES: Surgery was performed using the fracture table. After in situ pinning and diagnostic arthroscopy, peripheral compartment access was obtained and head-neck osteoplasty was completed.

Soft-Tissue Simulation for Cranio-Maxillofacial Surgery: Clinical Needs and Technical Aspects

Computerized soft-tissue simulation can provide unprecedented means for predicting facial outlook pre-operatively. Surgeons can virtually perform several surgical plans to have the best surgical results for their patients while considering corresponding soft-tissue outcome. It could be used as an interactive communication tool with their patients as well. There has been comprehensive amount of works for simulating soft-tissue for cranio-maxillofacial surgery. Although some of them have been realized as commercial products, none of them has been fully integrated into clinical practice due to the lack of accuracy and excessive amount of processing time. In this chapter, state-of-the-art and general workflow in facial soft-tissue simulation will be presented, along with an example of patient-specific facial soft-tissue simulation method.

Immediate Search in the IDE as an Example of Socio-Technical Congruence in Search-Driven Development

Search-driven development is mainly concerned with code reuse but also with code navigation and debugging. In this essay we look at search-driven navigation in the IDE. We consider Smalltalk-80 as an example of a programming system with search-driven navigation capabilities and explore its human factors. We present how immediate search results lead to a user experience of code browsing rather than one of waiting for and clicking through search results. We explore the socio-technical congruence of immediate search, ie unification of tasks and breakpoints with method calls, which leads to simpler and more extensible development tools. Eventually we conclude with remarks on the socio-technical congruence of search-driven development.

Body CT: technical advances for improving safety

OBJECTIVE: In this review, we attempt to address many of the issues that are related to ensuring patient benefit in body CT, balancing the use of ionizing radiation and iodinated contrast media. We attempt to not only summarize the literature but also make recommendations relevant to CT protocols, including the technical parameters of both the scanner and the associated contrast media. CONCLUSION: Although CT is a powerful tool that has transformed the practice of medicine, the benefits are accompanied by important risks. Radiologists must understand these risks and the strategies available to minimize them as well as the risks associated with contrast medium delivery in abdominal CT.

Technical Feasibility and Application of Mechanical Thrombectomy with the Solitaire FR Revascularization Device in Acute Basilar Artery Occlusion

Acute BAO is a devastating neurological condition associated with a poor clinical outcome and a high mortality rate. Recanalization has been identified as a major prognostic factor for good outcome in BAO. Mechanical thrombectomy using retrievable stents is an emerging treatment option for acute stroke. First clinical trials using stent retrievers have shown promising high recanalization rates. However, these studies mainly included large artery occlusions in the anterior circulation with only a few or single cases of BAO. Therefore, the purpose of this study was to evaluate technical feasibility, safety, and efficacy of mechanical thrombectomy using retrievable stent in the treatment of acute BAO.

Systematic review of the survival rate and the incidence of biological, technical, and aesthetic complications of single crowns on implants reported in longitudinal studies with a mean follow-up of 5 years

To assess the 5-year survival of implant-supported single crowns (SCs) and to describe the incidence of biological, technical, and aesthetic complications. The focused question was: What is the survival rate of implants supporting single crowns and implant-supported crowns with a mean follow-up of 5 years and to which extent do biological, technical, and aesthetic complications occur?

The Locking Compression Paediatric Hip Plate: technical guide and critical analysis

Osteotomies of the proximal femur and stable fixation of displaced femoral neck fractures are demanding operations. An LCP Paediatric Hip Plate was developed to make these operations safer and less demanding. The article focuses on the surgical technique and critically analyses the device.