The idea is to interconnect test items to reuse memory states left from the previous test item for saving initialization and verification sequences. Meanwhile, signal settling time of tester between two consecutive test items being applied can also be minimized since all test items are connected together into a continuous one. The interconnection problem is transformed to the Rural Chinese Post...

There is a pressing need for accurate in silico methods to predict the toxicity of molecules that are being introduced into the environment or are being developed into new pharmaceuticals. Predictive toxicology is in the realm of structure activity relationships (SAR), and many approaches have been used to derive such SAR. Previous work has shown that inductive logic programming (ILP) is a powe...

Inductive Logic Programming (ILP) systems have had noteworthy successes in extracting comprehensible and accurate models for data drawn from a number of scientific and engineering domains. These results suggest that ILP methods could enhance the model-construction capabilities of software tools being developed for the emerging discipline of “knowledge discovery from databases.” One significant ...

This article presents an overview of existing ILP and non ILP approaches to word morphology learning and sets targets for future research The article claims that new challenges to the ILP community with more appeal to computational linguists should be sought in a whole new range of unexplored learning tasks in which ILP would have to make a more extensive use of relevant linguistic knowledge an...

Many Integer Linear Programming (ILP) problems contain significant subproblems exclusively composed of 0-1 (binary) variables. Much effort has gone in to special solvers for 0-1 ILP, as well as specialized versions of 0-1 ILP. The boolean satisfiability problem (SAT), is fundamental to many fields, including Artificial Intelligence, Formal Verification, and Computer Aided Design, and can be vie...

This article proposes new approach to the development of student’s individual learning path (ILP). The result of student’s learning is defined as a set of competencies levels. The use of the multi-level system of generalized professional competencies allows to model ILP effectively and to automate the development of an optimal ILP. Each competency level in our model introduces some substantial ...

ABSTRACT Background: Osteoid osteoma is a benign bony neoplasm and its classic treatment is surgery. In the r ecent decades percutaneous laser therapy was suggested to be replaced by surgery. In this study we have reviewed the results of the first applications of interstitial laser photocoagulation (ILP) for treatment of osteoid osteoma in Iranian patients. Materials and Methods: In this case s...

The generic task of Inductive Logic Programming (ILP) is to search a predeened subspace of rst-order logic for hypotheses that in some respect explain examples and background knowledge. In this paper we consider the development of parallel implementations of ILP systems. A rst part discusses the division of the ILP-task into subtasks that can be handled concurrently by multiple processes execut...

The identification of the correct sense of a word is necessary for many tasks in automatic natural language processing like machine translation, information retrieval, speech and text processing. Automatic Word Sense Disambiguation (WSD) is difficult and accuracies with state-of-the art methods are substantially lower than in other areas of text understanding like part-ofspeech tagging. One sho...

Inductive Logic Programming (ILP) combines both Machine Learning and Logic Programming techniques. ILP uses rst-order predicate logic restricted to Horn clauses as an underlying language. Thus, programs induced by an ILP system inherit the classical limitations of PROLOG programs. Constraint Logic Programming avoids some of the limitations of Logic Programming and so ILP aims to induce programs...