Reachability analysis for neural agent-environment systems

We develop a novel model for studying agent-environment systems, where the agents are implemented via feed-forward ReLU neural networks. We provide a semantics and develop a method to verify automatically that no unwanted states are reached by the system during its evolution. We study several reachability problems for the system, ranging from one-step reachability, to fixed multi-step and arbitrary-step to study the system evolution. We also study the decision problem of whether an agent, realised via feed-forward ReLU networks will perform an action in a system run. Whenever possible, we give tight complexity bounds to decision problems intro- duced. We automate the various reachability problems stud- ied by recasting them as mixed-integer linear programming problems. We present an implementation and discuss the ex- perimental results obtained on a range of test cases

Nonproteolytic Roles of 19S ATPases in Transcription of CIITApIV Genes

Accumulating evidence shows the 26S proteasome is involved in the regulation of gene expression. We and others have demonstrated that proteasome components bind to sites of gene transcription, regulate covalent modifications to histones, and are involved in the assembly of activator complexes in mammalian cells. The mechanisms by which the proteasome influences transcription remain unclear, although prior observations suggest both proteolytic and non-proteolytic activities. Here, we define novel, non-proteolytic, roles for each of the three 19S heterodimers, represented by the 19S ATPases Sug1, S7, and S6a, in mammalian gene expression using the inflammatory gene CIITApIV. These 19S ATPases are recruited to induced CIITApIV promoters and also associate with CIITA coding regions. Additionally, these ATPases interact with elongation factor PTEFb complex members CDK9 and Hexim-1 and with Ser5 phosphorylated RNA Pol II. Both the generation of transcripts from CIITApIV and efficient recruitment of RNA Pol II to CIITApIV are negatively impacted by siRNA mediated knockdown of these 19S ATPases. Together, these results define novel roles for 19S ATPases in mammalian gene expression and indicate roles for these ATPases in promoting transcription processes

Human emotions recognition, analysis and transformation by bioenergy field in smart grid using image processing

The passage of electric signals throughout the human body produces an electromagnetic field, known as the human-biofield, carries information about a person's psychological health. The human biofield can be rehabilitated by using healing techniques like sound therapy, and many others in smart grid. However, psychiatrists, and psychologists often face difficulties in clarifying the mental state of a patient in a quantifiable form. Therefore, the objective of this research work was to transform human emotions using sound healing therapy and produce visible results as a novel. The present research is based on the amalgamation of image processing and machine learning techniques, including a real-time aura-visualization-interpretation and an emotion-detection classifier. The experimental results highlight the effectiveness of healing emotions through the aforementioned techniques. The accuracy of the proposed method, specifically the module combining both emotion and aura, was determined to be ~88%. Additionally, the participants’ feedbacks were recorded and analyzed based on prediction and overall satisfaction. The participants were strongly satisfied with the prediction level (~81%) and future recommendation level (~84%). The results indicate the positive impact of sound therapy on emotions and the biofield. In future, experimentation using different therapies, and integrating more advanced techniques are anticipated to open a new gateways in healthcare

Transcriptional Activity of the Islet β Cell Factor Pdx1 is Augmented by Lysine Methylation Catalyzed by the Methyltransferase Set7/9

The transcription factor Pdx1 is crucial to islet β cell function and regulates target genes in part through interaction with coregulatory factors. Set7/9 is a Lys methyltransferase that interacts with Pdx1. Here we tested the hypothesis that Lys methylation of Pdx1 by Set7/9 augments Pdx1 transcriptional activity. Using mass spectrometry and mutational analysis of purified proteins, we found that Set7/9 methylates the N-terminal residues Lys-123 and Lys-131 of Pdx1. Methylation of these residues occurred only in the context of intact, full-length Pdx1, suggesting a specific requirement of secondary and/or tertiary structural elements for catalysis by Set7/9. Immunoprecipitation assays and mass spectrometric analysis using β cells verified Lys methylation of endogenous Pdx1. Cell-based luciferase reporter assays using wild-type and mutant transgenes revealed a requirement of Pdx1 residue Lys-131, but not Lys-123, for transcriptional augmentation by Set7/9. Lys-131 was not required for high-affinity interactions with DNA in vitro, suggesting that its methylation likely enhances post-DNA binding events. To define the role of Set7/9 in β cell function, we generated mutant mice in which the gene encoding Set7/9 was conditionally deleted in β cells (SetΔβ). SetΔβ mice exhibited glucose intolerance similar to Pdx1-deficient mice, and their isolated islets showed impaired glucose-stimulated insulin secretion with reductions in expression of Pdx1 target genes. Our results suggest a previously unappreciated role for Set7/9-mediated methylation in the maintenance of Pdx1 activity and β cell function

Loss of KCNJ10 protein expression abolishes endocochlear potential and causes deafness in Pendred syndrome mouse model

BACKGROUND: Pendred syndrome, a common autosomal-recessive disorder characterized by congenital deafness and goiter, is caused by mutations of SLC26A4, which codes for pendrin. We investigated the relationship between pendrin and deafness using mice that have (Slc26a4(+/+)) or lack a complete Slc26a4 gene (Slc26a4(-/-)). METHODS: Expression of pendrin and other proteins was determined by confocal immunocytochemistry. Expression of mRNA was determined by quantitative RT-PCR. The endocochlear potential and the endolymphatic K(+ )concentration were measured with double-barreled microelectrodes. Currents generated by the stria marginal cells were recorded with a vibrating probe. Tissue masses were evaluated by morphometric distance measurements and pigmentation was quantified by densitometry. RESULTS: Pendrin was found in the cochlea in apical membranes of spiral prominence cells and spindle-shaped cells of stria vascularis, in outer sulcus and root cells. Endolymph volume in Slc26a4(-/- )mice was increased and tissue masses in areas normally occupied by type I and II fibrocytes were reduced. Slc26a4(-/- )mice lacked the endocochlear potential, which is generated across the basal cell barrier by the K(+ )channel KCNJ10 localized in intermediate cells. Stria vascularis was hyperpigmented, suggesting unalleviated free radical damage. The basal cell barrier appeared intact; intermediate cells and KCNJ10 mRNA were present but KCNJ10 protein was absent. Endolymphatic K(+ )concentrations were normal and membrane proteins necessary for K(+ )secretion were present, including the K(+ )channel KCNQ1 and KCNE1, Na(+)/2Cl(-)/K(+ )cotransporter SLC12A2 and the gap junction GJB2. CONCLUSIONS: These observations demonstrate that pendrin dysfunction leads to a loss of KCNJ10 protein expression and a loss of the endocochlear potential, which may be the direct cause of deafness in Pendred syndrome

Inflammatory arthritis in HIV positive patients: A practical guide

Background: Musculoskeletal manifestations of the human immunodeficiency virus (HIV) have been described since the outset of the global HIV epidemic. Articular syndromes that have been described in association with HIV include HIV-associated arthropathy, seronegative spondyloarthropathies (SPA) (reactive arthritis, psoriatic arthritis (PsA) and undifferentiated SPA), rheumatoid arthritis (RA) and painful articular syndrome. Methods: We carried out a computer-assisted search of PubMed for the medical literature from January 1981 to January 2015 using the keywords HIV, acquired immune-deficiency syndrome, rheumatic manifestations, arthritis, spondyloarthropathy, anti-TNF and disease modifying antirheumatic drugs. Only English language literature was included and only studies involving adult human subjects were assessed. Results: There are challenges in the management of inflammatory arthritis in patients who are HIV-positive, including difficulties in the assessment of disease activity and limited information on the safety of immunosuppressive drugs in these individuals. Conclusions: This review focuses on the clinical characteristics of the inflammatory articular syndromes that have been described in association with HIV infection and discusses the therapeutic options for these patients