The Lambek calculus with iteration: two variants

Formulae of the Lambek calculus are constructed using three binary connectives, multiplication and two divisions. We extend it using a unary connective, positive Kleene iteration. For this new operation, following its natural interpretation, we present two lines of calculi. The first one is a fragment of infinitary action logic and includes an omega-rule for introducing iteration to the antecedent. We also consider a version with infinite (but finitely branching) derivations and prove equivalence of these two versions. In Kleene algebras, this line of calculi corresponds to the *-continuous case. For the second line, we restrict our infinite derivations to cyclic (regular) ones. We show that this system is equivalent to a variant of action logic that corresponds to general residuated Kleene algebras, not necessarily *-continuous. Finally, we show that, in contrast with the case without division operations (considered by Kozen), the first system is strictly stronger than the second one. To prove this, we use a complexity argument. Namely, we show, using methods of Buszkowski and Palka, that the first system is $\Pi_1^0$-hard, and therefore is not recursively enumerable and cannot be described by a calculus with finite derivations

Deconstructing interventions: approaches to studying behavior change techniques across obesity interventions

Deconstructing interventions into the specific techniques that are used to change behavior represents a new frontier in behavioral intervention research. This paper considers opportunities and challenges in employing the Behavior Change Techniques Taxonomy (BCTTv1) developed by Michie and colleagues, to code the behavior change techniques (BCTs) across multiple interventions addressing obesity and capture dose received at the technique level. Numerous advantages were recognized for using a shared framework for intervention description. Coding interventions at levels of the social ecological framework beyond the individual level, separate coding for behavior change initiation vs. maintenance, fidelity of BCT delivery, accounting for BCTs mode of delivery, and tailoring BCTs, present both challenges and opportunities. Deconstructing interventions and identifying the dose required to positively impact health-related outcomes could enable important gains in intervention science

Development of a decision support tool to facilitate primary care management of patients with abnormal liver function tests without clinically apparent liver disease [HTA03/38/02]. Abnormal Liver Function Investigations Evaluation (ALFIE)

Liver function tests (LFTs) are routinely performed in primary care, and are often the gateway to further invasive and/or expensive investigations. Little is known of the consequences in people with an initial abnormal liver function (ALF) test in primary care and with no obvious liver disease. Further investigations may be dangerous for the patient and expensive for Health Services. The aims of this study are to determine the natural history of abnormalities in LFTs before overt liver disease presents in the population and identify those who require minimal further investigations with the potential for reduction in NHS costs

Should patients with abnormal liver function tests in primary care be tested for chronic viral hepatitis: cost minimisation analysis based on a comprehensively tested cohort

Background Liver function tests (LFTs) are ordered in large numbers in primary care, and the Birmingham and Lambeth Liver Evaluation Testing Strategies (BALLETS) study was set up to assess their usefulness in patients with no pre-existing or self-evident liver disease. All patients were tested for chronic viral hepatitis thereby providing an opportunity to compare various strategies for detection of this serious treatable disease. Methods This study uses data from the BALLETS cohort to compare various testing strategies for viral hepatitis in patients who had received an abnormal LFT result. The aim was to inform a strategy for identification of patients with chronic viral hepatitis. We used a cost-minimisation analysis to define a base case and then calculated the incremental cost per case detected to inform a strategy that could guide testing for chronic viral hepatitis. Results Of the 1,236 study patients with an abnormal LFT, 13 had chronic viral hepatitis (nine hepatitis B and four hepatitis C). The strategy advocated by the current guidelines (repeating the LFT with a view to testing for specific disease if it remained abnormal) was less efficient (more expensive per case detected) than a simple policy of testing all patients for viral hepatitis without repeating LFTs. A more selective strategy of viral testing all patients for viral hepatitis if they were born in countries where viral hepatitis was prevalent provided high efficiency with little loss of sensitivity. A notably high alanine aminotransferase (ALT) level (greater than twice the upper limit of normal) on the initial ALT test had high predictive value, but was insensitive, missing half the cases of viral infection. Conclusions Based on this analysis and on widely accepted clinical principles, a "fast and frugal" heuristic was produced to guide general practitioners with respect to diagnosing cases of viral hepatitis in asymptomatic patients with abnormal LFTs. It recommends testing all patients where a clear clinical indication of infection is present (e.g. evidence of intravenous drug use), followed by testing all patients who originated from countries where viral hepatitis is prevalent, and finally testing those who have a notably raised ALT level (more than twice the upper limit of normal). Patients not picked up by this efficient algorithm had a risk of chronic viral hepatitis that is lower than the general population

Magnetism and its microscopic origin in iron-based high-temperature superconductors

High-temperature superconductivity in the iron-based materials emerges from, or sometimes coexists with, their metallic or insulating parent compound states. This is surprising since these undoped states display dramatically different antiferromagnetic (AF) spin arrangements and N$\rm \acute{e}$el temperatures. Although there is general consensus that magnetic interactions are important for superconductivity, much is still unknown concerning the microscopic origin of the magnetic states. In this review, progress in this area is summarized, focusing on recent experimental and theoretical results and discussing their microscopic implications. It is concluded that the parent compounds are in a state that is more complex than implied by a simple Fermi surface nesting scenario, and a dual description including both itinerant and localized degrees of freedom is needed to properly describe these fascinating materials.Comment: 14 pages, 4 figures, Review article, accepted for publication in Nature Physic

Pathogenesis of aerosolized Eastern Equine Encephalitis virus infection in guinea pigs

Mice and guinea pigs were experimentally exposed to aerosols containing regionally-distinct strains (NJ1959 or ArgM) of eastern equine encephalitis virus (EEEV) at two exclusive particle size distributions. Mice were more susceptible to either strain of aerosolized EEEV than were guinea pigs; however, clinical signs indicating encephalitis were more readily observed in the guinea pigs. Lower lethality was observed in both species when EEEV was presented at the larger aerosol distribution (> 6 μm), although the differences in the median lethal dose (LD50) were not significant. Virus isolation and immunohistochemistry indicated that virus invaded the brains of guinea pigs within one day postexposure, regardless of viral strain or particle size distribution. Immunohistochemistry further demonstrated that neuroinvasion occurred through the olfactory system, followed by transneuronal spread to all regions of the brain. Olfactory bipolar neurons and neurons throughout the brain were the key viral targets. The main microscopic lesions in infected guinea pigs were neuronal necrosis, inflammation of the meninges and neuropil of the brain, and vasculitis in the brain. These results indicate that guinea pigs experimentally infected by aerosolized EEEV recapitulate several key features of fatal human infection and thus should serve as a suitable animal model for aerosol exposure to EEEV

Subanesthetic ketamine treatment promotes abnormal interactions between neural subsystems and alters the properties of functional brain networks

Acute treatment with subanesthetic ketamine, a non-competitive N-methyl-D-aspartic acid (NMDA) receptor antagonist, is widely utilized as a translational model for schizophrenia. However, how acute NMDA receptor blockade impacts on brain functioning at a systems level, to elicit translationally relevant symptomatology and behavioral deficits, has not yet been determined. Here, for the first time, we apply established and recently validated topological measures from network science to brain imaging data gained from ketamine-treated mice to elucidate how acute NMDA receptor blockade impacts on the properties of functional brain networks. We show that the effects of acute ketamine treatment on the global properties of these networks are divergent from those widely reported in schizophrenia. Where acute NMDA receptor blockade promotes hyperconnectivity in functional brain networks, pronounced dysconnectivity is found in schizophrenia. We also show that acute ketamine treatment increases the connectivity and importance of prefrontal and thalamic brain regions in brain networks, a finding also divergent to alterations seen in schizophrenia. In addition, we characterize how ketamine impacts on bipartite functional interactions between neural subsystems. A key feature includes the enhancement of prefrontal cortex (PFC)-neuromodulatory subsystem connectivity in ketamine-treated animals, a finding consistent with the known effects of ketamine on PFC neurotransmitter levels. Overall, our data suggest that, at a systems level, acute ketamine-induced alterations in brain network connectivity do not parallel those seen in chronic schizophrenia. Hence, the mechanisms through which acute ketamine treatment induces translationally relevant symptomatology may differ from those in chronic schizophrenia. Future effort should therefore be dedicated to resolve the conflicting observations between this putative translational model and schizophrenia

Combined effect of regulatory polymorphisms on transcription of UGT1A1 as a cause of Gilbert syndrome

<p>Abstract</p> <p>Background</p> <p>Gilbert syndrome is caused by defects in bilirubin UDP-glucuronosyltransferase (UGT1A1). The most common variation believed to be involved is A(TA)7TAA. Although several polymorphisms have been found to link with A(TA)7TAA, the combined effect of regulatory polymorphisms in the development of Gilbert syndrome remains unclear.</p> <p>Methods</p> <p>In an analysis of 15 patients and 60 normal subjects, we detected 14 polymorphisms and nine haplotypes in the regulatory region. We classified the 4-kbp regulatory region of the patients into: the TATA box including A(TA)7TAA; a phenobarbital responsive enhancer module including c.-3275T>G; and a region including other ten linked polymorphisms. The effect on transcription of these polymorphisms was studied.</p> <p>Results</p> <p>All haplotypes with A(TA)7TAA had c.-3275T>G and additional polymorphisms. In an <it>in-vitro </it>expression study of the 4-kbp regulatory region, A(TA)7TAA alone did not significantly reduce transcription. In contrast, c.-3275T>G reduced transcription to 69% of that of wild type, and the linked polymorphisms reduced transcription to 88% of wild type. Transcription of the typical regulatory region of the patients was 56% of wild type. Co-expression of constitutive androstane receptor (CAR) increased the transcription of wild type by a factor of 4.3. Each polymorphism by itself did not reduce transcription to the level of the patients, however, even in the presence of CAR.</p> <p>Conclusions</p> <p>These results imply that co-operation of A(TA)7TAA, c.-3275T>G and the linked polymorphisms is necessary in causing Gilbert syndrome.</p

The expression and activity of β-catenin in the thalamus and its projections to the cerebral cortex in the mouse embryo

<p>Abstract</p> <p>Background</p> <p>The mammalian thalamus relays sensory information from the periphery to the cerebral cortex for cognitive processing via the thalamocortical tract. The thalamocortical tract forms during embryonic development controlled by mechanisms that are not fully understood. β-catenin is a nuclear and cytosolic protein that transduces signals from secreted signaling molecules to regulate both cell motility via the cytoskeleton and gene expression in the nucleus. In this study we tested whether β-catenin is likely to play a role in thalamocortical connectivity by examining its expression and activity in developing thalamic neurons and their axons.</p> <p>Results</p> <p>At embryonic day (E)15.5, the time when thalamocortical axonal projections are forming, we found that the thalamus is a site of particularly high β-catenin mRNA and protein expression. As well as being expressed at high levels in thalamic cell bodies, β-catenin protein is enriched in the axons and growth cones of thalamic axons and its growth cone concentration is sensitive to Netrin-1. Using mice carrying the β-catenin reporter <it>BAT-gal </it>we find high levels of reporter activity in the thalamus. Further, Netrin-1 induces <it>BAT-gal </it>reporter expression and upregulates levels of endogenous transcripts encoding β-actin and L1 proteins in cultured thalamic cells. We found that β-catenin mRNA is enriched in thalamic axons and its 3'UTR is phylogenetically conserved and is able to direct heterologous mRNAs along the thalamic axon, where they can be translated.</p> <p>Conclusion</p> <p>We provide evidence that β-catenin protein is likely to be an important player in thalamocortcial development. It is abundant both in the nucleus and in the growth cones of post-mitotic thalamic cells during the development of thalamocortical connectivity and β-catenin mRNA is targeted to thalamic axons and growth cones where it could potentially be translated. β-catenin is involved in transducing the Netrin-1 signal to thalamic cells suggesting a mechanism by which Netrin-1 guides thalamocortical development.</p

Clinical correlation of nonalcoholic fatty liver disease in a Chinese taxi drivers population in Taiwan: Experience at a teaching hospital

<p>Abstract</p> <p>Background</p> <p>To explore any gender-related differences in the prevalence of conditions-associated with non-alcoholic fatty liver disease (NAFLD) among Taiwanese taxi drivers in Taipei, Taiwan.</p> <p>Methods</p> <p>We studied 1635 healthy taxi drivers (1541 males and 94 females) who volunteered for physical check-ups in 2006. Blood samples and ultrasound fatty liver sonography results were collected.</p> <p>Results</p> <p>The prevalence of NAFLD was 66.4% and revealed no statistically significant decrease with increasing age (p = 0.58). Males exhibited a greater prevalence of NAFLD than did females (67.5% vs 47.9%, p < 0.0001). Gender-related differences for associated factors were found. For males, hypertension, hyperuricemia, higher AST, higher ALT, hypertriglyceridemia, and higher fasting plasma glucose were significantly related to NAFLD. These conditions were not sigfinicantly related to NAFLD in females.</p> <p>Conclusion</p> <p>Several gender-related differences were noted for NAFLD among Taiwanese taxi drivers.</p