In this paper we present an approximation method based on abstract interpretation to transform meta-information in parallel with the transformation of concrete data. The meta-information is assumed to describe further properties of the specific data. The construction of a correct transformation function for the meta-information can be quite complicated in case of complex data transformations or...

The task of summarizing memory regions becomes increasingly important in the analysis of data structures and the analysis of recursive functions. Calculating summaries of memory regions containing several abstract variables becomes quite subtle when using relational abstract domains. We address this challenge using two principal operations, fold and expand , that calculate such summaries for an...

The result of data mining is a set of patterns or models. When presenting these, all or part of the result needs to be explained to the user in order to be understandable and for increasing the user acceptance of the patterns. In doing that, a variety of dimensions for explaining needs to be considered, e.g., from concrete to more abstract explanations. This paper discusses a continuum of expla...

objective: vertical bone loss evaluations in the nobel biocare replace® select tapered tm implant system in the human after one-year loading time. materials and methods: this retrospective cross-sectional study was performed on 31 patients (14 men, 17 women; mean age, 60.39 years) receiving 170 implants (mean, 5.48 for each patient) of groovy and non-groovy designs in the nobel biocare replace®...