Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. In this paper, we develop a clausal resolution method for the monodic fragment of first-order temporal logic over expanding domains. We first define a normal form for monodic formulae and then introduce novel resolution calculi that can be applied to formulae in this normal form. We state correctness and completeness results for the method. We illustrate the method on a comprehensive example. The method is based on classical first-order resolution and can, thus, be efficiently implemented.

Monitoring and Explanation of Contract Execution: A Case Study in the Aerospace Domain

In the domain of aerospace aftermarkets, which often has long supply chains that feed into the maintenance of aircraft, contracts are used to establish agreements between aircraft operators and maintenance suppliers. However, violations at the bottom of the supply chain (part suppliers) can easily cascade to the top (aircraft operators), making it difficult to determine the source of the violation, and seek to address it. In this context, we have developed a global monitoring architecture that ensures the detection of norm violations and generates explanations for the origin of violations. In this paper, we describe the implementation and deployment of a global monitor in the aerospace domain of [8] and show how it generates explanations for violations within the maintenance supply chain. We show how these explanations can be used not only to detect violations at runtime, but also to uncover potential problems in contracts before their deployment, thus improving them.

Quantitative Analysis of Diepoxybutane Damage within the Chicken β-globin Domain

In industrial polymer and synthetic rubber production facilities, workers are exposed to 1,3-butadiene. This compound is converted in vivo to 1,2,3,4-diepoxybutane (DEB) and has been linked to increased incidences of cancer in these individuals. Carcinogenesis has been attributed to formation of DEB induced DNA interstrand cross-links. Previous studies have demonstrated that DEB cross-links deoxyguanosine residues within 5'-GNC sequences in synthetic DNA, in restriction fragments, and in defined sequence nucleosomes. The current study utilized the polymerase chain reaction (PCR) to examine DEB damage frequencies within nuclear genes, found within "open" regions of chromatin, as compared to regions of unexpressed sequence that reside in tightly packed, "closed" chromatin, to more closely model DEB reactivity in vivo. These initial studies have been performed in chicken liver homogenates. Preliminarily, we have found a dose-dependent DEB lesion-forming response within "open" chromatin. DEB appears to have little-to-no effect upon regions of "closed" chromatin.

Mapping of Diepoxybutane Damage in the Cytochrome b Domain of Mitochondrial DNA and the β-globin Domain of Nuclear Chicken DNA Using Quantitative PCR

Diepoxybutane (DEB), a known industrial carcinogen, reacts with DNA primarily at the N7 position of deoxyguanosine residues and creates interstrand cross-links at the sequence 5'-GNC. Since N7-N7 cross-links cause DNA to fragment upon heating, quantative polymerase chain reaction (QPCR) is being used in this experiment to measure the amount of DEB damage (lesion frequency) with three different targets-mitochondrial (unpackaged), open chromatin region, and closed chromatin region. Initial measurements of DEB damage within these three targets were not consistent because the template DNA was not the limiting reagent in the PCR. Follow-up PCR trials using a limiting amount of DNA are still in progress although initial experimentation looks promising. Sequencing of these three targets to confirm the primer targets has only been successfully performed for the closed chromatin target and does not match the sequence from NIH used to design that primer pair. Further sequencing trials need to be conducted on all three targets to assure that a mitochondrial, open chromatin, and closed chromatin region are actually being amplified in this experimental series.

Time-domain analysis of piezoelectric impedance-based structural health monitoring using multilevel wavelet decomposition

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

A multisampling time-domain CMOS imager with synchronous readout circuit

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Fluctuating solutions for the evolution of domain walls

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

A BEM formulation for analysing the coupled stretching-bending problem of plates reinforced by rectangular beams with columns defined in the domain

In this work, a boundary element formulation to analyse plates reinforced by rectangular beams, with columns defined in the domain is proposed. The model is based on Kirchhoff hypothesis and the beams are not required to be displayed over the plate surface, therefore eccentricity effects are taken into account. The presented boundary element method formulation is derived by applying the reciprocity theorem to zoned plates, where beams are treated as thin sub-regions with larger rigidities. The integral representations derived for this complex structural element consider the bending and stretching effects of both structural elements working together. The standard equilibrium and compatibility conditions along interface are naturally imposed, being the bending tractions eliminated along interfaces. The in-plane tractions and the bending and in-plane displacements are approximated along the beam width, reducing the number of degrees of freedom. The columns are introduced into the formulation by considering domain points where tractions can be prescribed. Some examples are then shown to illustrate the accuracy of the formulation, comparing the obtained results with other numerical solutions.

Domain wall contribution to dielectric and piezoelectric responses in 0.65Pb(Mg1/3Nb2/3)-0.35PbTiO(3) ferroelectric ceramics

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

The central repeat domain 1 of Kaposi's sarcoma-associated herpesvirus (KSHV) latency associated-nuclear antigen 1 (LANA1) prevents cis MHC class I peptide presentation

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

LaTBP1: A Leishmania amazonensis DNA-binding protein that associates in vivo with telomeres and GT-rich DNA using a Myb-like domain

Different species of Leishmania can cause a variety of medically important diseases, whose control and treatment are still health problems. Telomere binding proteins (TBPs) have potential as targets for anti-parasitic chemotherapy because of their importance for genome stability and cell viability. Here, we describe LaTBP1 a protein that has a Myb-like DNA-binding domain, a feature shared by most double-stranded telomeric proteins. Binding assays using full-length and truncated LaTBP1 combined with spectroscopy analysis were used to map the boundaries of the Myb-like domain near to the protein only tryptophan residue. The Myb-like domain of LaTBP1 contains a conserved hydrophobic cavity implicated in DNA-binding activity. A hypothetical model helped to visualize that it shares structural homology with domains of other Myb-containing proteins. Competition assays and chromatin immunoprecipitation confirmed the specificity of LaTBP1 for telomeric and GT-rich DNAs, suggesting that LaTBP1 is a new TBP. (C) 2007 Elsevier B.V. All rights reserved.

The Saccharomyces cerevisiae COQ10 gene encodes a START domain protein required for function of coenzyme Q in respiration

Deletion of the Saccharomyces cerevisiae gene YOL008W, here referred to as COQ10, elicits a respiratory defect as a result of the inability of the mutant to oxidize NADH and succinate. Both activities are restored by exogenous coenzyme Q(2). Respiration is also partially rescued by COQ2, COQ7, or COQ8/ABC1, when these genes are present in high copy. Unlike other coq mutants, all of which lack Q(6), the coq10 mutant has near normal amounts of Q(6) in mitochondria. Coq10p is widely distributed in bacteria and eukaryotes and is homologous to proteins of the aromatic-rich protein family Pfam03654 and to members of the START domain superfamily that have a hydrophobic tunnel implicated in binding lipophilic molecules such as cholesterol and polyketides. Analysis of coenzyme Q in polyhistidine-tagged Coq10p purified from mitochondria indicates the presence 0.032-0.034 mol of Q(6)/mol of protein. We propose that Coq10p is a Q(6)-binding protein and that in the coq10 mutant Q(6) it is not able to act as an electron carrier, possibly because of improper localization.

Genomic Strategy Identifies a Missense Mutation in WD-Repeat Domain 65 (WDR65) in an Individual With Van der Woude Syndrome

Genetic variation in the transcription factor interferon regulatory factor 6 (IRF6) causes and contributes risk for oral clefting disorders. We hypothesized that genes regulated by IRF6 are also involved in oral clefting disorders. We used five criteria to identify potential IRF6 target genes; differential gene expression in skin taken from wild-type and Irf6-deficient murine embryos, localization to the Van der Woude syndrome 2 (VWS2) locus at 1p36-1p32, overlapping expression with Irf6, presence of a conserved predicted-binding site in the promoter region, and a mutant murine phenotype that was similar to the Irf6 mutant mouse. Previously, we observed altered expression for 573 genes; 13 were located in the murine region syntenic to the VWS2 locus. Two of these genes, Wdr65 and Stratifin, met 4 of 5 criteria. Wdr65 was a novel gene that encoded a predicted protein of 1,250 amino acids with two WD domains. As potential targets for Irf6 regulation, we hypothesized that disease-causing mutations will be found in WDR65 and Stratifin in individuals with VWS or VWS-like syndromes. We identified a potentially etiologic missense mutation in WDR65 in a person with VWS who does not have an exonic mutation in IRF6. The expression and mutation data were consistent with the hypothesis that WDR65 was a novel gene involved in oral clefting. (C) 2011 Wiley-Liss, Inc.