RCAAP Repository

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Florestal, 2012.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Ciências da Saúde, Departamento de Nutrição, 2012.

Tese (doutorado)—Universidade de Brasília, Faculdade de Ciências da Saúde, 2008.

Dissertação (mestrado)—Universidade de Brasília, Centro de Desenvolvimento Sustentável, 2005.

Plantas de Heliconia spp. e Musa spp. apresentando murcha foram observadas em plantio comercial no Distrito Federal. Testes laboratoriais e de inoculação confirmaram como sendo a bactéria Ralstonia solanacearum biovar 1 raça 2 responsável pela doença. Este é o primeiro relato da presença da bactéria em helicônia e musácea ornamental na região. _______________________________________________________________________________ ABSTRACT

Diferentes formulações de fungicidas cúpricos, cloretos de benzalcônio e de composto bioativo líquido foram testados para o controle da seca dos ponteiros causada por Erwinia psidii em goiabeira (Psidium guajava), observando-se os possíveis efeitos fitotóxicos. O experimento foi conduzido em pomar comercial de goiabeira das variedades Pedro Sato e Comum, no município de Brazlândia, DF. Os tratamentos constaram dos seguintes produtos/L de água: 5,0 g de sulfato de cobre (SC), 3,5 g de oxicloreto de cobre (OC), 3,0 g de hidróxido de cobre (HC), 3,0 mL de cloretos de benzalcônio (CB) e 20,0 mL de composto bioativo líquido (CBL). A fitotoxicidade foi avaliada em botões florais e frutos, em três estádios de desenvolvimento, e a incidência da doença, em 10 ramos de frutificação em cada quadrante da planta nos mesmos estádios. Na variedade Pedro Sato, em frutos de tamanho inferior a 15 mm não foram observados sintomas severos de fitotoxicidade, no entanto, na variedade Comum foi possível observar sintomas severos ocasionados pelos cúpricos; em frutos entre 16 e 30 mm e acima de 31 mm, em ambas as variedades, foram observados sintomas moderados a severos, ocasionados principalmente pelo SC. No controle da doença, os tratamentos com SC, OC, HC e CBL foram mais eficientes na variedade Pedro Sato, enquanto o CBL foi mais eficiente na variedade Comum. Em ambas as variedades o CBL mostrou menor Área Abaixo da Curva de Progresso da Doença (AACPD). _________________________________________________________________________________ ABSTRACT

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Ciências da Saúde, Programa de Pós-Graduação em Ciências da Saúde, 2012.

In Educational literature, Discovery Learning appears as an approach in which the learner builds up his/her own knowledge by performing experiments within a domain and inferring/increasing rules as a result. Such a constructivist approach has been largely exploited in the design of computational artefacts with learning purposes, the so-called Discovery Learning Environments (DLEs). One known feature of such environments is the autonomy degree required for students to succeed while handling a domain. Additionally, DLEs designers are often challenged to get students actually engaged. Such questions are on the basis of our concerns with the design and usage of particular DLEs, within which learning events occur as a consequence of contradiction detection and overcoming, during human/machine cooperative work. In this paper, we present an artificial agent capable of handling such a contradiction-driven approach of learning, by highlighting the exchanges that the agent should promote with a human learner. The conceptual model supporting the agent’s design relies on the scientific rationale, particularly the empirical approach guided by the theory-experiment confrontation. We shall reinforce the interest of the model for the design of DLEs by presenting its exploitation in a real learning situation in Law. Also, we suggest potential instantiations of the model elsewhere than in Human Learning.

Tese (doutorado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Florestal, 2012.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Letras, Departamento de Teoria Literária e Literaturas, Programa de Pós-Graduação em Literatura, 2012.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Educação Física, 2012.

Diferentes estudos tem considerado o uso da lógica fuzzy no controle semafórico atuado pelo tráfego. Verificado o potencial destes controladores para o controle do tráfego em interseções isoladas, os estudos estão agora evoluindo para seu emprego em rede. A característica robusta dos controladores semafóricos fuzzy foi recentemente verificada através de simulações realizadas com uma estrutura de controlador amplamente utilizada em estudos anteriores, visando a avaliação do seu desempenho adaptativo quando disposto em rede aberta. Diante destes resultados foi possível considerar possibilidades de melhorias do desempenho deste controlador para a operação em rede arterial a partir de medidas simplificadas voltadas à promoção de uma cooperação implícita entre os controladores isolados. Assim, este artigo apresenta duas alternativas para o aprimoramento da operação em rede arterial com o uso de controladores semafóricos fuzzy. Os testes dessas alternativas em simulador apresentaram resultados bastante positivos indicando direções para a continuidade da pesquisa. ______________________________________________________________________________ ABSTRACT

Dissertação (mestrado)—Universidade de Brasília, Instituto de Geociências, 2012.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Biológia, Departamento de Botânica, 2012.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Relações Internacionais, Programa de Pós-Graduação em Relações Internacionais, 2012.

Tese (doutorado)—Universidade de Brasília, Instituto de Psicologia, Programa de Pós-Graduação em Processos de Desenvolvimento Humano e Saúde, 2012.

Explicit substitution calculi are extensions of the λ-calculus where the substitution mechanism is internalized into the theory. This feature makes them suitable for implementation and theoretical study of logic based tools as strongly typed programming languages and proof assistant systems. In this paper we explore new developments on two of the most successful styles of explicit substitution calculi: theλσ and λse-calculi.

Tese (doutorado)—Universidade de Brasília, Faculdade de Medicina, Pós-Graduação em Ciências Médicas, 2012.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2012.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Artes, Programa de Pós-Graduação em Arte, 2008.