Design and implementation of a behaviorally typed programming system for web services

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática.

Type System for the ComponentJ Programming Language

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.

Unsupervised automatic music genre classification

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Database repairs with answer set programming

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

"I was a maoist intelectual". Uma leitura crítica em torno dos conceitos "industria cultural" e "popular music" segundo adorno

Reflectir sobre noções como liberdade individual, democracia, o papel dos meios de comunicação e dos produtos culturais, é uma das principais tarefas das ciências sociais e humanas, reflexão particularmente pertinente nestes primeiros anos do séc. XXI marcados pela popularização de dispositivos tecnológicos destinados à circulação de informação em rede e pela virtualização de mecanismos de distribuição de bens de consumo cultural. Adomo constitui hoje uma das fontes mais importantes surgidas nos últimos 50 anos para esta reflexão. Marcado pelo advento do Nacional Socialismo e a perseguição de todos os "degenerados da condição ariana" (judeus, comunistas e homossexuais), Adomo produziu ao longo de quatro décadas, uma reflexão que marcou indelevelmente muitos autores que, escrevendo sobre a contemporaneidade, a adoptaram ou a ela se opuseram. A pergunta que coloco, e que serve de ponto de partida para este artigo, é proposta por Jameson: é hoje possível ler Adomo e Horkheimer junto à piscina? (1990: 248), ou posto de outra forma, que lugar ocupa a obra de Adomo como ferramenta para perspectivar o mundo actual.

Parallel programming in biomedical signal processing

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

Data-centric concurrency control on the java programming 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

Some Notes on the Reception of Josquin and of Northern Idioms in Portuguese Music and Culture

Although Josquin is by far the best-represented foreign composer in Gonçalo de Baena's Arte novamente inventada pera aprender a tanger (Lisbon, 1540), his music is undeniably under-represented both in the extant sixteenth-century Portuguese manuscripts containing Franco-Flemish polyphony and in volumes imported from the Netherlands such as Coimbra MM 2 and VienNB 1783. Josquin’s reputation made him, along with Ockeghem, a symbol in Portuguese humanistic culture, but up to at least the late 1530s his name seems to have been much better known than his music. Nevertheless, possible allusions to specific works by Josquin can be found in early- and mid-sixteenth-century Portuguese polyphony. By the 1520s, the general technical and stylistic characteristics of his and the following generation of northerners had begun to permeate locally produced polyphony. This eventually replaced the late-fifteenth- and early-sixteenth-century pan-consonant and homorythmic style associated with the Aragonese and the so-called Spanish court repertory.

Towards an algorithmic skeleton framework for programming the Intel R Xeon PhiTM processor

The Intel R Xeon PhiTM is the first processor based on Intel’s MIC (Many Integrated Cores) architecture. It is a co-processor specially tailored for data-parallel computations, whose basic architectural design is similar to the ones of GPUs (Graphics Processing Units), leveraging the use of many integrated low computational cores to perform parallel computations. The main novelty of the MIC architecture, relatively to GPUs, is its compatibility with the Intel x86 architecture. This enables the use of many of the tools commonly available for the parallel programming of x86-based architectures, which may lead to a smaller learning curve. However, programming the Xeon Phi still entails aspects intrinsic to accelerator-based computing, in general, and to the MIC architecture, in particular. In this thesis we advocate the use of algorithmic skeletons for programming the Xeon Phi. Algorithmic skeletons abstract the complexity inherent to parallel programming, hiding details such as resource management, parallel decomposition, inter-execution flow communication, thus removing these concerns from the programmer’s mind. In this context, the goal of the thesis is to lay the foundations for the development of a simple but powerful and efficient skeleton framework for the programming of the Xeon Phi processor. For this purpose we build upon Marrow, an existing framework for the orchestration of OpenCLTM computations in multi-GPU and CPU environments. We extend Marrow to execute both OpenCL and C++ parallel computations on the Xeon Phi. We evaluate the newly developed framework, several well-known benchmarks, like Saxpy and N-Body, will be used to compare, not only its performance to the existing framework when executing on the co-processor, but also to assess the performance on the Xeon Phi versus a multi-GPU environment.

Popular music exhibitions in Portugal: practices of representation from 2007 to 2013

This thesis focuses on the representation of Popular Music in museums by mapping, analyzing, and characterizing its practices in Portugal at the beginning of the 21st century. Now that museums' ability to shape public discourse is acknowledged, the examination of popular music's discourses in museums is of the utmost importance for Ethnomusicology and Popular Music Studies as well as for Museum Studies. The concept of 'heritage' is at the heart of this processes. The study was designed with the aim of moving the exhibiting of popular music in museums forward through a qualitative inquiry of case studies. Data collection involved surveying pop-rock music exhibitions as a qualitative sampling of popular music exhibitions in Portugal from 2007 to 2013. Two of these exhibitions were selected as case studies: No Tempo do Gira-Discos: Um Percurso pela Produção Fonográfica Portuguesa at the Museu da Música in Lisbon in 2007 (also Faculdade de Letras, 2009), and A Magia do Vinil, a Música que Mudou a Sociedade at the Oficina da Cultura in Almada in 2008 (and several other venues, from 2009 to 2013). Two specific domains were observed: popular music exhibitions as instances of museum practice and museum professionals. The first domain encompasses analyzing the types of objects selected for exhibition; the interactive museum practices fostered by the exhibitions; the concepts and narratives used to address popular music discursively, as well as the interpretative practices they allow. The second domain, focuses museum professionals and curators of popular music exhibitions as members of a group, namely their goals, motivations and perspectives. The theoretical frameworks adopted were drawn from the fields of ethnomusicology, popular music studies, and museum studies. The written materials of the exhibitions were subjected of methods of discourse analysis methods. Semi-structured interviews with curators and museum professional were also conducted and analysed. From the museum studies perspective, the study research suggests that the practice adopted by popular music museums largely matches that of conventional museums. From the ethnomusicological and popular music studies stand point, the two case studies reveal two distinct conceptual worlds: the first exhibition, curated by an academic and an independent researcher, points to a mental configuration where popular music is explained through a framework of genres supported by different musical practices. Moreover, it is industry actors such as decision makers and gatekeepers that govern popular music, which implies that the visitors' romantic conception of the musician is to some extent dismantled; the second exhibition, curated by a record collector and specialist, is based on a more conventional process of the everyday historical speech that encodes a mismatch between “good” and “bad music”. Data generated by a survey shows that only one curator, in fact that of my first case study, has an academic background. The backgrounds of all the others are in some way similar to the curator of the second case study. Therefore, I conclude that the second case study best conveys the current practice of exhibiting Popular Music in Portugal.

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.