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…

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…

The Phase Space is a powerful tool for representing and reasoning about the qualitative behavior of nonlinear dynamical systems. Significant physical phenomena of the dynamical system---periodicity, recurrence, stability and the like---are reflected by outstanding geometric features of the trajectories in…

Obtaining exact depth from binocular disparities is hard if camera calibration is needed. We will show that qualitative depth information can be obtained from stereo disparities with almost no computations and with no prior knowledge (or computation) of camera parameters.…

To determine why something has stopped working, it's helpful to know how it was supposed to work in the first place. This simple fact underlies recent work on a number of systems that do diagnosis from knowledge about the internal…

There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software components. The limited success in actually doing this stems not from any resistance to the idea, nor from any lack…

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…