This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, and a formal solution in the…

This paper addresses the problem of recovering relative structure, in the form of an invariant, referred to as projective structure, from two views of a 3D scene. The invariant structure is computed without any prior knowledge of camera geometry, or…

The design of the control laws governing the behavior of individual agents is crucial for the successful development of cooperative agent teams. These control laws may utilize a combination of local and/or global knowledge to achieve the resulting group behavior.…

In this note we discuss how recognition can be achieved from a single 2D model view exploiting prior knowledge of an object's structure (e.g. symmetry). We prove that for any bilaterally symmetric 3D object one non- accidental 2D model view…

It is obvious to anyone familiar with the rules of the game of chess that a king on an empty board can reach every square. It is true, but not obvious, that a knight can reach every square. Why is…

In the present paper I describe the conceptual level of representation of a database, currently in development, which aims at fulfilling the Functional-Lexematic model. I will concentrate on the semantic component, as it is central for the theory of Functional…

Introduction: Technological advancements rapidly propel the field of genome research. Advances in genetics and genomics such as the sequence of the human genome, the human haplotype map, open access databases, cheaper genotyping and chemical genomics, have transformed basic and translational…

The WHO Collaborating Center at the University of Pittsburgh, USA partnering with Nazarbayev University, developed the Central Asian Journal of Global Health (CAJGH, cajgh.pitt.edu) in order to increase scientific productivity in Kazakhstan and Central Asia. Scientists in this region often…

A sustainable energy supply is arguably one of the most pressing problems facing
society today, so there is a huge demand for clean energy technologies. Photocatalytic
water splitting, the disassociation of water into H2 and O2 in the presence of…

We have developed a method and prototype program for assisting two experts in their attempts to construct a single, consensus knowledge base. We show that consensus building can be effectively facilitated by a debugging approach that identifies, explains, and resolves…