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.

Pattern operators for grid

The definition and programming of distributed applications has become a major research issue due to the increasing availability of (large scale) distributed platforms and the requirements posed by the economical globalization. However, such a task requires a huge effort due to the complexity of the distributed environments: large amount of users may communicate and share information across different authority domains; moreover, the “execution environment” or “computations” are dynamic since the number of users and the computational infrastructure change in time. Grid environments, in particular, promise to be an answer to deal with such complexity, by providing high performance execution support to large amount of users, and resource sharing across different organizations. Nevertheless, programming in Grid environments is still a difficult task. There is a lack of high level programming paradigms and support tools that may guide the application developer and allow reusability of state-of-the-art solutions. Specifically, the main goal of the work presented in this thesis is to contribute to the simplification of the development cycle of applications for Grid environments by bringing structure and flexibility to three stages of that cycle through a commonmodel. The stages are: the design phase, the execution phase, and the reconfiguration phase. The common model is based on the manipulation of patterns through pattern operators, and the division of both patterns and operators into two categories, namely structural and behavioural. Moreover, both structural and behavioural patterns are first class entities at each of the aforesaid stages. At the design phase, patterns can be manipulated like other first class entities such as components. This allows a more structured way to build applications by reusing and composing state-of-the-art patterns. At the execution phase, patterns are units of execution control: it is possible, for example, to start or stop and to resume the execution of a pattern as a single entity. At the reconfiguration phase, patterns can also be manipulated as single entities with the additional advantage that it is possible to perform a structural reconfiguration while keeping some of the behavioural constraints, and vice-versa. For example, it is possible to replace a behavioural pattern, which was applied to some structural pattern, with another behavioural pattern. In this thesis, besides the proposal of the methodology for distributed application development, as sketched above, a definition of a relevant set of pattern operators was made. The methodology and the expressivity of the pattern operators were assessed through the development of several representative distributed applications. To support this validation, a prototype was designed and implemented, encompassing some relevant patterns and a significant part of the patterns operators defined. This prototype was based in the Triana environment; Triana supports the development and deployment of distributed applications in the Grid through a dataflow-based programming model. Additionally, this thesis also presents the analysis of a mapping of some operators for execution control onto the Distributed Resource Management Application API (DRMAA). This assessment confirmed the suitability of the proposed model, as well as the generality and flexibility of the defined pattern operators

Stratigraphic interpretation of Well-Log data of the Athabasca Oil Sands of Alberta Canada through Pattern recognition and Artificial Intelligence

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Spatial point pattern analysis of gorilla nest sites in the Kagwene Sanctuary, Cameroon: Towards understanding the nesting behavior of a critically endangered subspecies

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Nevirapine in an animal model of pre-diabetes: study of drug pharmacokinetic and its effects on fasting glycemia and insulin resistance

Dissertação para obtenção do Grau de Mestre em Biotecnologia

The building blocks of social entrepreneurship: empirical model and framework

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

Exporting a model of integrated disease management: A cross-case study analysis and application to Associação Protectora dos Diabéticos de Portugal

Although literature is lacking in the topic of internationalization of services, we manage to apply both the Uppsala model and the Eclectic Theory to the healthcare service. A cross-case study analysis with three international hospitals is done in order to define an internationalization pattern and conditions for a successful process. This is then applied to Associação Protectora dos Diabéticos de Portugal with the purpose of defining an internationalization strategy to the Association.

Proteomic analysis of a neurodegeneration cell model, treated with plant extracts with potential neuroprotective activity

Nowadays, a significant increase in chronic diseases is observed. Epidemiological studies showed a consistent relationship between the consumption of fruits and vegetables and a reduced risk of certain chronic diseases, namely neurodegenerative disorders. One factor common to these diseases is oxidative stress, which is highly related with proteins, lipids, carbohydrates and nucleic acids damage, leading to cellular dysfunction. Polyphenols, highly abundant in berries and associated products, were described as having antioxidant properties, with beneficial effect in these pathologies. The aims of this study were to evaluate by proteomic analyses the effect of oxidative insult in a neuroblastoma cell line (SK-N-MC) and understand the mechanisms involved in the neuroprotective effects of digested extracts from commercial and wild blackberry (R. vagabundus Samp.). The analysis of the total proteome by two-dimensional electrophoresis revealed that oxidative stress in SK-N-MC cells resulted in altered expression of 12 protein spots from a total of 318. Regarding some redox proteomics alterations, particularly proteins carbonylation and glutathionylation, protein carbonyl alterations during stress suggest that cells produce an early and late response; on the other hand, no glutathionylated polypeptides were detected. Relatively to the incubation of SK-N-MC cells with digested berry extracts, commercial blackberry promotes more changes in protein pattern of these cells than R. vagabundus. From 9 statistically different protein spots of cells incubated with commercial blackberry, only β-tubulin and GRP 78 were until now identified by mass spectrometry. Further studies involving the selection of sub proteomes will be necessary to have a better understanding of the mechanisms underlying the neuroprotective effects of berries.