Estudo de caso de adultos ucranianos em contexto de ensino formal: uma abordagem lexical

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino do Português, Língua Segunda e Língua Estrangeira

Monte Carlo simulations for dosimetric verification in photon and electron beam radiotherapy

Dissertação para obtenção do Grau de Doutor em Engenharia Biomédica

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Empirical analysis of the lending decisions of Chinese formal financial institutions in rural areas

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

A proof system for lock-free concurrency

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Verification of analog circuits in power-down mode

Dissertação para obtenção do Grau de Mestre em Engenharia Eletrotécnica e Computadores

Analysable software language translations

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

O Papel da Idade na Aprendizagem de uma Língua Estrangeira em Contexto Formal

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino do Português como Língua Segunda e Estrangeira

Contributos para a educação ambiental no Pré- Escolar: promoção de parcerias comunitárias no planeamento de um projecto de educação não-formal a implementar no Parque das Conchas e dos Lilases - Lumiar

Na década que foi proclamada como a “Década da Educação para o Desenvolvimento Sustentável” (DEDS), a sensibilização para a problemática ambiental deverá assumir crescente importância e ser desenvolvida o mais precocemente possível, no sentido de se contribuir para melhorar a “literacia ambiental”. Pretende-se que esta possa concorrer para uma elevada competência de acção e participação, atendendo à mudança de atitudes e aquisição de valores pró-ambientais. No presente trabalho de investigação pretendemos planificar um Projecto a que chamamos “EcoConchas”- Centro de Recursos de Educação Ambiental, a desenvolver no Parque da Quinta das Conchas e dos Lilases, Freguesia do Lumiar, Lisboa, com o intuito de promover a consciência para a Educação Ambiental (EA) em crianças do Ensino Pré-escolar. Queremos ainda averiguar se um Projecto de Educação Ambiental, de carácter não-formal, poderá ser facilitador da criação de sinergias entre um espaço verde, famílias, escolas, agentes de Administração Local e Regional (Junta de Freguesia, CML) e Organismos Públicos (como a Agência Portuguesa do Ambiente). Partimos de um breve historial relativo à EA, delimitando o tema atendendo à sua abordagem na Infância, considerando as Orientações e Metas para a Educação Pré-Escolar em Portugal (1997, 2010). Após essa breve introdução ao tema da EA, perspectivámos abordagens relativas à dimensão não-formal e à importância do estabelecimento de parcerias, para o desenvolvimento de Projectos e maximização da oferta de serviços de sensibilização ambiental junto da população. Debruçámo-nos sobre os processos de apreensão do conhecimento pela criança (Teoria do Desenvolvimento Social ou Sócio-Constructivista de Vygotsky, 1988), as características da criança em idade pré-escolar, bem como os conteúdos de sensibilização ambiental, transmitidos neste nível de ensino. Pretendeu-se compatibilizar constructos e processos teóricos, enquadrando-os no Modelo da Ecologia do Desenvolvimento Humano de Bronfenbrenner (1979/2000), que considera a acção das crianças como catalisadoras de mudança ambiental, na família, na escola (“microssistemas”) e na sociedade/comunidade. Foram realizadas 23 entrevistas a Crianças, Pais, Educadores, Presidente da Junta de Freguesia do Lumiar, Assistente Técnico de Projectos Ambientais da D.S.E.S.A- Câmara Municipal de Lisboa e à equipa Responsável pelo Departamento de Comunicação e Cidadania Ambiental da Agência Portuguesa do Ambiente para saber da sua opinião sobre o projecto. A análise de conteúdo dessas entrevistas permitiu perceber o interesse dos possíveis implicados na implementação deste Projecto, no Parque das Conchas e dos Lilases, que apresenta inúmeras potencialidades para o desenvolvimento de actividades de EA, com os mais novos. Também foi considerada de elevada importância o estabelecimento de parcerias entre todos os actores sociais que de alguma forma podem vir a contribuir e beneficiar da sua implementação, sendo que o trabalho desenvolvido em conjunto pode ter resultados mais eficazes. Este estudo permitiu reflectir sobre a pertinência do desenvolvimento da temática ambiental junto das crianças pré-escolares, concluindo que sendo iniciada nesta faixa etária, trará no presente e futuro, inúmeros benefícios não só para as próprias crianças, mas também para os pais, a comunidade em geral e todo o Planeta.

Educação ambiental e empoderamento: construindo cidadania através do ensino não-formal – o caso do projecto “HISTÓRIAS DE QUINTAL”

Em tempos nos quais muito se discute acerca dos reflexos da crise ambiental na educação, e dos valores, princípios e objetivos que melhor lhe caberiam para proporcionar caminhos inovadores à superação da problemática ecológica, em toda a sua complexidade, esta pesquisa buscou investigar as contribuições da edição de 2012 do projecto de educação ambiental não-formal “Histórias de Quintal”, da Organização Não-Governamental EMCANTAR, para o empoderamento de seu público-alvo. Num primeiro momento, elaboramos um mosaico teórico acerca da educação ambiental emancipatória, a única que, a nosso ver, revela os verdadeiros sentidos da educação ambiental. Para isso, (i) promovemos um breve resgate histórico da educação ambiental no cenário mundial; (ii) oferecemos uma visão geral da perspectiva emancipatória da educação ambiental (pressupostos e fundamentos, princípios, características gerais e objetivos); (iii) estabelecemos um corte diferencial entre as perspectivas convencional e emancipatória; (iv) ofertamos uma crítica à expressão “Educação para o desenvolvimento sustentável”; (v) realizamos um voo panorâmico sobre a dimensão não-formal da educação ambiental; (vi) discutimos o empoderamento sob a óptica da pedagogia libertária de Freire (1987); e (vii) concatenamos essas ideias entre si e com outras correlatas, como desigualdade social, cidadania e participação social. Num momento seguinte, apresentamos o projecto em estudo e discorremos acerca de seus pontos principais, bem como das atividades que foram realizadas em seu âmbito no ano de 2012. Por último, realizámos entrevistas com os participantes nas actividades e confrontamos os dados colhidos com o que fora apresentado sobre a educação ambiental emancipatória para, assim, apresentar as conclusões alcançadas. Constatamos que a educação ambiental promovida pelo “Histórias em Quintal”, em 2012, teve um perfil emancipatório e que, enquanto projecto de educação não-formal, ele teve também as características, princípios, objetivos e metodologias que permitem a promoção de uma educação ambiental verdadeiramente compromissada com a libertação dos oprimidos (Freire, 1987) e com a transformação da sociedade, e que, por isso, contribuiu para um empoderamento inicial e a nível individual do grupo-alvo.

Planning and verification of multipath routing protocols

Conventionally the problem of the best path in a network refers to the shortest path problem. However, for the vast majority of networks present nowadays this solution has some limitations which directly affect their proper functioning, as well as an inefficient use of their potentialities. Problems at the level of large networks where graphs of high complexity are commonly present as well as the appearing of new services and their respective requirements, are intrinsically related to the inability of this solution. In order to overcome the needs present in these networks, a new approach to the problem of the best path must be explored. One solution that has aroused more interest in the scientific community considers the use of multiple paths between two network nodes, where they can all now be considered as the best path between those nodes. Therefore, the routing will be discontinued only by minimizing one metric, where only one path between nodes is chosen, and shall be made by the selection of one of many paths, thereby allowing the use of a greater diversity of the present paths (obviously, if the network consents). The establishment of multi-path routing in a given network has several advantages for its operation. Its use may well improve the distribution of network traffic, improve recovery time to failure, or it can still offer a greater control of the network by its administrator. These factors still have greater relevance when networks have large dimensions, as well as when their constitution is of high complexity, such as the Internet, where multiple networks managed by different entities are interconnected. A large part of the growing need to use multipath protocols is associated to the routing made based on policies. Therefore, paths with different characteristics can be considered with equal level of preference, and thus be part of the solution for the best way problem. To perform multi-path routing using protocols based only on the destination address has some limitations but it is possible. Concepts of graph theory of algebraic structures can be used to describe how the routes are calculated and classified, enabling to model the routing problem. This thesis studies and analyzes multi-path routing protocols from the known literature and derives a new algebraic condition which allows the correct operation of these protocols without any network restriction. It also develops a range of software tools that allows the planning and the respective verification/validation of new protocols models according to the study made.

The Vase’s Representation (Cantharus, Crater) on the Roman Mosaic in Portugal: A Significant Formal and Iconographic Path from Classic Antiquity to Late Antiquity

11TH INTERNATIONAL COLLOQUIUM ON ANCIENT MOSAICS OCTOBER 16TH  20TH, 2009, BURSA TURKEY Mosaics of Turkey and Parallel Developments in the Rest of the Ancient and Medieval World: Questions of Iconography, Style and Technique from the Beginnings of Mosaic until the Late Byzantine Era

Variação terminológica formal no diploma regulador do subsistema e no estatuto orgânico do Ministério do Ensino Superior - Angola

O presente trabalho aborda o tema das variações terminológicas formais presentes no diploma regulador do subsistema do ensino superior e no estatuto orgânico do Ministério do Ensino Superior (MES). Partímos do princípio de que as variações terminológicas formais são fenómenos que resultam da actividade discursiva, pelo que devem ser vistos de forma natural. Os fundamentos teóricos que suportaram o presente trabalho foram: a Teoria Geral da Terminologia (TGT), a Teoria Comunicativa da Terminologia (TCT) e a Socioterminologia que se dedica à análise das unidades terminológicas do ponto de vista funcional. Uma determinada unidade terminológica é funcional porque pode assumir determinadas formas mediante o contexto discursivo, sem que o conceito se altere. Nesta medida, a posse de um corpus é imprescindível. O corpus de análise com o qual trabalhámos diz respeito à legislação do subsistema do ensino superior, onde pudemos identificar 25.489 formas, através do programa CONCAPP. Posteriormente, fizemos o levantamento das formas de alta e baixa frequência, que nos permitiu fazer o levantamento das concordâncias. A partir desse momento, identificámos os casos de variação formal morfossintáctica e lexical. Na análise dos dados, procedémos à caracterização dos tipos de variação e apresentámos a tipologia das estruturas das variantes concorrentes. Por fim, terminámos o trabalho com a proposta de elaboração de uma base de dados para o grupo técnico para eleboração dos projectos de lei do subsistema do ensino superior, em jeito de recomendação.

A construção de um currículo de project-based learning: o currículo ideal e o currículo formal

O objetivo deste trabalho é apresentar os resultados da análise das concepções de dois protagonistas de uma reforma curricular que está sendo implementada numa escola de engenharia. A principal característica do novo currículo é o uso de projetos e oficinas como atividades complementares a serem realizadas pelos estudantes. As atividades complementares acontecerão em paralelo ao trabalho realizado nas disciplinas sem que haja uma relação de interdisciplinaridade. O novo currículo está sendo implantado desde fevereiro de 2015. Segundo Pacheco (2005) há dois momentos, dentre outros, no processo de mudança curricular, o currículo “ideal”, determinado por dimensões epistemológica, política, econômica, ideológica, técnica, estética, e histórica e, que recebe influência direta daquele que idealiza e cria o novo currículo e, o currículo “formal” que se traduz na prática implementada na escola. São essas duas etapas estudadas nesta pesquisa. Para isso serão considerados como fontes de dados dois protagonistas, um mais ligado à concepção do currículo e outro da sua implementação, a partir dos quais se busca compreender as motivações, crenças e percepções que, por sua vez, determinam a reforma curricular. Entrevistas semiestruturadas foram utilizadas como técnica de pesquisa, com o propósito de se entender a gênese da proposta e as mudanças entre essas duas etapas. Os dados revelam que mudanças aconteceram desde a idealização até a formalização do currículo, motivadas por demandas do processo de implementação, revela ainda diferenças na visão de currículo e a motivação para romper com padrões na formação de engenheiros no Brasil.