Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

A domótica ao serviço da sociedade

Com a elevada evolução dos sistemas electrónicos e computacionais, associados a tecnologias de comunicação cada vez mais evoluídas, alcançou-se um novo domínio de aplicação tecnológica que tem por objectivo satisfazer as cada vez maiores necessidades de utilização racional da energia e proporcionar uma maior sensação de conforto aos utilizadores das instalações. Esta integração da electrónica com as tecnologias de comunicação de dados está na base de um conceito que começou a emergir no início dos anos 80 do século passado. Esta conjugação das tecnologias aplicada a ambientes residenciais, permite a realização de uma vasta gama de aplicações de gestão local ou remota, a nível de segurança, conforto, gestão de energia, etc. Assim apareceu o conceito de DOMÓTICA.

Outsourcing das actividades de marketing digital nas PME

Dissertação de Mestrado Apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Marketing Digital, sob orientação de Professor Doutor Freitas Santos

A compositional scheduling framework for digital avionics systems

ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.

Para lá dos jornalistas: influencer relations, uma nova era de Media Relations

Dissertação apresentada à 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.

O perfil do profissional de Relações Públicas na era da comunicação digital

Dissertação apresentada à 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.

A interação entre Música e Dança na aula de Técnica de Dança Clássica : estratégias para o desenvolvimento da sensibilidade musical com alunas do 5º ano da Escola Vocacional de Dança da Sociedade Filarmónica Gualdim Pais

Relatório Final de Estágio apresentado à Escola Superior de Dança, com vista à obtenção do grau de Mestre em Ensino de Dança.

Failure on clinical image quality criteria in digital mammography: how can radiographers do better?

Purpose: To assess image quality using PGMI (perfect, good, moderate, inadequate) scale in digital mammography examinations acquired in DR systems. Identify the main failures and propose corrective actions. Evaluate the most typical breast density. Methods and Materials: Clinical image quality criteria were evaluated considering mammograms acquired in 13 DR systems and classified according to PGMI scale using the criteria described in European Commission guidelines for radiographers. The breast density was assessed according to ACR recommendations. The data were collected on the acquisition system monitor to reproduce the daily practice of the radiographer. Results: The image quality criteria were evaluated in 3044 images. The criteria were fully achieved in 41% of the images that were classified as P (perfect), 31 % of the images were classified as M (moderate), 20% G (good) and 9% I (inadequate). The main cause of inadequate image quality was absence of all breast tissue in the image, skin folders in the pectoral muscle and in the infra-mammary angle. The higher number of failures occurred in MLO projections (809 out of 1022). The most represented (36%) breast type was type 2 (25-50% glandular tissue). Conclusion: Incorrect radiographic technique was frequently detected suggesting potential training needs and poor communication between the team members (radiographer and radiologists). Further correlations are necessary to identify the main causes for the failures, namely specific education and training in digital mammography and workload.

Sistema de transmissão rádio UWB para amplificação digital de áudio com modulação sigma-delta

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Digital serious games and simulation games - comparison of two approaches to lean training

In an increasingly competitive and globalized world, companies need effective training methodologies and tools for their employees. However, selecting the most suitable ones is not an easy task. It depends on the requirements of the target group (namely time restrictions), on the specificities of the contents, etc. This is typically the case for training in Lean, the waste elimination manufacturing philosophy. This paper presents and compares two different approaches to lean training methodologies and tools: a simulation game based on a single realistic manufacturing platform, involving production and assembly operations that allows learning by playing; and a digital game that helps understand lean tools. This paper shows that both tools have advantages in terms of trainee motivation and knowledge acquisition. Furthermore, they can be used in a complementary way, reinforcing the acquired knowledge.

Culturtainment - a new interactive entertainment genre: assessment of Cultural Heritage digital content in leisure software games

European Master in Multimedia and Audiovisual Administration

Estudo comparativo da estereopsia: testando a aplicação digital Stereo TAB em estudantes do ensino superior

A estereopsia é o 3º grau da visão binocular. Define-se pela perceção de profundidade e baseia-se na disparidade retiniana. Estereopsia global – estereograma de pontos aleatórios (perceção necessita de disparidade retiniana). Estereopsia local – estereogramas com contornos percebidos monocularmente (processo de fusão facilitado). Objectivos do estudo: 1) comparar valores de estereopsia obtidos em cada teste e analisar valores de estereopsia local e global; 2) estudar a correlação de valores de estereopsia nos testes (TNO goldstandard); 3) estudar a associação entre o resultado dos testes; 4) comparar exatidão entre FlyTeste StereoTAB; 5) estudar a sensibilidade e a especificidade do FlyTeste StereoTAB; 6) averiguar a aplicabilidade do SteroTABna prática clínica.

ECO@GRO Digital: Uma ferramenta WebGIS de apoio na consultadoria e gestão agro-florestal

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

INbreast: Toward a Full-field Digital Mammographic Database

Rationale and Objectives Computer-aided detection and diagnosis (CAD) systems have been developed in the past two decades to assist radiologists in the detection and diagnosis of lesions seen on breast imaging exams, thus providing a second opinion. Mammographic databases play an important role in the development of algorithms aiming at the detection and diagnosis of mammary lesions. However, available databases often do not take into consideration all the requirements needed for research and study purposes. This article aims to present and detail a new mammographic database. Materials and Methods Images were acquired at a breast center located in a university hospital (Centro Hospitalar de S. João [CHSJ], Breast Centre, Porto) with the permission of the Portuguese National Committee of Data Protection and Hospital's Ethics Committee. MammoNovation Siemens full-field digital mammography, with a solid-state detector of amorphous selenium was used. Results The new database—INbreast—has a total of 115 cases (410 images) from which 90 cases are from women with both breasts affected (four images per case) and 25 cases are from mastectomy patients (two images per case). Several types of lesions (masses, calcifications, asymmetries, and distortions) were included. Accurate contours made by specialists are also provided in XML format. Conclusion The strengths of the actually presented database—INbreast—relies on the fact that it was built with full-field digital mammograms (in opposition to digitized mammograms), it presents a wide variability of cases, and is made publicly available together with precise annotations. We believe that this database can be a reference for future works centered or related to breast cancer imaging.

Digital disease detection and participatory surveillance: overview and perspectives for Brazil

ABSTRACT This study aimed to describe the digital disease detection and participatory surveillance in different countries. The systems or platforms consolidated in the scientific field were analyzed by describing the strategy, type of data source, main objectives, and manner of interaction with users. Eleven systems or platforms, developed from 1996 to 2016, were analyzed. There was a higher frequency of data mining on the web and active crowdsourcing as well as a trend in the use of mobile applications. It is important to provoke debate in the academia and health services for the evolution of methods and insights into participatory surveillance in the digital age.