A abolição da dupla incriminação no mandado de detenção europeu

This essay presents the European Arrest Warrant and its relationship with the principle of double criminality, which was abolished in 2002 with the new Framework Decision (FD). This instrument was essential to implement the principle of mutual recognition and strengthen the police and judicial cooperation in criminal matters in the newly created space of freedom, security and justice. It was urgent to create mechanisms to combat cross-border crime, that alone States have struggled to counter. An analysis of the FD No 2002/584/JHA is made. The execution of warrants and the non-mandatory and optional grounds of refusal are studied in detail. As it is the implementation issue. The role of mutual recognition in practice is studied as well. The procedure is to introduce the principle of double criminality, to explain the concept and its abolition, warning for the consequences derived from them, related to the principle of legality and fundamental rights. The analysis of the European Arrest Warrant in practice in Portugal and in comparison with other Member States allows the measurement of the consequences from the abolition of dual criminality and the position of States on this measure. With the abolition of double criminality, the cooperation in judicial and criminal matters departs from what was intended by the European Council of Tampere. And without cooperation, fundamental rights of citizens are unprotected, so the states have to adopt measures to remedy the "failures" of the European Law.

Strengthening to seismic action of reinforced columns with rectangular cross-section

The first part of this research work regards the assessment of the mathematical modelling of reinforced concrete columns confined with carbon fibre (CFRP) sheets under axial loading. The purpose was to evaluate existing analytical models, contribute to possible improvements and choose the best model(s) to be part of a new model for the prediction of the behaviour of confined columns under bending and compression. For circular columns, a wide group of authors have proposed several models specific for FRP-confined concrete. The analysis of some of the existing models was carried out by comparing these with several tested columns. Although several models predict fairly the peak load only few can properly estimate the load-strain and dilation behaviour of the columns. Square columns confined with CFRP show a more complex interpretation of their behaviour. Accordingly, the analysis of two experimental programs was carried out to propose new modelling equations for the whole behaviour of columns. The modelling results show that the analytical curves are in general agreement with the presented experimental curves for a wide range of dimensions. An analysis similar to the one done for circular columns was this turn carried out for square columns. Few models can fairly estimate the whole behaviour of the columns and with less accuracy at all levels when compared with circular columns. The second part of this study includes seven experimental tests carried out on reinforced concrete rectangular columns with rounded corners, different damage condition and with confinement and longitudinal strengthening systems. It was concluded that the use of CFRP confinement is viable and of effective performance enhancement alone and combined with other techniques, maintaining a good ductile behaviour for established threshold displacements. As regards the use of external longitudinal strengthening combined with CFRP confinement, this system is effective for the performance enhancement and viable in terms of execution. The load capacity was increased significantly, preserving also in this case a good ductile behaviour for threshold displacements. As to the numerical nonlinear modelling of the tested columns, the results show a variation of the peak load of 1% to 10% compared with tests results. The good results are partly due to the inclusion of the concrete constitutive model by Mander et al. modified by Faustino, Chastre & Paula taking into account the confinement effect. Despite the reasonable approximation to tests results, the modelling results showed higher unloading, which leads to an overestimate dissipated energy and residualdisplacement.

Deltamethrin pyrethroid susceptibility characterization of Triatoma sordida Stål, 1859 (Hemiptera: Reduviidae) populations in the Northern Region of Minas Gerais, Brazil

Introduction Triatoma sordida is the most captured Triatomine species in the Brazilian artificial environment. In 2008, the discovery of three Triatomine populations with altered susceptibilities to deltamethrin highlighted the importance of investigating the genetic potential for resistance in triatomines. The purpose of this study was to characterize the susceptibility to deltamethrin of peridomestic T. sordida populations in Minas Gerais, Brazil. Methods A susceptibility reference lineage derived from Uberaba, Minas Gerais, Brazil was used. Serial dilutions of deltamethrin were prepared and applied to the dorsal abdomen of first instar nymphs. The control group received only pure acetone. Mortality was evaluated after 72h. Qualitative tests assessed mortality in response to a diagnostic dose of 1xLD99 of the susceptibility reference lineage. Results Susceptibility profile characterization of T. sordida populations revealed resistance ratios (RR50s) ranging from 0.42 to 3.94. The percentage mortality in response to the diagnostic dose varied from 70% to 100%. A comparison of the results obtained in the quantitative and qualitative assays demonstrated a lack of correspondence for some populations. Conclusions We demonstrated that only T. sordida populations that present a RR50>1.0 have altered susceptibility, and the execution of simultaneous field and laboratory tests is required to understand the actual effect of vector control. A possible cause of the observed resistance ratios might be the continuous use of pyrethroids in Brazil since the 1980s.

The efficacy of the old way/new way methodology on the correction of an automated technical error and its impact on the athlete’s psychological skills : Case study in tennis

The aim of this study was to evaluated the efficacy of the Old Way/New Way methodology (Lyndon, 1989/2000) with regard to the permanent correction of a consolidated and automated technical error experienced by a tennis athlete (who is 18 years old and has been engaged in practice mode for about 6 years) in the execution of serves. Additionally, the study assessed the impact of intervention on the athlete’s psychological skills. An individualized intervention was designed using strategies that aimed to produce a) a detailed analysis of the error using video images; b) an increased kinaesthetic awareness; c) a reactivation of memory error; d) the discrimination and generalization of the correct motor action. The athlete’s psychological skills were measured with a Portuguese version of the Psychological Skills Inventory for Sports (Cruz & Viana, 1993). After the intervention, the technical error was corrected with great efficacy and an increase in the athlete’s psychological skills was verified. This study demonstrates the methodology’s efficacy, which is consistent with the effects of this type of intervention in different contexts.

Technical optimization of the synthesis of flavours

The goal of this thesis is the investigation and optimization of the synthesis of potential fragrances. This work is projected as collaboration between the University of Applied Sciences in Merseburg and the company Miltitz Aromatics GmbH in Bitterfeld‐Wolfen (Germany). Flavoured compounds can be synthesized in different ways and by various methods. In this work, methods like the phase transfer catalysis and the Cope‐rearrangement were investigated and applied, for getting a high yield and quantity of the desired substances and without any by‐products or side reactions. This involved the study of syntheses with different process parameters such as temperature, solvent, pressure and reaction time. The main focus was on Cope‐rearrangement, which is a common method in the synthesis of new potential fragrance compounds. The substances synthesized in this work have a hepta‐1,5‐diene‐structure and that is why they can easily undergo this [3,3]‐sigma tropic rearrangement. The lead compound of all research was 2,5‐dimethyl‐2‐vinyl‐4‐hexenenitrile (Neronil). Neronil is synthesized by an alkylation of 2‐methyl‐3‐butenenitrile with prenylchloride under basic conditions in a phase‐transfer system. In this work the yield of isolated Neronil is improved from about 35% to 46% by according to the execution conditions of the reaction. Additionally the amount of side product was decreased. This synthesized hexenenitrile involved not only the aforementioned 1,5‐diene‐structure, but also a cyano group, that makes this structure a suitable base for the synthesis of new potential fragrance compounds. It was observed that Neronil can be transferred into 2,5‐dimethyl‐2‐vinyl‐4‐hexenoic acid by a hydrolysis under basic conditions. After five hours the acid can be obtained with a yield of 96%. The following esterification is realized with isobutanol to produce 2,5‐dimethyl‐2‐vinyl‐4‐hexenoic acid isobutyl ester with quantitative conversion. It was observed that the Neronil and the corresponding ester can be converted into the corresponding Cope‐product, with a conversion of 30 % and 80%. Implementing the Cope‐rearrangement, the acid was heated and an unexpected decarboxylated product is formed. To achieve the best verification of reaction development and structure, scrupulous analyses were done using GC‐MS, 1H‐NMR and 13C‐ NMR.

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.

Specification of a partial replication protocol with TLA+

Nowadays, data available and used by companies is growing very fast creating the need to use and manage this data in the most efficient way. To this end, data is replicated overmultiple datacenters and use different replication protocols, according to their needs, like more availability or stronger consistency level. The costs associated with full data replication can be very high, and most of the times, full replication is not needed since information can be logically partitioned. Another problem, is that by using datacenters to store and process information clients become heavily dependent on them. We propose a partial replication protocol called ParTree, which replicates data to clients, and organizes clients in a hierarchy, using communication between them to propagate information. This solution addresses some of these problems, namely by supporting partial data replication and offline execution mode. Given the complexity of the protocol, the use of formal verification is crucial to ensure the protocol two correctness properties: causal consistency and preservation of data. The use of TLA+ language and tools to formally specificity and verify the proposed protocol are also described.

Analysis and Treatment of a male portrait in oil and a study of the size layer with reconstructions from Vibert’s recipe (1892)

This thesis project concentrated on both the study and treatment of an early 20th century male portrait in oil from Colecção Caixa Geral de Depósitos, Lisbon, Portugal. The portrait of Januário Correia de Almeida, exhibits a tear (approximately 4.0 cm by 2.3 cm) associated with paint loss on the right upper side, where it is possible to observe an unusually thick size layer (approximately 50 microns) and an open weave mesh canvas. Size layers made from animal glue remain subject to severe dimensional changes due to changes in relative humidity (RH), thereby affecting the stability of the painting. In this case, the response to moisture of the size layer is minimal and the painting is largely uncracked with very little active flaking. This suggests that the size layer has undergone pre-treatment to render it unresponsive to moisture or water. Reconstructions based on late nineteenth century recipes using historically appropriate materials are used to explore various options for modifying the characteristics of gelatine, some of which may relate to the Portrait’s size layer. The thesis is separated into two parts: Part 1: Describes the history, condition, materials and techniques of the painting. It also details the treatment of Januário Correia de Almeida as well as the choices made and problems encountered during the treatment. Part 2: Discusses the history of commercial gelatine production, the choice of the appropriate animal source to extract the collagen to produce reconstructions of the portrait’s size layer as well as the characterization of selected reconstructions. The execution of a shallow textured infill led to one publication and one presentation: Abstract accepted for presentation and publication, International Meeting on Retouching of Cultural Heritage (RECH3), Francisco Brites, Leslie Carlyle and Raquel Marques, ‘’Hand building a Low Profile Textured Fill for a Large Loss’’.

An agent based architecture to support monitoring in plug and produce manufacturing systems using knowledge extraction

In recent years a set of production paradigms were proposed in order to capacitate manufacturers to meet the new market requirements, such as the shift in demand for highly customized products resulting in a shorter product life cycle, rather than the traditional mass production standardized consumables. These new paradigms advocate solutions capable of facing these requirements, empowering manufacturing systems with a high capacity to adapt along with elevated flexibility and robustness in order to deal with disturbances, like unexpected orders or malfunctions. Evolvable Production Systems propose a solution based on the usage of modularity and self-organization with a fine granularity level, supporting pluggability and in this way allowing companies to add and/or remove components during execution without any extra re-programming effort. However, current monitoring software was not designed to fully support these characteristics, being commonly based on centralized SCADA systems, incapable of re-adapting during execution to the unexpected plugging/unplugging of devices nor changes in the entire system’s topology. Considering these aspects, the work developed for this thesis encompasses a fully distributed agent-based architecture, capable of performing knowledge extraction at different levels of abstraction without sacrificing the capacity to add and/or remove monitoring entities, responsible for data extraction and analysis, during runtime.

Scaling In-Memory databases on multicores

Current computer systems have evolved from featuring only a single processing unit and limited RAM, in the order of kilobytes or few megabytes, to include several multicore processors, o↵ering in the order of several tens of concurrent execution contexts, and have main memory in the order of several tens to hundreds of gigabytes. This allows to keep all data of many applications in the main memory, leading to the development of inmemory databases. Compared to disk-backed databases, in-memory databases (IMDBs) are expected to provide better performance by incurring in less I/O overhead. In this dissertation, we present a scalability study of two general purpose IMDBs on multicore systems. The results show that current general purpose IMDBs do not scale on multicores, due to contention among threads running concurrent transactions. In this work, we explore di↵erent direction to overcome the scalability issues of IMDBs in multicores, while enforcing strong isolation semantics. First, we present a solution that requires no modification to either database systems or to the applications, called MacroDB. MacroDB replicates the database among several engines, using a master-slave replication scheme, where update transactions execute on the master, while read-only transactions execute on slaves. This reduces contention, allowing MacroDB to o↵er scalable performance under read-only workloads, while updateintensive workloads su↵er from performance loss, when compared to the standalone engine. Second, we delve into the database engine and identify the concurrency control mechanism used by the storage sub-component as a scalability bottleneck. We then propose a new locking scheme that allows the removal of such mechanisms from the storage sub-component. This modification o↵ers performance improvement under all workloads, when compared to the standalone engine, while scalability is limited to read-only workloads. Next we addressed the scalability limitations for update-intensive workloads, and propose the reduction of locking granularity from the table level to the attribute level. This further improved performance for intensive and moderate update workloads, at a slight cost for read-only workloads. Scalability is limited to intensive-read and read-only workloads. Finally, we investigate the impact applications have on the performance of database systems, by studying how operation order inside transactions influences the database performance. We then propose a Read before Write (RbW) interaction pattern, under which transaction perform all read operations before executing write operations. The RbW pattern allowed TPC-C to achieve scalable performance on our modified engine for all workloads. Additionally, the RbW pattern allowed our modified engine to achieve scalable performance on multicores, almost up to the total number of cores, while enforcing strong isolation.

A abolição da dupla incriminação no mandado de detenção europeu

This essay presents the European Arrest Warrant and its relationship with the principle of double criminality, which was abolished in 2002 with the new Framework Decision (FD). This instrument was essential to implement the principle of mutual recognition and strengthen the police and judicial cooperation in criminal matters in the newly created space of freedom, security and justice. It was urgent to create mechanisms to combat cross-border crime, that alone States have struggled to counter. An analysis of the FD No 2002/584/JHA is made. The execution of warrants and the non-mandatory and optional grounds of refusal are studied in detail. As it is the implementation issue. The role of mutual recognition in practice is studied as well. The procedure is to introduce the principle of double criminality, to explain the concept and its abolition, warning for the consequences derived from them, related to the principle of legality and fundamental rights. The analysis of the European Arrest Warrant in practice in Portugal and in comparison with other Member States allows the measurement of the consequences from the abolition of dual criminality and the position of States on this measure. With the abolition of double criminality, the cooperation in judicial and criminal matters departs from what was intended by the European Council of Tampere. And without cooperation, fundamental rights of citizens are unprotected, so the states have to adopt measures to remedy the "failures" of the European Law.

Improving Millennium Bank's personal finance manager

Double Degree

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

Doctoral Program in Computer Science

A decision support system for a waste collection vehicle routing problem

The selective collection of municipal solid waste for recycling is a very complex and expensive process, where a major issue is to perform cost-efficient waste collection routes. Despite the abundance of commercially available software for fleet management, they often lack the capability to deal properly with sequencing problems and dynamic revision of plans and schedules during process execution. Our approach to achieve better solutions for the waste collection process is to model it as a vehicle routing problem, more specifically as a team orienteering problem where capacity constraints on the vehicles are considered, as well as time windows for the waste collection points and for the vehicles. The final model is called capacitated team orienteering problem with double time windows (CTOPdTW).We developed a genetic algorithm to solve routing problems in waste collection modelled as a CTOPdTW. The results achieved suggest possible reductions of logistic costs in selective waste collection.