Dialectica Categories for the Lambek Calculus

We revisit the old work of de Paiva on the models of the Lambek Calculus in dialectica models making sure that the syntactic details that were sketchy on the first version got completed and verified. We extend the Lambek Calculus with a \kappa modality, inspired by Yetter's work, which makes the calculus commutative. Then we add the of-course modality !, as Girard did, to re-introduce weakening and contraction for all formulas and get back the full power of intuitionistic and classical logic. We also present the categorical semantics, proved sound and complete. Finally we show the traditional properties of type systems, like subject reduction, the Church-Rosser theorem and normalization for the calculi of extended modalities, which we did not have before

Risk of Stillbirth in the Relation to Water Disinfection By-Products: A Population-Based Case-Control Study in Taiwan

Background: Few epidemiological studies that have assessed the relation between water disinfection by-products (DBPs) and the risk of stillbirth provide inconsistent results. The objective was to assess the relation between exposure to water disinfection by-products and the risk of stillbirth. Methods: We conducted a population-based case-control study of 3,289 cases of stillbirth and a random sample of 32,890 control subjects from 396,049 Taiwanese newborns in 2001–2003 using information from the Birth Registry and Waterworks Registry in Taiwan. We compared the risk of stillbirth in four disinfection by-product exposure categories based on the levels of total trihalomethanes (TTHMs) representing high (TTHMs 20+ mg/L), medium (TTHMs 10–19 mg/L), low exposure (TTHMs 5–9 mg/L), and 0–4 mg/L as the reference category. In addition, we conducted a meta-analysis of the results from the present and 5 previous studies focusing on stillbirth. Findings: In logistic regression analysis adjusting for gender, maternal age, plurality, conception of season and population density of the municipality where the mother lived during pregnancy, the odds ratio (OR) for stillbirth was 1.10 (95 % CI 1.00–1.21) for medium exposure and 1.06 (95 % 0.96–1.17) for high exposure compared to reference category. In the metaanalysis, the summary odds ratio for stillbirth (1.11, 95 % CI: 1.03, 1.19) was consistently elevated. Conclusions: The present study is consistent with the hypothesis that the risk of stillbirth is related to prenatal exposure t

Pain patterns and descriptions in patients with radicular pain: Does the pain necessarily follow a specific dermatome?

<p>Abstract</p> <p>Background</p> <p>It is commonly stated that nerve root pain should be expected to follow a specific dermatome and that this information is useful to make the diagnosis of radiculopathy. There is little evidence in the literature that confirms or denies this statement. The purpose of this study is to describe and discuss the diagnostic utility of the distribution of pain in patients with cervical and lumbar radicular pain.</p> <p>Methods</p> <p>Pain drawings and descriptions were assessed in consecutive patients diagnosed with cervical or lumbar nerve root pain. These findings were compared with accepted dermatome maps to determine whether they tended to follow along the involved nerve root's dermatome.</p> <p>Results</p> <p>Two hundred twenty-six nerve roots in 169 patients were assessed. Overall, pain related to cervical nerve roots was non-dermatomal in over two-thirds (69.7%) of cases. In the lumbar spine, the pain was non-dermatomal in just under two-thirds (64.1%) of cases. The majority of nerve root levels involved non-dermatomal pain patterns except C4 (60.0% dermatomal) and S1 (64.9% dermatomal). The sensitivity (SE) and specificity (SP) for dermatomal pattern of pain are low for all nerve root levels with the exception of the C4 level (Se 0.60, Sp 0.72) and S1 level (Se 0.65, Sp 0.80), although in the case of the C4 level, the number of subjects was small (n = 5).</p> <p>Conclusion</p> <p>In most cases nerve root pain should not be expected to follow along a specific dermatome, and a dermatomal distribution of pain is not a useful historical factor in the diagnosis of radicular pain. The possible exception to this is the S1 nerve root, in which the pain does commonly follow the S1 dermatome.</p

A case report of a patient with upper extremity symptoms: differentiating radicular and referred pain

<p>Abstract</p> <p>Background</p> <p>Similar upper extremity symptoms can present with varied physiologic etiologies. However, due to the multifaceted nature of musculoskeletal conditions, a definitive diagnosis using physical examination and advanced testing is not always possible. This report discusses the diagnosis and case management of a patient with two episodes of similar upper extremity symptoms of different etiologies.</p> <p>Case Presentation</p> <p>On two separate occasions a forty-four year old female patient presented to a chiropractic office with a chief complaint of insidious right-sided upper extremity symptoms. During each episode she reported similar pain and parasthesias from her neck and shoulder to her lateral forearm and hand.</p> <p>During the first episode the patient was diagnosed with a cervical radiculopathy. Conservative treatment, including manual cervical traction, spinal manipulation and neuromobilization, was initiated and resolved the symptoms.</p> <p>Approximately eighteen months later the patient again experienced a severe acute flare-up of the upper extremity symptoms. Although the subjective complaint was similar, it was determined that the pain generator of this episode was an active trigger point of the infraspinatus muscle. A diagnosis of myofascial referred pain was made and a protocol of manual trigger point therapy and functional postural rehabilitative exercises improved the condition.</p> <p>Conclusion</p> <p>In this case a thorough physical evaluation was able to differentiate between radicular and referred pain. By accurately identifying the pain generating structures, the appropriate rehabilitative protocol was prescribed and led to a successful outcome for each condition. Conservative manual therapy and rehabilitative exercises may be an effective treatment for certain cases of cervical radiculopathy and myofascial referred pain.</p

Predictive clinico-pathological factors to identify BCG, unresponsive patients, after re-resection for T1 high grade non-muscle invasive bladder cancer

Introduction: Seventy-five percent of bladder cancers are non-muscle invasive. The treatment strategy includes the transurethral resection of bladder tumor (TURB) followed by intravesical immunotherapy with the bacillus of Calmette-Guerin (BCG) or chemotherapy, depending on the grade of bladder tumor. Despite a proper BCG intravesical instillations schedule, up to 40% of patients present a failure within 2 years. The aim of this retrospective study was to investigate the predictive factors in the response to BCG in patients with a high-grade non-muscle invasive bladder cancer diagnosis. Materials and methods: Patients with non-muscle invasive bladder cancer from 13 hospitals and academic institutions were identified and treated, from January 1, 2002, until December 31, 2012, with TURB and a subsequent re-TURB for restaging before receiving BCG. Follow-up was performed with urine cytology and cystoscopy every 3 months for 1 year and, successively every 6 months. Univariate and multivariate Cox regression models addressed the response to BCG therapy. Kaplan-Meier overall survival (OS) and cancer-specific survival (CSS) estimates were determined for BCG responsive vs. BCG unresponsive patients. Results: A total of 1,228 patients with non-muscle invasive bladder cancer were enrolled. Of 257 (20.9%) patients were BCG unresponsive. Independent predictive factors for response to BCG were: multifocality (HR: 1.4; 95% CI 1.05-1.86; P = 0.019), lymphovascular invasion (HR: 1.75; 95% CI 1.22-2.49; P = 0.002) and high-grade on re-TURB (HR: 1.39; 95% CI 1.02-1.91; P = 0.037). Overall survival was significantly reduced in BCG-unresponsive patients compared to BCG-responsive patients at 5 years (82.9% vs. 92.4%, P &lt; 0.0001) and at 10 years (44.2% vs. 74.4%, P &lt; 0.0001). Similarly, cancer-specific survival was reduced in BCG-unresponsive patients at 5 years (90.6% vs. 97.3%, P &lt; 0.0001) and at 10 years (72.3% vs. 87.2%, P &lt; 0.0001). Conclusion: Multifocality, lymphovascular invasion, and high-grade on re-TURB were independent predictors for response to BCG treatment. BCG-unresponsive patients reported worse oncological outcomes

Comparative Therapeutic Effects of Velaglucerase Alfa and Imiglucerase in a Gaucher Disease Mouse Model

Gaucher disease type 1 is caused by the defective activity of the lysosomal enzyme, acid β-glucosidase (GCase). Regular infusions of purified recombinant GCase are the standard of care for reversing hematologic, hepatic, splenic, and bony manifestations. Here, similar in vitro enzymatic properties, and in vivo pharmacokinetics and pharmacodynamics (PK/PD) and therapeutic efficacy of GCase were found with two human GCases, recombinant GCase (CHO cell, imiglucerase, Imig) and gene-activated GCase (human fibrosarcoma cells, velaglucerase alfa, Vela), in a Gaucher mouse, D409V/null. About 80+% of either enzyme localized to the liver interstitial cells and <5% was recovered in spleens and lungs after bolus i.v. injections. Glucosylceramide (GC) levels and storage cell numbers were reduced in a dose (5, 15 or 60 U/kg/wk) dependent manner in livers (60–95%) and in spleens (∼10–30%). Compared to Vela, Imig (60 U/kg/wk) had lesser effects at reducing hepatic GC (p = 0.0199) by 4 wks; this difference disappeared by 8 wks when nearly WT levels were achieved by Imig. Anti-GCase IgG was detected in GCase treated mice at 60 U/kg/wk, and IgE mediated acute hypersensitivity and death occurred after several injections of 60 U/kg/wk (21% with Vela and 34% with Imig). The responses of GC levels and storage cell numbers in Vela- and Imig-treated Gaucher mice at various doses provide a backdrop for clinical applications and decisions

Altered sensory-weighting mechanisms is observed in adolescents with idiopathic scoliosis

BACKGROUND: Scoliosis is the most common type of spinal deformity. In North American children, adolescent idiopathic scoliosis (AIS) makes up about 90% of all cases of scoliosis. While its prevalence is about 2% to 3% in children aged between 10 to 16 years, girls are more at risk than boys for severe progression with a ratio of 3.6 to 1. The aim of the present study was to test the hypothesis that idiopathic scoliosis interferes with the mechanisms responsible for sensory-reweighting during balance control. METHODS: Eight scoliosis patients (seven female and one male; mean age: 16.4 years) and nine healthy adolescents (average age 16.5 years) participated in the experiment. Visual and ankle proprioceptive information was perturbed (eyes closed and/or tendon vibration) suddenly and then returned to normal (eyes open and/or no tendon vibration). An AMTI force platform was used to compute centre of pressure root mean squared velocity and sway density curve. RESULTS: For the control condition (eyes open and no tendon vibration), adolescent idiopathic scoliosis patients had a greater centre of pressure root mean squared velocity (variability) than control participants. Reintegration of ankle proprioception, when vision was either available or removed, led to an increased centre of pressure velocity variability for the adolescent idiopathic scoliosis patients whereas the control participants reduced their centre of pressure velocity variability. Moreover, in the absence of vision, adolescent idiopathic scoliosis exhibited an increased centre of pressure velocity variability when ankle proprioception was returned to normal (i.e. tendon vibration stopped). The analysis of the sway density plot suggests that adolescent idiopathic scoliosis patients, during sensory reintegration, do not scale appropriately their balance control commands. CONCLUSION: Altogether, the present results demonstrate that idiopathic scoliosis adolescents have difficulty in reweighting sensory inputs following a brief period of sensory deprivation

Difference between pre-operative and cardiopulmonary bypass mean arterial pressure is independently associated with early cardiac surgery-associated acute kidney injury

<p>Abstract</p> <p>Background</p> <p>Cardiac surgery-associated acute kidney injury (CSA-AKI) contributes to increased morbidity and mortality. However, its pathophysiology remains incompletely understood. We hypothesized that intra-operative mean arterial pressure (MAP) relative to pre-operative MAP would be an important predisposing factor for CSA-AKI.</p> <p>Methods</p> <p>We performed a prospective observational study of 157 consecutive high-risk patients undergoing cardiac surgery with cardiopulmonary bypass (CPB). The primary exposure was delta MAP, defined as the pre-operative MAP minus average MAP during CPB. Secondary exposure was CPB flow. The primary outcome was early CSA-AKI, defined by a minimum RIFLE class - RISK. Univariate and multivariate logistic regression were performed to explore for association between delta MAP and CSA-AKI.</p> <p>Results</p> <p>Mean (± SD) age was 65.9 ± 14.7 years, 70.1% were male, 47.8% had isolated coronary bypass graft (CABG) surgery, 24.2% had isolated valve surgery and 16.6% had combined procedures. Mean (± SD) pre-operative, intra-operative and delta MAP were 86.6 ± 13.2, 57.4 ± 5.0 and 29.4 ± 13.5 mmHg, respectively. Sixty-five patients (41%) developed CSA-AKI within in the first 24 hours post surgery. By multivariate logistic regression, a delta MAP≥26 mmHg (odds ratio [OR], 2.8; 95%CI, 1.3-6.1, p = 0.009) and CPB flow rate ≥54 mL/kg/min (OR, 0.2, 0.1-0.5, p < 0.001) were independently associated with CSA-AKI. Additional variables associated with CSA-AKI included use of a side-biting aortic clamp (OR, 3.0; 1.3-7.1, p = 0.012), and body mass index ≥25 (OR, 4.2; 1.6-11.2, p = 0.004).</p> <p>Conclusion</p> <p>A large delta MAP and lower CPB flow during cardiac surgery are independently associated with early post-operative CSA-AKI in high-risk patients. Delta MAP represents a potentially modifiable intra-operative factor for development of CSA-AKI that necessitates further inquiry.</p

Influence of Perineurial Cells and Toll-Like Receptors 2 and 9 on Herpes simplex Type 1 Entry to the Central Nervous System in Rat Encephalitis

Herpes simplex encephalitis (HSE) is a rare disease with high mortality and significant morbidity among survivors. We have previously shown that susceptibility to HSE was host-strain dependent, as severe, lethal HSE developed after injection of human Herpes simplex type 1 virus (HSV-1) into the whiskers area of DA rats, whereas PVG rats remained completely asymptomatic. In the present study we investigated the early immunokinetics in these strains to address the underlying molecular mechanisms for the observed difference. The virus distribution and the immunological responses were compared in the whiskers area, trigeminal ganglia and brain stem after 12 hours and the first four days following infection using immunohistochemistry and qRT-PCR. A conspicuous immunopathological finding was a strain-dependent difference in the spread of the HSV-1 virus to the trigeminal ganglia, only seen in DA rats already from 12 hpi. In the whiskers area infected perineurial cells were abundant in the susceptible DA strain after 2 dpi, whereas in the resistant PVG rats HSV-1 spread was confined only to the epineurium. In both strains activation of Iba1+/ED1+ phagocytic cells followed the distribution pattern of HSV-1 staining, which was visible already at 12 hours after infection. Notably, in PVG rats higher mRNA expression of Toll-like receptors (Tlr) -2 and -9, together with increased staining for Iba1/ED1 was detected in the whiskers area. In contrast, all other Tlr-pathway markers were expressed at higher levels in the susceptible DA rats. Our data demonstrate the novel observation that genetically encoded properties of the host nerve and perineurial cells, recruitment of phagocyting cells together with the low expression of Tlr2 and -9 in the periphery define the susceptibility to HSV-1 entry into the nervous system

The Ubiquitin-Proteasome Reporter GFPu Does Not Accumulate in Neurons of the R6/2 Transgenic Mouse Model of Huntington's Disease

Impairment of the ubiquitin-proteasome system (UPS) has long been considered an attractive hypothesis to explain the selective dysfunction and death of neurons in polyglutamine disorders such as Huntington's disease (HD). The fact that inclusion bodies in HD mouse models and patient brains are rich in ubiquitin and proteasome components suggests that the UPS may be hindered directly or indirectly by inclusion bodies or their misfolded monomeric or oligomeric precursors. However, studies into UPS function in various polyglutamine disease models have yielded conflicting results, suggesting mutant polyglutamine tracts may exert different effects on the UPS depending on protein context, expression level, subcellular localisation and cell-type. To investigate UPS function in a well-characterised mouse model of HD, we have crossed R6/2 HD mice with transgenic UPS reporter mice expressing the GFPu construct. The GFPu construct comprises GFP fused to a constitutive degradation signal (CL-1) that promotes its rapid degradation under conditions of a healthy UPS. Using a combination of immunoblot analysis, fluorescence and immunofluorescence microscopy studies, we found that steady-state GFPu levels were not detectably different between R6/2 and non-R6/2 brain. We observed no correlation between inclusion body formation and GFPu accumulation, suggesting no direct relationship between protein aggregation and global UPS inhibition in R6/2 mice. These findings suggest that while certain branches of the UPS can be impaired by mutant polyglutamine proteins, such proteins do not necessarily cause total blockade of UPS-dependent degradation. It is therefore likely that the relationship between mutant polyglutamine proteins and the UPS is more complex than originally anticipated