114 research outputs found
Fixed-point elimination in the intuitionistic propositional calculus
It is a consequence of existing literature that least and greatest
fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic
models of the Intuitionistic Propositional Calculus-always exist, even when
these algebras are not complete as lattices. The reason is that these extremal
fixed-points are definable by formulas of the IPC. Consequently, the
-calculus based on intuitionistic logic is trivial, every -formula
being equivalent to a fixed-point free formula. We give in this paper an
axiomatization of least and greatest fixed-points of formulas, and an algorithm
to compute a fixed-point free formula equivalent to a given -formula. The
axiomatization of the greatest fixed-point is simple. The axiomatization of the
least fixed-point is more complex, in particular every monotone formula
converges to its least fixed-point by Kleene's iteration in a finite number of
steps, but there is no uniform upper bound on the number of iterations. We
extract, out of the algorithm, upper bounds for such n, depending on the size
of the formula. For some formulas, we show that these upper bounds are
polynomial and optimal
Non-L\'evy mobility patterns of Mexican Me'Phaa peasants searching for fuelwood
We measured mobility patterns that describe walking trajectories of
individual Me'Phaa peasants searching and collecting fuelwood in the forests of
"La Monta\~na de Guerrero" in Mexico. These one-day excursions typically follow
a mixed pattern of nearly-constant steps when individuals displace from their
homes towards potential collecting sites and a mixed pattern of steps of
different lengths when actually searching for fallen wood in the forest.
Displacements in the searching phase seem not to be compatible with L\'evy
flights described by power-laws with optimal scaling exponents. These findings
however can be interpreted in the light of deterministic searching on heavily
degraded landscapes where the interaction of the individuals with their scarce
environment produces alternative searching strategies than the expected L\'evy
flights. These results have important implications for future management and
restoration of degraded forests and the improvement of the ecological services
they may provide to their inhabitants.Comment: 15 pages, 4 figures. First version submitted to Human Ecology. The
final publication will be available at http://www.springerlink.co
Selective inhibition of tropomyosin-receptor-kinase A (TrkA) reduces pain and joint damage in two rat models of inflammatory arthritis
Background: Inflammation is an essential component of arthritis pain. Nerve growth factor (NGF) plays a key role in acute and chronic pain states especially those associated with inflammation. NGF acts through tropomyosin-receptor-kinase A (TrkA). NGF blockade has reduced arthritis pain in clinical trials. We explored the mechanisms within the joint which may contribute to the analgesic effects of NGF by selectively inhibiting TrkA in carrageenan-induced or collagen-induced joint pain behaviour. The goal of the current study was to elucidate whether inflammation is central to the efficacy for NGF blockade.
Methods: Rats were injected in their left knees with 2 % carrageenan or saline. Collagen-induced arthritis (CIA) was induced by intradermal injections of a mixture of bovine type II collagen (0.2 mg) and incomplete Freund’s adjuvant (0.2 mg). Oral doses (30 mg/kg) of AR786 or vehicle control were given twice daily after arthritis induction. Ibuprofen-treated (35 mg/kg, orally, once daily) rats with CIA were used as positive analgesic controls. Pain behaviour was measured as hind-limb weight-bearing asymmetry and hind-paw withdrawal thresholds to von Frey hair stimulation (carrageenan synovitis), or withdrawal to joint compression using a Randall Selitto device (CIA). Inflammation was measured as increased knee joint diameter and by histopathological analysis.
Results: Intra-articular injections of carrageenan or induction of CIA was each associated with pain behaviour and synovial inflammation. Systemic administration of the TrkA inhibitor AR786 reduced carrageenan-induced or CIA-induced pain behaviour to control values, and inhibited joint swelling and histological evidence of synovial inflammation and joint damage.
Conclusions: By using two models of varying inflammation we demonstrate for the first time that selective inhibition of TrkA may reduce carrageenan-induced or CIA-induced pain behaviour in rats, in part through potentially inhibiting synovial inflammation, although direct effects on sensory nerves are also likely. Our observations suggest that inflammatory arthritis causes pain and the presence of inflammation is fundamental to the beneficial effects (reduction in pain and pathology) of NGF blockade. Further research should determine whether TrkA inhibition may ameliorate human inflammatory arthritis
Dramatic pain relief and resolution of bone inflammation following pamidronate in 9 pediatric patients with persistent chronic recurrent multifocal osteomyelitis (CRMO)
<p>Abstract</p> <p>Background</p> <p>Chronic recurrent multifocal osteomyelitis (CRMO) is an inflammatory, non-infectious osteopathy that affects predominantly patients ≤ 18 years of age. There is no uniformly effective treatment. Our objective is to describe clinical, magnetic resonance imaging (MRI), and bone resorption response to intravenous pamidronate in pediatric CRMO.</p> <p>Methods</p> <p>We report our prospectively documented experience with all CRMO patients treated with pamidronate between 2003 and 2008 at a tertiary pediatric centre. Pamidronate was administered as intravenous cycles. The dose of pamidronate varied among subjects but was given as monthly to every 3 monthly cycles depending on the distance the patient lived from the infusion center. Maximum cumulative dose was ≤ 11.5 mg/kg/year. Pamidronate treatment was continued until resolution of MRI documented bone inflammation. Visual analog scale for pain (VAS) and bone resorption marker urine N-telopeptide/urine creatinine (uNTX/uCr) were measured at baseline, preceding each subsequent pamidronate treatment, at final follow-up, and/or at time of MRI confirmed CRMO flare. MRI of the affected site(s) was obtained at baseline, preceding every 2<sup>nd </sup>treatment, and with suspected CRMO recurrence.</p> <p>Results</p> <p>Nine patients (5 F: 4 M) were treated, with a median (range) age at treatment of 12.9 (4.5–16.3) years, and median (range) duration of symptoms of 18 (6–36) months. VAS decreased from 10/10 to 0–3/10 by the end of first 3–day treatment for all patients. The mean (range) time to complete MRI resolution of bone inflammation was 6.0 (2–12) months. The mean (confidence interval (CI)) baseline uNTX/uCr was 738.83 (CI 464.25, 1013.42)nmol/mmol/creatinine and the mean (CI) decrease from baseline to pamidronate discontinuation was 522.17 (CI 299.77, 744.56)nmol/mmol/creatinine. Median (range) of follow-up was 31.4 (24–54) months. Four patients had MRI confirmed CRMO recurrence, which responded to one pamidronate re-treatment. The mean (range) uNTX/uCr change as a monthly rate from the time of pamidronate discontinuation to flare was 9.41 (1.38–19.85)nmol/mmol/creatinine compared to -29.88 (-96.83–2.01)nmol/mmol/creatinine for patients who did not flare by the time of final follow-up.</p> <p>Conclusion</p> <p>Pamidronate resulted in resolution of pain and MRI documented inflammation in all patients. No patient flared while his/her uNTX/uCr remained suppressed. We propose that pamidronate is an effective second-line therapy in persistent CRMO.</p
Genetic polymorphisms of RANTES, IL1-A, MCP-1 and TNF-A genes in patients with prostate cancer
<p>Abstract</p> <p>Background</p> <p>Inflammation has been implicated as an etiological factor in several human cancers, including prostate cancer. Allelic variants of the genes involved in inflammatory pathways are logical candidates as genetic determinants of prostate cancer risk. The purpose of this study was to investigate whether single nucleotide polymorphisms of genes that lead to increased levels of pro-inflammatory cytokines and chemokines are associated with an increased prostate cancer risk.</p> <p>Methods</p> <p>A case-control study design was used to test the association between prostate cancer risk and the polymorphisms <it>TNF-A</it>-308 A/G (rs 1800629), <it>RANTES</it>-403 G/A (rs 2107538), <it>IL1-A</it>-889 C/T (rs 1800587) and <it>MCP-1 </it>2518 G/A (rs 1024611) in 296 patients diagnosed with prostate cancer and in 311 healthy controls from the same area.</p> <p>Results</p> <p>Diagnosis of prostate cancer was significantly associated with <it>TNF-A </it>GA + AA genotype (OR, 1.61; 95% CI, 1.09–2.64) and <it>RANTES </it>GA + AA genotype (OR, 1.44; 95% CI, 1.09–2.38). A alleles in <it>TNF-A </it>and <it>RANTES </it>influenced prostate cancer susceptibility and acted independently of each other in these subjects. No epistatic effect was found for the combination of different polymorphisms studied. Finally, no overall association was found between prostate cancer risk and <it>IL1-A </it>or <it>MCP-1 </it>polymorphisms.</p> <p>Conclusion</p> <p>Our results and previously published findings on genes associated with innate immunity support the hypothesis that polymorphisms in proinflammatory genes may be important in prostate cancer development.</p
Polymorphism of the Fractalkine Receptor CX3CR1 and Systemic Sclerosis-associated Pulmonary Arterial Hypertension
Fractalkine (FKN) and its receptor CX3CR1 are critical mediators in the
vascular and tissue damage of several chronic diseases, including systemic
sclerosis (SSc) and pulmonary arterial hypertension (PAH). Interestingly, the V249I
and T280M genetic polymorphisms influence CX3CR1 expression and function. We
investigated whether these polymorphisms are associated with PAH secondary to
SSc. CX3CR1 genotypes were analyzed by PCR and sequencing in 76 patients with
limited SSc and 204 healthy controls. PAH was defined by colorDoppler echocardiography.
Homozygosity for 249II as well as the combined presence of 249II and 280MM were
significantly more frequent in patients with SSc compared to controls (17 vs 6%,
p = 0.0034 and 5 vs 1%, p = 0.0027, respectively). The 249I and 280M alleles were
associated with PAH (odd ratio [OR] 2.2, 95% confidence interval [CI] 1.01-4.75,
p = 0.028 and OR 7.37, 95%CI: 2.45-24.60, p = 0.0001, respectively). In conclusion,
the increased frequencies of 249I and 280M CX3CR1 alleles in a subgroup of
patients with SSc-associated PAH suggest a role for the fractalkine system in
the pathogenesis of this
condition. Further, the 249I allele might be associated with susceptibility to SSc
Cytogenetics and sperm ultrastructure of Atelopus spumarius (Anura, Bufonidae) from the Brazilian Amazon
Low temperature exposure induces browning of bone marrow stem cell derived adipocytes in vitro
Brown and beige adipocytes are characterised as expressing the unique mitochondrial uncoupling protein (UCP)1 for which the primary stimulus in vivo is cold exposure. The extent to which cold-induced UCP1 activation can also be achieved in vitro, and therefore perform a comparable cellular function, is unknown. We report an in vitro model to induce adipocyte browning using bone marrow (BM) derived mesenchymal stem cells (MSC), which relies on differentiation at 32°C instead of 37°C. The low temperature promoted browning in adipogenic cultures, with increased adipocyte differentiation and upregulation of adipogenic and thermogenic factors, especially UCP1. Cells exhibited enhanced uncoupled respiration and metabolic adaptation. Cold-exposed differentiated cells showed a marked translocation of leptin to adipocyte nuclei, suggesting a previously unknown role for leptin in the browning process. These results indicate that BM-MSC can be driven to forming beige-like adipocytes in vitro by exposure to a reduced temperature. This in vitro model will provide a powerful tool to elucidate the precise role of leptin and related hormones in hitherto functions in the browning process
Correlating Global Gene Regulation to Angiogenesis in the Developing Chick Extra-Embryonic Vascular System
International audienceBACKGROUND: Formation of blood vessels requires the concerted regulation of an unknown number of genes in a spatial-, time- and dosage-dependent manner. Determining genes, which drive vascular maturation is crucial for the identification of new therapeutic targets against pathological angiogenesis. METHOLOGY/PRINCIPAL FINDINGS: We accessed global gene regulation throughout maturation of the chick chorio-allantoic membrane (CAM), a highly vascularized tissue, using pan genomic microarrays. Seven percent of analyzed genes showed a significant change in expression (>2-fold, FDR<5%) with a peak occurring from E7 to E10, when key morphogenetic and angiogenic genes such as BMP4, SMO, HOXA3, EPAS1 and FGFR2 were upregulated, reflecting the state of an activated endothelium. At later stages, a general decrease in gene expression occurs, including genes encoding mitotic factors or angiogenic mediators such as CYR61, EPAS1, MDK and MYC. We identified putative human orthologs for 77% of significantly regulated genes and determined endothelial cell enrichment for 20% of the orthologs in silico. Vascular expression of several genes including ENC1, FSTL1, JAM2, LDB2, LIMS1, PARVB, PDE3A, PRCP, PTRF and ST6GAL1 was demonstrated by in situ hybridization. Up to 9% of the CAM genes were also overexpressed in human organs with related functions, such as placenta and lung or the thyroid. 21-66% of CAM genes enriched in endothelial cells were deregulated in several human cancer types (P<.0001). Interfering with PARVB (encoding parvin, beta) function profoundly changed human endothelial cell shape, motility and tubulogenesis, suggesting an important role of this gene in the angiogenic process. CONCLUSIONS/SIGNIFICANCE: Our study underlines the complexity of gene regulation in a highly vascularized organ during development. We identified a restricted number of novel genes enriched in the endothelium of different species and tissues, which may play crucial roles in normal and pathological angiogenesis
- …