Qualidade da silagem de milho em função do teor de matéria seca na ocasião da colheita.

2008

Qualidade na extração plasmidial de Bacillus thuringiensis com diferentes meios de cultura.

2009

Aspectos agronômicos e de qualidade de espiga em famílias endogâmicas de milho doce.

2009

BRS 802: híbrido de sorgo de pastejo: alternativa de produção de forragem de alta qualidade nutritiva.

2009

SodaBot: A Software Agent Environment and Construction System

This thesis presents SodaBot, a general-purpose software agent user-environment and construction system. Its primary component is the basic software agent --- a computational framework for building agents which is essentially an agent operating system. We also present a new language for programming the basic software agent whose primitives are designed around human-level descriptions of agent activity. Via this programming language, users can easily implement a wide-range of typical software agent applications, e.g. personal on-line assistants and meeting scheduling agents. The SodaBot system has been implemented and tested, and its description comprises the bulk of this thesis.

Programa de análise de qualidade de laboratórios de fertilidade (PAQLF) que usam o método Embrapa: resultados de 2001.

2002

Controle de qualidade em laboratório de fertilidade do solo que adotam o Método Embrapa: relatório de desempenho no período de 1994-1998.

2000

Sistema PAQLF 1.0 para administação do programa de análise da qualidade de laboratórios de fertilidade da Embrapa Solos

Informatização e disponibilização de dados do Programa de Análise de Qualidade de Laboratórios de Fertilidade (PAQLF) através do Sistema PAQLF 1.0. Divulgação dos resultados através de um sistema que utiliza os recursos da Internet, para possibilitar o acesso de diversos lugares à homepage da Embrapa Solos.

Programa de análise de qualidade de laboratórios de fertilidade (PAQLF) que usam o método Embrapa: resultados de 2002.

Resultados e avaliação do desempenho dos laboratórios participantes no Programa de Análise de Qualidade de Laboratórios de Fertilidade (PAQLF) no ano de 2002.

Dependency-Directed Localization of Software Bugs

Software bugs are violated specifications. Debugging is the process that culminates in repairing a program so that it satisfies its specification. An important part of debugging is localization, whereby the smallest region of the program that manifests the bug is found. The Debugging Assistant (DEBUSSI) localizes bugs by reasoning about logical dependencies. DEBUSSI manipulates the assumptions that underlie a bug manifestation, eventually localizing the bug to one particular assumption. At the same time, DEBUSSI acquires specification information, thereby extending its understanding of the buggy program. The techniques used for debugging fully implemented code are also appropriate for validating partial designs.

Produção, qualidade e estado nutricional de meloeiro cultivado em Paraipaba-CE utilizando condicionador de solo sob diferentes lâminas de água.

Avaliação do efeito de um polímero hidrorretentor de umidade em diferentes lâminas de irrigação por gotejamento, na cultura do meloeiro híbrido amarelo Gold Mine.

Infra-estrutura e qualidade das análises de solo realizadas em laboratórios de fertilidade do Nordeste participantes do PAQLF.

2001

Capacitação para o Programa de Educação Ambiental: monitoramento da qualidade da água utilizando kits, na bacia hidrográfica do Rio São Domingos - RJ.

2005

Avaliação social ? o caso do Programa de Análise de Qualidade de Laboratórios de Fertilidade - PAQLF

2005

Qualidade de solo e água como indicadores de recuperação de áreas degradadas submetidas a manejo agroflorestal.

2006