Ontology-based representation and generation of workflows for micro-task human-machine computation

Doctoral Program in Computer Science

A case study on the conversion of an internal combustion engine vehicle into an electric vehicle

This paper presents the conversion process of a traditional Internal Combustion Engine vehicle into an Electric Vehicle. The main constitutive elements of the Electric Vehicle are presented. The developed powertrain uses a three-phase inverter with Field Oriented Control and space vector modulation. The developed on-board batteries charging system can operate in Grid-to-Vehicle and Vehicle-to-Grid modes. The implemented prototypes were tested, and experimental results are presented. The assembly of these prototypes in the vehicle was made in accordance with the Portuguese legislation about vehicles conversion, and the main adopted solutions are presented.

Companies' OHS internal structures: Types and theoretical foundations

An organization manages to regulate, standardize and optimize its operations in a way that places health and safety first by considering Health, Safety, Environment and Ergonomics (HSEE). In order to provide a theoretical foundation for Companies’ Occupational Health and Safety Internal Structures (COHSIS) allowing the focus on safety, COHSIS and its fundamentals were reviewed and described based on a brief literature review, which have included both papers published in journals, as well as works made available by selected organizations with mature safety culture. Three COHSIS were defined for description of its fundamentals, enabling improve the usability of its terminologies and provide the mentioned theoretical foundation.

Development of high specific strength components, with internal cellular structure, for several applications

Dissertação de mestrado em Engenharia Mecânica

3D representation of the urban evolution of Braga using the cityengine tool

The morphological evolution of the city of Braga has been the subject of several studies focusing on different urban areas in different periods. Using the accumulated knowledge provided by the available archaeological, historical and iconographic data of Braga, from the Roman times to the nineteenth century, we intend to present a working methodology for 3D representation of urban areas and its evolution, using the CityEngine ESRI tool. Different types of graphic and cartographic data will be integrated in an archaeological information system for the characterization of urban buildings. Linking this information system to the rules of characterization of urban spaces through the CityEngine tool, we can create the 3D urban spaces and their changes. The building characterization rules include several parameters of architectural elements that can be dynamically changed according the latest information. This methodology will be applied to the best known areas within of the city allowing the creation of different and dynamic layouts. Considerations about the concepts, challenges and constraints of using the CityEngine tool for recording and representing urban evolution knowledge will be discussed.

External and internal dynamics in the EU's counter-terrorism policy: a political and legal analysis

Tese de Doutoramento em Ciência Política e Relações Internacionais

Development of procedures for the design, optimization and manufacturing of customized orthopaedic and trauma implants: Geometrical/anatomical modelling from 3D medical imaging

Tese de Doutoramento (Programa Doutoral em Engenharia Biomédica)

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

Foreign acquisition and internal organization

NIPE WP 05/2016

Ontological representation of tumor-node-metastasis classification and an ontology-driven classifier: a study on colorectal cancer

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)