Circumscription has been recognized as an important principle for knowledge representation and common-sense reasoning. The need for a circumscriptive formalism that allows for simple yet elegant modular problem representation has led Lifschitz (AIJ, 1995) to introduce nested abnormality theories (NATs) as a tool for modular knowledge representation, tailored for applying circumscription to mini...

Numerical economic models of energy fall into two general categories: models analyzing within energy sector issues and models examining the interaction between the energy sector and the rest of the economy. The first category are mostly partial equilibrium models with a very detailed and disaggregated representation of the energy sector. Although very useful for sector planning purposes this cl...

The objective of this study was to measure and assess a number of radiomorphometric indices of the mandibular removable denture wearers taking into account age and gender. In a total of 136 dental panoramic radiographs (DPR) the following parameters were evaluated: MI = thickness of the mandibular cortex below the mental foramen, AI = thickness at the antegonion and GI = thickness at gonion; PM...

“justice” is a fine adjective to which various nouns may be attributed. these nouns can be divided into three universal categories: individual person, social situation, and society. each of these nouns has a particular characteristic feature based on which one may not use any given definition for justice. the purpose of this essay is to argue that taking the noun of justice into consideration i...

A general notion of completely monotone functionals on an ordered Banach algebra B into a proper H*-algebra A with an integral representation for such functionals is given. As an application of this result we have obtained a characterization for the generalized completely continuous monotone functions on weighted foundation semigroups. A generalized version of Bochner’s theorem on foundation se...

There are many different types of lenses, but largely they fall into the three classes of the title: set-based, delta-based and edit-based lenses. This paper develops some of the general relationships between those classes. The main results are that a category of set-based lenses is a full subcategory of a category of delta-based lenses determined by sending sets to codiscrete categories; that ...

Introduction This paper serves three purposes. The first is to build up a connection between the representation theories of the quantum enveloping algebra U of a semisimple Lie algebra and the quantum groups defined in [15]. The second one is to study the structure of the derived functors of the induction functor, defined in [1]. At each integral weight, these derived functors give rise to cert...

Fall detection is a major challenge in the public health care domain, especially for the elderly, and reliable surveillance is a necessity to mitigate the effects of falls. The technology and products related to fall detection have always been in high demand within the security and the health-care industries. An effective fall detection system is required to provide urgent support and to signif...

road traffic crashes (rtcs) account for great mortality and morbidity rates worldwide, resulting in substantial global burden. factors contributing to rtc generally fall into three categories: environmental, vehicle, and human, with the human factor being by far the leading determinant. obtaining an in-depth exploration of driving behavior and factors underpinning risky driving could be of part...