Methodological framework for detection of harmonisation breaking in service environments

As the complexity of markets and the dynamicity of systems evolve, the need for interoperable systems capable of strengthening enterprise communication effectiveness increases. This is particularly significant when it comes to collaborative enterprise networks, like manufacturing supply chains, where several companies work, communicate, and depend on each other, in order to achieve a specific goal. Once interoperability is achieved, that is once all network parties are able to communicate with and understand each other, organisations are able to exchange information along a stable environment that follows agreed laws. However, as markets adapt to new requirements and demands, an evolutionary behaviour is triggered giving space to interoperability problems, thus disrupting the sustainability of interoperability and raising the need to develop monitoring activities capable of detecting and preventing unexpected behaviour. This work seeks to contribute to the development of monitoring techniques for interoperable SOA-based enterprise networks. It focuses on the automatic detection of harmonisation breaking events during real-time communications, and strives to develop and propose a methodological approach to handle these disruptions with minimal or no human intervention, hence providing existing service-based networks with the ability to detect and promptly react to interoperability issues.

Optimization of export support systems: How to promote exports from Portugal to Germany in the area of information technology and electronics

This work project focuses on developing new approaches which enhance Portuguese exports towards a defined German industry sector within the information technology and electronics fields. Firstly and foremost, information was collected and a set of expert and top managers’ interviews were performed in order to acknowledge the demand of the German market while identifying compatible Portuguese supply capabilities. Among the main findings, Industry 4.0 presents itself as a valuable opportunity in the German market for Portuguese medium sized companies in the embedded systems area of expertise for machinery and equipment companies. In order to achieve the purpose of the work project, an embedded systems platform targeting machinery and equipment companies was suggested as well as it was developed several recommendations on how to implement it. An alternative approach for this platform was also considered within the German market namely the eHealth sector having the purpose of enhancing the current healthcare service provision.

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.

Semantic relations extraction from unstructured information for domain ontologies enrichment

Based in internet growth, through semantic web, together with communication speed improvement and fast development of storage device sizes, data and information volume rises considerably every day. Because of this, in the last few years there has been a growing interest in structures for formal representation with suitable characteristics, such as the possibility to organize data and information, as well as the reuse of its contents aimed for the generation of new knowledge. Controlled Vocabulary, specifically Ontologies, present themselves in the lead as one of such structures of representation with high potential. Not only allow for data representation, as well as the reuse of such data for knowledge extraction, coupled with its subsequent storage through not so complex formalisms. However, for the purpose of assuring that ontology knowledge is always up to date, they need maintenance. Ontology Learning is an area which studies the details of update and maintenance of ontologies. It is worth noting that relevant literature already presents first results on automatic maintenance of ontologies, but still in a very early stage. Human-based processes are still the current way to update and maintain an ontology, which turns this into a cumbersome task. The generation of new knowledge aimed for ontology growth can be done based in Data Mining techniques, which is an area that studies techniques for data processing, pattern discovery and knowledge extraction in IT systems. This work aims at proposing a novel semi-automatic method for knowledge extraction from unstructured data sources, using Data Mining techniques, namely through pattern discovery, focused in improving the precision of concept and its semantic relations present in an ontology. In order to verify the applicability of the proposed method, a proof of concept was developed, presenting its results, which were applied in building and construction sector.

Minimal computation structures for visual information applications based on printed electronics

In the early nineties, Mark Weiser wrote a series of seminal papers that introduced the concept of Ubiquitous Computing. According to Weiser, computers require too much attention from the user, drawing his focus from the tasks at hand. Instead of being the centre of attention, computers should be so natural that they would vanish into the human environment. Computers become not only truly pervasive but also effectively invisible and unobtrusive to the user. This requires not only for smaller, cheaper and low power consumption computers, but also for equally convenient display solutions that can be harmoniously integrated into our surroundings. With the advent of Printed Electronics, new ways to link the physical and the digital worlds became available. By combining common printing techniques such as inkjet printing with electro-optical functional inks, it is starting to be possible not only to mass-produce extremely thin, flexible and cost effective electronic circuits but also to introduce electronic functionalities into products where it was previously unavailable. Indeed, Printed Electronics is enabling the creation of novel sensing and display elements for interactive devices, free of form factor. At the same time, the rise in the availability and affordability of digital fabrication technologies, namely of 3D printers, to the average consumer is fostering a new industrial (digital) revolution and the democratisation of innovation. Nowadays, end-users are already able to custom design and manufacture on demand their own physical products, according to their own needs. In the future, they will be able to fabricate interactive digital devices with user-specific form and functionality from the comfort of their homes. This thesis explores how task-specific, low computation, interactive devices capable of presenting dynamic visual information can be created using Printed Electronics technologies, whilst following an approach based on the ideals behind Personal Fabrication. Focus is given on the use of printed electrochromic displays as a medium for delivering dynamic digital information. According to the architecture of the displays, several approaches are highlighted and categorised. Furthermore, a pictorial computation model based on extended cellular automata principles is used to programme dynamic simulation models into matrix-based electrochromic displays. Envisaged applications include the modelling of physical, chemical, biological, and environmental phenomena.

Relatório de estágio no departamento central de investigação e acção penal

The means of obtaining evidence, the amount of evidence obtained, the number of defendants related to each criminal case and the gravity of the crimes for which the magistrates of the Department are holders of penal action, define its real importance to the Rule of Law. I have deeply studied the subject of the institution of hierarchical intervention required by the assistant and the application of an opening statement by the defendant, starting from a hypothetical case, provided when the query of an investigation with the subject of the crime of active corruption, where this institution was called as a reaction to the archiving dispatch delivered by the Public Ministry. I have study about the implementation of the institution of provisional suspension of the process, specifically in the scope of fiscal criminality, analyzing the effective satisfaction of the purposes of the sentences in two slopes: general prevention and special prevention. I went for my first time to a Central Court of Criminal Instruction, where I attended the measures of inquiry and instructive debate of a process that culminated with the prosecution and pronunciation of the defendants. In addition to this criminal experience, I have deepened and consolidated the academic knowledge with the study of various criminal cases from various fields in the scope of criminality investigated by the Department. I could therefore check the basis of procedural delays, regarding to our legal system, especially in this type of crime, raising issues that I analyzed and discussed, always in a critical and academic way. I had the opportunity to attend and witness a seminar in the Lisbon Directorate of Finance as well of entering the Centre for Judicial Studies to attend a conference on the International Anti-Corruption Day. Focus on the investigatory importance of the international judicial cooperation, through the various organs, with special interest to EUROJUST. I comprehended the organization and functioning of these communitarian organs and means of communication of procedural acts, in particular, the rogatory letters and european arrest warrants. This involvement is motivated by the moratorium factor of the investigations where rogatory letters are necessary for the acquisition of evidence or information relevant to the good continuation of the process. For this reason the judicial cooperation through the relevant communitarian organs, translates a streamlined response between the competent judicial authorities of the Member States, through the National Member that integrates EUROJUST. This report aims to highlight some of the difficulties and procedural issues that Public Prosecutors of DCIAP and criminal police bodies that assist them, face in combating violent and organized crime, of national and transnational nature, of particular complexity, according to the specifics of criminal types.

Amadeus IT holdings information technology

Equity research report

Improving accuracy of inflation forecasts using macroeconomic information

This thesis examines the effects of macroeconomic factors on inflation level and volatility in the Euro Area to improve the accuracy of inflation forecasts with econometric modelling. Inflation aggregates for the EU as well as inflation levels of selected countries are analysed, and the difference between these inflation estimates and forecasts are documented. The research proposes alternative models depending on the focus and the scope of inflation forecasts. I find that models with a Generalized AutoRegressive Conditional Heteroskedasticity (GARCH) in mean process have better explanatory power for inflation variance compared to the regular GARCH models. The significant coefficients are different in EU countries in comparison to the aggregate EU-wide forecast of inflation. The presence of more pronounced GARCH components in certain countries with more stressed economies indicates that inflation volatility in these countries are likely to occur as a result of the stressed economy. In addition, other economies in the Euro Area are found to exhibit a relatively stable variance of inflation over time. Therefore, when analysing EU inflation one have to take into consideration the large differences on country level and focus on those one by one.

A internet e o sistema de justiça

The subject of study of this Thesis aims to highlight and recognize as an object of reflection the undoubted relationship between the Internet and the Justice System, based on the issue of digital evidence. The simultaneously crossing of the juridical-legal implications and the more technical computer issues is the actual trigger for the discussion of the issues established. The Convention on Cybercrime of the Council of Europe of 23rd November 2001 and the Council Framework Decision n.° 2005/222/JHA of 24th February 2005 were avant-garde in terms of the international work about the crimes in the digital environment. In addition they enabled the harmonization of national legislations on the matter and, consequently, a greater flexibility in international judicial cooperation. Portugal, in compliance with these international studies, ratified, implemented and approved Law n. º 109/2009 of 15th September concerning the Cybercrime Act, establishing a more specific investigation and collection of evidence in electronic support when it comes to combating this type of crime, as it reinforced the Substantive Criminal Law and Procedural Nature. Nevertheless, the constant debates about the New Technologies of Information and Communication have not neglected the positive role of these tools for the user. However, they express a particular concern for their counterproductive effects; a special caution prevails on the part of the judge in assessing the digital evidence, especially circumstantial evidence, due to the its fragility. Indisputably, the practice of crimes through the computer universe, given its inexorable technical complexity, entails many difficulties for the forensic investigation, since the proofs hold temporary, changeable, volatile, and dispersed features. In this pillar, after the consummation of iter criminis, the Fundamental Rights of the suspects may be debated in the course of the investigation and the construction of iter probatorium. The intent of this Thesis is to contribute in a reflective way on the issues presented in order to achieve a bigger technical and legal awareness regarding the collection of digital proof, looking for a much lighter approach to its suitability in terms of evidentiary value.

O corpo da Guarda prisional como Órgão de Polícia Criminal e a sua importância na Segurança Interna

The study now presented a research study aimed at the exercise of security activity of the prison guard corps (CGP) in the specific context of the prison system (SP). The study also focused on the phenomenon of globalization and its influence on the current panorama of world crime and their relationship with the prison security object of study was the security activity of the CGP on the current inmate population, as well as the typology of crimes inherent to it and that requires the interpretation of the amendment to the correctional paradigm. In the preparation of the study we have tried to identify the legal framework of the profession based on the main laws and decree-laws governing the institution DGRSP and CGP's career. The difficulties and constraints were analyzed the performance of the security function of the CGP, resulting from the infrastructure, the interaction with the inmates and the need of assigning the status of Criminal Police (OPC). Really connected the relevant importance of OPC so the Corporation can establish a cooperation interaction and sharing of information with different security forces. We noted the importance of the CGP being OPC status before the framework for its action in work situations, specifically, on gatehouses, prison wings, area, and high-complexity operations such as escorts and riot control interventions.The explanation of this study enabled us to assess the importance of the actions of a police officer of the elements of the CGP for maintaining internal security. The analyses and studies were complemented by twenty years of career and exercise of the activity of the master's degree, during which time he served as guard and head of the CGP, the intervention Group and Prison Security, the Lisbon Prison, Prison, Prison of Caxias, Sintra and Monsanto.

Sistema de segurança interna : a unificação do sistema em Portugal

A aceleração do ritmo de mudança verificado nas sociedades atuais, tem sido impulsionado pela globalização, fenómeno decorrente da evolução das tecnologias da informação, das telecomunicações, das comunicações e transportes e do desaparecimento de fronteiras. Viver na “aldeia global” ou à escala global como o previu Marshall McLuhan (1964) no livro Understanding Media, é hoje uma realidade inquestionável. As consequências desta transformação foram múltiplas quer do ponto de vista dos benefícios, quer do ponto de vista dos problemas gerados. No plano da segurança, face ao multiculturalismo envolvido e ao aumento crescente do crime transfronteiriço, tornou-se essencial a partilha de informação a nível internacional tendo em vista o seu combate não só olhando a situação dos cidadãos como a defesa dos princípios democráticos. Realça-se que os progressos tecnológicos e as facilidades que criam aos seus utilizadores, neste caso os criminosos, fazem com que as ações por estes praticadas sejam cada vez mais meticulosas, imprevisíveis, sofisticadas e complexas o que impõe uma resposta correspondente e adequada. Por essa razão, as políticas de segurança existentes mostraram-se insuficientes e esgotadas requerendo novas respostas capazes de produzir os efeitos desejáveis para uma efetiva prevenção da criminalidade. Pelas dimensões que tem vindo a tomar, a criminalidade tornou-se uma preocupação que ultrapassou o domínio da segurança interna de cada país para ser encarada a nível internacional ou mesmo mundial. Para o efeito urge concertar processos e procedimentos securitários agregando vontades que convirjam e defendam a unificação dos sistemas dos países a nível mundial. A verificar-se tal intento, daí resultariam significativas melhorias da segurança a todos os níveis (nacional, internacional e mundial). Além disso também resultariam ganhos em termos de tempo, redução de custos, impacto na qualidade dos serviços prestados, na gestão das pessoas e na eficiência das organizações. Realça-se que a democracia ao promover a dignidade do homem densificando os seus direitos, liberdades e garantias, criou indiretamente condições para que fosse gerada instabilidade e o desenvolvimento de comportamentos criminosos. Importa, portanto, face à situação existente e à previsível complexidade do crime no futuro, estudar profundamente a nova realidade neste domínio, para tomar as medidas preventivas tendentes a reporem a estabilidade e a promoverem a paz social. Foi neste contexto que a presente investigação, desenvolvida no âmbito académico, mas também suportado na realidade profissional, pretendeu refletir sobre o estado da segurança global e dar o seu contributo nesta matéria.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

As Comissões Parlamentares de Inquérito no Portugal democrático, 1976-2015

As transformações operadas no mundo contemporâneo, em especial no que respeita às estruturas do poder, à sua maior autonomização e diferenciação, tiveram particulares reflexos ao nível dos Parlamentos e das funções que prosseguem. Desde a sua origem, no passado século XIII, à atualidade, grandes acontecimentos, clivagens e factos históricos estão presentes na sua linha evolutiva. A democratização do regime parlamentar e a legitimidade outorgada através de eleições democráticas e concorrenciais são um marco ímpar na sua história. A complexidade das sociedades hodiernas catapultou o Poder Executivo em detrimento do Parlamento, enquanto órgão legislativo por excelência. Tal circunstancialismo levou, não ao proclamado declínio dos Parlamentos, mas a reformas estruturantes. Outras e mais importantes funções seriam prosseguidas. Se as iniciativas legislativas e a definição das políticas públicas passaram a ser quase um exclusivo do Governo, havia que desenvolver e ampliar, por parte dos Parlamentos, os instrumentos de controlo, fiscalização e escrutínio da ação governativa. Entre os clássicos instrumentos de controlo avulta o Inquérito Parlamentar, materializado em Comissões Parlamentares de Inquérito, dotadas de poderes especiais para recolha de informação e para investigação. No seu percurso parlamentar, também as Comissões de Inquérito foram sendo alvo de constantes aperfeiçoamentos, de ordem constitucional, legal e regimental. A excessiva partidarização da atividade parlamentar de outrora e sobretudo a confusão entre o governo e o partido que o sustentava a nível parlamentar, o confronto desequilibrado de meios entre as maiorias e as minorias, levaram a um reposicionamento do inquérito parlamentar enquanto garante do direito das minorias. Não sendo expectável que as grandes iniciativas de controlo sejam tomadas pelo partido maioritário, cabe à oposição esse papel. Em Portugal, diminuta era a tradição do instituto do inquérito parlamentar, razão porque foi efémera e sem resultado a sua utilização no tempo da monarquia constitucional. O regime democrático, abraçado com o 25 de abril de 1974, relançou o órgão de soberania Parlamento e estabeleceu prioridades. Até ao amadurecimento da democracia viveram-se tempos mais conturbados mas de grande aprendizagem. O inquérito Parlamentar, a partir da revisão constitucional de 1982, passou conceptualmente a integrar um dos meios mais relevantes da fiscalização política. É, pois, o levantamento exaustivo e a análise das Comissões Parlamentares de Inquérito no Portugal democrático, período de 1976-2015, o objetivo a que nos propomos neste estudo.