RCAAP Repository

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.

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

Tese (doutorado)—Universidade de Brasília, Faculdade de Educação, 2012.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Educação, Programa de Pós-Graduação em Educação, 2012.

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Humanas, Departamento de Serviço Social, Programa de Pós-Graduação em Política Social, 2012.

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

Realizou-se um estudo para caracterizar a situação epidemiológica da brucelose bovina no Estado do Espírito Santo. O Estado foi dividido em dois circuitos produtores. Em cada circuito foram amostradas aleatoriamente cerca de 300 propriedades e, dentro dessas, foi escolhido de forma aleatória um número pré-estabelecido de animais, dos quais foi obtida uma amostra de sangue. No total, foram amostrados 5.351 animais, provenientes de 622 propriedades. Em cada propriedade amostrada foi aplicado um questionário epidemiológico para verificar o tipo de exploração e as práticas de criação e sanitárias que poderiam estar associadas ao risco de infecção pela doença. O protocolo de testes utilizado foi o da triagem com o teste do antígeno acidificado tamponado e o reteste dos positivos com o teste do 2-mercaptoetanol. O rebanho foi considerado positivo quando pelo menos um animal foi reagente às duas provas sorológicas. Para o Estado, as prevalências de focos e de animais infectados foram, respectivamente, de 9,0% [7,0-11,6%] e 3,5% [1,9-6,4%]. Para os circuitos, as prevalências de focos e de animais infectados foram, respectivamente, de: circuito 1, 6,8% [4,5-10,2%] e 3,4% [1,3-8,6%]; circuito 2, 10,9% [7,9%-14,8%] e 3,7% [2,1-6,3%]. Os fatores de risco (odds ratio, OR) associados à condição de foco foram: utilização de inseminação artificial (OR = 7,05 [2,51-19,82]) e confinamento/semiconfinamento dos animais (OR = 2,98 [1,22-7,26]). A vacinação de fêmeas entre três e oito meses de idade foi um fator protetor (OR = 0,03 [0,01-0,1]). _____________________________________________________________________________________________________________ ABXTRACT