A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

VISIR deployment in undergraduate engineering practices

Practical sessions are the backbone of qualification in engineering education. It leads to a better understanding and allows mastering scientific concepts and theories. The lack of the availability of practical sessions at many universities and institutions owing to the cost and the unavailability of instructors the most of the time caused a significant decline in experimentation in engineering education over the last decades. Recently, with the progress of computer-based learning, remote laboratories have been proven to be the best alternative to the traditional ones, regarding to its low cost and ubiquity. Some universities have already started to deploy remote labs in their practical sessions. This contribution compiles diverse experiences based on the deployment of the remote laboratory, Virtual Instrument Systems in Reality (VISIR), on the practices of undergraduate engineering grades at various universities within the VISIR community. It aims to show the impact of its usage on engineering education concerning the assessments of students and teachers as well.

Marcação CE de dispositivos médicos e segurança em software

Com o crescente aumento da Teleradiologia, sentiu-se necessidade de criar mais e melhores softwares para sustentar esse crescimento. O presente trabalho pretende abordar a temática da certificação de software e a sua marcação CE, pois para dar entrada no mercado Europeu todos os Dispositivos Médicos (DM) têm de estar devidamente certificados. Para efetuar a marcação CE e a certificação serão estudadas normas e normativos adequados para marcação de DM ao nível Europeu e também dos Estados Unidos da América. A temática da segurança de dados pessoais será também estudada de forma a assegurar que o dispositivo respeite a legislação em vigor. Este estudo tem como finalidade a certificação de um software proprietário da efficientia sysPACS, um serviço online abrangente, que permite a gestão integrada do armazenamento e distribuição de imagens médicas para apoio ao diagnóstico.

How remote labs impact on course outcomes: various practices using VISIR

As technology is increasingly being seen as a facilitator to learning, open remote laboratories are increasingly available and in widespread use around the world. They provide some advantages over traditional hands-on labs or simulations. This paper presents the results of integrating the open remote laboratory VISIR into several courses, in various contexts and using various methodologies. These integrations, all related to higher education engineering, were designed by teachers with different perspectives to achieve a range of learning outcomes. The degree to which these VISIR-related outcomes were accomplished is discussed. The results reflect the levels of student engagement and learning and of teacher involvement. From the analysis, a connection between these two aspects was traced, although only related to the user profiles. VISIR is shown to be always of benefit for more motivated students, but this benefit can be maximized under particular conditions and characteristics.

“We are azorean”: discourses and practices of folk culture in Santa Catarina (Brazil)

Etnográfica, Vol. IX, N.1, pp. 171-193

Tech-based Innovations in pedagogical practices: the case of ISCAP

TICEduca. III Congresso Internacional TIC e Educação. 14 a 16 Novembro, Lisboa

Sharing best practices in introducing and teaching ethics principles to public administration employees : research report

O projeto, financiado pelo Programa Aprendizagem ao Longo da Vida, decorreu entre 1 de agosto de 2011 e 31 de julho de 2013 e foi coordenado pelo Instituto de Administração Pública de Praga, tendo como parceiros a Escola de Economia e Direito de Berlim, a Escola Nacional de Administração Pública da Polónia e o INA, de Portugal. A coordenação portuguesa do estudo esteve a cargo da Prof. Doutora Helena Rato e da Dra. Matilde Gago, com a colaboração do Prof. Doutor César Madureira e da Dra. Margarida Quintela, ex investigadores do INA, atualmente na DGAEP.

Os referenciais de segurança da informação e a melhoria contínua: um caso exploratório

Mestrado em Engenharia Informática - Área de Especialização em Arquitecturas, Sistemas e Redes

Changing representations and practices in school mathematics: the case of Modern Math in Portugal

The curricular movement known as Modern Mathematics aimed at the transformation of representations and practices in school mathematics. Its study provides us with ways of understanding how these changes came about. The purpose of this paper is to contribute to the understanding of the ways in which representations of school mathematics gradually were influenced by ideas from the Modern Mathematics movement, how these new ideas merged into local educational traditions, and how they were transformed into meaningful practice. This work is centred on the Portuguese context from the middle 1950s to the middle 1960s, and builds on Chervel’s notion of school culture and Gruzinski’s discussion of connected histories.

Georeferencing Road Accidents with Google Earth: Transforming Information into Knowledge for Decision Support

Over the last fifty years mobility practices have changed dramatically, improving the way travel takes place, the time it takes but also on matters like road safety and prevention. High mortality caused by high accident levels has reached untenable levels. But the research into road mortality stayed limited to comparative statistical exercises which go no further than defining accident types. In terms of sharing information and mapping accidents, little progress has been mad, aside from the normal publication of figures, either through simplistic tables or web pages. With considerable technological advances on geographical information technologies, research and development stayed rather static with only a few good examples on dynamic mapping. The use of Global Positioning System (GPS) devices as normal equipments on automobile industry resulted in a more dynamic mobility patterns but also with higher degrees of uncertainty on road traffic. This paper describes a road accident georeferencing project for the Lisbon District involving fatalities and serious injuries during 2007. In the initial phase, individual information summaries were compiled giving information on accidents and its majour characteristics, collected by the security forces: the Public Safety Police Force (Polícia de Segurança Pública - PSP) and the National Guard (Guarda Nacional Republicana - GNR). The Google Earth platform was used to georeference the information in order to inform the public and the authorities of the accident locations, the nature of the location, and the causes and consequences of the accidents. This paper also gives future insights about augmented reality technologies, considered crucial to advances to road safety and prevention studies. At the end, this exercise could be considered a success because of numerous consequences, as for stakeholders who decide what to do but also for the public awareness to the problem of road mortality.

Estudo relativo à utilização dos Equipamentos de Medida e Precisão (EMP) nas ações de manutenção da frota F-16

Esta dissertação foi realizada, tendo como objecto de estudo a utilização de equipamentos de Medida e Precisão, em diversas áreas da manutenção da Base Aérea Nº 5. Como hipótese de trabalho, no âmbito da dissertação do Mestrado de Engenharia Instrumentação e Metrologia, foi proposta a elaboração de um estudo, tendo em vista, uma melhoria das capacidades da organização demonstrar certos requisitos no âmbito da gestão e controlo de equipamentos de Medida e Precisão. Assim, a metodologia utilizada para a realização desta dissertação, partiu da análise do estado da arte nas normas internacionais, da regulamentação emitida pela Força Aérea Portuguesa e no estudo das práticas em uso na manutenção da Base Aérea Nº 5, assim como, nos atuais meios de execução e controlo dessa gestão num sistema integrado de “gestão de conteúdos”. Foram realizados diversos trabalhos, tendo como objectivo uma melhoria no processo de gestão de Equipamentos de Medida e Precisão, com resultados imediatos, tais como um novo portal de metrologia, e-mail de informação sobre Equipamentos de Medida e Precisão e certificados digitais. Seguidamente, forma apresentados os resultados do estudo e demonstrada a necessidade de implementar um processo de recall, para as acções onde são usados Equipamentos de Medida e precisão. Na dissertação, são utilizadas terminologias aeronáuticas, por as mesmas serem comuns no seio da organização, assim como, consonantes com a prática usual na indústria de manutenção aeronáutica militar no mundo.

Avaliação da Segurança Alimentar nas cozinhas das escolas do concelho de Celorico de Basto

Dissertação de Mestrado em Gestão Integrada da Qualidade, ambiente e Segurança

Satisfaction towards human resources practices and repatriates’ retention: an empirical examination in the portuguese companies context

This paper examines the relationship between the level of satisfaction towards Human Resources Management practices among repatriates and the decision to remain on the home company after expatriation. Data was collected through semi-structured interviews of 28 Portuguese repatriates who remain and 16 organisational representatives from eight companies located in Portugal. The results show that (1) compensation system during the international assignment; (2) permanent support during the international assignment and; (3) recognition upon the return of the work and effort of expatriates during the international assignment are the most important HRM practices for promoting satisfaction among repatriates. Moreover, it is at repatriation phase that repatriates show higher dissatisfaction with HRM support. These findings will be discussed in detail and implications and suggestions for future research will be proposed as well.

The role of human resource management practices on repatriates’ retention: a literature review

This investigation reviews literature on human resource management practices that influence the retention of repatriates. The processes of selection and training/preparation before the departure, the role of the mentor and of communication during the international assignment, a program of readjustment to repatriation and a career development plan after return to the home firm are the practices identified in the literature as the main promoters of repatriates’ retention. Evidence suggests that greater responsibility on the part of the firms before, during and after the international assignment allows for more efficiency in the management of their repatriates.