Modern techniques for constraint solving the CASPER experience

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

The visual image in Epiphanic Short History

The visual image is a fundamental component of epiphany, stressing its immediacy and vividness, corresponding to the enargeia of the traditional ekphrasis and also playing with cultural and social meanings. Morris Beja in his seminal book Epiphany in the Modern Novel, draws our attention to the distinction made by Joyce between the epiphany originated in a common object, in a discourse or gesture and the one arising in “a memorable phase of the mind itself”. This type materializes in the “dream-epiphany” and in the epiphany based in memory. On the other hand, Robert Langbaum in his study of the epiphanic mode, suggests that the category of “visionary epiphany” could account for the modern effect of an internally glowing vision like Blake’s “The Tyger”, which projects the vitality of a real tyger. The short story, whose length renders it a fitting genre for the use of different types of epiphany, has dealt with the impact of the visual image in this technique, to convey different effects and different aesthetic aims. This paper will present some examples of this occurrence in short stories of authors in whose work epiphany is a fundamental concept and literary technique: Walter Pater, Joseph Conrad, K. Mansfield, Clarice Lispector. Pater’s “imaginary portraits” concentrate on “priviledged moments” of the lives of the characters depicting their impressions through pictorial language; Conrad tries to show “moments of awakening” that can be remembered by the eye; Mansfield suggests that epiphany, the “glimpse”, should replace plot as an internal ordering principle of her impressionist short-stories; in C. Lispector the visualization of some situations is so aggressive that it causes nausea and a radical revelation on the protagonist’s.

Digital storytelling: an integrated approach to language for the 21st century student

Societal changes have, throughout history, pushed the long-established boundaries of education across all grade levels. Technology and media merge with education in a continuous complex social process with human consequences and effects. We, teachers, can aspire to understand and interpret this volatile context that is being redesigned at the same time society itself is being reshaped as a result of the technological evolution. The language- learning classroom is not impenetrable to these transformations. Rather, it can perhaps be seen as a playground where teachers and students gather to combine the past and the present in an integrated approach. We draw on the results from a previous study and argue that Digital Storytelling as a Process is capable of aggregating and fostering positive student development in general, as well as enhancing interpersonal relationships and self-knowledge while improving digital literacy. Additionally, we establish a link between the four basic language-learning skills and the Digital Storytelling process and demonstrate how these converge into what can be labeled as an integrated language learning approach.

Constraint-based modeling of minimum set covering: application to species differentation

Work presented in the context of the European Master in Computational Logics, as partial requisit for the graduation as Master in Computational Logics

Negative non-ground queries in well founded semantics

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Computational Logic

O lugar da Hispanoamérica no processo de ensinoaprendizagem de Espanhol como Língua Estrangeira no Ensino Secundário Português

Tendo em conta um enfoque comunicativo experiencial (Fernández- Corbacho, 2014) e uma pedagogia crítica emancipatória (Jiménez Raya, Lamb & Vieira, 2007), enriquecida por enfoques multissensoriais (Arslan, 2009), é nossa intenção, com este projeto, contribuir para a implementação de práticas que espelhem as variedades linguísticas e culturais da Hispanoamérica (Liceras, 1995; Beave, 2000) na aula de espanhol como língua estrangeira no ensino secundário português. Neste estudo, através duma perspetiva metodológica de índole qualitativa, pretendemos, como ponto de partida, analisar: a) as representações de alunos portugueses sobre o lugar da Hispanoamérica no processo de ensino-aprendizagem de espanhol como língua estrangeira (Altmann & Vences, 2004; Pérez, 2003), através de inquéritos por questionário; e, ainda, b) as abordagens das variedades linguísticas e culturais do espanhol, que surgem nos manuais utilizados no ensino secundário português. Por outro lado, através de um estudo de caso (Benson, Chik, Gao, Huang & Wang, 2009), procurámos evidenciar uma mostra de possíveis boas práticas didático-pedagógicas e materiais, com vista a um trabalho sistemático e próativo com as variedades linguísticas e culturais do espanhol, baseado numa (hiper)pedagogia crítica e encarando a língua enquanto objeto manipulável e potenciador de cidadãos verdadeiramente conscientes do mundo. Para tal, criámos materiais físicos e digitais, que foram posteriormente implementados com alunos do 11º ano de escolaridade, no nível de iniciação de espanhol, num agrupamento de escolas da região de Aveiro. Os resultados mostram que práticas e materiais desta natureza poderão favorecer aprendizagens comunicativas experienciais, quanto à criação de futuros cidadãos críticos e ativos, fomentando o desenvolvimento das suas competências comunicativa plurilingue e pluricultural e duma consciência cultural crítica (Byram, Gribkova & Starkey, 2002) dos alunos, no contexto de ensino-aprendizagem do ensino secundário.

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

Formation Control Driven by Cooperative Object Tracking

In this paper we introduce a formation control loop that maximizes the performance of the cooperative perception of a tracked target by a team of mobile robots, while maintaining the team in formation, with a dynamically adjustable geometry which is a function of the quality of the target perception by the team. In the formation control loop, the controller module is a distributed non-linear model predictive controller and the estimator module fuses local estimates of the target state, obtained by a particle filter at each robot. The two modules and their integration are described in detail, including a real-time database associated to a wireless communication protocol that facilitates the exchange of state data while reducing collisions among team members. Simulation and real robot results for indoor and outdoor teams of different robots are presented. The results highlight how our method successfully enables a team of homogeneous robots to minimize the total uncertainty of the tracked target cooperative estimate while complying with performance criteria such as keeping a pre-set distance between the teammates and the target, avoiding collisions with teammates and/or surrounding obstacles.

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.

Análise da tradução e legendagem da sátira no mockumentary

O presente trabalho foi elaborado no âmbito da dissertação do Mestrado em Tradução e Interpretação Especializadas, e tem como objectivo estudar o formato mockumentary, no qual se baseia a minha análise, e compreender as especificidades da tradução do elemento satírico de que este híbrido se pode revestir, enquanto elemento potenciador de comicidade. A Tradução Audiovisual é um fenómeno com que nos deparamos diariamente, seja a partir de uma televisão, de um ecrã de computador ou de um dispositivo móvel, em que estamos perante um conjunto de elementos semióticos diversos, para os quais concorre uma combinação essencial de quatro canais, a saber, o canal visual, acústico, verbal e não-verbal. O tradutor deve ter em consideração não só o código verbal, como também os elementos que não são estritamente linguísticos, como gestos, música, expressões faciais, etc. Dado que Uma Família Muito Moderna, sobre a qual baseei a minha análise, é uma série humorística com um forte pendor satírico, afigurou-se como primeiro objecto de estudo por descrever o mockumentary e analisar como esse humor se verifica na versão portuguesa. Deste modo, impõe-se abordar a questão da tradução do humor, neste caso de trocadilhos (wordplay), puns e casos de polissemia, bem como da tradução de referências culturais e intertextuais. Para esse efeito, procedi a uma análise contrastiva entre o texto original, em língua inglesa, e verificar a recuperação do tom satírico potenciador de humor nas legendas, na língua de chegada, em língua portuguesa. Em conjunto, estes elementos concorrem para a construção de um texto que, no caso deste mockumentary, se reveste de um forte tom satírico - mock - para a criação de humor, apresentando uma série que, apesar de indubitavelmente fictícia, revela determinados traços associados a formatos televisivos informativos - documentary - , transmitindo ao espectador uma ilusão de realidade e de factualidade.

Parallel run-time for CO-OPN

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