A framework for efficient model transformations

The reported productivity gains while using models and model transformations to develop entire systems, after almost a decade of experience applying model-driven approaches for system development, are already undeniable benefits of this approach. However, the slowness of higher-level, rule based model transformation languages hinders the applicability of this approach to industrial scales. Lower-level, and efficient, languages can be used but productivity and easy maintenance seize to exist. The abstraction penalty problem is not new, it also exists for high-level, object oriented languages but everyone is using them now. Why is not everyone using rule based model transformation languages then? In this thesis, we propose a framework, comprised of a language and its respective environment, designed to tackle the most performance critical operation of high-level model transformation languages: the pattern matching. This framework shows that it is possible to mitigate the performance penalty while still using high-level model transformation languages.

Diffusional kurtosis imaging using a fast heuristic constrained linear least squares algorithm: a plugin for OsiriX

Diffusion Kurtosis Imaging (DKI) is a fairly new magnetic resonance imag-ing (MRI) technique that tackles the non-gaussian motion of water in biological tissues by taking into account the restrictions imposed by tissue microstructure, which are not considered in Diffusion Tensor Imaging (DTI), where the water diffusion is considered purely gaussian. As a result DKI provides more accurate information on biological structures and is able to detect important abnormalities which are not visible in standard DTI analysis. This work regards the development of a tool for DKI computation to be implemented as an OsiriX plugin. Thus, as OsiriX runs under Mac OS X, the pro-gram is written in Objective-C and also makes use of Apple’s Cocoa framework. The whole program is developed in the Xcode integrated development environ-ment (IDE). The plugin implements a fast heuristic constrained linear least squares al-gorithm (CLLS-H) for estimating the diffusion and kurtosis tensors, and offers the user the possibility to choose which maps are to be generated for not only standard DTI quantities such as Mean Diffusion (MD), Radial Diffusion (RD), Axial Diffusion (AD) and Fractional Anisotropy (FA), but also DKI metrics, Mean Kurtosis (MK), Radial Kurtosis (RK) and Axial Kurtosis (AK).The plugin was subjected to both a qualitative and a semi-quantitative analysis which yielded convincing results. A more accurate validation pro-cess is still being developed, after which, and with some few minor adjust-ments the plugin shall become a valid option for DKI computation

A new MDA-SOA based framework for intercloud interoperability

Cloud computing has been one of the most important topics in Information Technology which aims to assure scalable and reliable on-demand services over the Internet. The expansion of the application scope of cloud services would require cooperation between clouds from different providers that have heterogeneous functionalities. This collaboration between different cloud vendors can provide better Quality of Services (QoS) at the lower price. However, current cloud systems have been developed without concerns of seamless cloud interconnection, and actually they do not support intercloud interoperability to enable collaboration between cloud service providers. Hence, the PhD work is motivated to address interoperability issue between cloud providers as a challenging research objective. This thesis proposes a new framework which supports inter-cloud interoperability in a heterogeneous computing resource cloud environment with the goal of dispatching the workload to the most effective clouds available at runtime. Analysing different methodologies that have been applied to resolve various problem scenarios related to interoperability lead us to exploit Model Driven Architecture (MDA) and Service Oriented Architecture (SOA) methods as appropriate approaches for our inter-cloud framework. Moreover, since distributing the operations in a cloud-based environment is a nondeterministic polynomial time (NP-complete) problem, a Genetic Algorithm (GA) based job scheduler proposed as a part of interoperability framework, offering workload migration with the best performance at the least cost. A new Agent Based Simulation (ABS) approach is proposed to model the inter-cloud environment with three types of agents: Cloud Subscriber agent, Cloud Provider agent, and Job agent. The ABS model is proposed to evaluate the proposed framework.

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.

Storage of water molecules into biomimetic heterostructures: the role of roughness

The development of devices based on heterostructured thin films of biomolecules conveys a huge contribution on biomedical field. However, to achieve high efficiency of these devices, the storage of water molecules into these heterostructures, in order to maintain the biological molecules hydrated, is mandatory. Such hydrated environment may be achieved with lipids molecules which have the ability to rearrange spontaneously into vesicles creating a stable barrier between two aqueous compartments. Yet it is necessary to find conditions that lead to the immobilization of whole vesicles on the heterostructures. In this work, the conditions that govern the deposition of open and closed liposomes of 1.2-dipalmitoyl-sn-Glycero-3-[Phospho-rac-(1-glycerol)] (sodium Salt) (DPPG) onto polyelectrolytes cushions prepared by the layer-by-layer (LbL) method were analyzed. Electronic transitions of DPPG molecules as well as absorption coefficients were obtained by vacuum ultraviolet spectroscopy, while the elemental composition of the heterostructures was characterized by x-ray photoelectron spectroscopy (XPS). The presence of water molecules in the films was inferred by XPS and infrared spectroscopy. Quartz crystal microbalance (QCM) data analysis allowed to conclude that, in certain cases, the DPPG adsorbed amount is dependent of the bilayers number already adsorbed. Moreover, the adsorption kinetics curves of both adsorbed amount and surface roughness allowed to determine the kinetics parameters that are related with adsorption processes namely, electrostatic forces, liposomes diffusion and lipids re-organization on surface. Scaling exponents attained from atomic force microscopy images statistical analysis demonstrate that DPPG vesicles adsorption mechanism is ruled by the diffusion Villain model confirming that adsorption is governed by electrostatic forces. The power spectral density treatment enabled a thorough description of the accessible surface of the samples as well as of its inner structural properties. These outcomes proved that surface roughness influences the adsorption of DPPG liposomes onto surfaces covered by a polyelectrolyte layer. Thus, low roughness was shown to induce liposome rupture creating a lipid bilayer while high roughness allows the adsorption of whole liposomes. In addition, the fraction of open liposomes calculated from the normalized maximum adsorbed amounts decreases with the cushion roughness increase, allowing us to conclude that the surface roughness is a crucial variable that governs the adsorption of open or whole liposomes. This conclusion is fundamental for the development of well-designed sensors based on functional biomolecules incorporated in liposomes. Indeed, LbL films composed of polyelectrolytes and liposomes with and without melanin encapsulated were successfully applied to sensors of olive oil.

A Directiva 2011-24-UE, relativa ao exercício dos direitos dos doentes em matéria de cuidados transfronteiriços : análise : potenciais repercussões no direito de acesso aos cuidados de saúde transfronteiriços em Portugal

RESUMO - 1. INTRODUÇÃO: Ao longo dos tempos, assistiu-se a um aumento da importância da Saúde Pública na Comunidade Europeia, mas só há relativamente pouco tempo teve o merecido lugar de destaque à luz da legislação comunitária. Neste contexto e com a adopção do Programa Europeu de Saúde Pública, surge a necessidade de actualizar o pensamento nesta área. Assim, é identificada uma oportunidade para formular uma estratégia, que seja passível de reduzir desigualdades e que também em compreenda as necessidades de saúde. Com o expandir da questão e com o propósito de reduzir as desigualdades, surge a Directiva 2011/24/UE, que visa regulamentar os direitos dos doentes em matéria de cuidados transfronteiriços. 2. OBJETIVO: Este trabalho apresenta como objetivo primordial analisar a Directiva 2011/24/UE, bem como a Lei n.º 52/2014, de 25 de Agosto, e identificar as principais barreiras, ao exercício do direito de acesso aos cuidados de saúde transfronteiriços, pelos beneficiários do SNS em Portugal, derivadas da aplicação de tais instrumentos legais. 3. METODOLOGIA: Foi utilizada uma abordagem analítica e documental, baseada na metodologia qualitativa. 4. CONCLUSÕES: As principais barreiras ao direito de acesso aos cuidados de saúde transfronteiriços, para os beneficiários do SNS em Portugal, são de ordem financeira, linguística e cultural, informacional, de mobilidade física, de proximidade geográfica, de carácter administrativo e de continuidade dos cuidados. A transposição da Directiva 2011/24/UE para o quadro jurídico português resulta essencialmente em iniquidades no âmbito do acesso aos cuidados de saúde transfronteiriços.

Framework for the semantic alignment of enterprise’s domain knowledge

Nowadays, the consumption of goods and services on the Internet are increasing in a constant motion. Small and Medium Enterprises (SMEs) mostly from the traditional industry sectors are usually make business in weak and fragile market sectors, where customized products and services prevail. To survive and compete in the actual markets they have to readjust their business strategies by creating new manufacturing processes and establishing new business networks through new technological approaches. In order to compete with big enterprises, these partnerships aim the sharing of resources, knowledge and strategies to boost the sector’s business consolidation through the creation of dynamic manufacturing networks. To facilitate such demand, it is proposed the development of a centralized information system, which allows enterprises to select and create dynamic manufacturing networks that would have the capability to monitor all the manufacturing process, including the assembly, packaging and distribution phases. Even the networking partners that come from the same area have multi and heterogeneous representations of the same knowledge, denoting their own view of the domain. Thus, different conceptual, semantic, and consequently, diverse lexically knowledge representations may occur in the network, causing non-transparent sharing of information and interoperability inconsistencies. The creation of a framework supported by a tool that in a flexible way would enable the identification, classification and resolution of such semantic heterogeneities is required. This tool will support the network in the semantic mapping establishments, to facilitate the various enterprises information systems integration.

Production of anti-Cryptosporidium polyclonal antibodies and standardization of direct immunofluorescence for detecting oocysts in water

INTRODUCTION: The production of anti-Cryptosporidium polyclonal antibodies and its use in direct immunofluorescence assays to determine the presence of Cryptosporidium in water are described in the present work. METHODS: Two rabbits were immunized with soluble and particulate antigens from purified Cryptosporidium oocysts. The sera produced were prepared for immunoglobulin G extraction, which were then purified and conjugated with fluorescein isothiocyanate (FITC). Slides containing known amounts of oocysts were prepared to determine the sensitivity of the technique. To test the specificity, slides containing Giardia duodenalis cysts were prepared. RESULTS: The conjugate was successfully used in water samples experimentally contaminated with Cryptosporidium oocysts, and it was possible to detect up to five oocysts/spot, corresponding to contamination of 250 oocysts/mL. CONCLUSIONS: The three immunizations performed in the rabbits were enough to produce antibodies against Cryptosporidium, the standard direct immunofluorescence assay permitted the detection of five oocysts in 20% of the samples, and no cross-reaction with Giardia duodenalis cysts occurred.

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.

As práticas comerciais desleais

The following study aims to examine a controversial and relatively unexplored subject within our system: the legal framework on unfair business-to-consumer commercial practices. Given the fact that this subject is based on the Directive 2005/29/EC, we considered to be appropriate to explore, firstly, the background and origin of such normative instrument. Nevertheless, we have centered our analysis on the interpretation of the set rules established by the Portuguese legal system (Law nr 57/2008, March 26th). For this dissertation, we have proposed a model of tripartite approach. Chapter V seeks to shed light on the general clause by analyzing a set of open concepts such as professional diligence, honest market practice, good faith or material distortion of the consumer’s economic behavior. In chapter VI, we will focus on two common types of unfair commercial practices: misleading and aggressive practices. Finally, due to the fact that chapter VII deals with the black list, we have illustrated the listed practices by giving real life examples. Taking into account the indefinite concepts used in the general prohibition and in the misleading and aggressive clauses, it is particularly difficult to demonstrate the unfairness of the professional’s behavior. In the light of this information, we have concluded that the regime fails on achieving its main goal: it does not protect proper and effectively the consumer’s interests.

DYNAMOD – A dynamic agent based modelling framework for digital businesses

Digital Businesses have become a major driver for economic growth and have seen an explosion of new startups. At the same time, it also includes mature enterprises that have become global giants in a relatively short period of time. Digital Businesses have unique characteristics that make the running and management of a Digital Business much different from traditional offline businesses. Digital businesses respond to online users who are highly interconnected and networked. This enables a rapid flow of word of mouth, at a pace far greater than ever envisioned when dealing with traditional products and services. The relatively low cost of incremental user addition has led to a variety of innovation in pricing of digital products, including various forms of free and freemium pricing models. This thesis explores the unique characteristics and complexities of Digital Businesses and its implications on the design of Digital Business Models and Revenue Models. The thesis proposes an Agent Based Modeling Framework that can be used to develop Simulation Models that simulate the complex dynamics of Digital Businesses and the user interactions between users of a digital product. Such Simulation models can be used for a variety of purposes such as simple forecasting, analysing the impact of market disturbances, analysing the impact of changes in pricing models and optimising the pricing for maximum revenue generation or a balance between growth in usage and revenue generation. These models can be developed for a mature enterprise with a large historical record of user growth rate as well as for early stage enterprises without much historical data. Through three case studies, the thesis demonstrates the applicability of the Framework and its potential applications.

Knowledge management framework based on brain models and human physiology

The life of humans and most living beings depend on sensation and perception for the best assessment of the surrounding world. Sensorial organs acquire a variety of stimuli that are interpreted and integrated in our brain for immediate use or stored in memory for later recall. Among the reasoning aspects, a person has to decide what to do with available information. Emotions are classifiers of collected information, assigning a personal meaning to objects, events and individuals, making part of our own identity. Emotions play a decisive role in cognitive processes as reasoning, decision and memory by assigning relevance to collected information. The access to pervasive computing devices, empowered by the ability to sense and perceive the world, provides new forms of acquiring and integrating information. But prior to data assessment on its usefulness, systems must capture and ensure that data is properly managed for diverse possible goals. Portable and wearable devices are now able to gather and store information, from the environment and from our body, using cloud based services and Internet connections. Systems limitations in handling sensorial data, compared with our sensorial capabilities constitute an identified problem. Another problem is the lack of interoperability between humans and devices, as they do not properly understand human’s emotional states and human needs. Addressing those problems is a motivation for the present research work. The mission hereby assumed is to include sensorial and physiological data into a Framework that will be able to manage collected data towards human cognitive functions, supported by a new data model. By learning from selected human functional and behavioural models and reasoning over collected data, the Framework aims at providing evaluation on a person’s emotional state, for empowering human centric applications, along with the capability of storing episodic information on a person’s life with physiologic indicators on emotional states to be used by new generation applications.

Polymerase chain reaction and nested-PCR approaches for detecting Cryptosporidium in water catchments of water treatment plants in Curitiba, State of Paraná, Brazil

Introduction Cryptosporidium is an important protozoan cause of waterborne disease worldwide of concern to public health authorities. To prevent outbreaks of cryptosporidiosis, the monitoring of this parasite in drinking water is necessary. In the present work, the polymerase chain reaction (PCR) and nested-PCR techniques were used to detect Cryptosporidium in raw water from catchment points of four water treatment plants (WTP) in Curitiba, Paraná, Brazil. Methods First, DNA extraction techniques were tested in samples containing decreasing amount of oocysts in reagent water, and PCR and nested-PCR with specific primers for 18SSU rDNA of Cryptosporidium were conducted to determine their sensitivity. In reagent water, a commercial extraction kit provided the best analytical sensitivity, and PCR and nested-PCR allowed the detection of five and two oocysts, respectively, with the primers XIAOR/XIAOF and XIAO1F/XIAO2R. Results In the spiking experiments, only the PCR with the primers AWA995F/AWA1206R was successful at detecting concentrations of 0.1 oocysts/mL. Two catchments samples of raw water and/or water sludge from four WTPs were contaminated with Cryptosporidium. Conclusions The application of the techniques to monitor Cryptosporidium in water and detect contamination in water catchments of WTPs in Curitiba are discussed in the present work.

Social tariffs for water and waste services in mainland Portugal: An impact analysis

This paper proposes to quantify the effect of social tariffs (ST) in the Portuguese water and waste sector (WWS). It calculates the amount of subsidy implicit in ST schemes, characterising the existing tariffs in 2011 and producing a synthetic tariff scene where the regulator’s recommendation is respected. This is the first time such an exercise is undertaken and it is very relevant in a context of deep economic crisis. Results suggest that there are fewer beneficiaries than what income eligibility criteria would imply and that putting the regulator’s recommendation in practice would considerably raise subsidy amounts, potentially leading to a severe increase in non-subsidised user tariffs to allow for break-even.

Competition effects from patient mobility in the European Union

This paper studies the effects of reimbursement for medical tourism within the European Union. We use a spatial competition framework to study the effects on prices, qualities and patient flows between two countries. Patient mobility increases with the implementation of reimbursement mechanisms. The resulting equilibria in prices and qualities depend on the rule of reimbursements and possible differences in country specific parameters. Soft budget constraints that public providers may have, pose a competitive advantage over private providers and divert demand toward the former. Supranational coordination concerning soft budgets constraints is needed to address the potentially detrimental effects on aggregate welfar