Approximations of modal logics: K and beyond

Inspired by the recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of the n-degree of introspection that is allowed, thus generating modal n-logics. The semantics for n-logics is presented, in which formulas are evaluated with respect to paths, and not possible worlds. A tableau-based proof system is presented, n-SST, and soundness and completeness is shown for the approximation of modal logics K, T, D, S4 and S5. (c) 2008 Published by Elsevier B.V.

The Catalytic Acid in the Dephosphorylation of the Cdk2-pTpY/CycA Protein Complex by Cdc25B Phosphatase

The development of anticancer therapeutics that target Cdc25 phosphatases is now an active area of research. A complete understanding of the Cdc25 catalytic mechanism would certainly allow a more rational inhibitor design. However, the identity of the catalytic acid used by Cdc25 has been debated and not established unambiguously. Results of molecular dynamics simulations with a calibrated hybrid potential for the first reaction step catalyzed by Cdc25B in complex with its natural substrate, the Cdk2-pTpY/CycA protein complex, are presented here. The calculated reaction free-energy profiles are in very good agreement with experimental measurements and are used to discern between different proposals for the general acid. In addition, the simulations give useful insight on interactions that can be explored for the design of inhibitors specific to Cdc25.

Cytological Characterization of YpsB, a Novel Component of the Bacillus subtilis Divisome

Cell division in bacteria is carried out by an elaborate molecular machine composed of more than a dozen proteins and known as the divisome. Here we describe the characterization of a new divisome protein in Bacillus subtilis called YpsB. Sequence comparisons and phylogentic analysis demonstrated that YpsB is a paralog of the division site selection protein DivIVA. YpsB is present in several gram-positive bacteria and likely originated from the duplication of a DivIVA-like gene in the last common ancestor of bacteria of the orders Bacillales and Lactobacillales. We used green fluorescent protein microscopy to determine that YpsB localizes to the divisome. Similarly to that for DivIVA, the recruitment of YpsB to the divisome requires late division proteins and occurs significantly after Z-ring formation. In contrast to DivIVA, however, YpsB is not retained at the newly formed cell poles after septation. Deletion analysis suggests that the N terminus of YpsB is required to target the protein to the divisome. The high similarity between the N termini of YpsB and DivIVA suggests that the same region is involved in the targeting of DivIVA. YpsB is not essential for septum formation and does not appear to play a role in septum positioning. However, a ypsB deletion has a synthetic effect when combined with a mutation in the cell division gene ftsA. Thus, we conclude that YpsB is a novel B. subtilis cell division protein whose function has diverged from that of its paralog DivIVA.

TNF-alpha polymorphisms are associated with obsessive-compulsive disorder

Introduction: Several lines of evidence support an immunologic involvement in obsessive-compulsive disorder (OCD): the increased prevalence of OCD in patients with rheumatic fever (RF), and the aggregation of obsessive-compulsive spectrum disorders among relatives of RF probands. Tumor necrosis factor alpha is a proinflammatory cytokine involved in RF and other autoimmune diseases. Polymorphisms in the promoter region of the TNFA gene have been associated with RE Given the association between OCD and RF, the goal of the present study was to investigate a possible association between polymorphisms within the promoter region of TNFA and OCD. Materials and methods: Two polymorphisms were investigated: -308 G/A and -238 G/A. The allelic and genotypic frequencies of these polymorphisms were examined in 111 patients who fulfilled DSM-IV criteria for OCD and compared with the frequencies in 250 controls. Results: Significant associations were observed between both polymorphisms and OCD. For -238 G/A, an association between the A allele and OCD was observed (X-2 = 12.05, p = 0.0005). A significant association was also observed between the A allele of the -308 G/A polymorphism and OCD (X-2 = 7.09, p = 0.007). Finally, a haplotype consisting of genotypes of these two markers was also examined. Significant association was observed for the A-A haplotype (p = 0.0099 after correcting for multiple testing). Discussion: There is association between the -308 G/A and -238 G/A TNFA polymorphisms and OCD in our Brazilian sample. However, these results need to be replicated in larger samples collected from different populations. (c) 2008 Elsevier Ireland Ltd. All rights reserved.

Flexibility and inhibitor binding in Cdc25 phosphatases

Cdc25 phosphatases involved in cell cycle checkpoints are now active targets for the development of anti-cancer therapies. Rational drug design would certainly benefit from detailed structural information for Cdc25s. However, only apo- or sulfate-bound crystal structures of the Cdc25 catalytic domain have been described so far. Together with previously available crystalographic data, results from molecular dynamics simulations, bioinformatic analysis, and computer-generated conformational ensembles shown here indicate that the last 30-40 residues in the C-terminus of Cdc25B are partially unfolded or disordered in solution. The effect of C-terminal flexibility upon binding of two potent small molecule inhibitors to Cdc25B is then analyzed by using three structural models with variable levels of flexibility, including an equilibrium distributed ensemble of Cdc25B backbone conformations. The three Cdc25B structural models are used in combination with flexible docking, clustering, and calculation of binding free energies by the linear interaction energy approximation to construct and validate Cdc25B-inhibitor complexes. Two binding sites are identified on top and beside the Cdc25B active site. The diversity of interaction modes found increases with receptor flexibility. Backbone flexibility allows the formation of transient cavities or compact hydrophobic units on the surface of the stable, folded protein core that are unexposed or unavailable for ligand binding in rigid and densely packed crystal structures. The present results may help to speculate on the mechanisms of small molecule complexation to partially unfolded or locally disordered proteins.

Major determinants of photoinduced cell death: Subcellular localization versus photosensitization efficiency

We present a study on whether and to what extent subcellular localization may compete favorably with photosensitization efficiency with respect to the overall efficiency of photoinduced cell death. We have compared the efficiency with which two cationic photosensitizers, namely methylene blue (MB) and crystal violet (CV), induce the photoinduced death of human cervical adenocarcinoma (HeLa) cells. Whereas MB is well known to generate singlet oxygen and related triplet excited species with high quantum yields in a variety of biological and chemical environments (i.e., acting as a typical type II photosensitizer), the highly mitochondria-specific CV produces triplet species and singlet oxygen with low yields, acting mostly via the classical type I mechanism (e.g., via free radicals). The findings described here indicate that the presumably more phototoxic type II photosensitizer (MB) does not lead to higher degrees of cell death compared to the type I (CV) photosensitizer. In fact, CV kills cells with the same efficiency as MB, generating at least 10 times fewer photoinduced reactive species. Therefore, subcellular localization is indeed more important than photochemical reactivity in terms of overall cell killing, with mitochondrial localization representing a highly desirable property for the development of more specific/efficient photosensitizers for photodynamic therapy applications. (C) 2011 Elsevier Inc. All rights reserved.

Synthesis and Characterization of Magnetic Composites Based on Cis-Polyisoprene and CoFe(2)O(4) Nanoparticles

CoFe(2)O(4) nanoparticles were obtained by the co-precipitation method. They were further modified by the adsorption of ricinoleic acid (RA). The non-modified and modified CoFe(2)O(4)/RA nanoparticles were characterized by transmission electron microscopy (TEM), atomic force microscopy (AFM), Raman, and Fourier transform infrared (FTIR) spectroscopy. The modified particles present a mean diameter < 20 nm. The adsorption of RA on the CoFe(2)O(4) surface is characterized by the IR absorptions of the RA while in the Raman spectrum the predominant signals are those from the CoFe(2)O(4). The cis-polyisoprene (PI) composite was prepared by dissolving PI in cyclohexane followed by the addition of a magnetic fluid based on CoFe(2)O(4)/RA nanoparticles dispersed in cyclohexane. After solvent evaporation a magnetic composite was obtained and characterized by AFM, Raman, and FTIR measurements. AFM images show uniformly CoFe(2)O(4)/RA particles distributed in the PI matrix. Raman spectra obtained for the composites reveal the characteristic Raman peaks of PI and CoFe(2)O(4) nanoparticles.

Structural Investigation of MFe(2)O(4) (M = Fe, Co) Magnetic Fluids

Ferrites of the type M(II)Fe(2)O(4) (M = Fe and Co) have been prepared by the traditional coprecipitation method. These ferrites were modified by the adsorption of fatty acids derived from soybean and castor oil and were then dispersed in cyclohexane, providing very stable magnetic fluids, readily usable in nonpolar media. The structural properties of the ferrites and modified ferrites as well as the magnetic fluids were characterized by XRD (X-ray powder diffraction), TEM (transmission electron microscopy), DRIFTS (diffusion reflectance infrared Fourier transform spectroscopy), FTMR (Fourier transform near-infrared), UV-vis, normal Raman spectroscopy, and surface-enhanced Raman scattering (SERS). XRD and TEM analysis have shown that the magnetic nanoparticles (nonmodified and modified) present diameters in the range of 10-15 nm. DRIFTS measurements have shown that the carboxylate groups of soybean and castor oil fatty acids adsorb on the ferrite surface, forming three different structures: a bridging bidentate, a bridging monodentate, and a bidentate chelate structure. The FTIR and Raman spectra of nonmodified Fe(3)O(4) and CoFe(2)O(4) nanoparticles have shown that the number of observed phonons is not compatible with the expected O(h)(7) symmetry, since IR-only active phonons were observed. in the Raman spectra and vice versa. SERS measurements of a CoFe(2)O(4) thin film on a SERS-active gold electrode at different applied potentials made possible the assignment of the signals near 550 and 630 cm(-1) to Co-O motions and the signals near 470 and 680 cm(-1) to Fe-O motions.

Determination of fluoroacetate and fluoride in blood serum by capillary zone electrophoresis using capacitively coupled contactless conductivity detection

Fluoroacetate is a highly toxic species naturally found in plants and in commercial products (compound 1080) for population control of several undesirable animal species. However, it is non-selective and toxic to many other animals including humans, and thus its detection is very important for forensic purposes. This paper presents a sensitive and fast method for the determination of fluoroacetate in blood serum using capillary electrophoresis with capacitively coupled contactless conductivity detection. Serum blood samples were treated with ethanol to remove proteins. The samples were analyzed in BGE containing 15 mmol/L histidine and 30 mmol/L gluconic acid (pH 3.85). The calibration curve was linear up to 75 mu mol/L (R(2) = 0.9995 for N = 12). The detection limit in the blood serum was 0.15 mg/kg, which is smaller than the lethal dose for humans and other animals. Fluoride, a metabolite of the fluoroacetate defluorination, could also be detected for levels greater than 20 mu mol/L, when polybrene was used for reversion of the EOF. CTAB and didecyldimethylammonium bromide are not useful for this task because of the severe reduction of the fluoride level. However, no interference was observed for fluoroacetate.

Antioxidant Capacity and Larvicidal and Antifungal Activities of Essential Oils and Extracts from Piper krukoffii

The leaves and twigs of Piper krukoffii, collected in the Carajas National Forest, north Brazil, yielded essential oils (2.0% and 0.8%), the main constituents of which were myristicin (40.3% and 26.7%), apiole (25.4% and 34.1%) and elemicin (2.8% and 3.0%). The antioxidant activities of the oils, methanol extract and its sub-fractions were evaluated. The DPPH EC(50) values varied from the ethyl acetate sub-fraction (73.4 +/- 3.7 mu g/mL) to the methanol extract (24.9 +/- 0.8 mu g/mL), and the ABTS TEAC values ranged in the same order from 265.7 to 349.2 mu Mol TE/g. These results indicated a significant antioxidant activity for the plant. The lignans (-)-kusunokin, yatein, (-)-hinokin and cubebin were identified in the methanol extract. The hydro-methanolic sub-fraction showed a high value for total phenol content (106.5 +/- 0.7 mg GAE/g), as well as (1)H NMR signals for sugar moieties. Crude extracts and sub-fractions were also able to inhibit beta-carotene bleaching, varying from 22.4 to 47.1%. The oils from the leaves and twigs showed strong larvicidal (21.4 and 3.6 mu g/mL) and fungicide (0.5 and 0.1 mu g/mL) activities.

Distribution of ABCB1 polymorphisms among Brazilians: impact of population admixture

Introduction: Interethnic admixture is a source of cryptic population structure that may lead to spurious genotype-phenotype associations in pharmacogenomic studies. We studied the impact of population stratification on the distribution of ABCB1 polymorphisms (1236C > T, 2677G > T/A and 3435C > T) among Brazilians, a highly admixed population with Amerindian, European and African ancestral roots. Methods: Individual DNA from 320 healthy adults was genotyped with a panel of ancestry informative markers, and the proportions of African component of ancestry (ACA) were estimated. ABCB1 genotypes were determined by the single base extension/termination method. We describe the association between ABCB1 polymorphisms and ACA by fitting a linear proportional odds logistic regression model to the data. Results: The distribution of the ABCB1 2677G > T/A and 3435C > T, but not the 1236C > T, SNPs displayed a significant trend for decreasing frequency of the T alleles and TT genotypes from White to Intermediate to Black individuals. The same trend was observed in the frequency of the T/nonG/T haplotype at the 1236, 2677 and 3435 loci. When the population sample was proportioned in quartiles, according to the individual ACA estimates, the frequency of the T allele and TT genotype at each locus declined progressively from the lowest (< 0.25 ACA) to the highest (> 0.75 ACA) quartile. Linear proportional odds logistic regression analysis confirmed that the odds of having the T allele at each locus decreases in a continuous manner with the increase of the ACA, throughout the ACA range (0.13-0.94) observed in the overall population sample. A significant association was also detected between the individual ACA estimates and the presence of the T/nonG/T haplotype in the overall population. Conclusion: Self-identification according to the racial/color categories proposed by the Brazilian Census is insufficient to properly control for population stratification in pharmacogenomic studies of ABCB1.

Dihydroisocoumarin from Xyris pterygoblephara active against dermatophyte fungi

The ethanol extract from Xyris pteygoblephara aerial parts was evaluated against five microorganism strains, by the microdilution and agar diffusion methods. Extract fractionation led to the isolation of three compounds, whose structures were assigned by spectrometric data (113 and 2D NMR, IR, MS and UV) as (3R,4R)-(-)-6-methoxy-3,4-dihydro-3-n-pentil-4-acethoxy-1H-2-benzopyran-1-one (1), moronic acid and quercetin. The absolute configuration of I was defined by circular dichroism spectroscopy and comparison with data reported for other dihydroisocoumarins. Assay of 1 (100 mu g/disc) by the agar diffusion method against clinical isolates of the dermatophytes Epidermophyton floccosum (inhibition zone, mm +/- s.d.: 4.5 +/- 0.8), Trichophyton mentagrophytes (4.8 +/- 0.4) and Trichophyton rubrum (10.2 +/- 0.8) revealed similar inhibition zones to the positive control amphotericin B (32 mu g/disc; 5.0 +/- 0.2; 5.0 +/- 0.6 and 8.8 +/- 1.2, respectively). The result corroborates the ethnomedical use of Xyris species to treat dermatitis. (C) 2007 Elsevier Ltd. All rights reserved.

Study of electrochemical behavior of azoles for AISI 430 stainless steel in H(2)SO(4) 1 mol L(-1)

Corrosion is an undesirable process that occurs in metallic materials. Studied was the effect of inhibiting Benzotriazole (BTAH), Benzimidazole (BZM) and Indole in different concentrations-for the stainless steel (SS) AISI 430 in H(2)SO(4) mol The techniques employed this research were: anodic potenciostatic polarisation, electrochemical impedance spectroscopy, optical microscopy and scanning electron microscopy The curves of anodic polarisation showed that BTAH, BZM and Indol act as corrosion inhibitors for 430 SS, at concentrations of 1x10(-3) and 5x10(-4) mol L(-1) but do not inhibit corrosion for concentrations equal to or less than 1x10(-4) mol L(-1). The in-crease of the efficiency in relation to the inhibitory substances studied followed this order: Indol

Chemical variability within the marine sponge Aplysina fulva

Dibromotyrosine-derived metabolites are of common occurrence within marine sponges belonging to the order Verongida. However, previous chemical analysis of crude extracts obtained from samples of the verongid sponge Aplysina fulva collected in Brazil did not provide any dibromotyrosine-derived compounds. In this investigation, five samples of A. fulva from five different locations along the Brazilian coastline and one sample from a temperate reef in the South Atlantic Bight (SAB) (Georgia, USA) were investigated for the presence of bromotyrosine-derived compounds. All six samples collected yielded dibromotyrosine-derived compounds, including a new derivative, named aplysinafulvin, which has been identified by. analysis of spectroscopic data. These results confirm previous assumptions that dibromotyrosine-derived metabolites can be considered as chemotaxonomic markers of verongid sponges. The isolation of aplysinafulvin provides additional support for a biogenetic pathway involving an arene oxide intermediate in the biosynthesis of Verongida metabolites. It cannot yet be established if the chemical variability observed among the six samples of A.fulva collected in Brazil and the SAB is the result of different environmental factors, distinct chemical extraction and isolation protocols, or a consequence of hidden genetic diversity within the postulated morphological plasticity of this species. (C) 2007 Elsevier Ltd. All rights reserved.

Oroidin Inhibits the Activity of the Multidrug Resistance Target Pdr5p from Yeast Plasma Membranes

Oroidin was isolated from the marine sponge Agelas sventres and inhibited the activity and function of Pdr5p, an enzyme responsible for the multidrug resistance phenotype in Saccharomyces cerevisiae. This compound may help in the development of new drugs that reverse this dangerous phenotype of pathogenic yeast and fungi.