Construir uma comunidade de aprendizagem: a aprendizagem cooperativa de conteúdos multimédia fomentada por um ambiente promotor da valorização do conhecimento

Relatório de estágio de mestrado em Ensino de Informática

Development of a new 3D OpenFOAM® solver to model the cooling stage in profile extrusion

[Excerpt] The advantages resulting from the use of numerical modelling tools to support the design of processing equipment are almost consensual. The design of calibration systems in profile extrusion is not an exception . H owever , the complex geome tries and heat exchange phenomena involved in this process require the use of numerical solvers able to model the heat exchange in more than one domain ( calibrator and polymer), the compatibilization of the heat transfer at the profile - calibrator interface and with the ability to deal with complex geometries. The combination of all these features is usually hard to find in commercial software. Moreover , the dimension of the meshes required to ob tain accurate results, result in computational times prohibitive for industrial application. (...)

Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

[Re]ativar os terrenos abandonados e a vegetação nas margens do rio Tâmega e das Lagoas em Chaves

Dissertação de mestrado integrado em Arquitectura

Políticas, processos e atores de privatização da educação em Portugal: apontamentos

Procurou-se contribuir para esboçar uma problemática de pesquisa em torno da privatização em educação, no quadro das relações entre o Estado e os domínios público e privado e tomando como horizonte a construção do direito fundamental à educação e do bem-estar social, situados no Portugal democrático. Argumentou-se que o Estado e as políticas públicas têm, nestes 40 anos, desempenhado um papel central naqueles processos. Durante muito tempo, com fases e combinações distintas, pode observar-se uma espécie de duplicidade na ação estatal, com o acento tónico ora na expansão e consolidação do sistema público, ora no apoio e sustentação de atores e dinâmicas de ampliação do espaço e da influência privados, às vezes assumindo simultaneamente uma e outra orientação em setores diferenciados. Sugere-se, no entanto, que, desde 2011, no quadro de políticas regressivas austeritárias de ajustamento estrutural, com origem na União Europeia, se assistiu a uma rutura em favor de um projeto societal neoliberal radical que, a ser bem sucedido, procura instituir um sistema educativo pobre para pobres e alterar o estatuto e o papel do direito à educação e do sistema público que constitucionalmente o realiza.

A qualidade de vida da pessoa com doença renal crónica em programa regular de hemodiálise

Dissertação de mestrado em Enfermagem

Rádio Renascença: um caso de sucesso na convergência jornalística?: experiência de estágio e considerações criticas

Relatório de estágio de mestrado em Ciências da Comunicação (área de especialização em Informação e Jornalismo)

A crise da indústria da cultura: visões de Adorno e de Attali sobre a música contemporânea

Dissertação de mestrado em Comunicação, Arte e Cultura

Fundamentos do jornalismo: uma proposta de objectividade

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Informação e Jornalismo)

Implementação de métodos para análise de produtos acabados e matérias-primas no laboratório da empresa TMG Automotive

Dissertação de mestrado em Técnicas de Caraterização e Análise Química

Uma visão comparada sobre diferentes cosmogonias

Dissertação de mestrado em Estudos Interculturais Português/Chinês: Tradução, Formação e Comunicação Empresarial

A emigração portuguesa e chinesa em perspectiva comparada

Dissertação de mestrado em Estudos Internacionais Português/Chinês: Tradução, Formação e Comunicação Empresarial

A tradução de negócios e projetos on-line na empresa Bloomidea

Relatório de estágio de mestrado em Tradução e Comunicação Multilingue