Modal Logics with Hard Diamond-free Fragments

We investigate the complexity of modal satisfiability for certain combinations of modal logics. In particular we examine four examples of multimodal logics with dependencies and demonstrate that even if we restrict our inputs to diamond-free formulas (in negation normal form), these logics still have a high complexity. This result illustrates that having D as one or more of the combined logics, as well as the interdependencies among logics can be important sources of complexity even in the absence of diamonds and even when at the same time in our formulas we allow only one propositional variable. We then further investigate and characterize the complexity of the diamond-free, 1-variable fragments of multimodal logics in a general setting.Comment: New version: improvements and corrections according to reviewers' comments. Accepted at LFCS 201

Inner retinal inhibition shapes the receptive field of retinal ganglion cells in primate

The centre-surround organisation of receptive fields is a feature of most retinal ganglion cells (RGCs) and is critical for spatial discrimination and contrast detection. Although lateral inhibitory processes are known to be important in generating the receptive field surround, the contribution of each of the two synaptic layers in the primate retina remains unclear. Here we studied the spatial organisation of excitatory and inhibitory synaptic inputs onto ON and OFF ganglion cells in the primate retina. All RGCs showed an increase in excitation in response to stimulus of preferred polarity. Inhibition onto RGCs comprised two types of responses to preferred polarity: some RGCs showed an increase in inhibition whilst others showed removal of tonic inhibition. Excitatory inputs were strongly spatially tuned but inhibitory inputs showed more variable organisation: in some neurons they were as strongly tuned as excitation, and in others inhibitory inputs showed no spatial tuning. We targeted one source of inner retinal inhibition by functionally ablating spiking amacrine cells with bath application of tetrodotoxin (TTX). TTX significantly reduced the spatial tuning of excitatory inputs. In addition, TTX reduced inhibition onto those RGCs where a stimulus of preferred polarity increased inhibition. Reconstruction of the spatial tuning properties by somatic injection of excitatory and inhibitory synaptic conductances verified that TTX-mediated inhibition onto bipolar cells increases the strength of the surround in RGC spiking output. These results indicate that in the primate retina inhibitory mechanisms in the inner plexiform layer sharpen the spatial tuning of ganglion cells. © 2013 The Physiological Society

Ubiquitin-like modifier FAT10 attenuates RIG-I mediated antiviral signaling by segregating activated RIG-I from its signaling platform

RIG-I is a key cytosolic RNA sensor that mediates innate immune defense against RNA virus. Aberrant RIG-I activity leads to severe pathological states such as autosomal dominant multi-system disorder, inflammatory myophathies and dermatomyositis. Therefore, identification of regulators that ensure efficient defense without harmful immune-pathology is particularly critical to deal with RIG-I-associated diseases. Here, we presented the inflammatory inducible FAT10 as a novel negative regulator of RIG-Imediated inflammatory response. In various cell lines, FAT10 protein is undetectable unless it is induced by pro-inflammatory cytokines. FAT10 non-covalently associated with the 2CARD domain of RIG-I, and inhibited viral RNA-induced IRF3 and NF-kappa B activation through modulating the RIG-I protein solubility. We further demonstrated that FAT10 was recruited to RIG-I-TRIM25 to form an inhibitory complex where FAT10 was stabilized by E3 ligase TRIM25. As the result, FAT10 inhibited the antiviral stress granules formation contains RIG-I and sequestered the active RIG-I away from the mitochondria. Our study presented a novel mechanism to dampen RIG-I activity. Highly accumulated FAT10 is observed in various cancers with pro-inflammatory environment, therefore, our finding which uncovered the suppressive effect of the accumulated FAT10 during virus-mediated inflammatory response may also provide molecular clue to understand the carcinogenesis related with infection and inflammation.11109Ysciescopu

Disrupted-in-schizophrenia 1 (DISC1) Regulates Dysbindin Function by Enhancing Its Stability

Dysbindin and DISC1 are schizophrenia susceptibility factors playing roles in neuronal development. Here we show that the physical interaction between dysbindin and DISCI is critical for the stability of dysbindin and for the process of neurite outgrowth. We found that DISCI forms a complex with dysbindin and increases its stability in association with a reduction in ubiquitylation. Furthermore, knockdown of DISCI or expression of a deletion mutant, DISCI lacking amino acid residues 403-504 of DISC1 (DISC1(Delta 403-504)), effectively decreased levels of endogenous dysbindin. Finally, the neurite outgrowth defect induced by knockdown of DISCI was partially reversed by coexpression of dysbindin. Taken together, these results indicate that dysbindin and DISC1 form a physiologically functional complex that is essential for normal neurite outgrowth.X111211Ysciescopu

Using small molecules to facilitate exchange of bicarbonate and chloride anions across liposomal membranes

Bicarbonate is involved in a wide range of biological processes, which include respiration, regulation of intracellular pH and fertilization. In this study we use a combination of NMR spectroscopy and ion-selective electrode techniques to show that the natural product prodigiosin, a tripyrrolic molecule produced by microorganisms such as Streptomyces and Serratia, facilitates chloride/bicarbonate exchange (antiport) across liposomal membranes. Higher concentrations of simple synthetic molecules based on a 4,6-dihydroxyisophthalamide core are also shown to facilitate this antiport process. Although it is well known that proteins regulate Cl-/HCO3- exchange in cells, these results suggest that small molecules may also be able to regulate the concentration of these anions in biological systems

Inhibition of Y1 receptor signaling improves islet transplant outcome

Failure to secrete sufficient quantities of insulin is a pathological feature of type-1 and type-2 diabetes, and also reduces the success of islet cell transplantation. Here we demonstrate that Y1 receptor signaling inhibits insulin release in β-cells, and show that this can be pharmacologically exploited to boost insulin secretion. Transplanting islets with Y1 receptor deficiency accelerates the normalization of hyperglycemia in chemically induced diabetic recipient mice, which can also be achieved by short-term pharmacological blockade of Y1 receptors in transplanted mouse and human islets. Furthermore, treatment of non-obese diabetic mice with a Y1 receptor antagonist delays the onset of diabetes. Mechanistically, Y1 receptor signaling inhibits the production of cAMP in islets, which via CREB mediated pathways results in the down-regulation of several key enzymes in glycolysis and ATP production. Thus, manipulating Y1 receptor signaling in β-cells offers a unique therapeutic opportunity for correcting insulin deficiency as it occurs in the pathological state of type-1 diabetes as well as during islet transplantation.Islet transplantation is considered one of the potential treatments for T1DM but limited islet survival and their impaired function pose limitations to this approach. Here Loh et al. show that the Y1 receptor is expressed in β- cells and inhibition of its signalling, both genetic and pharmacological, improves mouse and human islet function.info:eu-repo/semantics/publishe

Normal levels of p27Xic1 are necessary for somite segmentation and determining pronephric organ size

The Xenopus laevis cyclin dependent kinase inhibitor p27Xic1 has been shown to be involved in exit from the cell cycle and differentiation of cells into a quiescent state in the nervous system, muscle tissue, heart and retina. We show that p27Xic1 is expressed in the developing kidney in the nephrostomal regions. Using over-expression and morpholino oligonucleotide (MO) knock-down approaches we show normal levels of p27Xic1 regulate pronephros organ size by regulating cell cycle exit. Knock-down of p27Xic1 expression using a MO prevented myogenesis, as previously reported; an effect that subsequently inhibits pronephrogenesis. Furthermore, we show that normal levels of p27Xic1 are required for somite segmentation also through its cell cycle control function. Finally, we provide evidence to suggest correct paraxial mesoderm segmentation is not necessary for pronephric induction in the intermediate mesoderm. These results indicate novel developmental roles for p27Xic1, and reveal its differentiation function is not universally utilised in all developing tissues

The evolution of intracranial aneurysm treatment techniques and future directions.

Treatment techniques and management guidelines for intracranial aneurysms (IAs) have been continually developing and this rapid development has altered treatment decision-making for clinicians. IAs are treated in one of two ways: surgical treatments such as microsurgical clipping with or without bypass techniques, and endovascular methods such as coiling, balloon- or stent-assisted coiling, or intravascular flow diversion and intrasaccular flow disruption. In certain cases, a single approach may be inadequate in completely resolving the IA and successful treatment requires a combination of microsurgical and endovascular techniques, such as in complex aneurysms. The treatment option should be considered based on factors such as age; past medical history; comorbidities; patient preference; aneurysm characteristics such as location, morphology, and size; and finally the operator's experience. The purpose of this review is to provide practicing neurosurgeons with a summary of the techniques available, and to aid decision-making by highlighting ideal or less ideal cases for a given technique. Next, we illustrate the evolution of techniques to overcome the shortfalls of preceding techniques. At the outset, we emphasize that this decision-making process is dynamic and will be directed by current best scientific evidence, and future technological advances

Depth resolved lattice-charge coupling in epitaxial BiFeO3 thin film

For epitaxial films, a critical thickness (t(c)) can create a phenomenological interface between a strained bottom layer and a relaxed top layer. Here, we present an experimental report of how the t(c) in BiFeO3 thin films acts as a boundary to determine the crystalline phase, ferroelectricity, and piezoelectricity in 60 nm thick BiFeO3/SrRuO3/SrTiO3 substrate. We found larger Fe cation displacement of the relaxed layer than that of strained layer. In the time-resolved X-ray microdiffraction analyses, the piezoelectric response of the BiFeO3 film was resolved into a strained layer with an extremely low piezoelectric coefficient of 2.4 pm/V and a relaxed layer with a piezoelectric coefficient of 32 pm/V. The difference in the Fe displacements between the strained and relaxed layers is in good agreement with the differences in the piezoelectric coefficient due to the electromechanical couplingope

Cardiovascular risk factors among Chamorros

BACKGROUND: Little is known regarding the cardiovascular disease risk factors among Chamorros residing in the United States. METHODS: The Chamorro Directory International and the CDC's Behavioral Risk Factor Surveillance System Questionnaire (BRFSS) were used to assess the health related practices and needs of a random sample of 228 Chamorros. RESULTS: Inactivity, hypertension, elevated cholesterol and diabetes mellitus were more prevalent in this Chamorro sample compared to the US average. Participants who were 50-and-older or unemployed were more likely to report hypertension, diabetes and inactivity, but they were also more likely to consume more fruits and vegetables than their younger and employed counterparts. Women were more likely to report hypertension and diabetes, whereas men were more likely to have elevated BMI and to have never had their blood cholesterol checked. CONCLUSION: The study provides data that will help healthcare providers, public health workers and community leaders identify where to focus their health improvement efforts for Chamorros and create culturally competent programs to promote health in this community