Conhecimento dos alunos sobre geometria no início do 3.º ciclo

Dissertação apresentada para obtenção do grau de Mestre em Educação Matemática na Educação Pré-Escolar e nos 1.º e 2.º Ciclos do Ensino Básico

CuxSnSx+1 (x = 2, 3) thin films grown by sulfurization of metallic precursors deposited by dc magnetron sputtering

We report the results of the growth of Cu-Sn-S ternary chalcogenide compounds by sulfurization of dc magnetron sputtered metallic precursors. Tetragonal Cu2SnS3 forms for a maximum sulfurization temperature of 350 ºC. Cubic Cu2SnS3 is obtained at sulfurization temperatures above 400 ºC. These results are supported by XRD analysis and Raman spectroscopy measurements. The latter analysis shows peaks at 336 cm-1, 351 cm-1 for tetragonal Cu2SnS3, and 303 cm-1, 355 cm-1 for cubic Cu2SnS3. Optical analysis shows that this phase change lowers the band gap from 1.35 eV to 0.98 eV. At higher sulfurization temperatures increased loss of Sn is expected in the sulphide form. As a consequence, higher Cu content ternary compounds like Cu3SnS4 grow. In these conditions, XRD and Raman analysis only detected orthorhombic (Pmn21) phase (petrukite). This compound has Raman peaks at 318 cm-1, 348 cm-1 and 295 cm-1. For a sulfurization temperature of 450 ºC the samples present a multi-phase structure mainly composed by cubic Cu2SnS3 and orthorhombic (Pmn21) Cu3SnS4. For higher temperatures, the samples are single phase and constituted by orthorhombic (Pmn21) Cu3SnS4. Transmittance and reflectance measurements were used to estimate a band gap of 1.60 eV. For comparison we also include the results for Cu2ZnSnS4 obtained using similar growth conditions.

Práticas de ensino supervisionadas do 1º e 2º ciclo do ensino básico: a prática de resolução de problemas na aquisição do conceito de comprimento e de perímetro no 3.º ano de escolaridade

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

Projeto de fundações e estrutura de um edifício de 3 pisos em Lisboa, destinado a habitação

Trabalho Final de Mestrado para a obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Estruturas

(3) ANAIS - Educação e Desenvolvimento

Com a publicação do volume III do Anais da Unidade de Investigação de Educação e Desenvolvimento procurou-se apresentar os principais resultados dos diversos programas e linhas de investigação referentes à actividade do ano de 2002. Deste modo, dá-se continuidade à difusão, entre investigadores e Centros de Investigação, da produção científica levada a cabo nesta Unidade e permitir um conhecimento mais sistemático da evolução da análise científica e do pensamento educativo nas áreas em torno das quais se agrupam as equipas de investigação. Uma informação complementar sobre a organização da UIED, bem como dos trabalhos de Teses de Doutoramento e de Mestrado realizados na Secção de Ciências e Tecnologias da Educação e Formação com o apoio dos trabalhos investigativos da Unidade, é também inserida neste volume, tal como ocorreu em volumes anteriores. A todos os Investigadores - Membros da UIED - , Bolseiros e Investigadores Júniores e colaboradores técnicos e administrativos, bem como aos demais Serviços da FCT/UNL que nos apoiam os meus agradecimentos. Coordenadora Científica da UIED: Teresa Ambrósio.

Estágio curricular na "Empreitada da 3ª fase de reparação do Caneiro de Alcântara"

Trabalho de Relatório de Estágio para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Edificações

Dimensionamento sísmico de um edifício de betão armado segundo os eurocódigos: verificação segundo o eurocódigo 8 parte 3

Trabalho de Dissertação de Natureza Científica para obtenção do grau de Mestre em Engenharia Civil

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Contratos de futuros sobre taxas de juro : estudo de caso sobre a Euribor a 3 meses

Mestrado em Contabilidade e Análise Financeira

A criação de valor no sector da pasta, papel e cartão : caso Portucel Soporcel

Mestrado em Gestão e Empreendedorismo

O trabalho de projeto em Matemática: questionando a realidade num 3. ano de escolaridade

O presente artigo...

F-LQE: a Fuzzy Link Quality Estimator for wireless sensor networks

Radio Link Quality Estimation (LQE) is a fundamental building block for Wireless Sensor Networks, namely for a reliable deployment, resource management and routing. Existing LQEs (e.g. PRR, ETX, Fourbit, and LQI ) are based on a single link property, thus leading to inaccurate estimation. In this paper, we propose F-LQE, that estimates link quality on the basis of four link quality properties: packet delivery, asymmetry, stability, and channel quality. Each of these properties is defined in linguistic terms, the natural language of Fuzzy Logic. The overall quality of the link is specified as a fuzzy rule whose evaluation returns the membership of the link in the fuzzy subset of good links. Values of the membership function are smoothed using EWMA filter to improve stability. An extensive experimental analysis shows that F-LQE outperforms existing estimators.

Noções básicas para um correto trabalho de pontas com alunos do Intermédio 3 da Academia de Dança Contemporânea de Setúbal

Relatório Final de Estágio apresentado à Escola Superior de Dança, com vista à obtenção do grau de Mestre em Ensino de Dança.

Estudo exploratório : as estratégias motivacionais no ensino da técnica da dança clássica, para alunos do 3º ano, no Ginasiano Escola de Dança

Relatório Final de Estágio apresentado à Escola Superior de Dança, com vista à obtenção do grau de Mestre em Ensino de Dança.