A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Patterns of Associational Life in Western Europe, 1800-2000

Thesis submitted for assessment with a view to obtaining the degree of Doctor of Political and Social Science of the European University Institute

Urban land use change analysis and modelling: a case study of Setubal-Sesimbra, Portugal

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

A construção do sentido de grupo em grupos heterogéneos de idades

Relatório da Prática Profissional Supervisionada Mestrado em Educação Pré-Escolar

Acute pulmonary histoplasmosis and first isolation of Histoplasma capsulatum from soil of Rio Grande do Sul, Brazil

A case of acute pulmonary histoplasmosis, where the clinical histoiy and epidemiological data led to the identification of H. capsulatum natural source, is described. Specimens of spleen and liver, obtained after intraperitonial inoculation in mice, grew H. capsulatum in culture from the soil of rural area of General Câmara, by the first time in Rio Grande do Sul.

As representações da escola face ao trabalho para casa, no 1.º ciclo do ensino básico

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e 2.º Ciclo do Ensino Básico

Ditado: um percurso de aprendizagem entre pares

Projeto de Intervenção apresentado à Escola Superior de Educação de Lisboa para obtenção do grau de Mestre em Didática da Língua Portuguesa no 1.º e 2.º Ciclos do Ensino Básico

Os modelos na compreensão dos números racionais fracionários

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e do 2.º Ciclo do Ensino Básico

Atividades promotoras do pensamento crítico no âmbito das ciências da natureza

Relatório Final apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e 2.º Ciclos do Ensino Básico

Escrever para aprender no 1.º ciclo do ensino básico – sequência didática de textos expositivos

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e do 2.º Ciclo do Ensino Básico

Estratégias para o desenvolvimento da competência escrita

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e 2.º Ciclo

A compreensão dos alunos do 6.º ano de analogias presentes em vídeos didáticos sobre o corpo humano

Relatório Final apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre no Mestrado em Ensino do 1.º e 2.º Ciclo do Ensino Básico

Conceções alternativas de alunos do 2.º ano de escolaridade sobre a reprodução humana

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e 2.º ciclo do Ensino Básico

O património local como recurso para o desenvolvimento de competências essenciais da história no 1.º ciclo

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e do 2.º Ciclo do Ensino Básico

Ler, contar e mostrar – desenvolvimento da leitura em voz alta e da expressão oral em alunos do 2.º ano de escolaridade

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1º e 2º Ciclo do Ensino Básico