The concept of free as in "free group" is generalized to any first order theory. An interesting class of homomorphisms between models is discussed. Relations between model theory and abelian categories are discussed speculatively. This paper represents an incomplete study…

At a time when it is clear that climate change adaptation and mitigation are failing, this book examines how our assumptions about (valid and usable) knowledge are preventing effective climate action. Through a cross-disciplinary, empirically-based analysis of climate science and…

El Espacio Europeo de Educación Superior revitaliza la competencia tutorial como uno de los ejes nucleares sobre los que debe sustentarse la actividad docente. Para satisfacer y cumplir los derechos y los deberes de alumnos y profesores, en materia de…

This paper demonstrates that it is possible to generate a reasonably accurate coordinate system on randomly distributed processors, using only local information and local communication. By coordinate systems we imply that each element assigns itself a logical coordinate that maps…

Well-known methods for solving the shape-from-shading problem require knowledge of the reflectance map. Here we show how the shape-from-shading problem can be solved when the reflectance map is not available, but is known to have a given form with some…

En lo referente al entretenimiento, la ciudad de Quito no cuenta con bares especializados; ya que en todos se puede encontrar una gran variedad de cócteles y licores fuertes; sin embargo existe una variedad de 3 – 4 marcas de…

Nos preocupamos mucho de la enseñanza de la bioética y de las mejores metodologías para conseguir trasmitir conocimientos, actitudes y valores, pero no hemos reflexionado suficientemente en la importancia de los valores éticos en la educación para la salud, y…

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…

Descripción completa.

Descripción completa.