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.

Adipogenic cell sheets to recreate in vitro adipose tissue microenvironments

Cell sheet (CS) engineering, taking advantage of cellular self-matrix organized as in native tissue, has been largely explored, including by us, for different purposes [1â 3]. Herein we propose for the ï¬ rst time, the use of human adipose stem cells (hASCs)-derived CS to create adipose tissue analogues with different levels of maturation. hASCs were cultured on UpCellTM thermo-responsive dishes for 1, 3 and 5 days under basal conditions previously established by us [3]. The inï¬ uence of pre-differentiation time and respective cell number, over CS stability and differentiation was assessed. Mechanically robust CS were only obtained with 5 days pre-differentiation period. Adipogenesis was followed along the culture assessing the variation of expression of mesenchymal (CD73, CD105 but not CD90) and adipogenic (PPARg, FABP4 and LPL) markers by ï¬ ow cytometry, immunocytochemistry and RT-PCR. Increased ratio of differentiated cells was achieved for longer pre-differentiation periods, while maturation degree was modulated by the maintenance medium. Independently of the overall CS differentiation/maturation level, 3D constructs were fabricated by stacking and further culturing 3 CS. Thus, by varying the culture conditions, different 3D adipose tissue-like microenvironments were recreated, enabling future development of new tissue engineering strategies, as well as further study of adipose tissue role in the regeneration of different tissues.

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.