Our main result is that every datalog query expressible in rst-order logic is bounded; in terms of classical model theory it is a kind of compactness theorem for nite structures. In addition, we give some counter-examples delimiting the main result.

Thematic Roles (or Theta-Roles) are theoretical constructs that account for a variety of well known empirical facts, which are more or less clearly delimited. In other words, Theta-Roles are not directly observable, but they do have empirical content that is open to empirical observation. The objective of the present paper is to sketch the nature and content of Theta-Roles, distinguishing their...

.....................................................................................xii CHAPTER ONE: INTRODUCTION....................................................... 1 The Problem in Perspective.............................................................3 Corrective Feedback............................................................4 Barriers to accepting corrective feedback received........

In contrast to the relative abundance of conceptualisations of “information literacy”, the earlier research has put considerably less attention to what are its alternatives. The findings show that there are shades in being less and non-literate beyond a mere lack of necessary skills or engagement in inappropriate practices. Information illiteracy can be experienced as a problem but it can also ...

Qualitative reasoning about physical processes is based on the notion of "quantity space" [Forbus, 1984a, 1984b]. The question is how to construct a quantity space for a particular physical process. One line of research is to establish a set of so called "landmark points" by selecting some values of the continuous physical parameters characterizing the physical process under consideration [Kuip...

A monitoring system based on a stopwatch automaton is proposed to detect the system faults as early as possible. Each location in the automaton corresponds to a system’s situation. Its time space delimits exactly the range of the normal behavior in the corresponding system’s situation. The monitoring system detects a fault when the time space corresponding to the actual system’s situation is vi...

Given a semigroup S, we prove that if the upper nilradical Nil∗(R) is homogeneous whenever R is an S-graded ring, then the semigroup S must be cancelative and torsion-free. In case S is commutative the converse is true. Analogs of these results are established for other radicals and ideals. We also describe a large class of semigroups S with the property that whenever R is a Jacobson radical ri...

This work deals with the problem of effective and lossless ECG compression. The proposed method uses pre-processed signal with delimited startand endpoints of P, QRS and T-waves. Our method searches for nonspecific patterns of time-frequency coefficients in highest three octaves in the P-QRS-T region. High compression ratio is obtained for long signals mainly (e.g. Holter recordings) due to sen...

Zoning documents increases the resolution of indexing from the image level to the field level. A line-delimited tabular document forms a well defined series of regions. However, as image quality decreases, accurate zoning becomes increasingly difficult. Given a sequence of documents with the same layout, we present a robust zoning method which exploits both intraand inter-document consensus to ...

Warning communities in the path of an advancing wildfire is a challenging problem. Decision makers need the most current information available to determine who should evacuate, when they should leave and what type of order to issue (e.g. mandatory, recommended, voluntary). This paper presents a new method for delimiting wildfire evacuation trigger points using fire spread modeling and GIS. Usin...