On AGM for Non-Classical Logics

The AGM theory of belief revision provides a formal framework to represent the dynamics of epistemic states. In this framework, the beliefs of the agent are usually represented as logical formulas while the change operations are constrained by rationality postulates. In the original proposal, the logic underlying the reasoning was supposed to be supraclassical, among other properties. In this paper, we present some of the existing work in adapting the AGM theory for non-classical logics and discuss their interconnections and what is still missing for each approach.

Classical and non-classical HLA molecules and p16(INK4a) expression in precursors lesions and invasive cervical cancer

Objectives: Viruses and turnout cells may regulate the expression of HLA molecules on the cell surface to escape immune system surveillance. Absence of classical HLA class I molecules may impair the action of specific cytotoxic cells, whereas non-classical HLA class I molecules may regulate innate and adaptive immune cells. We assess here the possible associations between classical/non-classical class I HLA and p16(INK4a) molecule expression in cervical biopsies of women infected with HPV, stratified according to grade of the lesion and HPV type. Study design: Cervical biopsies (N = 74) presenting cervical intraepithelial neoplasia grade 1 (CIN1) (n = 31), CIN2-3 (n = 19), and invasive cancer (n = 14) were evaluated alongside 10 normal cervical specimens. Results: HLA-A/B/C/G staining was observed in the early stages of HPV infection. A significant association was detected between HLA-A/B/C staining and HPV16/18 infection (OR = 0.12, 95%CI: 0.0163-0.7899; p = 0.04). HLA-E expression increased with the progression of the lesion (chi(2)-test for trend = 4.01; p = 0.05), and a significant association was found between HLA-E staining and HPV16/18 infection (OR = 11.25, 95%CI: 2.324-54.465; p = 0.003). Irrespective of the grade of the lesion, HLA-A/B/C staining and p16(INK4a) presented a good concordance (Kappa: 0.67). Conclusions: HLA-E overexpression seemed to be associated with invasive cancer and HPV16/18 infection. (C) 2008 Elsevier Ireland Ltd. All rights reserved.

Extending the Phenotype of Monosomy 1p36 Syndrome and Mapping of a Critical Region for Obesity and Hyperphagia

Rearrangements of 1p36 are the most frequently detected abnormalities in diagnostic testing for chromosomal cryptic imbalances and include variably sized simple terminal deletions, derivative chromosomes, interstitial deletions, and complex rearrangements. These rearrangements result in the specific pattern of malformation and neurodevelopmental disabilities that characterizes monosomy 1p36 syndrome. Thus far, no individual gene within this region has been conclusively determined to be causative of any component of the phenotype. Nor is it known if the rearrangements convey phenotypes via a haploinsufficiency mechanism or through a position effect. We have used multiplex ligation-dependent probe amplification to screen for deletions of 1p36 in a group of 154 hyperphagic and overweight/obese, PWS negative individuals, and in a separate group of 83 patients initially sent to investigate a variety of other conditions. The strategy allowed the identification and delineation of rearrangements in nine subjects with a wide spectrum of clinical presentations. Our work reinforces the association of monosomy 1p36 and obesity and hyperphagia, and further suggests that these features may be associated with non-classical manifestations of this disorder in addition to a submicroscopic deletion of similar to 2-3 Mb in size. Multiplex ligation probe amplification using the monosomy 1p36 syndrome-specific kit coupled to the subtelomeric kit is an effective approach to identify and delineate rearrangements at 1p36. (C) 2009 Wiley-Liss, Inc.

Low Expression of Human Histocompatibility Soluble Leukocyte Antigen-G (HLA-G5) in Invasive Cervical Cancer With and Without Metastasis, Associated With Papilloma Virus (HPV)

Human leukocyte antigen-G (HLA-G) is a non-classical major histocompatibility complex class lb molecule that acts as a specific immunosuppressor. Some studies have demonstrated that human papillomavirus (HPV) seems to be involved in lower or absent HLA-G expression, particularly in cervical cancer. In this study, we performed a cross-sectional study, systematically comparing the qualitative expression of the HLA-G5 isoform in invasive cervical carcinoma (ICC), stratifying patients according to the presence [ICC with metastasis (ICC(W))) and absence [ICC without metastasis (ICC(WT))] of metastasis, correlating these findings with interference of HPV and demographic and clinical variables. Seventy-nine patients with a diagnosis of ICC were stratified into two groups: ICC(WT) (n=52 patients) and ICC(W) (n=27). Two biopsies were collected from each patient (one from the tumor lesion and one from a lymph node). Immunohistochemistry analyses were performed for the HLA-G5 isoform, for HPV detection, and virus typing. HLA-G5 isoform molecules were detected in 25 cases (31.6%), 17 (32.7%) without metastasis and 8 (29.6%) with metastasis. HPV was detected in the cervical lesions of 74 patients (93.7%), but low expression of the HLA-G5 isoform was observed in all HPV-related cases. These findings are important; however, additional studies are necessary to identify the influence of HPV with HLA-G5 isoform expression on invasive cervical malignancies. (J Histochem Cytochem 58:405-411, 2010)

Frequency of insertion/deletion polymorphism in exon 8 of HLA-G and kidney allograft outcome

Human leukocyte antigen-G (HLA-G) is a non-classical major histocompatibility complex (MHC) class Ib molecule predominantly expressed in cytotrophoblasts, where it acts as a specific immunosuppressor. Literature data have shown that grafts in some settings, such as cardiac and liver/kidney-associated transplantations, express HLA-G and this expression is associated with less severe rejection and also reduces the incidence of rejection. Fourteen-base pair deletion/insertion polymorphism has been reported in exon 8 of the 3`-untranslated region of HLA-G. This polymorphism within exon 8 of the HLA-G gene might influence transcription activity, which in turn may influence the stability of HLA-G transcripts. This influences the stability of the HLA-G protein and therefore is of potential functional relevance. In order to determine a possible correlation between the 14-bp insertion/deletion polymorphism and kidney allograft outcome, we isolated genomic DNA from 83 patients who had received isolated kidney allografts, and we classified the 83 specimens into two groups, grafts presenting Banff features of rejection group and a non-rejection group, and compared them with a control group of 97 healthy subjects. The 14-bp polymorphism at exon 8 was genotyped in all groups. There was no significant difference in allelic frequencies of 14-bp insertion/deletion polymorphism between normal controls and kidney transplant patients. In the RG, the homozygous genotype +14/+14 bp (P = 0.0238) was significantly increased in the group with acute rejection compared with the healthy control group. Analysis of other HLA-G polymorphisms and functional studies on immune regulation are essential to elucidate the role of HLA-G in kidney allografts.

Molecular conformation of the racemic indan derivative (+/-)-1-trans-3-(3,4-dichlorophenyl)-2,3-dihydro-1H-indene-1-carboxamide

This paper presents the structural characterization of the indan derivative (+/-)-1-trans-3-(3,4-dichlorophenyl)-2,3-dihydro-1H-indene-1-carboxamide, which was unambiguously determined by X-ray diffraction (XRD) to be a racemate (R/S: 50/50) crystallizing in an achiral crystal structure (P2(1)/c, a = 9.3180(1) , b = 7.9070(2) , c = 19.7550(4) , beta = 103.250(1)A degrees, V = 1416.75(5) (3) and Z = 4). The diastereomers are related by the inversion symmetry and linked by H bond forming a dimer. The crystal packing is stabilized by hydrogen bonds, including the classical one responsible for the formation of centrosymmetric dimers, and non-classical ones involving C-H center dot center dot center dot O and C-H center dot center dot center dot pi-aryl interactions. The intra and intermolecular geometry of the title compound is compared to the (+/-)-1-trans-3-(3,4-dichlorophenyl)-2,3-dihydro-1H-indene-1-carboxylic acid one, which also present an achiral crystal structure from racemates (R/S: 50/50). The two indan derivatives crystallize in a very similar unit cell.

On the relationships between molecular conformations and intermolecular contacts toward crystal self-assembly of mono-, di-, tri-, and tetra-oxygenated xanthone derivatives

Oxygenated xanthones have been extensively investigated over the years, but there are few reports concerning their crystal structure. Our chemical investigations of Brazilian plants resulted in the isolation of four natural products named 1-hydroxyxanthone (I), 1-hydroxy-7-methoxyxanthone (II), 1,5-dihydroxy-3-methoxyxanthone (III), and 1,7-dihydroxy-3,8-dimethoxyxanthone (IV). The structures of these compounds were established on the basis of single crystal X-ray diffraction. The xanthone nucleus conformation is essentially planar with the substituents adopting the orientations less sterically hindered. In addition, classical intermolecular hydrogen bonds (O-H center dot center dot center dot O) present in III and IV give rise to infinite ribbons. However, the xanthone I does not present any intermolecular hydrogen bonds, meanwhile the xanthone II presents only a non-classical one (C-H center dot center dot center dot O). The crystal packing of all xanthone structures is also stabilized by pi-pi interactions. The fingerprint plots, derived from the Hirshfeld surfaces, exhibited significant features of each crystal structures.

Experimental and theoretical investigation of molecular structure and conformation of the 4-isopropylthioxanthone

In this study, the molecular structure and conformational analyses of the 4-isopropylthioxanthone (4-ITX) are reported according to experimental and theoretical results. The compound crystallizes in the centrosymmetric P (1) over bar space group with only one molecule in the asymmetric unit, presenting the most stable conformation, in which the three fused-rings adopt a planar geometry, and the isopropyl group assumes a torsional angle with less sterical hindrance. The structural and conformational analyses were performed using theoretical calculations such as Hartree-Fock (HF), DFT method in combination with 6-311G(d,p) and 6-31++G(d,p) and the results were compared with infrared spectroscopy (FT-IR) and X-ray diffraction (XRD). The supramolecular assembly of 4-ITX is kept by non-classical C-H center dot center dot center dot O hydrogen bonds and weak interactions such as pi-pi stacking. 4-ITX was also studied by (1)H and (13)C NMR spectroscopy. UV-Vis absorption spectroscopic properties of the 4-ITX showed the long-wavelength maximum shifts towards high energy when the solvent polarity increases. (C) 2011 Elsevier B.V. All rights reserved.

Probing conformational changes in orphan nuclear receptor: The NGFI-B intermediate is a partially unfolded dimer

Human nerve growth factor-induced B (NGFI-B) is a member of the NR4A subfamily of orphan nuclear receptors (NRs). Lacking identified ligands, orphan NRs show particular co-regulator proteins binding properties, different from other NRs, and they might have a non-classical quaternary organization. A body of evidence suggests that NRs recognition of and binding to ligands, DNA, homo- and heterodimerization partners and co-regulator proteins involve significant conformational changes of the NR ligand-binding domains (LBDs). To shed light on largely unknown biophysical properties of NGFI-B, here we studied structural organization and unfolding properties of NGFI-B ligand (like)-binding domain induced by chemical perturbation. Our results show that NGFI-B LBD undergoes a two-state guanidine hydrochloride (GndHCl) induced denaturation, as judged by changes in the a-helical content of the protein monitored by circular dichroism spectroscopy (CD). In contrast, changes in the tertiary structure of NGFI-B LBD, reported by intrinsic fluorescence, reveal a clear intermediate state. Additionally, SAXS results demonstrate that the intermediate observed by intrinsic fluorescence is a partially folded homodimeric structure, which further unfolds without dissociation at higher GndHCl concentrations. This partially unfolded dimeric assembly of NGFI-B LBD might resemble an intermediate that this domain access momentarily in the native state upon interactions with functional partners. (C) 2008 Elsevier B.V. All rights reserved.

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.

C(alpha)-HOLDER CLASSICAL SOLUTIONS FOR NON-AUTONOMOUS NEUTRAL DIFFERENTIAL EQUATIONS

In this paper we discuss the existence of alpha-Holder classical solutions for non-autonomous abstract partial neutral functional differential equations. An application is considered.

Non-linear boundary element formulation applied to contact analysis using tangent operator

This work presents a non-linear boundary element formulation applied to analysis of contact problems. The boundary element method (BEM) is known as a robust and accurate numerical technique to handle this type of problem, because the contact among the solids occurs along their boundaries. The proposed non-linear formulation is based on the use of singular or hyper-singular integral equations by BEM, for multi-region contact. When the contact occurs between crack surfaces, the formulation adopted is the dual version of BEM, in which singular and hyper-singular integral equations are defined along the opposite sides of the contact boundaries. The structural non-linear behaviour on the contact is considered using Coulomb`s friction law. The non-linear formulation is based on the tangent operator in which one uses the derivate of the set of algebraic equations to construct the corrections for the non-linear process. This implicit formulation has shown accurate as the classical approach, however, it is faster to compute the solution. Examples of simple and multi-region contact problems are shown to illustrate the applicability of the proposed scheme. (C) 2011 Elsevier Ltd. All rights reserved.

Non-linear boundary element formulation with tangent operator to analyse crack propagation in quasi-brittle materials

This work deals with analysis of cracked structures using BEM. Two formulations to analyse the crack growth process in quasi-brittle materials are discussed. They are based on the dual formulation of BEM where two different integral equations are employed along the opposite sides of the crack surface. The first presented formulation uses the concept of constant operator, in which the corrections of the nonlinear process are made only by applying appropriate tractions along the crack surfaces. The second presented BEM formulation to analyse crack growth problems is an implicit technique based on the use of a consistent tangent operator. This formulation is accurate, stable and always requires much less iterations to reach the equilibrium within a given load increment in comparison with the classical approach. Comparison examples of classical problem of crack growth are shown to illustrate the performance of the two formulations. (C) 2009 Elsevier Ltd. All rights reserved.

Fungal pathogens as classical biological control agents against arthropods

Fungal entomopathogens have been used more frequently than other types of pathogens for classical biological control. Among 136 programs using different groups of arthropod pathogens, 49.3% have introduced fungal pathogens (including both the traditional fungi and microsporidia). The most commonly introduced species was Metarhizium anisopliae (Metschnikoff) Sorokin, with 13 introductions, followed by Entomophaga maimaiga Humber, Shimazu & Soper, which was released seven times. The majority of introduction programs have focused on controlling invasive species of insects or mites (70.7%) rather than on native hosts (29.4%). Almost half of the introductions of traditional fungi targeted species of Hemiptera and 75% of the microsporidia introduced have been introduced against lepidopteran species. The United States was the country where most introductions of fungi took place (n = 24). From 1993 to 2007, no arthropod pathogens were released in the US due to the rigorous regulatory structure, but in 2008 two species of microsporidia were introduced against the gypsy moth, Lymantria dispar (L.). Establishment of entomopathogenic fungi in programs introducing traditional fungi was 32.1% and establishment was 50.0% for programs introducing microsporidia. In some programs, releases have resulted in permanent successful establishment with no non-target effects. In summary, classical biological control using fungal entomopathogens can provide a successful and environmentally friendly avenue for controlling arthropod pests, including the increasing numbers of invasive non-native species.

Sudden onset of log-periodicity and superdiffusion in non-Markovian random walks with amnestically induced persistence: exact results

Random walks can undergo transitions from normal diffusion to anomalous diffusion as some relevant parameter varies, for instance the L,vy index in L,vy flights. Here we derive the Fokker-Planck equation for a two-parameter family of non-Markovian random walks with amnestically induced persistence. We investigate two distinct transitions: one order parameter quantifies log-periodicity and discrete scale invariance in the first moment of the propagator, whereas the second order parameter, known as the Hurst exponent, describes the growth of the second moment. We report numerical and analytical results for six critical exponents, which together completely characterize the properties of the transitions. We find that the critical exponents related to the diffusion-superdiffusion transition are identical in the positive feedback and negative feedback branches of the critical line, even though the former leads to classical superdiffusion whereas the latter gives rise to log-periodic superdiffusion.