Herbrand's theorem revisited

We present recent results on the deepening connection between proof theory and formal language theory. To each first-order proof with prenex cuts of complexity at most Π_n/Σ_n, we associate a typed (non-deterministic) tree grammar of order n (equivalently, an order n recursion scheme) that abstracts the computation of Herbrand sets obtained through Gentzen-style cut elimination. Apart from offering a means to compute Herbrand expansions directly from proofs with cuts, these grammars provide a structural counterpart to Herbrand's theorem that opens the door to tackling a number of questions in proof theory such as proof equivalence, proof compression and proof complexity. (© 2016 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Circular proofs for the modal mu-calculus

Inspired by Stirling's tableau proofs [4] we introduce a finite, cut-free sound and complete sequent calculus for the modal mu-calculus. Proofs in this system are finite trees in which leaves are either axioms or assumptions that are discharged by a specific rule of the calculus. The discharge rules provide a way to unfold assumptions motivating the name circular proofs. (© 2016 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Functional Mutations in and Characterization of VHH Against Helicobacter pylori Urease

Manipulation of clinically significant antibodies can effectively improve the processes of diagnosis and treatment. Affinity maturation process has a significant role in improvement of antibodies efficiency. Error-prone PCR technique is one of the proposed methods for improvement of the affinity of antibodies. In the present research, a method was applied to camel heavy-chain antibody (VHH, nanobody) raised against UreC subunit of urease enzyme from Helicobacter pylori. This VHH was used as a starting molecule to construct a highly diversified phage displayed VHH library. The constructed library of nanobody mutants was subjected to several rounds of panning against UreC antigen. High-affinity mutant was selected. Our VHH (HMR23) showed 1.5-fold higher binding activity than the parental VHH. In addition, the mutant VHH presented a better performance in inhibition of urease activity at low concentrations retaining its specificity and thermal stability.     

Off-chip passivated-electrode, insulator-based dielectrophoresis (OπDEP)

In this study, we report the first off-chip passivated-electrode, insulator-based dielectrophoresis microchip (OπDEP). This technique combines the sensitivity of electrode-based dielectrophoresis (eDEP) with the high-throughput and inexpensive device characteristics of insulator-based dielectrophoresis (iDEP). The device is composed of a permanent, reusable set of electrodes and a disposable, polymer microfluidic chip with microposts embedded in the microchannel. The device operates by capacitively coupling the electric fields into the microchannel; thus, no physical connections are made between the electrodes and the microfluidic device. During operation, the polydimethylsiloxan (PDMS) microfluidic chip fits onto the electrode substrate as a disposable cartridge. OπDEP uses insulting structures within the channel as well as parallel electrodes to create DEP forces by the same working principle that iDEP devices use. The resulting devices create DEP forces which are larger by two orders of magnitude for the same applied voltage when compared to off-chip eDEP designs from literature, which rely on parallel electrodes alone to produce the DEP forces. The larger DEP forces allow the OπDEP device to operate at high flow rates exceeding 1 mL/h. In order to demonstrate this technology, Escherichia coli (E. coli), a known waterborne pathogen, was trapped from water samples. Trapping efficiencies of 100 % were obtained at flow rates as high as 400 μL/h and 60 % at flow rates as high as 1200 μL/h. Additionally, bacteria were selectively concentrated from a suspension of polystyrene beads.

Mesophilic alcohol dehydrogenase behavior in imidazolium based ionic liquids

The use of ionic liquids to replace organic solvents in biocatalytic processes has recently gained much attention. Despite the wide applications of oxidoreductases, there are few reports of their catalyzed reaction in ionic liquid. We have investigated the influence of four water miscible ionic liquids on the activity, stability and structure of the mesophilic alcohol dehydrogenase from yeast. Upon changes in ionic liquids concentration, both activity and stability of the enzyme were affected. As the concentration of ionic liquids increased, K_m increased while k_cat decreased. Associated conformational changes caused by ILs (150 mM) were monitored using fluorescence technique. Finally, the effects of ILs cations and anions on the enzyme activity and stability in aqueous IL mixtures were discussed.     

Diabetes Treatment: Selective Synthetic Receptor for Glucose

A new synthetic receptor has selective and strong interactions with glucose, directing towards future diabetes management. These studies pave the way to design future selective receptors that can potentially be modified with combinations of urea walls having multiple H-binding sites to generate hydrophilic affinities, and the incorporation of promising aromatic systems for hydrophobic π-interactions with glucose CH.     

Nature of metal–NHC bonds in some potential anticancer [(NHC(R))2→M]+ (M = CuI,AgI, AuI,R = n-propyl,n-butyl,n-pentyl,n-hexyl,n-heptyl,n-octyl,n-nonyl,n-decyl) complexes

1. Download : Download high-res image (144KB)
2. Download : Download full-size image

     

Unraveling the concerted catalytic mechanism of the human immunodeficiency virus type 1 (HIV-1) protease: a hybrid QM/MM study

Structural Chemistry - We give an account of a one-step concerted catalytic mechanism of HIV-1 protease (PR) hydrolysis of its natural substrate using a hybrid QM/MM method. The mechanism is a...     

Effect of the annealing temperature on crystalline phase of copper oxide nanoparticle by copper acetate precursor and sol–gel method

A sol–gel route to synthesize copper oxide nanoparticles with an average size of ca. 63 nm from copper acetate precursor and monoethanolamine as the capping agent is reported. Structural characterization showed the formation of a cubic phase for CuO. The effect of annealing temperature on formation of crystalline phases was investigated. Characterization of the products was performed using thermo-gravimetric analysis, X-ray diffraction, field emission scanning electron microscopy, and diffuse reflectance. The results showed that there are significant differences in the morphological, crystallographic, structural, and optical properties of the nanostructures prepared at different annealing temperatures. The optical properties and band gap of CuO nanoparticles were studied by UV–Vis spectroscopy. According to the results of the optical measurements, the band gap is estimated to be 1.41 eV. These results showed that the band gap energy changed with increase of annealing temperature, which can be attributed to the change in grain size of the samples.     

Electrochemical Sensing of Ascorbic Acid,Hydrogen Peroxide and Glucose by Bimetallic (Fe,Ni)−CNTs Composite Modified Electrode

In this research, bimetallic supported CNT modified electrode ( Fe,Ni/CNTs/GCE) has been developed for sensitive, stable and highly elctroactive sensing of glucose, ascorbic acid and hydrogen peroxide. Transition metals such as Iron (Fe) and Nickel (Ni) offer high electrical and thermal conductance, high active surface‐to‐volume ratio and presence of d‐band electrons gives enhanced electrocatalytic behavior. While, CNTs provide high surface area, stability and excellent conductivity. Synthesized material is characterized by SEM, EDS, XRD and FTIR to access morphology, elemental composition and structure. This unique combination is employed for the electrochemical sensing of ascorbic acid, glucose and hydrogen peroxide and different experimental parameters are optimized. Fe,Ni/CNTs/GCE shows good sensing efficiency at pH 7.4 which is ideally suitable for variety of analytes. The modified electrode also show good reproducibility and sensitivity under optimized conditions and can be reused upto 30 cycles without compromising the efficiency. With good linearity, reproducibility and limit of detection, this material possess significant potential as non‐enzymatic biosensor for variety of analytes.