Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation

Belief merging is an important but difficult problem in Artificial Intelligence, especially when sources of information are pervaded with uncertainty. Many merging operators have been proposed to deal with this problem in possibilistic logic, a weighted logic which is powerful for handling inconsistency and deal-ing with uncertainty. They often result in a possibilistic knowledge base which is a set of weighted formulas. Although possibilistic logic is inconsistency tolerant, it suffers from the well-known "drowning effect". Therefore, we may still want to obtain a consistent possibilistic knowledge base as the result of merging. In such a case, we argue that it is not always necessary to keep weighted information after merging. In this paper, we define a merging operator that maps a set of possibilistic knowledge bases and a formula representing the integrity constraints to a classical knowledge base by using lexicographic ordering. We show that it satisfies nine postulates that generalize basic postulates for propositional merging given in [11]. These postulates capture the principle of minimal change in some sense. We then provide an algorithm for generating the resulting knowledge base of our merging operator. Finally, we discuss the compatibility of our merging operator with propositional merging and establish the advantage of our merging operator over existing semantic merging operators in the propositional case.

Controlled fragrance delivery in functionalised ionic liquid-enzyme systems

It is often believed that both ionic liquids and surfactants generally behave as non-specific denaturants of proteins. In this paper, it is shown that amphiphilic ionic liquids bearing a long alkyl chain and a target molecule, where the target molecule is appended via a carboxylic ester functionality, can represent super-substrates that enable the catalytic activity of an enzyme, even at high concentrations in solution. Menthol has been chosen as the target molecule for slow and controlled fragrance delivery, and it was found that the rate of the menthol release can be controlled by the chemical structure of the ionic liquid. At a more fundamental level, this study offers an insight into the complex hydrophobic, electrostatic, and hydrogen bond interactions between the enzyme and substrate.

Signal enhancement of surface plasmon resonance immunoassay using enzyme precipitation-functionalized gold nanoparticles: A femto molar level measurement of anti-glutamic acid decarboxylase antibody

Colloidal gold nanoparticles (AuNPs) and precipitation of an insoluble product formed by HRP-biocatalyzed oxidation of 3,3'-diaminobenzidine (DAB) in the presence of H2O2 were used to enhance the signal obtained from the surface plasmon resonance (SPR) biosensor. The AuNPs were synthesized and functionalized with HS-OEG(3)-COOH by self assembling technique. Thereafter, the HS-OEG3-COOH functionalized nanoparticles were covalently conjugated with horseradish peroxidase (HRP) and anti IgG antibody to form an enzyme-immunogold complex. Characterizations were performed by several methods: UV-vis absorption, DLS, HR-TEM and Fr-IR. The Au-anti IgG-HRP complex has been applied in enhancement of SPR immunoassay using a sensor chip constructed by 1:9 molar ratio of HS-OEG(6)-COOH and HS-OEG(3)-OH for detection of anti-GAD antibody. As a result, AuNPs showed their enhancement as being consistent with other previous studies while the enzyme precipitation using DAB substrate was applied for the first time and greatly amplified the SPR detection. The limit of detection was found as low as 0.03 ng/ml of anti-GAD antibody (or 200 fM) which is much higher than that of previous reports. This study indicates another way to enhance SPR measurement, and it is generally applicable to other SPR-based immunoassays.

Effects of Gold Nanoparticle and Enzyme Precipitation on Enhancement of Surface Plasmon Resonance Immunoassay: A Super Sensitive Measurement of Anti- Glutamic Acid Decarboxylase Antibody

Introduction: In this study, colloidal gold nanoparticle and precipitation of an insoluble product formed by HRP-biocatalyzed oxidation of 3,3'-diaminobenzidine (DAB) in the presence of H2O2 were used to enhance the signal obtained from the surface plasmon resonance biosensor.

Methods: The colloidal gold nanoparticle was synthesized as described by Turkevitch et al., and their surface was firstly functionalized with HS(CH2)11(OCH2CH2)3COOH (OEG3¬-COOH) by self assembling technique. Thereafter, those OEG3-COOH functionalized nanoparticles were covalently conjugated with horseradish peroxidase (HRP) and anti-IgG antibody (specific to the Fc portion of all human IgG subclasses) to form an enzyme-immunogold complex. Characterization was performed by several methods: UV-Vis absorption, dynamic light scattering (DLS), transmission electron microscopy (TEM) and FTIR. The as-prepared enzyme-immunogold complex has been applied in enhancement of SPR immunoassay. A sensor chip used in the experiment was constructed by using 1:10 molar ratio of HS(CH2)11(OCH2CH2)6COOH and HS(CH2)11(OCH2CH2)3OH. The capture protein, GAD65 (autoantigen) which is recognized by anti-GAD antibody (autoantibody) in the sera of insulin-dependent diabetes mellitus patients, was immobilized onto the 1:10 surface via biotin-streptavidin interaction.

Results and conclusions: In the research, we reported the influences of gold nanoparticle and enzyme precipitation on the enhancement of SPR signal. Gold nanoparticle showed its enhancement as being consistent with other previous studies, while the enzyme precipitation using DAB substrate was applied for the first time and greatly amplified the SPR detection. As the results, anti-GAD antibody could be detected at pg/ml level which is far higher than that of commercial ELISA detection kit. This study indicates another way to enhance SPR measurement, and it is generally applicable to other SPR-based immunoassays.

Mammalian triokinase and dihydroxyacetone kinase are the same enzyme

It is widely accepted that the ATP-dependent phosphorylation of D-glyceraldehyde in the fructokinase pathway of fructose metabolism requires the enzyme “triokinase”. However, experimental data on this enzyme are remarkably scarce. The enzyme has been purified from a variety of sources and peptides derived from the pig kidney enzyme show high similarity to human dihydroxyacetone kinase – an enzyme which also has FMN cyclase activity in high manganese ion concentrations. The properties of the two enzymes are also highly similar. Therefore it is proposed that mammalian triokinase and dihydroxyacetone kinase are, in fact, the same enzyme. This has consequences for investigations of normal and aberrant fructose metabolism and for the teaching of biochemistry in medical and science courses.

Switching between molecular switch types by module rearrangement:Ca -enabled, H-driven 'off-on-off', H-driven YES and PASS 0 as well as H, Ca-driven AND logic operations

Several logic gates and switches can be accessed from two different combinations of a single set of fluorophore, receptor and spacer components.

Use of immunosorbent-purified antigens of Fasciola hepatica in enzyme immunoassays

A monoclonal antibody specific for the T1 tegumental antigen of Fasciola hepatica was used as a solid-phase immunosorbent for the purification of T1 antigen from homogenised mature F hepatica. Material fractionated by this technique was successfully used in enzyme-linked immunoassays to detect antibodies to F hepatica in sera from sheep and cattle. Species differences in response to infection by F hepatica were demonstrated.

Tailoring Plasmonic Metamaterials for DNA Molecular Logic Gates

Structural and functional information encoded in DNA combined with unique properties of nanomaterials could be of use for the construction of novel biocomputational circuits and intelligent biomedical nanodevices. However, at present their practical applications are still limited by either low reproducibility of fabrication, modest sensitivity, or complicated handling procedures. Here, we demonstrate the construction of label-free and switchable molecular logic gates that use specific conformation modulation of a guanine- and thymine- rich DNA, while the optical readout is enabled by the tunable alphabetical metamaterials, which serve as a substrate for surface enhanced Raman spectroscopy (MetaSERS). By computational and experimental investigations, we present a comprehensive solution to tailor the plasmonic responses of MetaSERS with respect to the metamaterial geometry, excitation energy, and polarization. Our tunable MetaSERS-based DNA logic is simple to operate, highly reproducible, and can be stimulated by ultra-low concentration of the external inputs, enabling an extremely sensitive detection of mercury ions.

An assay for angiotensin-converting enzyme using capillary zone electrophoresis

A sensitive and rapid method was developed for angiotensin-converting enzyme (ACE) activity determination by capillary zone electrophoresis. Hippuryl-View the MathML source-histidyl-View the MathML source-leucine, a synthetic tripeptide, was used as the ACE-specific substrate. Capillary zone electrophoresis was employed to separate the products of the enzymatic reaction and the ACE activity was determined by quantification of hippuric acid, a result of the enzymatic reaction on the tripeptide. The capillary electrophoresis was performed in a 27 cm × 75 μm i.d. fused-silica capillary using 200 mM boric acid–borate buffer (pH 9.0) as a run buffer with an applied voltage of 8.1 kV at a capillary temperature of 23°C. The electrophoresis was monitored at 228 nm. Each electrophoretic run requires only a nanoliter of the enzymatic reactant solution, at only 6 min, rendering a powerful tool for the ACE assay.

Tools for Finding Inconsistencies in Real-world Logic-based Systems

Currently there is extensive theoretical work on inconsistencies in logic-based systems. Recently, algorithms for identifying inconsistent clauses in a single conjunctive formula have demonstrated that practical application of this work is possible. However, these algorithms have not been extended for full knowledge base systems and have not been applied to real-world knowledge. To address these issues, we propose a new algorithm for finding the inconsistencies in a knowledge base using existing algorithms for finding inconsistent clauses in a formula. An implementation of this algorithm is then presented as an automated tool for finding inconsistencies in a knowledge base and measuring the inconsistency of formulae. Finally, we look at a case study of a network security rule set for exploit detection (QRadar) and suggest how these automated tools can be applied.

Logic and Memory Design Based on Unequal Error Protection for Voltage-scalable, Robust and Adaptive DSP Systems

In this paper, we propose a system level design approach considering voltage over-scaling (VOS) that achieves error resiliency using unequal error protection of different computation elements, while incurring minor quality degradation. Depending on user specifications and severity of process variations/channel noise, the degree of VOS in each block of the system is adaptively tuned to ensure minimum system power while providing "just-the-right" amount of quality and robustness. This is achieved, by taking into consideration block level interactions and ensuring that under any change of operating conditions, only the "less-crucial" computations, that contribute less to block/system output quality, are affected. The proposed approach applies unequal error protection to various blocks of a system-logic and memory-and spans multiple layers of design hierarchy-algorithm, architecture and circuit. The design methodology when applied to a multimedia subsystem shows large power benefits ( up to 69% improvement in power consumption) at reasonable image quality while tolerating errors introduced due to VOS, process variations, and channel noise.