Spectrum-based energy leak localization

Dissertação de Mestrado em Engenharia Informática

Recursos para la alfabetización mediática: investigación y propuestas para niños

Mucho se ha investigado sobre la educación en medios, su importancia y objetivos. Más allá de las Directivas, resoluciones o recomendaciones, la investigación en esta área ha permitido profundizar y solidificar sus fundamentos, al tiempo que ha facilitado el reconocimiento de sus puntos más débiles u omisiones. Uno de los puntos críticos destacados por la formación y por el trabajo de investigación que se ha desarrollado en la Universidad de Miño (Portugal) durante los últimos 20 años, es la inexistencia de recursos y materiales que puedan utilizarse para la promoción de la educación en los medios de comunicación en diferentes contextos. De esta forma, independientemente de los recursos y materiales, se genera la importancia de la transferencia de conocimientos a la práctica, la trascendencia de la mediación del conocimiento producido a su público. Esta preocupación fue la base principal del proyecto titulado «Recursos para la alfabetización mediática» llevado a cabo en el Centro de Estudios de Comunicación y Sociedad y financiado por Evens Foundation (Bélgica). Este trabajo presenta sucintamente los procesos de creación y los resultados generados por estos recursos, centrados en tres medios: televisión, videojuegos e Internet y redes sociales.

Melhoria de processos numa indústria têxtil através da aplicação do paradigma Lean

Dissertação de mestrado em Engenharia Industrial

Gestão de inventários numa empresa de produção de linhas de costura

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

Estudo e caracterização mecânica por via experimental de modelos de subestruturas eletromecânicas aplicadas ao fabrico de transformadores de grande potência

Dissertação de mestrado integrado em Engenharia Mecânica

Avaliação quantitativa da geodiversidade: desenvolvimento de instrumentos metodológicos com aplicação ao ordenamento do território

Tese de Doutoramento em Ciências (Especialidade de Geologia)

A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.