Searching for Invariants Using Temporal Resolution

In this paper, we show how the clausal temporal resolution technique developed for temporal logic provides an effective method for searching for invariants, and so is suitable for mechanising a wide class of temporal problems. We demonstrate that this scheme of searching for invariants can be also applied to a class of multi-predicate induction problems represented by mutually recursive definitions. Completeness of the approach, examples of the application of the scheme, and overview of the implementation are described.

A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic

The clausal resolution method for propositional linear-time temporal logic is well known and provides the basis for a number of temporal provers. The method is based on an intuitive clausal form, called SNF, comprising three main clause types and a small number of resolution rules. In this paper, we show how the normal form can be radically simplified, and consequently, how a simplified clausal resolutioin method can be defined for this impoprtant variety of logics.

Towards First-Order Temporal Resolution

In this paper we show how to extend clausal temporal resolution to the ground eventuality fragment of monodic first-order temporal logic, which has recently been introduced by Hodkinson, Wolter and Zakharyaschev. While a finite Hilbert-like axiomatization of complete monodic first order temporal logic was developed by Wolter and Zakharyaschev, we propose a temporal resolution-based proof system which reduces the satisfiability problem for ground eventuality monodic first-order temporal formulae to the satisfiability problem for formulae of classical first-order logic.

Spatial and temporal profiles for anti-inflammatory gene expression in leukocytes during a resolving model of peritonitis

The recent appreciation of the role played by endogenous counterregulatory mechanisms in controlling the outcome of the host inflammatory response requires specific analysis of their spatial and temporal profiles. In this study, we have focused on the glucocorticoid-regulated anti-inflammatory mediator annexin 1. Induction of peritonitis in wild-type mice rapidly (4 h) produced the expected signs of inflammation, including marked activation of resident cells (e.g., mast cells), migration of blood-borne leukocytes, mirrored by blood neutrophilia. These changes subsided after 48-96 h. In annexin 1null mice, the peritonitis response was exaggerated (∼40% at 4 h), with increased granulocyte migration and cytokine production. In blood leukocytes, annexin 1 gene expression was activated at 4, but not 24, h postzymosan, whereas protein levels were increased ai both time points. Locally, endothelial and mast cell annexin 1 gene expression was not detectable in basal conditions, whereas it was switched on during the inflammatory response. The significance of annexin 1 system plasticity in the anti-inflammatory properties of dexamethasone was assessed. Clear induction of annexin 1 gene in response to dexamethasone treatment was evident in the circulating and migrated leukocytes, and in connective tissue mast cells; this was associated with the steroid failure to inhibit leukocyte trafficking, cytokine synthesis, and mast cell degranulation in the annexin 1null mouse. In conclusion, understanding how inflammation is brought under control will help clarify the complex interplay between pro- and anti-inflammatory pathways operating during the host response to injury and infection. Copyright © 2006 by The American Association of Immunologists, Inc.

The temporal resolution of epibiont assemblages: Are they ecological snapshots or overexposures?

The effects of time averaging on the fossil record of soft-substrate marine faunas have been investigated in great detail, but the temporal resolution of epibiont assemblages has been inferred only from limited-duration deployment experiments. Individually dated shells provide insight into the temporal resolution of epibiont assemblages and the taphonomic history of their hosts over decades to centuries. Epibiont abundance and richness were evaluated for 86 dated valves of the rhynchonelliform brachiopod Bouchardia rosea collected from the inner shelf. Maximum abundance occurred on shells less than 400 yr old, and maximum diversity was attained within a century. Taphonomic evidence does not support models of live-host colonization, net accumulation, or erasure of epibionts over time. Encrustation appears to have occurred during a brief interval between host death and burial, with no evidence of significant recolonization of exhumed shells. Epibiont assemblages of individually dated shells preserve ecological snapshots, despite host-shell time averaging, and may record long-term ecological changes or anthropogenic environmental changes. Unless the ages of individual shells are directly estimated, however, pooling shells of different ages artificially reduces the temporal resolution of their encrusting assemblages to that of their hosts, an artifact of analytical time averaging. © 2006 by The University of Chicago. All rights reserved.

Temporal analysis of prostaglandin F2 alpha receptor, caspase 3, and cyclooxygenase 2 messenger RNA expression and prostaglandin F2 alpha receptor and cyclooxygenase 2 protein expression in endometrial tissue from multiparous Nelore (Bos taurus indicus) cows treated with cloprostenol sodium during puerperium

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

Dose and temporal effects on gene expression profiles of urothelial cells from rats exposed to diuron

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

Increased Metallothionein I/II Expression in Patients with Temporal Lobe Epilepsy

In the central nervous system, zinc is released along with glutamate during neurotransmission and, in excess, can promote neuronal death. Experimental studies have shown that metallothioneins I/II (MT-I/II), which chelate free zinc, can affect seizures and reduce neuronal death after status epilepticus. Our aim was to evaluate the expression of MT-I/II in the hippocampus of patients with temporal lobe epilepsy (TLE). Hippocampi from patients with pharmacoresistant mesial temporal lobe epilepsy (MTLE) and patients with TLE associated with tumor or dysplasia (TLE-TD) were evaluated for expression of MT-I/II, for the vesicular zinc levels, and for neuronal, astroglial, and microglial populations. Compared to control cases, MTLE group displayed widespread increase in MT-I/II expression, astrogliosis, microgliosis and reduced neuronal population. In TLE-TD, the same changes were observed, except that were mainly confined to fascia dentata. Increased vesicular zinc was observed only in the inner molecular layer of MTLE patients, when compared to control cases. Correlation and linear regression analyses indicated an association between increased MT-I/II and increased astrogliosis in TLE. MT-I/II levels did not correlate with any clinical variables, but MTLE patients with secondary generalized seizures (SGS) had less MT-I/II than MTLE patients without SGS. In conclusion, MT-I/II expression was increased in hippocampi from TLE patients and our data suggest that it is associated with astrogliosis and may be associated with different seizure spread patterns.

Amygdala gene expression of NMDA and GABAA receptors in patients with mesial temporal lobe epilepsy

Temporal lobe epilepsy (TLE) is the most common form of partial epilepsy and affects 40% of the patients. Seizures arising from the mesial temporal lobe structures (i.e., amygdala and hippocampus) are common, whereas neocortical seizures are rare. In recent years, many studies aimed to identify the pattern of gene expression of neurotransmitters involved in molecular mechanisms of epilepsy. We used real-time PCR to quantify the expression of GABAA (subunits a1, beta 1, beta 2) and NMDA (subunits NR1, NR2A, and NR2B) receptor genes in amygdalae of 27 patients with TLE and 14 amygdalae from autopsy controls. The NR1 subunit was increased in patients with epilepsy when compared with controls. No differences were found in expression of NMDA subunits NR2A and NR2B or in a1, beta 1, and beta 2 subunits of GABAA receptors. Our results suggest that the NR1 subunit of NMDA receptors is involved in the amygdala hyperexcitability in some of the patients with TLE. (C) 2010 Wiley Periodicals, Inc., Inc.

Changes in spatial and temporal gene expression during incompatible interaction between common bean and anthracnose pathogen

Common bean, one of the most important legumes for human consumption, may have drastic reduction in yield due to anthracnose, a disease caused by the fungus Colletotrichum lindemuthianum. Rapid induction of the plant defense mechanisms is essential to establish an incompatible interaction with this pathogenic fungus. In this study, we evaluated spatial (leaves, epicotyls and hypocotyls) and temporal (24, 48, 72 and 96 hours after inoculation [HAI]) relative expression (RE) of 12 defense-related transcripts selected from previously developed ESTs libraries, during incompatible interaction between the resistant common bean genotype SEL 1308 and the avirulent anthracnose pathogen race 73, using real time quantitative RT-PCR (RT-qPCR) analysis. All selected transcripts, including the ones coding for pathogenesis-related (PR) proteins (PR1a, PR1b, PR2, and PR16a and PR16b) were differentially regulated upon pathogen inoculation. The expression levels of these transcripts were dependent on the tissue and time post inoculation. This study contributes to a better understanding of the kinetics of induced defenses against a fungal pathogen of common bean and may be used as a base line to study defenses against a broad range of pathogens including bacteria as well as non-host resistance. (C) 2012 Elsevier GmbH. All rights reserved.

Texture analysis of high resolution MRI allows discrimination between febrile and afebrile initial precipitating injury in mesial temporal sclerosis

A computational pipeline combining texture analysis and pattern classification algorithms was developed for investigating associations between high-resolution MRI features and histological data. This methodology was tested in the study of dentate gyrus images of sclerotic hippocampi resected from refractory epilepsy patients. Images were acquired using a simple surface coil in a 3.0T MRI scanner. All specimens were subsequently submitted to histological semiquantitative evaluation. The computational pipeline was applied for classifying pixels according to: a) dentate gyrus histological parameters and b) patients' febrile or afebrile initial precipitating insult history. The pipeline results for febrile and afebrile patients achieved 70% classification accuracy, with 78% sensitivity and 80% specificity [area under the reader observer characteristics (ROC) curve: 0.89]. The analysis of the histological data alone was not sufficient to achieve significant power to separate febrile and afebrile groups. Interesting enough, the results from our approach did not show significant correlation with histological parameters (which per se were not enough to classify patient groups). These results showed the potential of adding computational texture analysis together with classification methods for detecting subtle MRI signal differences, a method sufficient to provide good clinical classification. A wide range of applications of this pipeline can also be used in other areas of medical imaging. Magn Reson Med, 2012. (c) 2012 Wiley Periodicals, Inc.