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.

Capillary electrophoresis with boron doped diamond electrode for amperometric detection of low molecular weight biological substrate

The research work in this thesis included the sensitive and selective separation of biological substance by capillary electrophoresis with a boron doped diamond electrode for amperometric detection. Chapter 1 introduced the capillary electrophoresis and electrochemical detection. It included the different modes of capillary electrophoresis, polyelectrolyte multilayers coating for open tubular capillary electrochromatography, different modes of electrochemical detection and carbon based electrodes. Chapter 2 showed the synthesized and electropolymerized N-acetyltyramine with a negatively charged sulfobutylether-β-cyclodextrin on a boron doped diamond (BDD) electrode followed by the electropolymerzation of pyrrole to form a stable and permselective film for selective dopamine detection. For comparison, a glassy carbon (GC) electrode with a combined electropolymerized permselective film of polytyramine and polypyrrole-1-propionic acid was used for selective detection of dopamine. The detection limit of dopamine was improved from 100 nM at a GC electrode to 5 nM at a BDD electrode. Chapter 3 showed field-amplified sample stacking using a fused silica capillary coated with gold nanoparticles embedded in poly(diallyldimethylammonium) chloride, which has been investigated for the electrophoretic separation of indoxyl sulphate, homovanillic acid and vanillylmandelic acid. The detection limit of the three analytes obtained by using a boron doped diamond electrode was around 75 nM, which was significantly below their normal physiological levels in biological fluids. This combined separation and detection scheme was applied to the direct analysis of these analytes and other interfereing chemicals including uric and ascorbic acids in urine samples without off-line sample treatment or preconcentration. Chapter 4 showed the selective detection of Pseudomonas Quinolone Signal, PQS for quorum sensing from its precursor HHQ, using a simply boron doped diamond electrode. Furthermore, by combining poly(diallyldimethylammonium) chloride modified fused silica capillary with a BDD electrode for amperometric detection, PQS was separated from HHQ and other analogues. The detection limit of PQS was as low as 65 nM. Different P. aeruginosa mutant strains were studied. Chapter 5 showed the separation of aminothiols by layer-by-layer coating of silica capillary with a boron doped diamond electrode. The capillary was layer-by-layer coated with the polycation poly(diallyldimethylammonium) chloride and negatively charged silica nanoparticles. All the aminothiols was separated and detected using a BDD electrode in an acidic electrolyte. It was a novel scheme for the separation and detection of glutathione reduced and oxidized forms, which is important for estimated overstressed level in the human system.

The purification and characterization of the high and low molecular weight forms of rabbit intestinal adenosine deaminase

Accepted Version

Pervasive handheld computing systems

The technological role of handheld devices is fundamentally changing. Portable computers were traditionally application specific. They were designed and optimised to deliver a specific task. However, it is now commonly acknowledged that future handheld devices need to be multi-functional and need to be capable of executing a range of high-performance applications. This thesis has coined the term pervasive handheld computing systems to refer to this type of mobile device. Portable computers are faced with a number of constraints in trying to meet these objectives. They are physically constrained by their size, their computational power, their memory resources, their power usage, and their networking ability. These constraints challenge pervasive handheld computing systems in achieving their multi-functional and high-performance requirements. This thesis proposes a two-pronged methodology to enable pervasive handheld computing systems meet their future objectives. The methodology is a fusion of two independent and yet complementary concepts. The first step utilises reconfigurable technology to enhance the physical hardware resources within the environment of a handheld device. This approach recognises that reconfigurable computing has the potential to dynamically increase the system functionality and versatility of a handheld device without major loss in performance. The second step of the methodology incorporates agent-based middleware protocols to support handheld devices to effectively manage and utilise these reconfigurable hardware resources within their environment. The thesis asserts the combined characteristics of reconfigurable computing and agent technology can meet the objectives of pervasive handheld computing systems.

The gut microbiota as a contributing factor to antipsychotic-induced weight gain and metabolic dysfunction

Schizophrenia represents one of the world’s most devastating illnesses due to its often lifelong course and debilitating nature. The treatment of schizophrenia has vastly improved over recent decades with the discovery of several antipsychotic compounds; however these drugs are not without adverse effects that must be addressed to maximize their therapeutic value. Newer, atypical, antipsychotics are associated with a compilation of serious metabolic side effects including weight gain, insulin resistance, fat deposition, glucose dysregulation and ensuing co-morbidities such as type II diabetes mellitus. The mechanisms underlying these side effects remain to be fully elucidated and adequate interventions are lacking. Further understanding of the factors that contribute these side effects is therefore required in order to develop effective adjunctive therapies and to potentially design antipsychotic drugs in the future with reduced impact on the metabolic health of patients. We investigated if the gut microbiota represented a novel mechanism contributing to the metabolic dysfunction associated with atypical antipsychotics. The gut microbiota comprises the bacteria that exist symbiotically within the gastrointestinal tract, and has been shown in recent years to be involved in several aspects of energy balance and metabolism. We have demonstrated that administration of certain antipsychotics in the rat results in an altered microbiota profile and, moreover, that the microbiota is required for the full scale of metabolic dysfunction to occur. We have further shown that specific antibiotics can attenuate certain aspects of olanzapine and risperidone–induced metabolic dysfunction, in particular fat deposition and adipose tissue inflammation. Mechanisms underlying this novel link appear to involve energy utilization via expression of lipogenic genes as well as reduced inflammatory tone. Taken together, these data indicate that the gut microbiota is an important factor involved in the myriad of metabolic complications associated with antipsychotic therapy. Furthermore, these data support the future investigation of microbial-based therapeutics for not only antipsychotic-induced weight gain but also for tackling the global obesity epidemic.

Rapid separation of biologically important low molecular weight compounds by microchip electrophoresis and ultra-fast performance liquid chromatography

The research work in this thesis reports rapid separation of biologically important low molecular weight compounds by microchip electrophoresis and ultrahigh liquid chromatography. Chapter 1 introduces the theory and principles behind capillary electrophoresis separation. An overview of the history, different modes and detection techniques coupled to CE is provided. The advantages of microchip electrophoresis are highlighted. Some aspects of metal complex analysis by capillary electrophoresis are described. Finally, the theory and different modes of the liquid chromatography technology are presented. Chapter 2 outlines the development of a method for the capillary electrophoresis of (R, S) Naproxen. Variable parameters of the separation were optimized (i.e. buffer concentration and pH, concentration of chiral selector additives, applied voltage and injection condition).The method was validated in terms of linearity, precision, and LOD. The optimized method was then transferred to a microchip electrophoresis system. Two different types of injection i.e. gated and pinched, were investigated. This microchip method represents the fastest reported chiral separation of Naproxen to date. Chapter 3 reports ultra-fast separation of aromatic amino acid by capillary electrophoresis using the short-end technique. Variable parameters of the separation were optimized and validated. The optimized method was then transferred to a microchip electrophoresis system where the separation time was further reduced. Chapter 4 outlines the use of microchip electrophoresis as an efficient tool for analysis of aluminium complexes. A 2.5 cm channel with linear imaging UV detection was used to separate and detect aluminium-dopamine complex and free dopamine. For the first time, a baseline, separation of aluminium dopamine was achieved on a 15 seconds timescale. Chapter 5 investigates a rapid, ultra-sensitive and highly efficient method for quantification of histamine in human psoriatic plaques using microdialysis and ultrahigh performance liquid chromatography with fluorescence detection. The method utilized a sub-two-micron packed C18 stationary phase. A fluorescent reagent, 4-(1-pyrene) butyric acid N-hydroxysuccinimide ester was conjugated to the primary and secondary amino moieties of histamine. The dipyrene-labeled histamine in human urine was also investigated by ultrahigh pressure liquid chromatography using a C18 column with 1.8 μm particle diameter. These methods represent one of the fastest reported separations to date of histamine using fluorescence detection.