Kagan, V., A. Nerode and V.S. Subrahmanian, Computing definite logic programs by partial instantiation, Annals of Pure and Applied Logic 67 (1994) 161-182. Query processing in ground definite deductive databases is known to correspond precisely to a linear programming problem. However, the “groundedness” requirement is a huge drawback to using linear programming techniques for logic program com...

CONTEXT That genomic alterations occur in both the epithelium and stroma of sporadic breast cancers has been documented by several groups. However, whether these microenvironmental alterations relate to clinicopathological features is unknown. OBJECTIVE To analyze the relationship between stromal genomic alterations and presenting clinicopathological features in sporadic breast cancer. DESI...

We introduce a first-order version of Categorial Grammar, based on the idea of encoding syntactic types as definite clauses. Thus, we drop all explicit requirements of adjacency between combinable constituents, and we capture wordorder constraints simply by allowing subformulae of complex types to share variables ranging over string positions. We are in this way able to account for constructiod...

IMPORTANCE Attention-deficit/hyperactivity disorder (ADHD) is a heritable neurodevelopmental disorder. It has been linked to reductions in total brain volume and subcortical abnormalities. However, owing to heterogeneity within and between studies and limited sample sizes, findings on the neuroanatomical substrates of ADHD have shown considerable variability. Moreover, it remains unclear whethe...

Three natural equivalence relations on the in nite state space of a hybrid automaton are language equivalence, simulation equivalence, and bisimulation equivalence. When one of these equivalence relations has a nite quotient, certain model checking and controller synthesis problems are decidable. When bounds on the number of equivalence classes are obtained, bounds on the running times of model...

In this paper we propose a Hamiltonian of the n–level system by making use of generalized Pauli matrices. An atom has usually many (finite or infinite) energy levels. However, to treat infinitely many ones at the same time is not realistic, so we treat an atom with finite energy levels. In the following we would like to consider an atom with n energy levels interacting with external (periodic) ...

We present an iterative algorithm for the recovery of 2-D motion, i.e., an algorithm for the determination of a transformation which maps one image onto another. The local ambiguity in measuring the motion of contour segments (called the "aperture problem") forces us to rely on measurements along the normal direction. Since the measured "normal flow" itself does not agree with the actual normal...