Analytic Methods for the Logic of Proofs

The logic of proofs (lp) was proposed as Gdels missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity is not immediately evident. We study possible formulations of analytic tableau proof methods for lp that preserve the subformula property. Two sound and complete tableau decision methods of increasing degree of analycity are proposed, KELP and preKELP. The latter is particularly inspired on S4-proofs. The crucial role of proof constants in the structure of lp-proofs methods is analysed. In particular, a method for the abduction of proof constant specifications in strongly analytic preKELP proofs is presented; abduction heuristics and the complexity of the method are discussed.

Asymmetric Ramsey Properties of Random Graphs Involving Cliques

Consider the following problem: Forgiven graphs G and F(1),..., F(k), find a coloring of the edges of G with k colors such that G does not contain F; in color i. Rodl and Rucinski studied this problem for the random graph G,,, in the symmetric case when k is fixed and F(1) = ... = F(k) = F. They proved that such a coloring exists asymptotically almost surely (a.a.s.) provided that p <= bn(-beta) for some constants b = b(F,k) and beta = beta(F). This result is essentially best possible because for p >= Bn(-beta), where B = B(F, k) is a large constant, such an edge-coloring does not exist. Kohayakawa and Kreuter conjectured a threshold function n(-beta(F1,..., Fk)) for arbitrary F(1), ..., F(k). In this article we address the case when F(1),..., F(k) are cliques of different sizes and propose an algorithm that a.a.s. finds a valid k-edge-coloring of G(n,p) with p <= bn(-beta) for some constant b = b(F(1),..., F(k)), where beta = beta(F(1),..., F(k)) as conjectured. With a few exceptions, this algorithm also works in the general symmetric case. We also show that there exists a constant B = B(F,,..., Fk) such that for p >= Bn(-beta) the random graph G(n,p) a.a.s. does not have a valid k-edge-coloring provided the so-called KLR-conjecture holds. (C) 2008 Wiley Periodicals, Inc. Random Struct. Alg., 34, 419-453, 2009

A Character Formula for the Category (O)over-tilde of Modules for Affine sl(2)

One may construct, for any function on the integers, an irreducible module of level zero for affine sl(2) using the values of the function as structure constants. The modules constructed using exponential-polynomial functions realize the irreducible modules with finite-dimensional weight spaces in the category (O) over tilde of Chari. In this work, an expression for the formal character of such a module is derived using the highest weight theory of truncations of the loop algebra.

Inhibition of myeloperoxidase-mediated protein nitration by tempol: Kinetics, mechanism, and implications

Despite the therapeutic potential of tempol (4-hydroxy-2,2,6,6-tetra-methyl-1-piperidinyloxy) and related nitroxides as antioxidants, their effects on peroxidase-mediated protein tyrosine nitration remain unexplored. This posttranslational protein modification is a biomarker of nitric oxide-derived oxidants, and, relevantly, it parallels tissue injury in animal models of inflammation and is attenuated by tempol treatment. Here, we examine tempol effects on ribonuclease (RNase) nitration mediated by myeloperoxidase (MPO), a mammalian enzyme that plays a central role in various inflammatory processes.. Some experiments were also performed with horseradish peroxidase (HRP). We show that tempol efficiently inhibits peroxidase-mediated RNase nitration. For instance, 10 mu M tempol was able to inhibit by 90% the yield of 290 mu M 3-nitrotyrosine produced from 370 mu M RNase. The effect of tempol was not completely catalytic because part of it was consumed by recombination with RNase-tyrosyl radicals. The second-order rate constant of the reaction of tempol with MPO compound I and 11 were determined by stopped-flow kinetics as 3.3 x 10(6) and 2.6 x 10(4) M-1 s(-1), respectively (pH 7.4, 25 degrees C); the corresponding HRP constants were orders of magnitude smaller. Time-dependent hydrogen peroxide and nitrite consumption and oxygen production in the incubations were quantified experimentally and modeled by kinetic simulations. The results indicate that tempol inhibits peroxidase-mediated RNase nitration mainly because of its reaction with nitrogen dioxide to produce the oxammonium cation, which, in turn, recycles back to tempol by reacting with hydrogen peroxide and superoxide radical to produce oxygen and regenerate nitrite. The implications for nitroxide antioxidant mechanisms are discussed.

Polymethine cyanine dyes in beta-cyclodextrin solution: multiple equilibria and chemical oxidation

Absorption and fluorescence spectroscopy, electrochemical techniques, and semiempirical calculations were employed to characterize the multiple complexation equilibria between two polymethine cyanine dyes (IR-786 and Indocyanine green-ICG, 5) and beta-cyclodextrin (beta-CD, L), as well as the chemical reactivity of the complexed and uncomplexed species against the oxidizing agents hypochlorite (HC) and hydrogen peroxide (HP). IR-786 dimerization is favored with the increase in beta-CD concentration in the form of (SL)(2) complexes. In the case of ICG, free dimers (D) and SL complexes are favored. Both IR-786 and ICG react and discolor in the presence of HC and HP. For IR-786, the reaction with HP and HC proceeds with observed rate constants of 10(-3) and 0.28 s(-1) and second-order rate constants (k(2)) of similar to 10(-3) and 10(4) M(-1) s(-1), respectively. The intermediate species observed in the bleaching reactions of IR-786 and ICG were shown, by cyclic voltammetry and VIS absorption, to result from one electron oxidation. IR-786 complexed with beta-CD is protected against bleaching in the presence of HP and HC by factors of 20 and 4, respectively. This protection was not observed in ICG complexes. Superdelocalizability profile of both dyes and frontier orbital analysis indicates that beta-CD does not protect ICG from oxidation by HP or HC, whereas the 2:2 IR-786/beta-Cd complex is able to avoid the oxidation of IR-786. We concluded that the decrease in the chemical reactivity of the dyes against oxidant agents in the presence of beta-CD is due to the formation of (SL)(2) complexes. Copyright (C) 2010 John Wiley & Sons, Ltd.

Electronic Structure of the Ground and Low-Lying Electronic States of MoB and MoB(+)

Multiconfigurational second-order perturbation theory (CASSCF//CASPT2) and quadruple-zeta ANO-RCC basis sets were employed to investigate the ground and low-lying electronic states of MoB and MoB(+). Spectroscopic constants, potential energy curves, wavefunctions, Mulliken population analyses, and ionization energies are given. The ground state of MoB is of X(6)Pi symmetry (R(e) = 1.968 angstrom, omega(e) = 664 cm(-1), and mu = 2.7 D), giving rise to a Omega = 7/2 ground state after including spin-orbit coupling. For MoB(+), the ground state is computed to be of X(7)Sigma(+) symmetry (R(e) = 2.224 angstrom, omega(e) = 141 cm(-1), and mu = 1.2 D), with an adiabatic ionization energy of 7.19 eV and a vertical one of 7.53 eV. (C) 2011 Wiley Periodicals, Inc. Int J Quantum Chem 111: 3362-3370, 2011

Experimental Evidence of the Occurrence of Intramolecular Electron Transfer in Catalyzed 1,2-Dioxetane Decomposition

The activation parameters for the thermal decomposition of 13 acridinium-substituted 1,2-dioxetanes, bearing an aromatic moiety, were determined and their chemiluminescence emission quantum yields estimated, utilizing in situ photosensitized 1,2-dioxetane generation and observation of its thermal decomposition kinetics, without isolation of these highly unstable cyclic peroxides. Decomposition rate constants show linear free-energy correlation for electron-withdrawing substituents, with a Hammett reaction constant of rho = 1.3 +/- 0.1, indicating the occurrence of an intramolecular electron transfer from the acridinium moiety to the 1,2-dioxetane ring, as postulated by the intramolecular chemically initiated electron exchange luminescence (CIEEL) mechanism. Emission quantum yield behavior can also be rationalized on the basis of the intramolecular CIEEL mechanism, additionally evidencing its occurrence in this transformation. Both relations constitute the first experimental evidence for the occurrence of the postulated intramolecular electron transfer in the catalyzed and induced decomposition of properly substituted 1,2-dioxetanes.

Excited Electronic States, Transition Probabilities, and Radiative Lifetimes of CAs: A Theoretical Contribution and Challenge to Experimentalists

High-level CASSCF/MRCI calculations with a quintuple-zeta quality basis set are reported by characterizing for the first time a manifold of electronic states of the CAs radical yet to be investigated experimentally. Along with the potential energy curves and the associated spectroscopic constants, the dipole moment functions for selected electronic states as well as the transition dipole moment functions for the most relevant electronic transitions are also presented. Estimates of radiative transition probabilities and lifetimes complement this investigation, which also assesses the effect of spin-orbit interaction on the A (2)Pi state. Whenever pertinent, comparisons of similarities and differences with the isovalent CN and CP radicals are made.

Surfactant degradation by a catechol-driven Fenton reaction

The addition of 0.5 mM catechol is shown to accelerate the degradation and mineralization of the anionic surfactant DOWFaX (TM) 2A1 (sodium dodecyldiphenyloxide disulfonate) under conventional Fenton reaction conditions (Fe(II) plus H(2)O(2) at pH 3). The catalytic effect causes a 3-fold increase in the initial rate (up to ca. 20 min) of conversion of the surfactant to oxidation products (apparent first-order rate constants of 0.021 and 0.061 min(-1) in the absence and presence of catechol, respectively). Although this catalytic rate increase persists for a certain amount of time after complete disappearance of catechol itself (ca. 8 min), the reaction rate begins to decline slowly after the initial 20 min towards that observed in the absence of added catechol. Total organic carbon (TOC) measurements of net mineralization and cyclic voltammetric and high performance liquid chromatographic (HPLC) measurements of the initial rate of reaction of catechol and the surfactant provide insight into the role of catechol in promoting the degradation of the surfactant and of degradation products as the eventual inhibitors of the Fenton reaction. (C) 2010 Elsevier B.V. All rights reserved.

Effects of Extrusion on the Emulsifying Properties of Rumen and Soy Protein

Defatted rumen protein and soy protein concentrate were extruded in a 15.5:1 L/D single-screw extruder at the optimum conditions for their expansion (150A degrees C and 35% moisture, and 130A degrees C and 35% moisture, respectively). Emulsions were produced with these proteins and studied by rheology and time domain low-resolution (1)H nuclear magnetic resonance (TD-NMR). Extrusion increased storage modulus of rumen protein emulsions. The opposite was observed for soy protein. Mechanical relaxation showed the existence of three relaxing components in the emulsions whose relative contributions were changed by extrusion. Likewise, spin-spin relaxation time constants (T (2)) measured by TD-NMR also showed three major distinct populations of protons in respect to their mobility that were also altered by extrusion. Extrusion increased surface hydrophobicity of both rumen and soy protein. Solubility of rumen protein increased with extrusion whereas soy protein had its solubility decreased after processing. Extrusion promoted molecular reorganization of protein, increasing its superficial hydrophobicity, affecting its interfacial properties and improving its emulsifying behavior. The results show that extrusion can promote the use of rumen, a by-product waste from the meat industry, in human nutrition by replacing soy protein in food emulsions.

Dinuclear Azide-Bridged Copper(II) Complex as Building Block for the Assembly of a 2D-Supramolecular Array

A novel Schiff base-copper(II) complex [Cu(2)L(2)(N(3))(2)](ClO(4))(2) 1, where L = (4-imidazolyl)ethylene-2-amino-1-ethylpyridine (apyhist), containing azide-bridges between adjacent copper ions in a dinuclear arrangement was isolated and characterized both in the solid state and in solution by X-ray crystallography and different spectroscopic techniques. Azide binding constants were estimated from titrations of the precursor [CuL(H(2)O)(2)](2+) solutions with sodium azide, giving rise to the azido-bridged species, [Cu(2)L(2)(N(3))(2)](2+). Raman spectra showed asymmetric stretching band at 2060 cm(-1), indicating the presence of azido ligands with a symmetric mu(1,) (1) binding geometry. EPA spectra, in frozen methanol/water solutions at 77 K, exhibited characteristic features of copper centers in tetragonal pyramidal coordination geometry, exhibiting magnetic interactions between them. Further, in solid state, two different values for magnetic coupling in this species were obtained, J/k = -(5.14 +/- 0.02) cm(-1) attributed to the mu(1, 1) azide-bridge mode, and J`z`/k = -(2.94 +/- 0.11) cm(-1) for the interaction between dinuclear moieties via water/perchorate bridges. Finally, an attempt was made to correlate structure and magnetic data for this dinuclear asymmetric end-on azido bridged-copper(II) 1 complex with those of another correlated dinuclear system, complex [Cu(2)L(2)Cl(2)](ClO(4))(2) 2, containing the same tridentate diimine ligand, but with chloro-bridged groups between the copper centres.

Electrostatic and Hydrophobic Interactions Involved in CNT Biofunctionalization with Short ss-DNA

This work is aimed at studying the adsorption mechanism of short chain 20-mer pyrimidinic homoss-DNA (oligodeoxyribonucleotide, ODN: polyC(20) and polyT(20)) onto CNT by reflectometry. To analyze the experimental data, the effective-medium theory using the Bruggemann approximation represents a Suitable optical model to account for the surface properties (roughness, thickness, and optical constants) and the size of the adsorbate. Systematic information about the involved interactions is obtained by changing the physicochemical properties of the system. Hydrophobic and electrostatic interactions are evaluated by comparing the adsorption oil hydrophobic CNT and oil hydrophilic silica and by Modulating the ionic Strength With and without Mg(2+). The ODN adsorption process oil CNT is driven by hydrophobic interactions only when the electrostatic repulsion is Suppressed. The adsorption mode results in ODN molecules in a side-on orientation with the bases (nonpolar region) toward the surface. This unfavorable orientation is partially reverse by adding Mg(2+). On the other hand, the adsorption oil silica is dominated by the strong repulsive electrostatic interaction that is screened at high ionic strength or mediated by Mg(2+). The cation-mediated process induces the interaction of the phosphate backbone (polar region) with the surface, leaving the bases free for hybridization. Although the general adsorption behavior of the pyrimidine bases is the same, polyC(20) presents higher affinity for the CNT Surface due to its acid-base properties.

Direct Kinetic Observation of the Chemiexcitation Step in Peroxyoxalate Chemiluminescence

A high-energy intermediate in the peroxyoxalate reaction can be accumulated at room temperature under specific reaction conditions and in the absence of any reducing agent in up to micromolar concentrations. Bimolecular interaction of this intermediate, accumulated in the reaction of oxalyl chloride with hydrogen peroxide, with an activator (highly fluorescent aromatic hydrocarbons with low oxidation potential) added in delay shows unequivocally that this intermediate is responsible for chemiexcitation of the activator. Activation parameters for the unimolccular decomposition of this intermediate (Delta H(double dagger) = 11.2 kcal mol(-1); Delta S(double dagger) = -23.2 cal mol(-1) K(-1)) and for its bimolecular reaction with 9,10-diphenylanthracene (Delta H(double dagger) = 4.2 kcal mol(-1); Delta S(double dagger) = -26.9 cal mol(-1) K(-1)) show that this intermediate is much less stable than typical 1,2-dioxetanes and 1,2-dioxetanones and demonstrate its highly favored interaction with the activator. Therefore, it can be inferred that structural characterization of the high-energy intermediate in the presence of an activator must be highly improbable. The observed linear free-energy correlation between the catalytic rate constants and the oxidation potentials of several activators definitely confirms the occurrence of the chemically initiated electron-exchange luminescence (CIEEL) mechanism in the chemiexcitation step of the peroxyoxalate system.

Electronic Structure and Chemical Bonding in the Lowest Electronic States of TcN

Multiconfiguration second-order perturbation theory, with the inclusion of relativistic effects and spin-orbit Coupling, was employed to investigate the nature of the ground and low-lying Lambda-S and Omega states of the TcN molecule. Spectroscopic constants, effective bond order, and potential energy curves for 13 low-lying Lambda-S states and 5 Omega states are given, The computed ground state of TcN is of Omega = 3 symmetry (R(e) = 1.605 angstrom and omega(e) = 1085 cm(-1)), originating mainly from the (3)Delta Lambda-S ground state. This result is contrasted with the nature of the ground state for other VIIB transtion-metal mononitrides, including X(3)Sigma(-) symmetry for MnN and Omega = 0(+) symmetry for ReN, derived also from a X(3)Sigma(-) state.

Irreversible inhibition of human cathepsins B, L, S and K by hypervalent tellurium compounds

The inhibition of human cysteine cathepsins B, L, S and K was evaluated by a set of hypervalent tellurium compounds (telluranes) comprising both organic and inorganic derivatives. All telluranes studied showed a time-and concentration-dependent irreversible inhibition of the cathepsins, and their second-order inactivation rate constants were determined. The organic derivatives were potent inhibitors of the cathepsins and clear specificities were detected, which were parallel to their known substrate specificities. In all cases, the activity of the tellurane-inhibited cathepsins was recovered by treatment of the inactivated enzymes with reducing agents. The maximum stoichiometry of the reaction between cysteine residues and telluranes were also determined. The presented data indicate that it is possible to design organic compounds with a tellurium(IV) moiety as a novel warhead that covalently modifies the catalytic cysteine, and which also form strong interactions with subsites of cathepsins B, L, S and K, resulting in more specific inhibition.