[1] Amet EM and Ganz SD. Implant treatment planning using a patient acceptance prosthesis, radiogra-phic record base, and surgical template. Part 1: Pre-surgical phase. Implant Dent 1997, 6:193-197. [2] Beuer F, Schweiger J and Edelhoff D. Digital dentistry: an overview of recent developments for CAD/CAM generated restorations.term evaluation of non-submerged ITI implants. Part 1: 8-year life t...

Various logic-based frameworks have been proposed for specifying the operational semantics of programming languages and concurrent systems, including inference systems in the styles advocated by Plotkin and by Kahn, Horn logic, equational specifications, reduction systems for evaluation contexts, rewriting logic, and tile logic. We consider the relationship between these frameworks, and assess ...

Extensive resources are expended attempting to change clinical practice; however, determining the effects of these interventions can be challenging. Traditionally, frameworks to examine the impact of educational interventions have been hierarchical in their approach. In this article, existing frameworks to examine medical education initiatives are reviewed and a novel '7Is framework' discussed....

Abstract argumentation allows to determine in an easy, formal way which claims survive in a conflicting dispute. It works by considering claims as abstract entities, and expressing attack relationships among them. However, this level of expressiveness prevents abstract argumentation systems from being directly applied to reasoning processes where the context is relevant. An outstanding example ...

Regulatory compliance management (RCM) is a problem gaining wide interest in the business process management (BPM) community. However, research has not yet provided a non-ambiguous and agreedupon definition of RCM, and it is hard for newcomers to this field of research to get a clear overview of available results. This paper surveys and analyzes solutions proposed in research on RCM from the pe...

The management and assurance of “systems of systems” (SoSs) are hampered by the difficulty of gaining confidence that a particular architecture of constituent systems will meet a global SoS-level requirement. Research suggests that recording explicit technical contracts at the boundaries between the SoS-constituent systems may help with verification of SoS-level properties, including non-functi...

The management and assurance of “systems of systems” (SoSs) are hampered by the difficulty of gaining confidence that a particular architecture of constituent systems will meet a global SoS-level requirement. Research suggests that recording explicit technical contracts at the boundaries between the SoS-constituent systems may help with verification of SoS-level properties, including non-functi...

With the growing popularity of knowledge management, the need for frameworks for evaluating the impacts of knowledge management on organizational performance has been recognized by practitioners. Despite the wide implementations of knowledge management, there is yet no standardized framework for measuring the performance within organizations. This paper provides an overview of the approaches to...

With the growing popularity of knowledge management, the need for frameworks for evaluating the impacts of knowledge management on organizational performance has been recognized by practitioners. Despite the wide implementations of knowledge management, there is yet no standardized framework for measuring the performance within organizations. This paper provides an overview of the approaches to...