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

Sensitivity of an immunoenzymatic test for detection of ant-L. brasiliensis antibodies compared to other tests used for the diagnosis of American cutaneous leishmaniasis

The diagnosis of American cutaneous leishmaniasis (ACL) is frequently based on clinical and epidemiological data associated with the results of laboratory tests. Some laboratory methods are currently being applied for the diagnosis of ACL, among them the indirect immunofluorescence reaction (IIFR), the Montenegro skin test (MST), histopathological examination, and the polymerase chain reaction (PCR). The performance of these methods varies in a considerable proportion of patients. After the standardization of an immunoenzymatic test (ELISA) for the detection of IgG in the serum of patients with ACL using a crude Leishmania braziliensis antigen, the results obtained were compared to those of other tests routinely used for the diagnosis. The tests revealed the following sensitivity, when analyzed separately: 85% for ELISA IgG, 81% for PCR, 64.4% for MST, 58.1% for IIFR, and 34% for the presence of parasites in the biopsy. ELISA was positive in 75% of patients with ACL presenting a negative MST, in 84.8% of ACL patients with negative skin or mucous biopsies for the presence of the parasite, and in 100% of cases with a negative PCR. Thus, ELISA presented a higher sensitivity than the other tests and was useful as a complementary method for the diagnosis of ACL.

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

Performances of HTLV serological tests in diagnosing HTLV infection in high-risk population of São Paulo, Brazil

Testing problems in diagnosing human T-lymphotropic virus (HTLV) infection, mostly HTLV-II, have been documented in HIV/AIDS patients. Since December 1998, the Immunology Department of Instituto Adolfo Lutz (IAL) offers HTLV-I/II serology to Public Health Units that attend HTLV high-risk individuals. Two thousand, three hundred and twelve serum samples: 1,393 from AIDS Reference Centers (Group I), and 919 from HTLV out-patient clinics (Group II) were sent to IAL for HTLV-I/II antibodies detection. The majority of them were screened by two enzyme immunoassays (EIAs), and confirmed by Western Blot (WB 2.4, Genelabs). Seven different EIA kits were employed during the period, and according to WB results, the best performance was obtained by EIAs that contain HTLV-I and HTLV-II viral lysates and rgp21 as antigens. Neither 1st and 2nd, nor 3rd generation EIA kits were 100% sensitive in detecting truly HTLV-I/II reactive samples. HTLV-I and HTLV-II prevalence rates of 3.3% and 2.5% were detected in Group I, and of 9.6% and 3.6% in Group II, respectively. High percentages of HTLV-seroindeterminate WB sera were detected in both Groups. The algorithm testing to be employed in HTLV high-risk population from São Paulo, Brazil, needs the use of two EIA kits of different formats and compounds as screening, and because of high seroindeterminate WB, may be another confirmatory assay.

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.

Drug Provocation Tests to Betalactam Antibiotics: Experience in a Paediatric Setting

Background: Few studies have been performed in children withs uspected betalactam allergy.We aimed to assess the role of the drug provocation test(DPT)with betalactams in a paediatric setting and to study the association between allergy to betalactam antibiotics and other allergic diseases. Methods:We included all the patients under 15 years old who were consecutively referred to the Immunoallergy Department, Dona Estefânia Hospital,Portugal(January 2002 to April 2008)for a compatible history of allergic reaction to betalactam. All were submitted to a DPT.Children were proposed to performs kintests(ST)to betalactam antibiotics followed by DPT. If they decline ST,a DPT with the culprit drug was performed. Results: We studied 161 children,60%were boys,with a median age of 5years old at the time of the DPT.Thirty-three patients(20.5%)had an immediate reaction and 33(20.5%)a non-immediate reaction. These verity of there porte dreactions was low in most cases. Skin tests to betalactams were performed in 47 children and were positive in 8.DPT was positive inonlyone(3.4%)of the patients skin tested and in 11(13.4%)of those not skin tested. These verity of the DPT reaction was low.Asthma and food allergy were associated with a positive DPT in the later group. Conclusions: DPT seems a safe procedure even in the absence of ST in non-severe cases. This could be a practical optionin infants and pre-school children,where ST are painful and difficult to perform.Additional caution should be taken in children with asthma and food allergy.

Adaptive filtering for high quality HMM based speech synthesis

In this work an adaptive filtering scheme based on a dual Discrete Kalman Filtering (DKF) is proposed for Hidden Markov Model (HMM) based speech synthesis quality enhancement. The objective is to improve signal smoothness across HMMs and their related states and to reduce artifacts due to acoustic model's limitations. Both speech and artifacts are modelled by an autoregressive structure which provides an underlying time frame dependency and improves time-frequency resolution. Themodel parameters are arranged to obtain a combined state-space model and are also used to calculate instantaneous power spectral density estimates. The quality enhancement is performed by a dual discrete Kalman filter that simultaneously gives estimates for the models and the signals. The system's performance has been evaluated using mean opinion score tests and the proposed technique has led to improved results.

Discrepancies and consequences of indirect hemagglutination, indirect immunofluorescence and Elisa tests for the diagnosis of Chagas disease

Using the indirect hemagglutination (IH), indirect immunofluorescence (IIF) and enzyme linked immunosorbent assay (ELISA) tests for the diagnosis of Chagas disease, 4000 serum samples were examined. This study was conducted with different purposes: clinical interest, research support and parasitological monitoring of those patients with Chagas disease who were treated with heart transplantations. The tests occurred without patient selection and in accordance with the medical requests. The results showed discrepancies and brought about several questions, considering the different results that all three methods showed when considered together. What was found brought about concerns and we suggest the adoption of different measures, aiming to avoid these mismatches in the context of this disease.

Cognitive assessment of topological movement Patterns and direction turns: An influence of scale

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Jogos digitais com contos infantis - Uma proposta de brinquedo-jogo para dispositivos móveis

O desenvolvimento e proliferação de equipamentos e produtos multimédia, permitindo a combinação de som, imagem e texto despoletou a emergência de novos estímulos que se associam a sensações, novas formas de interagir, de comunicar e também de brincar e aprender. Jogar e brincar são excelentes fontes de estímulos, principalmente para as crianças, pois potenciam a evolução da lógica, do raciocínio, das associações e da capacidade de escolha. No contexto dos jogos, decorrente da evolução tecnológica, o mercado dos jogos digitais tem vindo a expandir-se consideravelmente, nomeadamente na área dos jogos educativos. Os jogos educativos baseados em contos infantis permitem um enriquecimento de experiências, de capacidades sequenciais de lógica e promovem a apetência da criança para fantasiar num mundo paralelo. No entanto, do nosso ponto de vista, o mercado dos jogos digitais ainda tem um longo caminho a percorrer para fornecer de forma equilibrada este tipo de jogos educativos. Com este trabalho abordam-se as potencialidades que os jogos educativos baseados em contos infantis podem ter no desenvolvimento de algumas competências das crianças, nomeadamente através da análise das suas vantagens e dos seus aspetos negativos. O mercado dos jogos digitais é também analisado para determinar os seus contributos e as ideias principais presentes. A componente prática deste trabalho de mestrado contempla a criação de um jogo educativo baseado em contos infantis que corresponda aos interesses das crianças entre os 3 e os 5 anos de idade, e que fomente o desenvolvimento de algumas das suas competências a nível da linguagem. Os testes feitos com o protótipo do jogo permitem aferir a recetividade por parte das crianças. A simplicidade no manuseamento da aplicação e o facto de integrar histórias do imaginário infantil consideram-se fatores positivos e motivadores à utilização do jogo “Contos Baralhados: Brinca com as Histórias”.

Methacholine Dose-Response Slopes from Maximal Bronchial Challenge Tests in Asthmatic Children: Methodological Aspects

To determine whether the slope of a maximal bronchial challenge test (in which FEV1 falls by over 50%) could be extrapolated from a standard bronchial challenge test (in which FEV1 falls up to 20%), 14 asthmatic children performed a single maximal bronchial challenge test with methacholin(dose range: 0.097–30.08 umol) by the dosimeter method. Maximal dose-response curves were included according to the following criteria: (1) at least one more dose beyond a FEV1 ù 20%; and (2) a MFEV1 ù 50%. PD20 FEV1 was calculated, and the slopes of the early part of the dose-response curve (standard dose-response slopes) and of the entire curve (maximal dose-response slopes) were calculated by two methods: the two-point slope (DRR) and the least squares method (LSS) in % FEV1 × umol−1. Maximal dose-response slopes were compared with the corresponding standard dose-response slopes by a paired Student’s t test after logarithmic transformation of the data; the goodness of fit of the LSS was also determined. Maximal dose-response slopes were significantly different (p < 0.0001) from those calculated on the early part of the curve: DRR20% (91.2 ± 2.7 FEV1% z umol−1)was 2.88 times higher than DRR50% (31.6 ± 3.4 DFEV1% z umol−1), and the LSS20% (89.1 ± 2.8% FEV1 z umol−1) was 3.10 times higher than LSS 50% (28.8 ± 1.5%FEV1 z umol−1). The goodness of fit of LSS 50% was significant in all cases, whereas LSS 20% failed to be significant in one. These results suggest that maximal dose-response slopes cannot be predicted from the data of standard bronchial challenge tests.

Arquitetura REST em smartphones Android

As grandes empresas como Google, com o Android, e a Apple, com o iOS, ajudaram a tornar a área das aplicações móveis muito apelativa e obtiveram um elevado sucesso. Com o crescimento elevado nesta área foi necessário usar uma solução que integrasse sistemas e permitisse comunicação entre aplicações diferentes, este é o caso dos Web Services, desta forma as novas aplicações podem comunicar com aplicações já existentes, e permitir que sistemas criados em plataformas diferentes comuniquem. O objetivo de um Web Service é disponibilizar uma plataforma independente de hardware e também uma plataforma que não implica estar escrita em determinada linguagem de programação. Para o acesso a um Web Service pode ser usado um protocolo ou estilo de arquitetura, nesta tese de mestrado são estudados os protocolos SOAP e a arquitectura REST, que diferem na técnica de acesso, a na sintax das mensagens trocadas. Para determinar qual dos anteriores (REST e SOAP) pode ser o mais adequado a usar no acesso a um Web Service são feitas análises a ambos e comparações entre os tempos de resposta de forma a determinar qual seria o mais vantajoso a nível de performance. O projeto que serviu como base desta tese de mestrado foi o desenvolvimento de uma aplicação de marcações em serviços beleza/saúde, a qual acede a um Web Service remoto através do REST.

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.