Parallel texts alignment

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

Multiple sequence alignment correction using constraints

Trabalho apresentado no âmbito do European Master in Computational Logics, como requisito parcial para obtenção do grau de Mestre em Computational Logics

A constructive technology assessment of stationary energy storage systems: prospective life cycle orientated analysis

Based on the presentation and discussion at the 3rd Winter School on Technology Assessment, December 2012, Universidade Nova de Lisboa (Portugal), Caparica Campus, PhD programme on Technology Assessment

Earth mortars constructive use on Neolithic domestic structures. Some case studies in Alentejo.

HMC08 - 1st Historical Mortars Conference: Characterization, Diagnosis, Conservation, Repair and Compatibility, LNEC, Lisbon, 24-26 September 2008

Framework for the semantic alignment of enterprise’s domain knowledge

Nowadays, the consumption of goods and services on the Internet are increasing in a constant motion. Small and Medium Enterprises (SMEs) mostly from the traditional industry sectors are usually make business in weak and fragile market sectors, where customized products and services prevail. To survive and compete in the actual markets they have to readjust their business strategies by creating new manufacturing processes and establishing new business networks through new technological approaches. In order to compete with big enterprises, these partnerships aim the sharing of resources, knowledge and strategies to boost the sector’s business consolidation through the creation of dynamic manufacturing networks. To facilitate such demand, it is proposed the development of a centralized information system, which allows enterprises to select and create dynamic manufacturing networks that would have the capability to monitor all the manufacturing process, including the assembly, packaging and distribution phases. Even the networking partners that come from the same area have multi and heterogeneous representations of the same knowledge, denoting their own view of the domain. Thus, different conceptual, semantic, and consequently, diverse lexically knowledge representations may occur in the network, causing non-transparent sharing of information and interoperability inconsistencies. The creation of a framework supported by a tool that in a flexible way would enable the identification, classification and resolution of such semantic heterogeneities is required. This tool will support the network in the semantic mapping establishments, to facilitate the various enterprises information systems integration.

Prospective system analysis of stationary battery systems under the frame of Constructive Technology Assessment

Based on the report for the unit “Project IV” of the PhD programme on Technology Assessment under the supervision of Dr.-Ing. Marcel Weil and Prof. Dr. António Brandão Moniz. The report was presented and discussed at the Doctorate Conference on Technologogy Assessment in July 2013 at the University Nova Lisboa, Caparica campus.

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.

Influence of constraining and confinement in the molecular mobility of low molecular weight materials

Dissertation presented to obtain a Ph.D. Degree in Chemical Physics

Algorithms for time series clustering applied to biomedical signals

Thesis submitted in the fulfillment of the requirements for the Degree of Master in Biomedical Engineering

Liquid crystal mobility and PDLC memory effects

Dissertation presented at Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa to obtain the Degree of Master in Chemical and Biochemical Engineering

Models and tools for value systems analysis in collaborative environments

Dissertation to obtain the degree of Doctor in Electrical and Computer Engineering, specialization of Collaborative Networks

Contratualização interna vs. contratualização ext

RESUMO - Independentemente do modelo jurídico adoptado para os hospitais é necessário introduzir políticas de gestão estratégicas e adoptar instrumentos que permitam uma melhoria efectiva dos processos de gestão organizacional. A implementação de um modelo de contratualização interna que se traduza na transposição dos compromissos assumidos externamente para o interior da organização e, consequentemente, a sua desagregação pelos diferentes níveis de gestão, permite alcançar um alinhamento cada vez maior entre os objectivos contratualizados externamente e a missão das instituições de saúde. No presente estudo pretendeu-se identificar o estado de arte relativamente à contratualização interna numa amostra representativa das unidades hospitalares portuguesas, tendo-se concluído pela identificação de acções a desenvolver para servir de suporte à sua efectiva adopção.--------------------------ABSTRACT – Despite legal framework applied on hospitals, it is essential to develop and launch a set of management and strategic policies, as well as to adopt instruments that can grant an effective improvement to organizational management processes. The implementation of a «management by objectives model» that will carry external commitments the organization and therefore its splitting through the different management levels, will provide a higher alignment between the objectives externally agreed and the mission of health institutions. The goal of this study, is to identify the «management by objectives» state of the art on a representative sample of the Portuguese hospital units, as well as to identify the actions nece

Lean, agile, resilient and green supply chain management interoperability assessment methodology

Dissertação para obtenção de grau de Mestre em Engenharia e Gestão Industrial (MEGI)

Societal embedding in high-speed train technology development: dominant perspective from a case study

The present article is based on the report for the Doctoral Conference of the PhD programme in Technology Assessment, held at FCT-UNL Campus, Monte de Caparica, June 9th, 2011. The PhD thesis has the supervision of Prof. António Moniz (FCT-UNL and ITAS-KIT), and co-supervision of Prof. Manuel Seabra Pereira and Prof. Rosário Macário (both from IST-UTL).

Bridging present and future of brain-computer interfaces: an assessment of impacts

Based on the report for the “Project III” unit of the PhD programme on Technology Assessment under the supervision of Prof. António B. Moniz. This report was discussed also at the 2nd Winter School on Technology Assessment held at Universidade Nova de Lisboa, Caparica Campus, Portugal on December 2011.