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

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

Developing writing skills in English language teaching through the use of blogs and e-mail at primary school level

Trabalho de Projeto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teaching English as a Second / Foreign Language

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.

Developing Young Learners’ Logical/Deductive Thinking Skills and Second Language Skills through a CLIL approach

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teaching English as a Second / Foreign Language.

EVALUATION OF THE THERAPEUTIC EFFICACY OF LEVAMISOLE HYDROCHLORIDE ON THIRD-STAGE LARVAE OF Lagochilascaris minor IN EXPERIMENTALLY INFECTED MICE

Lagochilascariosis, a disease caused by Lagochilascaris minor, affects the neck, sinuses, tonsils, lungs, the sacral region, dental alveoli, eyeballs and the central nervous system of humans. A cycle of autoinfection may occur in human host tissues characterized by the presence of eggs, larvae and adult worms. This peculiarity of the cycle hinders therapy, since there are no drugs that exhibit ovicidal, larvicidal and vermicidal activity. Given these facts, we studied the action of levamisole hydrochloride on third-stage larvae in the migration phase (G1) and on encysted larvae (G3) of L. minor. To this end, 87 inbred mice of the C57BL/6 strain were divided into test groups comprising 67 animals (G1-37; G3-30) and a control group (G2-10; G4-10) with 20 animals. Each animal was inoculated orally with 2,000 infective eggs of the parasite. The animals of the test groups were treated individually with a single oral dose of levamisole hydrochloride at a concentration of 0.075 mg. The drug was administered either 30 minutes prior to the parasite inoculation (G1 animals) or 120 days after the inoculation (G3 animals). The mice in the control groups were not treated with the drug. After the time required for the migration and the encysting of L. minor larvae, all the animals were euthanized and their tissues examined. The data were analyzed using the Student's unpaired t-test and the Levene test. The groups showed no statistically significant difference. Levamisole hydrochloride was ineffective on third-stage larvae of L. minor. These findings explain the massive expulsion of live adult worms, as well as the use of long treatment schemes, owing to the persistence of larvae and eggs in human parasitic lesions.

The use of corpora to the teach english as a foreign language in secondary education in Portugal

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Didáctica Do Inglês

The impact of type of language and number of reasons on purchase intent

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Analysable software language translations

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

Data-centric concurrency control on the java programming language

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Sentiment analysis on twitter for the portuguese language

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Child programming: an adequate domain specific language for programming specific robots

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

The Impact of Bilingualism on Acquiring Second Language Vocabulary: A Case Study

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtençao do grau de Mestre em Didáctica do Inglês,

Language and culture: representations of English-speaking cultures in 1st year secondary english language coursebooks in the Kingdom of Saudi Arabia

Dissertação apresentada para o cumprimento dos requisitos necessários á obtenção do grau de Mestre em Didáctica de Inglês