Intelligent agents in the physical world must work from incomplete information due to partial knowledge and limited resources. An agent copes with these limitations by applying rules of conjecture to make reasonable assumptions about what is known. Circumscription, proposed by…

In healthy cells, cytochrome c (cyt c) acts as an electron transport protein peripherally bound to the inner mitochondrial membrane lipid cardiolipin, but it has an important role in apoptosis - upon apoptotic stimuli, it is released from the mitochondria…

Este trabajo propone el análisis histórico de un grupo de autobiografías de enfermeras cuyas dramáticas experiencias en el ejercicio de su profesión durante la Guerra Civil Americana ayudaron a configurar la profesión de enfermería. Las autobiografías tienen un importante componente…

This paper describes progress to date in the development of a system for representing various forms of real-world knowledge. The knowledge is stored in the form of a net of simple parallel processing elements, which allow certain types of deduction…

(cont.) to the verifier., We consider an implementation of a weakened notion of zero-knowledge (weak ZK) where the simulator is also allowed to depend on the distinguisher as well, so this type of ZK entails exhibiting an efficient simulator for…

There are many situations in which a very detailed low-level description encodes, through a hierarchical organization, a recognizable higher-order pattern. The macro-molecular structural conformations of proteins exhibit higher order regularities whose recognition is complicated by many factors. ARIADNE searches for…

Many systems have been developed for constructing decision trees from collections of examples. Although the decision trees generated by these methods are accurate and efficient, they often suffer the disadvantage of excessive complexity that can render them incomprehensible to experts.…

We describe the automatic synthesis of a global nonlinear controller for stabilizing a magnetic levitation system. The synthesized control system can stabilize the maglev vehicle with large initial displacements from an equilibrium, and possesses a much larger operating region than…

En el valle Calchaquí (Salta) las prácticas económicas y sociales que singularizan al Período de Desarrollos Regionales estaban en estado avanzado hacia el siglo IX e involucraban grupos sociales que producían y usaban alfarerías diferentes de la santamariana, pero aún…

Consider a world of 'objects.' Our goal is to place these objects into categories that are useful to the observer using sensory data. One criterion for utility is that the categories allow the observer to infer the object's potential behaviors,…