An application of a theorem prover

This work uses the speci cation of the type interval in OBJ to prove some properties of the interval probability OBJ is a functional language and also includes mechanisms for theorem provingEje: Conferencia latinoamericana de programación funcionalRed de Universidades con Carreras en Informática (RedUNCI

Inibição do crescimento micelial in vitro de Thielaviopsis paradoxa com utilização de fungicidas sistêmicos e de contato.

bitstream/item/61310/1/OrientalBPD-75.pd

Análise de envoltória de dados com ganhos de soma zero na modelagem de outputs indesejáveis.

A avaliação de eficiência com modelos de Análise de Envoltória de Dados (DEA) de unidades que produzem outputs indesejáveis tem caracterizado uma particular linha de pesquisa em DEA. Situações em que existe um equilíbrio global dos outputs indesejáveis, embora comuns, não foram tratadas na literatura. Entretanto, os modelos DEA com Ganhos de Soma Zero (DEA-GSZ) recentemente desenvolvidos parecem adaptar-se particularmente a este tipo de problema, já que nestes modelos a soma das quantidades produzidas por todas as DMUs pode ser considerada como o limite máximo permitido em nível global. Este artigo traz a aplicação do modelo DEA-GSZ ao caso das emissões de dióxido de carbono, estudo que se insere no contexto do Protocolo de Kyoto

Adubação do coqueiro no Pará.

bitstream/item/30446/1/Doc350.pdfDisponível também on-line