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

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.

Self-assessment of writing skills: a reliable and valid tool in an efl classroom

Trabalho de projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino da Língua Inglesa

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 rule-based grapheme-to-phone converter for TTS systems in european portuguese

In this paper, a linguistically rule-based grapheme-to-phone (G2P) transcription algorithm is described for European Portuguese. A complete set of phonological and phonetic transcription rules regarding the European Portuguese standard variety is presented. This algorithm was implemented and tested by using online newspaper articles. The obtained experimental results gave rise to 98.80% of accuracy rate. Future developments in order to increase this value are foreseen. Our purpose with this work is to develop a module/ tool that can improve synthetic speech naturalness in European Portuguese. Other applications of this system can be expected like language teaching/learning. These results, together with our perspectives of future improvements, have proved the dramatic importance of linguistic knowledge on the development of Text-to-Speech systems (TTS).

Analysis of Synaptic Proteins in the Cerebrospinal Fluid as a New Tool in the Study of Inborn Errors of Neurotransmission

Abstract In a few rare diseases, specialised studies in cerebrospinal fluid (CSF) are required to identify the underlying metabolic disorder. We aimed to explore the possibility of detecting key synaptic proteins in the CSF, in particular dopaminergic and gabaergic, as new procedures that could be useful for both pathophysiological and diagnostic purposes in investigation of inherited disorders of neurotransmission. Dopamine receptor type 2 (D2R), dopamine transporter (DAT) and vesicular monoamine transporter type 2 (VMAT2) were analysed in CSF samplesfrom 30 healthy controls (11 days to 17 years) by western blot analysis. Because VMAT2 was the only protein with intracellular localisation, and in order to compare results, GABA vesicular transporter, which is another intracellular protein, was also studied. Spearman’s correlation and Student’s t tests were applied to compare optical density signals between different proteins. All these synaptic proteins could be easily detected and quantified in the CSF. DAT, D2R and GABA VT expression decrease with age, particularly in the first months of life, reflecting the expected intense synaptic activity and neuronal circuitry formation. A statistically significant relationship was found between D2R and DAT expression, reinforcing the previous evidence of DAT regulation by D2R. To our knowledge, there are no previous studies on human CSF reporting a reliable analysis of these proteins. These kinds of studies could help elucidate new causes of disturbed dopaminergic and gabaergic transmission as well as understanding different responses to L-dopa in inherited disorders affecting dopamine metabolism. Moreover, this approach to synaptic activity in vivo can be extended to different groups of proteins and diseases.

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.

The role of literature: english textbooks and literature in secondary teaching in Portugal

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

User friendly knowledge acquisition system for medical devices actuation

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Framework development for providing accessibility to qualitative spatial calculi

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

A Eficácia da Plataforma Talky - a Destrava Línguas em Crianças com Perturbações da Linguagem

Neste trabalho, começamos por focar a nossa atenção nas perturbações da linguagem. Assim, fazemos uma abordagem à literatura existente sobre estas perturbações, analisando os conceitos de comunicação, linguagem e fala. Com base neste enquadramento teórico, consideramos importante conhecer que impacto poderá ter a utilização de software educativo nos alunos com perturbações da linguagem, assim como determinar que fatores favorecem e condicionam essa utilização. A proposta para o uso de software educativo, numa perspetiva de aprendizagem, desenvolve-se a partir da utilização das Tecnologias da Comunicação e Informação (TIC) ao nível do ensino e em particular da Educação Especial (EE), considerando questões como: adequação dos conteúdos à realidade do educando, aplicação de novas metodologias que incentivem a participação ativa do aluno no processo de aprendizagem e redefinição dos objetivos a fim de ampliar o desenvolvimento do indivíduo para a sua inserção na sociedade moderna. É assim nossa intenção perceber se o uso das TIC, nomeadamente de softwares educativos, poderá apresentar resultados significativos no processo de construção de conhecimento, proporcionando condições para o desenvolvimento cognitivo, visando a motivação, a autonomia e a especificidade de cada aluno. Para tal, criamos uma plataforma interativa passível de ser utilizada por professores, profissionais e até mesmo pais de crianças com estas perturbações. Assim, este projeto parte de um estudo de natureza qualitativa, investigando, através do estudo de caso, se a utilização do software educativo “Talky – A Destrava Língua” será um instrumento capaz de minimizar ou até mesmo colmatar as dificuldades inerentes às crianças portadoras destas perturbações.