90 research outputs found

    Game Comonads & Generalised Quantifiers

    Full text link
    Game comonads, introduced by Abramsky, Dawar and Wang and developed by Abramsky and Shah, give an interesting categorical semantics to some Spoiler-Duplicator games that are common in finite model theory. In particular they expose connections between one-sided and two-sided games, and parameters such as treewidth and treedepth and corresponding notions of decomposition. In the present paper, we expand the realm of game comonads to logics with generalised quantifiers. In particular, we introduce a comonad graded by two parameter nkn \leq k such that isomorphisms in the resulting Kleisli category are exactly Duplicator winning strategies in Hella's nn-bijection game with kk pebbles. We define a one-sided version of this game which allows us to provide a categorical semantics for a number of logics with generalised quantifiers. We also give a novel notion of tree decomposition that emerges from the construction

    Ubiquinone electrochemistry in analysis and sensing

    Get PDF
    Ubiquinone (UQ) is a lipophilic compound present in most living organisms,where UQ’s interesting but complex electrochemistry serves an important rolein the transfer of electrons and protons within and across the mitochondrialmembrane. We briefly review the electrochemical characteristics of UQ and itsreduced state, ubiquinol, in solution and immobilized on electrodes, togetherwith its application in electrochemical sensing and detection systems, for exam-ple, measuring redox status with reference to reactive oxidative species. Theimportance of the local environment, solvent, electrolyte, organic membrane,and pH, on the electrochemical behavior of UQ, is also discussed. We discusstechniques used for the direct detection of UQ such as liquid chromatography-electrochemistry. Mediated electrochemistry of UQ allows for quantitative mea-surements of ions, small molecules, and other analytes such as glucose via chem-ical sensors and biosensors

    Mercury pollution for marine environment at Farwa Island, Libya

    Get PDF
    Coimmobilization of pyranose dehydrogenase as an enzyme catalyst, osmium redox polymers [Os­(4,4′-dimethoxy-2,2′-bipyridine)<sub>2</sub>(poly­(vinylimidazole))<sub>10</sub>Cl]<sup>+</sup> or [Os­(4,4′-dimethyl-2,2′-bipyridine)<sub>2</sub>(poly­(vinylimidazole))<sub>10</sub>Cl]<sup>+</sup> as mediators, and carbon nanotube conductive scaffolds in films on graphite electrodes provides enzyme electrodes for glucose oxidation. The recombinant enzyme and a deglycosylated form, both expressed in Pichia pastoris, are investigated and compared as biocatalysts for glucose oxidation using flow injection amperometry and voltammetry. In the presence of 5 mM glucose in phosphate-buffered saline (PBS) (50 mM phosphate buffer solution, pH 7.4, with 150 mM NaCl), higher glucose oxidation current densities, 0.41 mA cm<sup>–2</sup>, are obtained from enzyme electrodes containing the deglycosylated form of the enzyme. The optimized glucose-oxidizing anode, prepared using deglycosylated enzyme coimmobilized with [Os­(4,4′-dimethyl-2,2′-bipyridine)<sub>2</sub>(poly­(vinylimidazole))<sub>10</sub>Cl]<sup>+</sup> and carbon nanotubes, was coupled with an oxygen-reducing bilirubin oxidase on gold nanoparticle dispersed on gold electrode as a biocathode to provide a membraneless fully enzymatic fuel cell. A maximum power density of 275 μW cm<sup>–2</sup> is obtained in 5 mM glucose in PBS, the highest to date under these conditions, providing sufficient power to enable wireless transmission of a signal to a data logger. When tested in whole human blood and unstimulated human saliva maximum power densities of 73 and 6 μW cm<sup>–2</sup> are obtained for the same fuel cell configuration, respectively

    Self-powered wireless carbohydrate/oxygen sensitive biodevice based on radio signal transmission

    Get PDF
    peer-reviewedHere for the first time, we detail self-contained (wireless and self-powered) biodevices with wireless signal transmission. Specifically, we demonstrate the operation of self-sustained carbohydrate and oxygen sensitive biodevices, consisting of a wireless electronic unit, radio transmitter and separate sensing bioelectrodes, supplied with electrical energy from a combined multi-enzyme fuel cell generating sufficient current at required voltage to power the electronics. A carbohydrate/oxygen enzymatic fuel cell was assembled by comparing the performance of a range of different bioelectrodes followed by selection of the most suitable, stable combination. Carbohydrates (viz. lactose for the demonstration) and oxygen were also chosen as bioanalytes, being important biomarkers, to demonstrate the operation of the self-contained biosensing device, employing enzyme-modified bioelectrodes to enable the actual sensing. A wireless electronic unit, consisting of a micropotentiostat, an energy harvesting module (voltage amplifier together with a capacitor), and a radio microchip, were designed to enable the biofuel cell to be used as a power supply for managing the sensing devices and for wireless data transmission. The electronic system used required current and voltages greater than 44 mu A and 0.57 V, respectively to operate; which the biofuel cell was capable of providing, when placed in a carbohydrate and oxygen containing buffer. In addition, a USB based receiver and computer software were employed for proof-of concept tests of the developed biodevices. Operation of bench-top prototypes was demonstrated in buffers containing different concentrations of the analytes, showcasing that the variation in response of both carbohydrate and oxygen biosensors could be monitored wirelessly in real-time as analyte concentrations in buffers were changed, using only an enzymatic fuel cell as a power supply.PUBLISHEDpeer-reviewe

    Tailoring surfaces and supports for enzyme electrodes with application to biopower device development

    Get PDF
    The objective of this thesis was to investigate the integration of enzymes and redox mediators capable of transferring electrons between enzymes and electrodes. This was done with a view to developing a semi- or fully implantable, miniature, membrane-less enzymatic fuel cell (EFC) exploiting enzymatic oxidation of glucose coupled to the enzymatic reduction of dissolved dioxygen. Miniaturisation is possible if appropriate enzymes are selected as catalysts, instead of non-selective precious metal catalysts, by removal of ion-exchange membrane from assembled fuel cells. Chapter two reports a novel method for the preparation of mediated biocatalytic enzyme electrodes for glucose oxidation, by cross-linking films of glucose oxidase, polymer supports, and a range of osmium complexes bearing functional groups on graphite electrodes. The redox potentials of the osmium complexes are manipulated by preparation of complexes using either 2,2\u27-bipyridine, or 2,2\u27-bipyridine with substitution of electron withdrawing or electron donating groups in the 4 and 4\u27 positions, as ligands. Complexes with lower redox potential, desired for mediation of enzymatic glucose oxidation in fuel cell anodes, are based on use of 4,4\u27-dimethyl-2,2\u27-bipyridine or 4,4\u27-dimethoxy-2,2\u27-bipyridine as a ligand instead of 2,2\u27-bipyridine. Glucose oxidation current densities of 30 and 70 [mu]A cm(-2) at 0.2 and 0.35 V vs. Ag/AgCl applied potential were obtained for enzyme electrodes prepared using [osmium(4,4\u27-dimethoxy-2,2\u27-bipyridine)2(4-aminomethylpyridine)Cl]+ complexes and [osmium(4,4\u27-dimethyl-2,2\u27-bipyridine)2(4-aminomethylpyridine)Cl]+ compared to 120 [mu]A cm(-2) at 0.45 V vs. Ag/AgCl for the enzyme electrode using [osmium(2,2\u27-bipyridine)2(4-aminomethylpyridine)Cl]+, under pseudo-physiological conditions in 5 mM glucose, however stability of signals proved insufficient for long-term operation. The availability of redox mediators, polymer supports and cross-linkers offers wide scope for investigation of anchoring and cross-linking methodology that may improve current generation and stability to provide enzyme electrodes capable for application to longer-term glucose biosensors and anodes in enzymatic fuel cells. Chapter three focuses on an investigation of enzyme electrodes for oxygen reduction at high potentials, for application to EFC cathodes, based on co-immobilisation of multi-copper oxidases, such as bilirubin oxidase or a Streptomyces coelicolor laccase (SLac), with osmium redox complexes possessing an amine-functional group, in the presence of multi-walled carbon nanotubes (MWCNTs) at graphite electrodes. Oxygen reduction current densities of 0.8 mA cm(-2) under pseudo-physiological conditions at 0 V vs. Ag/AgCl are obtained by co-immobilisation of SLac, polyallylamine, MWCNTs and an [osmium(2,2\u27-bipyridine)2(4-aminomethylpyridine)Cl]+ complex. Enzyme electrodes prepared by incorporation of added MWCNT as a support in oxygen saturated, 150 mM NaCl, 50 mM phosphate buffer solution at 37°C, demonstrate a 3-fold increase in oxygen reduction current densities over those prepared without MWCNT. EFCs were assembled by combining the SLac-based enzyme electrode as a cathode, with glucose-oxidising anodes, based on either a pyrroloquinoline quinone or FAD-dependent glucose dehydrogenases and selected osmium redox complexes. The EFC assembled based on the PQQ-dependent glucose dehydrogenase enzyme electrode as the anode provides a maximum power density of 66 [mu]W cm(-2) in 5 mM glucose, 150 mM NaCl, phosphate buffer solution at 37°C. On operation in human serum, although the EFC power dropped to 37 [mu]W cm(-2), it still represents the highest reported power density to date for an enzymatic fuel cell operating in serum. Chapter four reports studies on enzyme electrodes for glucose oxidation prepared using films of novel osmium complex-modified redox polymers as mediators for application to biosensors or biofuel cells. These novel redox polymers were developed by coupling osmium complexes containing amine functional groups to synthetic epoxy-functionalised polymers, providing the possibility of tuning both redox polymer potential, by variation in Os complex ligand, and redox polymer physicochemical properties, by variation in monomer selection and ratio. The capability of the redox polymers to function as mediators for glucose oxidation was tested by co-immobilisation onto graphite with glucose oxidase or an FAD-dependent glucose dehydrogenase using a range of crosslinkers and in the presence and absence of MWCNT. Glucose oxidation current densities as high as 560 [mu]A cm(-2) were obtained in 100 mM glucose, 150 mM NaCl, phosphate buffer solution at 0.45 V vs. Ag/AgCl. Films prepared by crosslinking polymer bound-[Os(4,4\u27-dimethoxy-2,2\u27-bipyridine)2(4-aminomethylpyridine)Cl]+, an FAD-dependent glucose dehydrogenase, and carbon nanotubes provided current densities of 215 [mu]A cm(-2) in 5mM glucose at the lower potential of 0.2 V vs. Ag/AgCl, showing some promise for application to glucose oxidising EFCs. Chapter five reports on use of a fragmented form of a deglycosylated pyranose dehydrogenase (fdgPDH), produced when the deglycosylated enzyme (dgPDH) loses a C-terminal fragment when stored in buffer solution at 4 °C, as a glucose-oxidising catalyst for EFC anodes. A comparison of the capability of three forms of PDH, the native glycosylated enzyme (gPDH), the dgPDH and the fdgPDH, to function as catalysts for glucose oxidation when co-immobilised with osmium redox polymers on graphite electrodes, using flow injection amperometry and cyclic voltammetry, is reported. Higher glucose oxidation current densities are observed for using the fdgPDH when osmium redox polymers with low redox potentials, [Os(4,4\u27-dimethoxy-2,2\u27-bipyridine)2(poly-vinylimidazole)10Cl]+ and [Os(4,4\u27-dimethyl-2,2\u27-bipyridine)2(poly-vinylimidazole)10Cl]+, are selected for the comparison. Under pseudo-physiological conditions, glucose oxidation current densities of ~0.3 mA cm(-2) are obtained from films containing [Os(4,4\u27-dimethyl-2,2\u27-bipyridine)2(poly-vinylimidazole)10Cl]+ and fdgPDH at 0 V vs Ag/AgCl in 5 mM glucose, 150 mM NaCl, phosphate buffer solution. Improved access of the substrate to the active site and improved communication between enzyme and mediator within the film, possibly due to higher local concentration of redox complex, are suggested as two main reasons for the improved current generation of enzyme electrodes prepared using the fdgPDH when compared with thos prepared using the gPDH and dgPDH. Operation of an assembled, membrane-less EFC in physiological solutions, human saliva and blood is demonstrated to provide power to an electronic device to enable wireless transmission of sensing data. The EFC is prepared using the fdgPDH co-immobilised on graphite with [Os(4,4\u27-dimethyl-2,2\u27-bipyridine)2(poly-vinylimidazole)10Cl]+ and MWCNT as anode, coupled to an oxygen-reducing cathode based on adsoprtion of a bilirubin oxidase on gold nanoparticles. Maximum power densities of up to 325 [mu]W cm(-2) were obtained in 5 mM glucose, 150 mM NaCl, phosphate buffer solution. When tested in whole human blood a power density of 80 [mu]W cm(-2) was achieved, the highest power density reported to date for EFCs operating in human blood. Finally, chapter 6 summarises my research attempts to address some the problems associated with the integration of biocatalysts and mediators, and looking at a range of techniques to improve the current output and stability of these modified enzyme-based electrodes through the incorporation of nanoparticles and/or different immobilising techniques. Chapter 6 also provides some opinion on the direction such research may take in the future. My PhD also included the synthesis of a range of redox polymers, which were also distributed to a range of collaborating partners resulting in a number of publications which continues to grow. Although these results are not discussed in this thesis, an appendix is included providing a list of my co-authored publications along with oral and poster presentations and research visits made over the course of my PhD studies
    corecore