This paper discusses learning of Constraint Logic Programs using unfolding and slicing technique. The transformation rule for unfolding together with clause removal is a method for specialization of Logic Programs. Slicing is a program analysis technique originally developed for imperative languages. It facilitates the understanding of data flow and debugging. This paper formulates the semantic...

The research and development (R&D) and the standardization of the 5th Generation (5G) mobile networking technologies are proceeding at a rapid pace all around the world. In this paper, we introduce the emerging concept of network slicing that is considered one of the most significant technology challenges for 5G mobile networking infrastructure, summarize our preliminary research efforts to ena...

The analysis of the 3D structure of tumour invasion fronts within the uterine cervix is considered essential for both discovering and understanding inherent architectural-functional relationships. The variation range of the invasion patterns known so far reaches from a smooth tumour-host boundary to more diffusely spreading patterns, which all are supposed to have a different prognostic importa...

Version control systems (VCS) are widely used to manage the history of code bases. These histories in turn provide opportunities for research. Researchers expect the commits in these version control systems to be atomic. That is, each commit performs one task. This is however not always the case. To remedy this, we propose a commit untangling technique using program slicing. In particular, we p...

Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms...

We present a new calculation of the O(rx;) coefficient of the energy-energy correlation function (EEC) using two different schemes to cancel infrared and collinear poles. The numerical evaluation uses the phase space slicing and the hybrid subtraction method. Both schemes converge with decreasing slicing cut. The results are independent of the scheme for small cuts. For the pure phase space sli...

A speci cation slice is a projection of a formal speci cation, which is simpler and potentially more comprehensible than the original speci cation. A static speci cation slice contains speci cations that might restrict the value of a variable. A dynamic speci cation slice consists of speci cations that actually a ect the value of a variable along the sequence of operations performed. Dynamic sp...

We show how to combine program slicing and constraint solving in order to obtain better slice accuracy. The method is used in the VALSOFT slicing system. One particular application is the validation of computer-controlled measurement systems. VALSOFT will be used by the Physikalisch-Technische Bundesanstalt for verification of legally required calibration standards. The article describes the VA...

Abstract— Privacy preservation is the most concentrated issue in data publishing, as the sensitive information should not be leaked. For this sake, several techniques such as generalization, bucketization are proposed, in order to deal with privacy preservation. However, generalization fails on high dimensional data because of dimensionality and it causes information loss due to uniform distrib...