Build is a tool for keeping modular systems in a consistent state by managing the construction tasks (e.g. compilation, linking, etc.) associated with such systems. It employs a user supplied system model and a procedural description of a task to…

Resumo: Esta pesquisa analisa o fluxo de informações da Embrapa Meio Ambiente, sob a ótica da gestão do conhecimento. Trata-se de um estudo de caso de natureza qualitativa. Tem por objetivo discutir o processo de comunicação interna e externa, na…

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…

The article provides up-to-date knowledge about the availability and use of emergency contraception (EC) necessary for primary care nurses. Emergency contraception is defined as a post-coital method under female control which produces an effect before implantation. The three licensed forms…

Cette thèse est une enquête épistémologique qui s’interroge sur la persistance de « l’éther » dans le champ de la technologie. De façon générale, le mot « éther » évoque un modèle conceptuel de la physique pré-einsteinienne, celui d’un milieu…

En este trabajo se analiza el capital medioambiental, como parte del capital intelectual global de la empresa, resultado de la combinación de tres grandes grupos: el capital medioambiental humano, el capital medioambiental estructural y el capital medioambiental relacional. Debido a…

Requirements acquisition is one of the most important and least well supported parts of the software development process. The Requirements Apprentice (RA) will assist a human analyst in the creation and modification of software requirements. Unlike current requirements analysis tools,…

Descoberta de Conhecimento em Bases de Dados" ("Knowledge Discovery in Databases", KDD) é um processo composto de várias fases iniciando com a coleta de dados para o problema e finalizando com a avaliação dos resultados finais. Este trabalho objetiva mostrar…

This report elucidates the linguistic representation of temporal relations among events. This involves examining sentences that contain two clauses connected by words like once, by the time, when, and before. Specifically, the effect of the tenses of the connected clauses…

This paper describes a method for limiting vibration in flexible systems by shaping the system inputs. Unlike most previous attempts at input shaping, this method does not require an extensive system model or lengthy numerical computation; only knowledge of the…