Repertório para saxofone, criado e estreado no âmbito da Escola Superior de Música

Este relatório de Projeto Artístico pretende documentar o contributo das classes de Saxofone e Composição da Escola Superior de Música de Lisboa (ESML) no desenvolvimento do repertório contemporâneo para Saxofone. Como resultado da investigação realizada, foi possível compilar uma lista de obras escritas ao longo dos 16 anos de existência da Classe de Saxofone da ESML, para as mais variadas formações. Será também apresentada uma breve análise, feita pelos compositores, das obras a apresentar em Recital, assim como vários meios de resolução que utilizei para as dificuldades encontradas na sua preparação. De forma a ajudar na divulgação desta produção, este trabalho é complementado com uma base de dados relativa a todas as obras escritas para Saxofone na ESML, que pode ser consultada em Base de Dados online.

ErasmusApp: A Location-Based Collaborative System for Erasmus Students

This paper reports on the design and development of an Android-based context-aware system to support Erasmus students during their mobility in Porto. It enables: (i) guest users to create, rate and store personal points of interest (POI) in a private, local on board database; and (ii) authenticated users to upload and share POI as well as get and rate recommended POI from the shared central database. The system is a distributed client / server application. The server interacts with a central database that maintains the user profiles and the shared POI organized by category and rating. The Android GUI application works both as a standalone application and as a client module. In standalone mode, guest users have access to generic info, a map-based interface and a local database to store and retrieve personal POI. Upon successful authentication, users can, additionally, share POI as well as get and rate recommendations sorted by category, rating and distance-to-user.

Auditoria de resultados no Ministério da Defesa Nacional, ramo Exército

Trabalho de Projeto apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria, sob orientação do Dr. Rodrigo Carvalho e co-orientação do Major de Artilharia António Rabaço

Reason Maintenance Systems: Tools for Foundations-based Belief Revision

Dynamic and distributed environments are hard to model since they suffer from unexpected changes, incomplete knowledge, and conflicting perspectives and, thus, call for appropriate knowledge representation and reasoning (KRR) systems. Such KRR systems must handle sets of dynamic beliefs, be sensitive to communicated and perceived changes in the environment and, consequently, may have to drop current beliefs in face of new findings or disregard any new data that conflicts with stronger convictions held by the system. Not only do they need to represent and reason with beliefs, but also they must perform belief revision to maintain the overall consistency of the knowledge base. One way of developing such systems is to use reason maintenance systems (RMS). In this paper we provide an overview of the most representative types of RMS, which are also known as truth maintenance systems (TMS), which are computational instances of the foundations-based theory of belief revision. An RMS module works together with a problem solver. The latter feeds the RMS with assumptions (core beliefs) and conclusions (derived beliefs), which are accompanied by their respective foundations. The role of the RMS module is to store the beliefs, associate with each belief (core or derived belief) the corresponding set of supporting foundations and maintain the consistency of the overall reasoning by keeping, for each represented belief, the current supporting justifications. Two major approaches are used to reason maintenance: single-and multiple-context reasoning systems. Although in the single-context systems, each belief is associated to the beliefs that directly generated it—the justification-based TMS (JTMS) or the logic-based TMS (LTMS), in the multiple context counterparts, each belief is associated with the minimal set of assumptions from which it can be inferred—the assumption-based TMS (ATMS) or the multiple belief reasoner (MBR).

O sistema de controlo interno nas autarquias locais: o caso do Município de Espinho

Dissertação de Mestrado Apresentada ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria Orientador: Doutor Carlos Mota Coorientadora: Doutora Ana Paula Lopes

LADAR based mapping and obstacle detection system for service robots

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 Electrotécnica e de Computadores

Projecto de parceria entre a ONGD Estímulo e a Rede de Farmácias Portuguesas: a união de esforços entre sectores para a resolução de problemas contemporâneos

Trabalho de projeto apresentado à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Gestão Estratégica das Relações Públicas.

Produção cultural: do privado ao público: dois mundos, duas realidades

Relatório de Estágio submetido à Escola Superior de Teatro e Cinema para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teatro - especialização em Produção.

The Context Influence in Volunteers Motivations

Volunteers working in different areas or different NPO (Non-profit Organisations) are significantly different according to several variables, namely in terms of motivation, satisfaction and permanence. Thus, the main goal of this research is to understand volunteers’ motivations and the influence of the context on it. Additionally, demographic variables might have an important impact on volunteers’ activities, be an important predictor of volunteering and, at the same time, influence their time commitment. In this paper we present data from twelve different NPO - 10 hospitals and 2 food banks. The model of data collection was a survey conducted by self-administered questionnaire. The results showed significant differences between the volunteers’ belonging to the two organisations and their motivations, confirming that volunteer’ motivations differ according the type/nature of organisation; this is particularly important because the field in which one works is influenced by a self-evident affinity with shared ideologies, religious convictions, and collective identities. These results present important outcomes that should be reflected in the way organisations act. Keywords: Volunteering; Occasional and permanent volunteers; Motivations; Non-profit organisations.

Electrical ageing studies of polymeric insulation for power cables (estudo do envelhecimento eléctrico do isolante polimérico de cabos eléctricos

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Física - Física Aplicada pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

O sonho: teatro-música experimental

Trabalho de Projeto submetido à Escola Superior de Teatro e Cinema para cumprimento dos requisitos necessários à obtenção do grau de Mestre em TEATRO - especialização em Artes Performativas (Teatro-Música).

Relatório de estágio em marketing corporativo na empresa Insite IT GmbH

Relatório de estágio apresentado à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Publicidade e Marketing.

Definição de uma estratégia de comunicação online para a agência excentricGrey

Relatório de estágio apresentado à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Publicidade e Marketing.

Plano de Negócio para a aplicação mobile Nutri Consult

Trabalho de projeto apresentado à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Publicidade e Marketing.

Task assignment algorithms for two-type heterogeneous multiprocessors

Consider the problem of assigning implicit-deadline sporadic tasks on a heterogeneous multiprocessor platform comprising two different types of processors—such a platform is referred to as two-type platform. We present two low degree polynomial time-complexity algorithms, SA and SA-P, each providing the following guarantee. For a given two-type platform and a task set, if there exists a task assignment such that tasks can be scheduled to meet deadlines by allowing them to migrate only between processors of the same type (intra-migrative), then (i) using SA, it is guaranteed to find such an assignment where the same restriction on task migration applies but given a platform in which processors are 1+α/2 times faster and (ii) SA-P succeeds in finding a task assignment where tasks are not allowed to migrate between processors (non-migrative) but given a platform in which processors are 1+α times faster. The parameter 0<α≤1 is a property of the task set; it is the maximum of all the task utilizations that are no greater than 1. We evaluate average-case performance of both the algorithms by generating task sets randomly and measuring how much faster processors the algorithms need (which is upper bounded by 1+α/2 for SA and 1+α for SA-P) in order to output a feasible task assignment (intra-migrative for SA and non-migrative for SA-P). In our evaluations, for the vast majority of task sets, these algorithms require significantly smaller processor speedup than indicated by their theoretical bounds. Finally, we consider a special case where no task utilization in the given task set can exceed one and for this case, we (re-)prove the performance guarantees of SA and SA-P. We show, for both of the algorithms, that changing the adversary from intra-migrative to a more powerful one, namely fully-migrative, in which tasks can migrate between processors of any type, does not deteriorate the performance guarantees. For this special case, we compare the average-case performance of SA-P and a state-of-the-art algorithm by generating task sets randomly. In our evaluations, SA-P outperforms the state-of-the-art by requiring much smaller processor speedup and by running orders of magnitude faster.