Deeper insights into SRB-driven biocorrosion mechanisms

Dissertação para obtenção do Grau de Doutor em Química Sustentável

Data-centric concurrency control on the java programming language

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

Lightweight monitoring of transactional memory programs

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

Development of suberin films driven by an ionic liquid-based depolymerisation process

Dissertation presented to obtain the Ph.D degree in Chemistry

Quality of process modeling using BPMN: a model-driven approach

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

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.

Information provision improvement with a geofencing event-bases system

Nowadays there is a big percentage of the population, specially young users, which are smartphone users and there is a lot of information to be provided within the applications, information provision should be done carefully and should be accurate, otherwise an overload of information will be produced, and the user will discard the app which is providing the information. Mobile devices are becoming smarter and provide many ways to filter information. However, there are alternatives to improve information provision from the side of the application. Some examples are, taking into account the local time, considering the battery level before doing an action and checking the user location to send personalized information attached to that location. SmartCampus and SmartCities are becoming a reality and they have more and more data integrated every day. With all this amount of data it is crucial to decide when and where is the user going to receive a notification with new information. Geofencing is a technique which allows applications to deliver information in a more useful way, in the right time and in the right place. It consists of geofences, physical regions delimited by boundaries, and devices that are eligible to receive the information assigned to the geofence. When devices cross one of these geofences an alert is pushed to the mobile device with the information.

(Non) - Demand driven servitization: strategic implications for suppliers from incorporating their customers up front

Double Degree. A Work Project, presented as part of the requirements for the Award of a Master’s Degree in Management from NOVA – School of Business and Economics and a Masters Degree in International Business, Strategy and Innovation from Maastricht University

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.

Electron driven reactions in sulphur containing biological prototypes

The interaction of ionising radiation with living tissues may direct or indirectly generate several secondary species with relevant genotoxic potential. Due to recent findings that electrons with energies below the ionisation threshold can effectively damage DNA, radiation-induced damage to biological systems has increasingly come under scrutiny. The exact physico-chemical processes that occur in the first stages of electron induced damage remain to be explained. However, it is also known that free electrons have a short lifetime in the physiological medium. Hence, electron transfer processes studies represent an alternative approach through which the role of "bound" electrons as a source of damage to biological tissues can be further explored. The thesis work consists of studying dissociative electron attachment (DEA) and electron transfer to taurine and thiaproline. DEA measurements were executed in Siedlce University with Prof. Janina Kopyra under COST action MP1002 (Nanoscale insights in ion beam cancer therapy). The electron transfer experiments were conducted in a crossed atom(potassium)-molecule beam arrangement. In these studies the anionic fragmentation patterns were obtained. The results of both mechanisms are shown to be significantly different, unveiling that the damaging potential of secondary electrons can be underestimated. In addition, sulphur atoms appear to strongly influence the dissociation process, demonstrating that certain reactions can be controlled by substitution of sulphur at specific molecular sites.

Fostering e-participation sustainability through a BPM-driven semantic model

According to a recent Eurobarometer survey (2014), 68% of Europeans tend not to trust national governments. As the increasing alienation of citizens from politics endangers democracy and welfare, governments, practitioners and researchers look for innovative means to engage citizens in policy matters. One of the measures intended to overcome the so-called democratic deficit is the promotion of civic participation. Digital media proliferation offers a set of novel characteristics related to interactivity, ubiquitous connectivity, social networking and inclusiveness that enable new forms of societal-wide collaboration with a potential impact on leveraging participative democracy. Following this trend, e-Participation is an emerging research area that consists in the use of Information and Communication Technologies to mediate and transform the relations among citizens and governments towards increasing citizens’ participation in public decision-making. However, despite the widespread efforts to implement e-Participation through research programs, new technologies and projects, exhaustive studies on the achieved outcomes reveal that it has not yet been successfully incorporated in institutional politics. Given the problems underlying e-Participation implementation, the present research suggested that, rather than project-oriented efforts, the cornerstone for successfully implementing e-Participation in public institutions as a sustainable added-value activity is a systematic organisational planning, embodying the principles of open-governance and open-engagement. It further suggested that BPM, as a management discipline, can act as a catalyst to enable the desired transformations towards value creation throughout the policy-making cycle, including political, organisational and, ultimately, citizen value. Following these findings, the primary objective of this research was to provide an instrumental model to foster e-Participation sustainability across Government and Public Administration towards a participatory, inclusive, collaborative and deliberative democracy. The developed artefact, consisting in an e-Participation Organisational Semantic Model (ePOSM) underpinned by a BPM-steered approach, introduces this vision. This approach to e-Participation was modelled through a semi-formal lightweight ontology stack structured in four sub-ontologies, namely e-Participation Strategy, Organisational Units, Functions and Roles. The ePOSM facilitates e-Participation sustainability by: (1) Promoting a common and cross-functional understanding of the concepts underlying e-Participation implementation and of their articulation that bridges the gap between technical and non-technical users; (2) Providing an organisational model which allows a centralised and consistent roll-out of strategy-driven e-Participation initiatives, supported by operational units dedicated to the execution of transformation projects and participatory processes; (3) Providing a standardised organisational structure, goals, functions and roles related to e-Participation processes that enhances process-level interoperability among government agencies; (4) Providing a representation usable in software development for business processes’ automation, which allows advanced querying using a reasoner or inference engine to retrieve concrete and specific information about the e-Participation processes in place. An evaluation of the achieved outcomes, as well a comparative analysis with existent models, suggested that this innovative approach tackling the organisational planning dimension can constitute a stepping stone to harness e-Participation value.

The economic impact of the event Volta a Portugal em Bicicleta 2015

This thesis is a Field Lab project requested by the organizer of the Volta a Portugal em Bicicleta 2015, Podium Events. Its purpose is to determine the economic impact of the event for the 21 host economies and Portugal as a whole. The Volta started in Viseu and ended in Lisboa, and lasted for two weeks from the 29th July until the 8th August. Results were computed by accessing data provided by the different economic agents involved in the event (spectators, attendees and organizer), through face-to-face surveys and contact via e-mail. The Volta generated a total economic impact of €76.261.876. Keywords: Cycling,

Has the time for renewables finally arrived? – An event study on EPA’s Clean Power Plan

The recent proposals presented by EPA aimed to reduce the dependency of fossil fuels and to lower current emissions levels, hoping to gradually shift electric generation units to renewable energy sources. Actually, the Final Rule Proposal announcement day exhibited a negative Abnormal Return on Fossil Fuels but the following days had positive Abnormal Returns, mostly due to legislative change perceived by financial markets which eased up implementation periods of the proposed measures in the Final Rule when compared to the Draft Rule. Oppositely, Renewables and Solar Portfolios exhibited negative Cumulative Abnormal Returns over the period surrounding the Final Rule.

Quadratic programming versus second order con programming in portfolio optimization

Despite the extensive literature in finding new models to replace the Markowitz model or trying to increase the accuracy of its input estimations, there is less studies about the impact on the results of using different optimization algorithms. This paper aims to add some research to this field by comparing the performance of two optimization algorithms in drawing the Markowitz Efficient Frontier and in real world investment strategies. Second order cone programming is a faster algorithm, appears to be more efficient, but is impossible to assert which algorithm is better. Quadratic Programming often shows superior performance in real investment strategies.

The economic impact of the event Volta a Portugal em Bicicleta 2015

This thesis is a Field Lab project requested by the organizer of the Volta a Portugal em Bicicleta 2015, Podium Events. Its purpose is to determine the economic impact of the event for the 21 host economies and Portugal as a whole. The Volta started in Viseu and ended in Lisboa, and lasted for two weeks from the 29th July until the 8th August. Results were computed by accessing data provided by the different economic agents involved in the event (spectators, attendees and organizer), through face-to-face surveys and contact via e-mail. The Volta generated a total economic impact of €76.261.876.