An intertemporal pricing model for CO2 allowances: The impact of the clean development mechanism

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

A system’s approach to cache hierarchy-aware decomposition of data-parallel computations

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

Optimization of breast tomosynthesis image reconstruction using parallel computing

Breast cancer is the most common cancer among women, being a major public health problem. Worldwide, X-ray mammography is the current gold-standard for medical imaging of breast cancer. However, it has associated some well-known limitations. The false-negative rates, up to 66% in symptomatic women, and the false-positive rates, up to 60%, are a continued source of concern and debate. These drawbacks prompt the development of other imaging techniques for breast cancer detection, in which Digital Breast Tomosynthesis (DBT) is included. DBT is a 3D radiographic technique that reduces the obscuring effect of tissue overlap and appears to address both issues of false-negative and false-positive rates. The 3D images in DBT are only achieved through image reconstruction methods. These methods play an important role in a clinical setting since there is a need to implement a reconstruction process that is both accurate and fast. This dissertation deals with the optimization of iterative algorithms, with parallel computing through an implementation on Graphics Processing Units (GPUs) to make the 3D reconstruction faster using Compute Unified Device Architecture (CUDA). Iterative algorithms have shown to produce the highest quality DBT images, but since they are computationally intensive, their clinical use is currently rejected. These algorithms have the potential to reduce patient dose in DBT scans. A method of integrating CUDA in Interactive Data Language (IDL) is proposed in order to accelerate the DBT image reconstructions. This method has never been attempted before for DBT. In this work the system matrix calculation, the most computationally expensive part of iterative algorithms, is accelerated. A speedup of 1.6 is achieved proving the fact that GPUs can accelerate the IDL implementation.

A CMMI-compliant requirements management and development process

Requirements Engineering has been acknowledged an essential discipline for Software Quality. Poorly-defined processes for eliciting, analyzing, specifying and validating requirements can lead to unclear issues or misunderstandings on business needs and project’s scope. These typically result in customers’ non-satisfaction with either the products’ quality or the increase of the project’s budget and duration. Maturity models allow an organization to measure the quality of its processes and improve them according to an evolutionary path based on levels. The Capability Maturity Model Integration (CMMI) addresses the aforementioned Requirements Engineering issues. CMMI defines a set of best practices for process improvement that are divided into several process areas. Requirements Management and Requirements Development are the process areas concerned with Requirements Engineering maturity. Altran Portugal is a consulting company concerned with the quality of its software. In 2012, the Solution Center department has developed and applied successfully a set of processes aligned with CMMI-DEV v1.3, what granted them a Level 2 maturity certification. For 2015, they defined an organizational goal of addressing CMMI-DEV maturity level 3. This MSc dissertation is part of this organization effort. In particular, it is concerned with the required process areas that address the activities of Requirements Engineering. Our main goal is to contribute for the development of Altran’s internal engineering processes to conform to the guidelines of the Requirements Development process area. Throughout this dissertation, we started with an evaluation method based on CMMI and conducted a compliance assessment of Altran’s current processes. This allowed demonstrating their alignment with the CMMI Requirements Management process area and to highlight the improvements needed to conform to the Requirements Development process area. Based on the study of alternative solutions for the gaps found, we proposed a new Requirements Management and Development process that was later validated using three different approaches. The main contribution of this dissertation is the new process developed for Altran Portugal. However, given that studies on these topics are not abundant in the literature, we also expect to contribute with useful evidences to the existing body of knowledge with a survey on CMMI and requirements engineering trends. Most importantly, we hope that the implementation of the proposed processes’ improvements will minimize the risks of mishandled requirements, increasing Altran’s performance and taking them one step further to the desired maturity level.

A Natural Protective Mechanism Against Malaria

Malaria is an infectious disease of humans and other animals including birds, reptiles and most mammals. It is transmitted via the inoculation of Plasmodium sporozoites into the skin through the bite of an infected female Anopheles mosquito. Although every year, around 700.000 lives are perished, mainly children under the age of 3-5 years old, to Plasmodium infection this deadly parasite has a relatively low efficiency of transmission from mosquitoes into humans.(...)

O Ne bis in idem no Espaço de Liberdade, Segurança e Justiça e no Direito Europeu da Concorrência

Ne bis in idem, understood as a procedural guarantee in the EU assumes different features in the AFSJ and in european competition law. Despite having a common origin (being, in both sectors the result of the case law of the same jurisdictional organ) its components are quite distintic in each area of the integration. In the AFSJ, the content of bis and idem are broader and addressed at a larger protection of individuals. Its axiological ground is based on the freedom of movements and human dignity, whereas in european competition law its closely linked to defence rights of legal persons and the concept of criminal punishment of anticompetitive sanctions as interpreted by the ECHR´s jurisprudence. In european competition law, ne bis in idem is limited by the systemic framework of competition law and the need to ensure parallel application of both european and national laws. Nonetheless, the absence of a compulsory mechanism to allocate jurisdiction in the EU (both in the AFSJ and in the field of anti-trust law) demands a common axiological framework. In this context, ne bis in idem must be understood as a defence right based on equity and proportionality. As far as its international dimension is concerned, ne bis in idem also lacks an erga omnes effect and it is not considered to be a rule of ius cogens. Consequently, the model which the ECJ has built regarding the application of the ne bis in idem in transnational and supranational contexts should be replicated by other courts through cross fertilization, in order to internationalize that procedural guarantee and broaden its scope of application.

The Mechanism of Centriole Inactivation in Starfish Oocytes

The centrosome is the major organizing center in a cell, composed by two centrioles, one mother and one daughter, and surrounded by a pericentriolar material, which nucleates microtubules. Centriole duplication and segregation is tightly coupled to cell cycle, which guarantees that centriole number is maintained over generations. During the somatic cell cycle, a pair of centrioles duplicates, after which each daughter cell receives a pair, forming a closed cycle. However, during fertilization, if both cells were to contribute with their pair of centrioles, gamete fusion would result in the double of the normal centriole number.(...)

Parallelization of kinetic Monte Carlo algorithm to simulate AL3Sc precipitation

The present paper reports the precipitation process of Al3Sc structures in an aluminum scandium alloy, which has been simulated with a synchronous parallel kinetic Monte Carlo (spkMC) algorithm. The spkMC implementation is based on the vacancy diffusion mechanism. To filter the raw data generated by the spkMC simulations, the density-based clustering with noise (DBSCAN) method has been employed. spkMC and DBSCAN algorithms were implemented in the C language and using MPI library. The simulations were conducted in the SeARCH cluster located at the University of Minho. The Al3Sc precipitation was successfully simulated at the atomistic scale with the spkMC. DBSCAN proved to be a valuable aid to identify the precipitates by performing a cluster analysis of the simulation results. The achieved simulations results are in good agreement with those reported in the literature under sequential kinetic Monte Carlo simulations (kMC). The parallel implementation of kMC has provided a 4x speedup over the sequential version.

Assessing student individual performance within PBL teams: findings from the implementation of a new mechanism

This paper reports on the experience of the implementation of a new mechanism to assess individual student contribution within project work, where students work in teams to solve a large-scale open-ended interdisciplinary project. The study takes place at the University of Minho, with first year engineering students, enrolled in the Industrial Management and Engineering (Integrated Masters) degree. The aim of this paper is to describe the main principles and procedures underlying the assessment mechanism created and also provide some feedback from its first implementation, based on the students, lecturers and tutors perceptions. For data collection, a survey was sent to all course lecturers and tutors involved in the assessment process. Students also contributed with suggestions, both on a workshop held at the end of the project and also by answering a survey on the overall satisfaction with PBL experience. Findings show a positive level of acceptance of the new mechanism by the students and also by the lecturers and tutors. The study identified the need to clarify the criteria used by the lecturers and the exact role of the tutor, as well as the need for further improvement of its features and procedures. Some recommendations are also issued regarding technical aspects related to some of the steps of the procedures, as well as the need for greater support on the adjustment and final setting of the individual grades.

A violência sexual e de género nos campos de população refugiada: análise e enquadramento legal

Dissertação de mestrado em Direitos Humanos

Empathy and heart rate variability: a need and a mechanism of emotion regulation

Dissertação de mestrado integrado em Psicologia

Parallel improved Schnorr-Euchner enumeration SE++ for the CVP and SVP

The Closest Vector Problem (CVP) and the Shortest Vector Problem (SVP) are prime problems in lattice-based cryptanalysis, since they underpin the security of many lattice-based cryptosystems. Despite the importance of these problems, there are only a few CVP-solvers publicly available, and their scalability was never studied. This paper presents a scalable implementation of an enumeration-based CVP-solver for multi-cores, which can be easily adapted to solve the SVP. In particular, it achieves super-linear speedups in some instances on up to 8 cores and almost linear speedups on 16 cores when solving the CVP on a 50-dimensional lattice. Our results show that enumeration-based CVP-solvers can be parallelized as effectively as enumeration-based solvers for the SVP, based on a comparison with a state of the art SVP-solver. In addition, we show that we can optimize the SVP variant of our solver in such a way that it becomes 35%-60% faster than the fastest enumeration-based SVP-solver to date.

Mechanism of extracellular silver nanoparticles synthesis by Stereum hirsutum and Fusarium oxysporum

The increasing interest for greener and biological methods of synthesis has led to the development of non-toxic and comparatively more bioactive nanoparticles. Unlike physical and chemical methods of nanoparticle synthesis, microbial synthesis in general and mycosynthesis in particular is cost-effective and environment-friendly. However, different aspects, such as the rate of synthesis, monodispersity and downstream processing, need to be improved. Many fungal-based mechanisms have been proposed for the formation of silver nanoparticles (AgNPs), mainly those involving the presence of nitrate reductase, which has been detected in filtered fungus cell used for AgNPs production. There is a general acceptance that nitrate reductase is the main responsible for the reduction of Ag ions for the formation of AgNPs. However, this generally accepted mechanism for fungal AgNPs production is not totally understood. In order to elucidate the molecules participating in the mechanistic formation of metal nanoparticles, the current study is focused on the enzymes and other organic compounds involved in the biosynthesis of AgNPs. The use of each free fungal mycelium of both Stereum hirsutum and Fusarium oxysporum will be assessed. In order to identify defective mutants on the nitrate reductase structural gene niaD, fungal cultures of S.hirsutum and F.oxysporum will be selected by chlorate resistance. In addition, in order to verify if each compound identified as key-molecule influenced on the production of nanoparticles, an in vitro assay using different nitrogen sources will be developed. Lately, fungal extracellular enzymes will be measured and an in vitro assay will be done. Finally, The nanoparticle formation and its characterization will be evaluated by UV-visible spectroscopy, electron microscopy (TEM), X-ray diffraction analysis (XRD), Fourier transforms infrared spectroscopy (FTIR), and LC-MS/MS.

MMP-9/RECK imbalance: a mechanism associated with high-grade cervical lesions and genital infection by Human Papillomavirus (HPV) and Chlamydia trachomatis

"Manuscript"

Reduction of QTc interval dispersion. Potential mechanism of cardiac protection of pyridostigmine bromide

OBJECTIVE: Parasympathetic dysfunction is an independent risk factor in individuals with coronary artery disease, and cholinergic stimulation is a potential therapeutical option. We determined the effects of pyridostigmine bromide, a reversible anticholinesterase agent, on electrocardiographic variables of healthy individuals. METHODS: We carried out a cross-sectional, double blind, randomized, placebo-controlled study. We obtained electrocardiographic tracings in 12 simultaneous leads of 10 healthy young individuals at rest before and after oral administration of 45 mg of pyridostigmine or placebo. RESULTS: Pyridostigmine increased RR intervals (before: 886±27 ms vs after: 1054±37 ms) and decreased QTc dispersion (before: 72±9ms vs after: 45±3ms), without changing other electrocardiographic variables (PR segment, QT interval, QTc, and QT dispersion). CONCLUSION: Bradycardia and the reduction in QTc dispersion induced by pyridostigmine may effectively represent a protective mechanism if these results can be reproduced in individuals with cardiovascular diseases.