O professor como construtor do currículo: integração da tecnologia em atividades de aprendizagem de matemática

O desenvolvimento profissional dos professores de matemática, por meio de progra¬mas nacionais e formações contínuas, deve proporcionar experiências que envolvam investigação, pensamento, planeamento, prática e reflexão. No caso da tecnologia, não nos devemos focar nas ferramentas em si, mas no modo como são usadas pelos docentes em contexto de sala de aula. Existem taxonomias de atividades de apren¬dizagem baseadas no conteúdo assentes na ideia do professor como construtor do currículo, que, para integrar com sucesso a tecnologia educativa nas aulas, desenvolve o conhecimento pedagógico e tecnológico do conteúdo (TPACK), e apresenta-se a de matemática. Desse modo, reflete-se, por meio de vários estudos nacionais e internacionais, que as tecnologias deverão ser usadas pelos professores de acordo com objetivos, conteúdos e pedagogias específicas para terem um efeito positivo na aprendizagem dos alunos sobre as atividades baseadas no conteúdo que melhor se enquadram com essas tecnologias.

Tecnologia e configurações do humano na era digital: Contribuições para uma nova sociologia da técnica

(Excerto) Com a expansão das novas tecnologias digitais da infor­mação e da comunicação e as biotecnologias, o mundo social e técnico está a transformar-se de uma forma acelerada nas últimas décadas. Uma alteração que tem dois efeitos impor­tantes: em primeiro lugar, uma mudança na relação entre o humano e a tecnologia; em segundo, uma crise da forma tra­dicional das ciências sociais pensarem a questão da técnica.

Sistema de aquisição e comunicação para sensores magnetoelétricos

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores

An interactive web-based tool for breast reduction surgery simulation

In this work, we present a 3D web-based interactive tool for numerical modeling and simulation approach to breast reduction surgery simulation, to assist surgeons in planning all aspects related to breast reduction surgery before the actual procedure takes place, thereby avoiding unnecessary risks. In particular, it allows the modeling of the initial breast geometry, the definition of all aspects related to the surgery and the visualization of the post-surgery breast shape in a realistic environment.

Hand gesture recognition system based in computer vision and machine learning: Applications on human-machine interaction

Tese de Doutoramento em Engenharia de Eletrónica e de Computadores

Development of procedures for the design, optimization and manufacturing of customized orthopaedic and trauma implants: Geometrical/anatomical modelling from 3D medical imaging

Tese de Doutoramento (Programa Doutoral em Engenharia Biomédica)

Hybrid hypervisor partially deployed on FPGA

Tese de Doutoramento em Engenharia Eletrónica e Computadores.

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.

Immersiveness of ubiquitous computing environments prototypes: A case study

The development of ubiquitous computing (ubicomp) environments raises several challenges in terms of their evaluation. Ubicomp virtual reality prototyping tools enable users to experience the system to be developed and are of great help to face those challenges, as they support developers in assessing the consequences of a design decision in the early phases of development. Given the situated nature of ubicomp environments, a particular issue to consider is the level of realism provided by the prototypes. This work presents a case study where two ubicomp prototypes, featuring different levels of immersion (desktop-based versus CAVE-based), were developed and compared. The goal was to determine the cost/benefits relation of both solutions, which provided better user experience results, and whether or not simpler solutions provide the same user experience results as more elaborate one.

Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.

Reforço à flexão de lajes de betão armado com laminados de CFRP pré-esforçados

Dissertação de mestrado integrado em Engenharia Civil (área de especialização em Estruturas e Geotecnia)

Digital literacy, technology and social inclusion: making sense of one-to-one computer programmes around the world

This book was produced in the scope of a research project entitled “Navigating with ‘Magalhães’: Study on the Impact of Digital Media in Schoolchildren”. This study was conducted between May 2010 and May 2013 at the Communication and Society Research Centre, University of Minho, Portugal and it was funded by the Portuguese Foundation for Science and Technology (PTDC/CCI-COM/101381/2008).

Foreword [to Digital literacy, technology and social inclusion: making sense of one-to-one computer programmes around the world]

(Excerto) In times past, learning to read, write and do arithmetic was to get on course to earn the “writ of emancipation” in society. These skills are still essential today, but are not enough to live in society. Reading and critically understanding the world we live in, with all its complexity, difficulties and challenges, require not only other skills (learning to search for and validate information, reading with new codes and grammar, etc) but, to a certain extent, also metaskills, matrixes and mechanisms that are transversal to the different and new literacies, are necessary. They are needed not just to interpret but equally to communicate and participate in the little worlds that make up our everyday activities as well as, in a broader sense, in the world of the polis, which today is a global world.

Introduction [to Digital literacy, technology and social inclusion: making sense of one-to-one computer programmes around the world]

This book was produced in the scope of a research project entitled “Navigating with ‘Magalhães’: Study on the Impact of Digital Media in Schoolchildren”. This study was conducted between May 2010 and May 2013 at the Communication and Society Research Centre, University of Minho, Portugal and it was funded by the Portuguese Foundation for Science and Technology (PTDC/CCI-COM/101381/2008). As we shall explain in more detail later in this book, the main objective of that research project was to analyse the impact of the Portuguese government programme named ´e-escolinha´ launched in 2008 within the Technological Plan for Education. This Plan responds to the principles of the Lisbon Strategy signed in 2000 and rereleased in the Spring European Council of 2005.

A 3D computer assisted Orthopedic Surgery Planning approach based on planar radiography

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)