The studies of anatomy and physiology are fundamental ingredients of medical education. This paper identifies six ways in which such functional knowledge serves as the underpinnings for general medical reasoning, and outlines the design of a computational model of common…

We had previously shown that regularization principles lead to approximation schemes, as Radial Basis Functions, which are equivalent to networks with one layer of hidden units, called Regularization Networks. In this paper we show that regularization networks encompass a much…

Micro embossing is the process of fabricating micron-sized features by plastic deformation of a work piece by means of a shaped tool or die. In our work we are concerned with hot embossing of PMMA to produce features in the…

We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR)…

In this paper, we build on previous work on Belief Revision operators based on the use of logic programming with Answer Set semantics as a representation language. We present a set of postulates for Answer Set Revision with respect to…

In this thesis, the opportunities and challenges involved in applying natural language processing techniques to the control of unmanned aerial vehicles (UAVs) are addressed. The problem of controlling an unmanned aircraft via natural language inputs is formulated as a feedback…

In the wake of the development of technology to sequence the complete genome of an organism, it has become expedient to generate methodologies to elucidate and characterize the function of all genes constituting the complete genetic makeup of an organism,…

La aparición de la teoría de las revoluciones científicas de Thomas S. Kuhn supuso una intensa alteración para la didáctica de las ideas del pensamiento de las ciencias —entre ellas, la geografía—; desde entonces éste se presenta como una sucesión…

Defining qualified reasoning as reasoning containing such loose qualifying words as 'probably,' 'usually,' 'probable, 'likely,' 'ceteris paribus,' and 'primafacie, Ennis argues that typical cases of qualified reasoning, though they might be good arguments, are deductively invalid, implying that such arguments…

Natural history collections are the authoritative source of knowledge about the identity, evolutionary relationships, and attributes of species with which we share this planet. As such, collections of research specimens play a central and critical role in the conservation and…