This study aims at finding the high and low achievers’ learning style preferences teachers’ understanding about students’ in English MAN 1 Banda Aceh. The survey of this used a combination quantitative qualitative methods. A questionnaire was to explore preferences, while an interview get specific information opinions on English. Willing (1988) category that consists communicative, concrete, au...

This paper addresses the problem of test pattern generation for single stuck-at faults in combinational circuits, under the additional constraint that the number of specified primary input assignments is minimized. This problem has different applications in testing, including the identification of don’t care conditions to be used in the synthesis of Built-In SelfTest (BIST) logic. The proposed ...

The language-based theory of regions, stemming from the area of Petri net synthesis, forms a fundamental basis for Integer Linear Programming (ILP)-based process discovery. Based on example behavior in an event log, a process model is derived that aims to describe the observed behavior. Building on top of the existing ILP-formulation, we present a new ILP-based process discovery formulation tha...

Modern superscalar and VLIW processors fetch, decode, issue, execute, and retire multiple instructions per cycle. By taking advantage of instruction-level parallelism (ILP), processor performance can be improved substantially. However, increasing the level of ILP may eventually result in diminishing and negative returns due to control and data dependencies among subsequent instructions as well ...

Modern single-CPU microprocessors exploit instruction-level parallelism (ILP) by deriving their performance advantage mainly from parallel execution of ALU and memory instructions within a single clock cycle. This performance advantage obtained by exploiting data ILP is severely offset by sequential execution of conditional branches, especially in branch-intensive non-numerical code. Consequent...

Entailment is an important problem in computational logic particularly relevant to the Inductive Logic Programming (ILP) community as it is at the core of the hypothesis coverage test which is often the bottleneck of an ILP system. Despite developments in resolution heuristics and, more recently, in subsumption engines, most ILP systems simply use Prolog’s left-to-right, depth-first search sele...

This paper addresses the problem of data mining in Inductive Logic Programming (ILP) motivated by its application in the domain of economics. ILP systems have been largely applied to data mining classification tasks with a considerable success. The use of ILP systems in regression tasks has been far less successful. Current systems have very limited numerical reasoning capabilities, which limit...

Inhibitor of apoptosis protein-like protein-2 (ILP-2) has only been detected in the testis and in lymphoblastoid cells. Although previous studies have not reported the presence of ILP-2 in breast cancer tissues, this study indicates the presence of ILP-2 in breast cancer serum samples. To validate whether ILP-2 is a novel serological biomarker for breast cancer, we conducted two-dimensional gel...

• Complementary advantages • logic can represent domain knowledge in a natural and expressive way • inductive logic programming (ILP) can generate theories and explanations • probabilities allow us to deal with uncertainty and noise in the data • Fixed unknown density ρ on X × Y • The optimal decision would be ρ(Y = 1|x) > 0.5 • Generative direction: model the class conditional densities p(x|y)...

It is challenging to obtain online solutions of large-scale integer linear programming (ILP) problems that occur frequently in slightly different forms during planning for autonomous systems. We refer to such ILP problems as repeated ILP problems. The branch-and-bound (BAB) algorithm is commonly used to solve ILP problems, and a significant amount of computation time is expended in solving nume...