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…

The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial intelligence and software engineering. From the viewpoint of artificial…

The typical subroutines that compute $\\sin(x)$ and $\\exp(x)$ bear little resemblance to our mathematical knowledge of these functions: they are composed of concrete arithmetic expressions that include many mysterious numerical constants. Instead of programming these subroutines conventionally, we can express…

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…

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…

Descripción completa.

Building off the work of Mark Granovetter and Nancy Howell Lee, this thesis observes the employment search networks of Princeton University seniors. I interviewed thirty-five students who were actively or had recently completed searches for employment and constructed visual representations…

Descripción completa.

Objetivo: Cuidar selectivamente la salud identificando y georrefenciando la totalidad de la población, y no sólo para aquellos que demandan atención.
Métodos: Un total de 48 800 habitantes de Ensenada, Buenos Aires-Argentina fueron censados en aspectos socio-económico-sanitarios y sus datos…