Computing explanations for interactive constraint-based systems

Constraint programming has emerged as a successful paradigm for modelling combinatorial problems arising from practical situations. In many of those situations, we are not provided with an immutable set of constraints. Instead, a user will modify his requirements, in an interactive fashion, until he is satisfied with a solution. Examples of such applications include, amongst others, model-based diagnosis, expert systems, product configurators. The system he interacts with must be able to assist him by showing the consequences of his requirements. Explanations are the ideal tool for providing this assistance. However, existing notions of explanations fail to provide sufficient information. We define new forms of explanations that aim to be more informative. Even if explanation generation is a very hard task, in the applications we consider, we must manage to provide a satisfactory level of interactivity and, therefore, we cannot afford long computational times. We introduce the concept of representative sets of relaxations, a compact set of relaxations that shows the user at least one way to satisfy each of his requirements and at least one way to relax them, and present an algorithm that efficiently computes such sets. We introduce the concept of most soluble relaxations, maximising the number of products they allow. We present algorithms to compute such relaxations in times compatible with interactivity, achieving this by indifferently making use of different types of compiled representations. We propose to generalise the concept of prime implicates to constraint problems with the concept of domain consequences, and suggest to generate them as a compilation strategy. This sets a new approach in compilation, and allows to address explanation-related queries in an efficient way. We define ordered automata to compactly represent large sets of domain consequences, in an orthogonal way from existing compilation techniques that represent large sets of solutions.

The identification and characterisation of Rab4 interacting proteins

Rab4 is a member of the Rab superfamily of small GTPases. It is localized to the early sorting endosome and plays a role in regulating the transport from this compartment to the recycling and degradative pathways. In order to further our understanding of the role Rab4 plays in endocytosis, a yeast two-hybrid screen was performed to identify putative Rab4 effectors. A constitutively active mutant of Rab4, Rab4Q67L, when used as bait to screen a HeLa cDNA library, identified a novel 80kDa protein that interacted with Rab4-GTP. This protein was called Rab Coupling Protein (RCP). RCP interacts preferentially with the GTP-bound form of Rab4. Subsequent work demonstrated that RCP also interacts with Rab11, and that this interaction is not nucleotide-depenedent. RCP is predominantly membrane-bound and localised to the perinuclear recycling compartment. Expression of a truncation mutant of RCP, that contains the Rab binding domain, in HeLa cells, results in the formation of an extensive tubular network that can be labelled with transferrin. These tubules are derived from the recycling compartment since they are inaccessible to transferrin when the ligand is internalised at 18oC. The truncation mutant-induced morphology can be rescued by overexpression of active Rab11, but not active Rab4. This suggests that RCP functions between Rab4 and Rab11 in the receptor recycling pathway, and may act as a ‘molecular bridge’ between these two sequentially acting small GTPases. Quantitative assays demonstrated that overexpression of the truncation mutant results in a dramatic inhibition in the rate of receptor recycling. Database analysis revealed that RCP belongs to a family of Rab interacting proteins, each characterised by a carboxy-terminal coiled-coil domain and an amino-terminal phospholipid-binding domain. KIAA0941, an RCP homologue, interacts with Rab11, but not with Rab4. Overexpression of its Rab binding domain also results in a tubular network, however, this tubulation cannot be rescued by active Rab11.

Correlations in low dimensional quantum systems

In this thesis I present the work done during my PhD in the area of low dimensional quantum gases. The chapters of this thesis are self contained and represent individual projects which have been peer reviewed and accepted for publication in respected international journals. Various systems are considered, the first of which is a two particle model which possesses an exact analytical solution. I investigate the non-classical correlations that exist between the particles as a function of the tunable properties of the system. In the second work I consider the coherences and out of equilibrium dynamics of a one-dimensional Tonks-Girardeau gas. I show how the coherence of the gas can be inferred from various properties of the reduced state and how this may be observed in experiments. I then present a model which can be used to probe a one-dimensional Fermi gas by performing a measurement on an impurity which interacts with the gas. I show how this system can be used to observe the so-called orthogonality catastrophe using modern interferometry techniques. In the next chapter I present a simple scheme to create superposition states of particles with special emphasis on the NOON state. I explore the effect of inter-particle interactions in the process and then characterise the usefulness of these states for interferometry. Finally I present my contribution to a project on long distance entanglement generation in ion chains. I show how carefully tuning the environment can create decoherence-free subspaces which allows one to create and preserve entanglement.

Investigating the invasive and cytoprotective properties of the heme binding protein HRG-1 in cancer cells

This thesis investigates the mechanisms by which HRG-1 contributes to the invasive and cytoprotective signalling pathways in cancer cells through its effects on VATPase activity and heme transport. Plasma membrane-localised V-ATPase activity correlates with enhanced metastatic potential in cancer cells, which is attributed to extrusion of protons into the extracellular space and activation of pH-sensitive, extracellular matrix degrading-proteases. We found that HRG-1 is co-expressed with the V-ATPase at the plasma membrane of certain aggressive cancer cell types. Modulation of HRG-1 expression altered both the localisation and activity of the VATPase. We also found that HRG-1 enhances trafficking of essential transporters such as the glucose transporter (GLUT-1) in cancer cells, and increases glucose uptake, which is required for cancer cell growth, metabolism and V-ATPase assembly. Heme is potentially cytotoxic, owing to its iron moiety, and therefore the trafficking of heme is tightly controlled in cells. We hypothesised that HRG-1 is required for the transport of heme to intracellular compartments. Importantly, we found that HRG-1 interacts with the heme oxygenases that are necessary for heme catabolism. HRG-1 is also required for trafficking of both heme-bound and nonheme-bound receptors and suppression of HRG-1 results in perturbed receptor trafficking to the lysosome. Suppression of HRG-1 in HeLa cells increases toxic heme accumulation, reactive oxygen species accumulation, and DNA damage resulting in caspasedependent cell death. Mutation of essential heme binding residues in HRG-1 results in decreased heme binding to HRG-1. Interestingly, cells expressing heme-binding HRG-1 mutants exhibit decreased internalisation of the transferrin receptor compared to cells expressing wildtype HRG-1. These findings suggest that HRG- 1/heme trafficking contributes to a hitherto unappreciated aspect of receptormediated endocytosis. Overall, the findings of this thesis show that HRG-1-mediated regulation of intracellular and extracellular pH through V-ATPase activity is essential for a functioning endocytic pathway. This is critical for cells to acquire nutrients such as folate, iron and glucose and to mediate signalling in response to growth factor activation. Thus, HRG-1 facilitates enhanced metabolic activity of cancer cells to enable tumour growth and metastasis.

An investigation into the role of Bcl-3 in toll-like receptor signalling

Through the recognition of potentially harmful stimuli, Toll-like receptors (TLRs) initiate the innate immune response and induce the expression of hundreds of immune and pro-inflammatory genes. TLRs are critical in mounting a defence against invading pathogens however, strict control of TLR signalling is vital to prevent host damage from excessive or prolonged immune activation. In this thesis the role of the IκB protein Bcl (B-cell lymphoma)-3 in the regulation of TLR signalling is investigated. Bcl3-/- mice and cells are hyper responsive to TLR stimulation and are defective in LPS tolerance. Bcl-3 interacts with and blocks the ubiquitination of homodimers of the NF-κB subunit, p50. Through stabilisation of inhibitory p50 homodimers, Bcl-3 negatively regulates NF-κB dependent inflammatory gene transcription following TLR activation. Firstly, we investigated the nature of the interaction between Bcl-3 and p50 and using peptide array technology. Key amino acids required for the formation of the p50:Bcl-3 immunosuppressor complex were identified. Furthermore, we demonstrate for the first time that interaction between Bcl-3 and p50 is necessary and sufficient for the anti-inflammatory properties of Bcl-3. Using the data generated from peptide array analysis we then generated cell permeable peptides designed to mimic Bcl-3 function and stabilise p50 homodimers. These Bcl-3 derived peptides are potent inhibitors of NF-κB dependent transcription activity in vitro and provide a solid basis for the development of novel gene-specific approaches in the treatment of inflammatory diseases. Secondly, we demonstrate that Bcl-3 mediated regulation of TLR signalling is not limited to NF-κB and identify the MAK3K Tumour Progression Locus (Tpl)-2 as a new binding partner of Bcl-3. Our data establishes role for Bcl-3 as a negative regulator of the MAPK-ERK pathway.