Transactions in dynamic reactive environments

Most of today’s systems, especially when related to the Web or to multi-agent systems, are not standalone or independent, but are part of a greater ecosystem, where they need to interact with other entities, react to complex changes in the environment, and act both over its own knowledge base and on the external environment itself. Moreover, these systems are clearly not static, but are constantly evolving due to the execution of self updates or external actions. Whenever actions and updates are possible, the need to ensure properties regarding the outcome of performing such actions emerges. Originally purposed in the context of databases, transactions solve this problem by guaranteeing atomicity, consistency, isolation and durability of a special set of actions. However, current transaction solutions fail to guarantee such properties in dynamic environments, since they cannot combine transaction execution with reactive features, or with the execution of actions over domains that the system does not completely control (thus making rolling back a non-viable proposition). In this thesis, we investigate what and how transaction properties can be ensured over these dynamic environments. To achieve this goal, we provide logic-based solutions, based on Transaction Logic, to precisely model and execute transactions in such environments, and where knowledge bases can be defined by arbitrary logic theories.

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.(...)

Reactive electron scattering from biomolecules and technologically relevant molecules

The role of a set of gases relevant within the context of biomolecules and technologically relevant molecules under the interaction of low-energy electrons was studied in an effort to contribute to the understanding of the underlying processes yielding negative ion formation. The results are relevant within the context of damage to living material exposed to energetic radiation, to the role of dopants in the ion-molecule chemistry processes, to Electron Beam Induced Deposition (EBID) and Ion Beam Induced Deposition (IBID) techniques. The research described in this thesis addresses dissociative electron attachment (DEA) and electron transfer studies involving experimental setups from the University of Innsbruck, Austria and Universidade Nova de Lisboa, Portugal, respectively. This thesis presents DEA studies, obtained by a double focusing mass spectrometer, of dimethyl disulphide (C2H6S2), two isomers, enflurane and isoflurane (C3F5Cl5) and two chlorinated ethanes, pentachloroethane (C2HCl5) and hexachloroethane (C2Cl6), along with quantum chemical calculations providing information on the molecular orbitals as well as thermochemical thresholds of anion formation for enflurane, isoflurane, pentachloroethane and hexachloroethane. The experiments represent the most accurate DEA studies to these molecules, with significant differences from previous work reported in the literature. As far as electron transfer studies are concerned, negative ion formation in collisions of neutral potassium atoms with N1 and N3 methylated pyrimidine molecules were obtained by time-of-flight mass spectrometry (TOF). The results obtained allowed to propose concerted mechanisms for site and bond selective excision of bonds.

Cross-presentation by WASp deficient B cells and dendritic cells

The immune system comprises of different cell types whose role is to protect us against pathogens. This thesis investigates a very important mechanism for our organism protection in a specific disorder: cross-presentation in Wiskott-Aldrich Syndrome (WAS). WAS is caused by loss-of-function mutations in the cytoskeletal regulator WASp and WAS patients suffer from eczema, thrombocytopenia, and immunodeficiency. X-linked neutropenia (XLN) is caused by gain-of-function mutations in WASp and XLN patients suffer from severe congenital neutropenia and immunodeficiency. This thesis was focused on the role of B and T lymphocytes and dendritic cells (DCs). This work will be divided into two main topics: 1) In the first part I studied the capacity of B cells to take up, degrade and present antigen. Moreover I studied the capacity of B cells to induce T cell proliferation. 2) In the second part, I studied T cell proliferation induced by dendritic cells. To increase our understanding about this mechanism, additional experiments were performed, including acidification capacity of CD8+ and CD8- DCs, reactive oxygen species (ROS) production since it is directly connected to acidification. These assays were measured by flow cytometry. Localization of Rac1 and Rac2 GTPases was assessed by confocal microscopy. Proliferation, acidification and ROS production assays were performed also with cells from X-linked neutropenia (XLN) mice. From this study we concluded that B cells cannot induce CD8+ T cell proliferation however they take up and present antigen. Moreover I have shown that increased cross-presentation by WASp KO DCs with ovalbumin is associated with decreased capacity to acidify endosomal compartment; and WASp KO CD8- DCs have increased Rac2 localization to the phagosome. XLN dendritic cells have similar acidification and ROS production capacity than wildtype cells. In conclusion, our data suggests that WASp regulates antigen processing and presentation in DCs.

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.(...)