We develop a qualitative method for understanding and representing phase space structures of complex systems and demonstrate the method with a program, MAPS --- Modeler and Analyzer for Phase Spaces, using deep domain knowledge of dynamical system theory. Given a…

Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis can be employed to increase the explanatory power…

La hemoncosis, causada por el nematodo del abomaso de rumiantes Haernonchus contortus, constituye una de las enfermedades parasitarias más notables del ganado ovino en todo el mundo. Las infecciones provocan síndromes anémicos y de mala digestión/absorción que pueden causar la…

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,…

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…

We wish to design a diagnostic for a device from knowledge of its structure and function. the diagnostic should achieve both coverage of the faults that can occur in the device, and should strive to achieve specificity in its diagnosis…

Este artículo tiene como propósito revelar las concepciones que los estudiantes formulan sobre el proceso curricular que prosiguen para su formación docente, orientados por el plan de estudios de la carrera Educación, diseñado por la Comisión Curricular del Núcleo Universitario…

This thesis describes the development of a model-based vision system that exploits hierarchies of both object structure and object scale. The focus of the research is to use these hierarchies to achieve robust recognition based on effective organization and indexing…

The work reported here lies in the area of overlap between artificial intelligence software engineering. As research in artificial intelligence, it is a step towards a model of problem solving in the domain of programming. In particular, this work focuses…

Recent advances in microdroplet generation and deposition processes have made it possible to directly form solder bumps on integrated circuits using micron-sized molten metal droplets. The direct droplet deposition bumping process can potentially produce uniform-sized bumps more economically than the…