The central thesis of this report is that human language is NP-complete. That is, the process of comprehending and producing utterances is bounded above by the class NP, and below by NP-hardness. This constructive complexity thesis has two empirical consequences.…

I present a novel design methodology for the synthesis of automatic controllers, together with a computational environment---the Control Engineer's Workbench---integrating a suite of programs that automatically analyze and design controllers for high-performance, global control of nonlinear systems. This work demonstrates…

Considering the importance of the debate on the topic of disasters related to landslides, flooding and technological risks, under international and more recently in Brazil, this work analyzes the situations of vulnerability risk areas on the Northern Coast of São…

The combination of soil science, forestry, agronomy and biology allowed an analytical comparison of various experimental mixed culture systems. From these studies, a descriptor system was developed which allows to understand the contribution of each plant species to nutrient cycling,…

2013

2013

O tema do trabalho é o processo de inovação que ocorre a partir de conhecimentos científicos produzidos na universidade. O objetivo central foi investigar a história de dois processos de inovação e desenvolver uma heurística parcial que sirva de referência…

The guava (Psidium guajava 1.) cv. Paluma has been cultivated in Sao Francisco Valley, Northeastern of Brazil, for in natura consumption and processing purposes. In spite of its importance, there are few scientific knowledge regarding guava physiology, nutrition, irrigation and…

A system for visual recognition is described, with implications for the general problem of representation of knowledge to assist control. The immediate objective is a computer system that will recognize objects in a visual scene, specifically hammers. The computer receives…

This report develops a conceptual framework in which to talk about mathematical knowledge. There are several broad categories of mathematical knowledge: results which contain the traditional logical aspects of mathematics; examples which contain illustrative material; and concepts which include formal…