Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

A conversa e o relato enquanto possibilidades do comum, apartir de we aim to be amateurs (Art & Language, 1997)

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Filosofia-Estética

Questing one Brazilian query: reporting 16 cases of Q fever from Minas Gerais, Brazil

Q fever has been considered non-existing in Brazil where reports of clinical cases still cannot be found. This case-series of 16 patients is a result of a systematic search for such illness by means of clinical and serologic criteria. Serologic testing was performed by the indirect microimmunofluorescence technique using phase I/II C. burnetii antigens. Influenza-like syndrome was the most frequent clinical form (eight cases - 50%), followed by pneumonia, FUO (fever of unknown origin), mono-like syndrome (two cases - 12.5% each), lymphadenitis (one case - 6.3%) and spondylodiscitis associated with osteomyelitis (one case - 6.3%). The ages varied from four to 67 years old with a median of 43.5. All but one patient had positive serologic tests for phase II IgG whether or not associated with IgM positivity compatible with acute infection. One patient had both phase I and phase II IgG antibodies compatible with chronic Q fever. Seroconvertion was detected in 10 patients. Despite the known limitations of serologic diagnosis, the cases here reported should encourage Brazilian doctors to include Q fever as an indigenous cause of febrile illness.

Writing skills at secondary level. Developing an English language writing syllabus - a case study

Trabalho de projecto apresentado para o cumprimento dos requisitos necessários à obtenção do grau de mestre em Didática do Inglês

Simulação de Robôs Quadrúpedes Utilizando o SimMechanics

Desde sempre o Homem procurou automatizar tarefas repetitivas. Tanto na indústria como no sector doméstico ou de comércio estão constantemente a surgir novos equipamentos procurando aumentar o nível de automação de diversas tarefas. A necessidade de empresas criadoras de produtos inovadores se manterem concorrenciais obrigou à adopção de métodos de projecto e planeamento mais estruturados e eficientes que eliminem os desperdícios tanto de material como de tempo. Diversas construções em termos orçamentais e o aumento da procura de produtos de alta qualidade a baixo custo deu origem a um novo tipo de programas, os programas de simulação virtual. Tal como na indústria, também na investigação nas Instituições de Ensino Superior se procuram adoptar os métodos de trabalho mais eficientes possíveis. Uma parte dos programas de simulação robótica utilizados hoje em dia na investigação no Instituto Superior de Engenharia do Porto estão concebidos em linguagem C. Embora esta linguagem seja extremamente capaz, existem métodos mais adequados de simulação que aceleram o processo de modelação permitindo a visualização do movimento e simulação de diversas situações potencialmente criticas sem existir a necessidade de construção de um protótipo funcional do robô. Durante o último ano, este projecto permitiu construir um modelo de um robô quadrúpede num programa de simulação virtual chamado Simmechanics™. Embora haja já algum trabalho desenvolvido nesta área, constatou-se que a informação existente possuía algumas lacunas. Com o trabalho desenvolvido preparou-se esta dissertação que pretende clarificar algumas questões que surgem na modelação de um robô. Neste documento explica-se como modelar um robô de corpo flexível, modelar as pernas e as respectivas juntas da anca e do joelho assim como também se apresenta a modelação de um contacto com o solo recorrendo a um modelo descrito na literatura. Este documento foi escrito a pensar no leitor, procurando-se explicar de forma simples mas concisa os diversos passos necessários para construir um modelo virtual de um robô. O autor espera, desta forma, ajudar futuros colegas que pretendam trabalhar com o Simmechanics™ a mais facilmente se integrarem com o programa aumentando desta forma o declive da curva de aprendizagem e permitindo um maior aproveitamento desta ferramenta.

Model of a specialized bidirectional dictionary for German and Portuguese

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Terminologia e Gestão da Informação de Especialidade

A Methodology for Creating an Adapted Command Language for Driving an Intelligent Wheelchair

Intelligent wheelchairs (IW) are technologies that can increase the autonomy and independence of elderly people and patients suffering from some kind of disability. Nowadays the intelligent wheelchairs and the human-machine studies are very active research areas. This paper presents a methodology and a Data Analysis System (DAS) that provides an adapted command language to an user of the IW. This command language is a set of input sequences that can be created using inputs from an input device or a combination of the inputs available in a multimodal interface. The results show that there are statistical evidences to affirm that the mean of the evaluation of the DAS generated command language is higher than the mean of the evaluation of the command language recommended by the health specialist (p value = 0.002) with a sample of 11 cerebral palsy users. This work demonstrates that it is possible to adapt an intelligent wheelchair interface to the user even when the users present heterogeneous and severe physical constraints.

Sustainability Improvement of a composite materials’ industry through recycling and re-engineering process approaches

Recent Advances in Mechanics and Materials in Design

Process engineering of liver cells for drug testing applications

Dissertação para obtenção do Grau de Doutor em Bioengenharia

A comparison between thin film solar cells made from co-evaporated CuIn1-xGaxSe2using a one-stage process versus a three-stage process

Until this day, the most efficient Cu(In,Ga)Se2 thin film solar cells have been prepared using a rather complex growth process often referred to as three-stage or multistage. This family of processes is mainly characterized by a first step deposited with only In, Ga and Se flux to form a first layer. Cu is added in a second step until the film becomes slightly Cu-rich, where-after the film is converted to its final Cu-poor composition by a third stage, again with no or very little addition of Cu. In this paper, a comparison between solar cells prepared with the three-stage process and a one-stage/in-line process with the same composition, thickness, and solar cell stack is made. The one-stage process is easier to be used in an industrial scale and do not have Cu-rich transitions. The samples were analyzed using glow discharge optical emission spectroscopy, scanning electron microscopy, X-ray diffraction, current–voltage-temperature, capacitance-voltage, external quantum efficiency, transmission/reflection, and photoluminescence. It was concluded that in spite of differences in the texturing, morphology and Ga gradient, the electrical performance of the two types of samples is quite similar as demonstrated by the similar J–V behavior, quantum spectral response, and the estimated recombination losses.

A Publicidade no Ensino do Inglês no 1.º Ciclo: uma abordagem didática

Numa era de globalização, de desenvolvimento tecnológico exponencial e de consumismo exacerbado, a publicidade conquistou o quotidiano das sociedades modernas e seduziu, também, as nossas crianças. Subjacente ao paradigma de que o comportamento humano dá respostas favoráveis a estímulos adequados e apresentados com oportunidade e habilidade (Caetano et al., 2011), colocamos a hipótese de utilização didática de anúncios publicitários na aula de Inglês para o desenvolvimento de competências comunicativas. Este projeto assentou no aproveitamento do potencial que a publicidade oferece, tendo em conta, por um lado, a envolvência sedutora que a torna um meio privilegiado para captar a atenção e veicular informação e, por outro, a prevalência de palavras em Inglês que nela se observa. O estudo, de natureza qualitativa, é o resultado de uma investigação-ação, na qual adotamos uma metodologia baseada num modelo descritivo e interpretativo, através de métodos qualitativos de recolha de dados e análise de informação, que teve como participantes crianças do 4.º ano de escolaridade. Desenvolvemos questionários, como instrumentos de recolha de dados, aplicados a professores e alunos. Construímos, igualmente, guiões de atividades com sugestões de exploração da publicidade no ensino da língua. Comprovamos que a publicidade, aliada ao Inglês, pode ser um valioso recurso no desenvolvimento e aprendizagem das crianças, pois é um material autêntico, motivador, atrai a atenção, possibilita o contacto com situações reais, envolve linguagem verbal e não-verbal e permite a exploração de diferentes temas, o que contribui, certamente, para a compreensão intercultural, a mobilização de saberes e o desenvolvimento do espírito crítico.

Tradução audiovisual

Esta dissertação de mestrado foi desenvolvida com o intuito de estudar a tradução audiovisual de spots publicitários. Mais especificamente, estudar a tradução audiovisual no contexto da implementação e aplicabilidade de uma campanha publicitária ou, neste caso, de diversos spots publicitários de uma dada empresa num público-alvo estrangeiro. Para esta dissertação, selecionei um corpus de spots publicitários do banco internacional HSBC. A tomada da decisão recaiu sobre a quantidade de filiais que o HSBC tem espalhadas pelo globo, e que estão inseridas em mercados cujas culturas predominantes se diferenciam grandemente entre umas e outras. Para aprofundar este tema, analisei os conceitos inerentes à tradução audiovisual, enveredei posteriormente, e de forma mais específica, pela análise dos conceitos intrínsecos à legendagem de spots publicitários, e, por fim, associei estes conceitos com as questões relativas à interculturalidade e à melhor forma de transmitir informações, sobre uma mesma entidade, a grupos culturais diferentes. Em seguida, legendei o corpus de spots publicitários do HSBC, selecionados para constar desta dissertação, salientando os principais momentos de reflexão: as barreiras tradutivas/culturais existentes, as soluções e a decisão final relativa à cada legenda criada. Legendei os spots publicitários do HSBC, como se estivessem destinados a um público-alvo de nacionalidade, cultura e língua portuguesa. Obtive um conjunto de oito spots publicitários legendados em português, e efetuei a respetiva análise do processo tradutivo. Apresentei elações retiradas durante a criação das legendas, sobre as quais caia o objetivo de as relacionar com os conceitos primeiramente abordados.

Decision-making process in radiology: the magnetic resonance example in the TA context

Based on the report for “Project IV” unit of the PhD programme on Technology Assessment (Doctoral Conference) at Universidade Nova de Lisboa (December 2011). This thesis research has the supervision of António Moniz (FCT-UNL and ITAS-KIT) and Michael Decker (Karlsruhe Institute of Technology-ITAS). Other members of the thesis committee are Carlos Alberto da Silva (University of Évora), José Maria de Albuquerque (Institute of Welding and Quality), Lotte Steuten (University of Twente), Mário Forjaz Secca (FCT-UNL) and Nelson Chibeles Martins (FCT-UNL).

A abordagem intercultural e plurilingue no ensino de línguas estrangeiras no ensino básico

Numa era global marcada por avanços tecnológicos e pela diversidade cultural e linguística, é necessária uma nova linha de pensamento educativo e didático que conduza à formação de falantes cada vez mais pluriculturais e plurilingues, capazes de compreender, respeitar e interagir com outros povos e culturas. O desenvolvimento de competências comunicativas em, pelo menos, dois idiomas do espaço europeu é uma das medidas promovidas pelas politicas linguísticas europeias, que visam preparar os cidadãos para um diálogo intercultural, que fomente o respeito e a abertura face a essas diferenças, e pela construção de uma identidade intercultural e plurilingue nos próprios cidadãos exercendo, assim, a sua cidadania. Este paradigma tem implicações quer na aula de Língua Estrangeira, como ferramenta que permite ao aluno a ampliar a sua visão do mundo, quer no papel do professor, que nela intervém, enquanto, responsável pela construção social e formativa dos seus aprendentes. Estrutura-se, assim, um modelo educativo que abraça todas as culturas e reportórios linguísticos presentes dentro e fora do âmbito escolar. Neste relatório de estágio, resultante da prática pedagógica centrada no ensino do Inglês e do Espanhol, teci uma reflexão crítica sobre os diferentes cenários pedagógicos construídos durante três semestres académicos, com alunos portugueses do Ensino Básico. O fio condutor de toda a prática desenvolvida centrou-se no paradigma da abordagem intercultural e, com base nessa linha de pensamento, propus-me aferir os contributos que as minhas opções metodológicas tiveram quer no processo de aprendizagem dos meus alunos, quer na sua construção pessoal e social.

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic