Several types of types in programming languages

Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character) on the subject, as a basis for a further investigation. The thesis we will argue is that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation; the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic. We will suggest three possible dates ad quem for their presence in the programming language literature, suggesting that the emergence of the concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.Comment: History and Philosophy of Computing, HAPOC 2015. To appear in LNC

Predicting early psychiatric readmission with natural language processing of narrative discharge summaries

The ability to predict psychiatric readmission would facilitate the development of interventions to reduce this risk, a major driver of psychiatric health-care costs. The symptoms or characteristics of illness course necessary to develop reliable predictors are not available in coded billing data, but may be present in narrative electronic health record (EHR) discharge summaries. We identified a cohort of individuals admitted to a psychiatric inpatient unit between 1994 and 2012 with a principal diagnosis of major depressive disorder, and extracted inpatient psychiatric discharge narrative notes. Using these data, we trained a 75-topic Latent Dirichlet Allocation (LDA) model, a form of natural language processing, which identifies groups of words associated with topics discussed in a document collection. The cohort was randomly split to derive a training (70%) and testing (30%) data set, and we trained separate support vector machine models for baseline clinical features alone, baseline features plus common individual words and the above plus topics identified from the 75-topic LDA model. Of 4687 patients with inpatient discharge summaries, 470 were readmitted within 30 days. The 75-topic LDA model included topics linked to psychiatric symptoms (suicide, severe depression, anxiety, trauma, eating/weight and panic) and major depressive disorder comorbidities (infection, postpartum, brain tumor, diarrhea and pulmonary disease). By including LDA topics, prediction of readmission, as measured by area under receiver-operating characteristic curves in the testing data set, was improved from baseline (area under the curve 0.618) to baseline+1000 words (0.682) to baseline+75 topics (0.784). Inclusion of topics derived from narrative notes allows more accurate discrimination of individuals at high risk for psychiatric readmission in this cohort. Topic modeling and related approaches offer the potential to improve prediction using EHRs, if generalizability can be established in other clinical cohorts

Label-free, live optical imaging of reprogrammed bipolar disorder patient-derived cells reveals a functional correlate of lithium responsiveness

Development of novel treatments and diagnostic tools for psychiatric illness has been hindered by the absence of cellular models of disease. With the advent of cellular reprogramming, it may be possible to recapitulate the disease biology of psychiatric disorders using patient skin cells transdifferentiated to neurons. However, efficiently identifying and characterizing relevant neuronal phenotypes in the absence of well-defined pathophysiology remains a challenge. In this study, we collected fibroblast samples from patients with bipolar 1 disorder, characterized by their lithium response (n=12), and healthy control subjects (n=6). We identified a cellular phenotype in reprogrammed neurons using a label-free imaging assay based on a nanostructured photonic crystal biosensor and found that an optical measure of cell adhesion was associated with clinical response to lithium treatment. This cellular phenotype may represent a useful biomarker to evaluate drug response and screen for novel therapeutics

The management of bipolar mania: a national survey of baseline data from the EMBLEM study in Italy

<p>Abstract</p> <p>Background</p> <p>Although a number of studies have assessed the management of mania in routine clinical practice, no studies have so far evaluated the short- and long-term management and outcome of patients affected by bipolar mania in different European countries.</p> <p>The objective of the study is to present, in the context of a large multicenter survey (EMBLEM study), an overview of the baseline data on the acute management of a representative sample of manic bipolar patients treated in the Italian psychiatric hospital and community settings. EMBLEM is a 2-year observational longitudinal study that evaluates across 14 European countries the patterns of the drug prescribed in patients with bipolar mania, their socio-demographic and clinical features and the outcomes of the treatment.</p> <p>Methods</p> <p>The study consists of a 12-week acute phase and a ≤ 24-month maintenance phase. Bipolar patients were included into the study as in- or out-patients, if they initiated or changed, according to the decision of their psychiatrist, oral antipsychotics, anticonvulsants and/or lithium for the treatment of an episode of mania.</p> <p>Data concerning socio-demographic characteristics, psychiatric and medical history, severity of mania, prescribed medications, functional status and quality of life were collected at baseline and during the follow-up period.</p> <p>Results</p> <p>In Italy, 563 patients were recruited in 56 sites: 376 were outpatients and 187 inpatients. The mean age was 45.8 years. The mean CGI-BP was 4.4 (± 0.9) for overall score and mania, 1.9 (± 1.2) for depression and 2.6 (± 1.6) for hallucinations/delusions. The YMRS showed that 14.4% had a total score < 12, 25.1% ≥ 12 and < 20, and 60.5% ≥ 20. At entry, 75 patients (13.7%) were treatment-naïve, 186 (34.1%) were receiving a monotherapy (of which haloperidol [24.2%], valproate [16.7%] and lithium [14.5%] were the most frequently prescribed) while 285 (52.2%) a combined therapy (of which 8.0% were represented by haloperidol/lithium combinations). After a switch to an oral medication, 137 patients (24.8%) were prescribed a monotherapy while the rest (415, 75.2%) received a combination of drugs.</p> <p>Conclusion</p> <p>Data collected at baseline in the Italian cohort of the EMBLEM study represent a relevant source of information to start addressing the short and long-term therapeutic strategies for improving the clinical as well as the socio-economic outcomes of patients affected by bipolar mania. Although it's not an epidemiological investigation and has some limitations, the results show several interesting findings as a relatively late age of onset of bipolar disorder, a low rate of past suicide attempts, a low lifetime rate of alcohol abuse and drug addiction.</p

Information Retrieval on the World Wide Web and Active Logic: A Survey and Problem Definition

As more information becomes available on the World Wide Web (there are currently over 4 billion pages covering most areas of human endeavor), it becomes more difficult to provide effective search tools for information access. Today, people access web information through two main kinds of search interfaces: Browsers (clicking and following hyperlinks) and Query Engines (queries in the form of a set of keywords showing the topic of interest). The first process is tentative and time consuming and the second may not satisfy the user because of many inaccurate and irrelevant results. Better support is needed for expressing one's information need and returning high quality search results by web search tools. There appears to be a need for systems that do reasoning under uncertainty and are flexible enough to recover from the contradictions, inconsistencies, and irregularities that such reasoning involves. Active Logic is a formalism that has been developed with real-world applications and their challenges in mind. Motivating its design is the thought that one of the factors that supports the flexibility of human reasoning is that it takes place step-wise, in time. Active Logic is one of a family of inference engines (step-logics) that explicitly reason in time, and incorporate a history of their reasoning as they run. This characteristic makes Active Logic systems more flexible than traditional AI systems and therefore more suitable for commonsense, real-world reasoning. In this report we mainly will survey recent advances in machine learning and crawling problems related to the web. We will review the continuum of supervised to semi-supervised to unsupervised learning problems, highlight the specific challenges which distinguish information retrieval in the hypertext domain and will summarize the key areas of recent and ongoing research. We will concentrate on topic-specific search engines, focused crawling, and finally will propose an Information Integration Environment, based on the Active Logic framework. Keywords: Web Information Retrieval, Web Crawling, Focused Crawling, Machine Learning, Active Logic (Also UMIACS-TR-2001-69

Dysregulated protocadherin-pathway activity as an intrinsic defect in induced pluripotent stem cell-derived cortical interneurons from subjects with schizophrenia.

We generated cortical interneurons (cINs) from induced pluripotent stem cells derived from 14 healthy controls and 14 subjects with schizophrenia. Both healthy control cINs and schizophrenia cINs were authentic, fired spontaneously, received functional excitatory inputs from host neurons, and induced GABA-mediated inhibition in host neurons in vivo. However, schizophrenia cINs had dysregulated expression of protocadherin genes, which lie within documented schizophrenia loci. Mice lacking protocadherin-α showed defective arborization and synaptic density of prefrontal cortex cINs and behavioral abnormalities. Schizophrenia cINs similarly showed defects in synaptic density and arborization that were reversed by inhibitors of protein kinase C, a downstream kinase in the protocadherin pathway. These findings reveal an intrinsic abnormality in schizophrenia cINs in the absence of any circuit-driven pathology. They also demonstrate the utility of homogenous and functional populations of a relevant neuronal subtype for probing pathogenesis mechanisms during development

Efficacy and Tolerability of Adjunctive Intravenous Sodium Nitroprusside Treatment for Outpatients With Schizophrenia: A Randomized Clinical Trial

Importance: Antipsychotic medications for the treatment of schizophrenia have limitations, and new treatments are needed. A prior pilot investigation suggested that adjunctive sodium nitroprusside (SNP) administered intravenously had rapid efficacy in the treatment of patients with schizophrenia. Objective: To determine the efficacy and tolerability of intravenous SNP infused at a rate of 0.5 mug/kg/min for 4 hours in patients with schizophrenia with some degree of treatment resistance. Design, Setting, and Participants: Multicenter, randomized, double-blind acute treatment study using a sequential parallel comparison design conducted in two 2-week phases at 4 academic medical centers beginning May 20, 2015, and ending March 31, 2017. Participants were adults 18 to 65 years of age with a diagnosis of schizophrenia as confirmed by the Structured Clinical Interview for DSM-IV, taking antipsychotic medication for at least 8 weeks, and had at least 1 failed trial of an antipsychotic medication within the past year. A total of 90 participants consented, 60 participants enrolled, and 52 participants were included in the analyses. A modified intent-to-treat analysis was used. Interventions: Participants were randomized in a 1:1:1 ratio to 1 of 3 treatment sequences: SNP and SNP, placebo and SNP, and placebo and placebo. The SNP and SNP group received SNP in phase 1 and SNP in phase 2 for the purpose of blinding, but the data from phase 2 were not included in the results. The placebo and SNP group received placebo in phase 1 and SNP in phase 2. If there was no response to placebo in phase 1, data from phase 2 were included in the analyses. The placebo and placebo group received placebo in both phases; if there was no response to placebo in phase 1, data from phase 2 were included in the analyses. Main Outcomes and Measures: Effectiveness of SNP compared with placebo in improving Positive and Negative Syndrome Scale (PANSS) total, positive, and negative scores across each 2-week phase. Results: Fifty-two participants (12 women and 40 men) were included in the study. In the SNP and SNP group, the mean (SD) age was 47.1 (10.5) years. In the placebo and SNP group, the mean (SD) age was 45.9 (12.3) years. In the placebo and placebo group, the mean (SD) age was 40.4 (11.0) years. There were no significant differences between the SNP and placebo groups at baseline or in change from baseline for PANSS-total (weighted beta = -1.04; z = -0.59; P = .57), PANSS-positive (weighted beta = -0.62; z = -0.93; P = .35), or PANSS-negative (weighted beta = -0.12; z = -0.19; P = .85) scores. No significant differences in safety or tolerability measures were identified. Conclusions and Relevance: Although intravenous SNP is well tolerated, it was not an efficacious adjunctive treatment of positive or negative symptoms of psychosis among outpatients with schizophrenia with prior history of treatment resistance. Trial Registration: ClinicalTrials.gov identifier: NCT02164981

Towards the clinical implementation of pharmacogenetics in bipolar disorder.

BackgroundBipolar disorder (BD) is a psychiatric illness defined by pathological alterations between the mood states of mania and depression, causing disability, imposing healthcare costs and elevating the risk of suicide. Although effective treatments for BD exist, variability in outcomes leads to a large number of treatment failures, typically followed by a trial and error process of medication switches that can take years. Pharmacogenetic testing (PGT), by tailoring drug choice to an individual, may personalize and expedite treatment so as to identify more rapidly medications well suited to individual BD patients.DiscussionA number of associations have been made in BD between medication response phenotypes and specific genetic markers. However, to date clinical adoption of PGT has been limited, often citing questions that must be answered before it can be widely utilized. These include: What are the requirements of supporting evidence? How large is a clinically relevant effect? What degree of specificity and sensitivity are required? Does a given marker influence decision making and have clinical utility? In many cases, the answers to these questions remain unknown, and ultimately, the question of whether PGT is valid and useful must be determined empirically. Towards this aim, we have reviewed the literature and selected drug-genotype associations with the strongest evidence for utility in BD.SummaryBased upon these findings, we propose a preliminary panel for use in PGT, and a method by which the results of a PGT panel can be integrated for clinical interpretation. Finally, we argue that based on the sufficiency of accumulated evidence, PGT implementation studies are now warranted. We propose and discuss the design for a randomized clinical trial to test the use of PGT in the treatment of BD

Acute and Chronic Insomnia: What Has Time and/or Hyperarousal Got to Do with It?

Nearly one-third of the population reports new onset or acute insomnia in a given year. Similarly, it is estimated that approximately 10% of the population endorses sleep initiation and maintenance problems consistent with diagnostic criteria for chronic insomnia. For decades, acute and chronic insomnia have been considered variations of the same condition or disorder, only really differentiated in terms of chronicity of symptoms (days/weeks versus months). Whether or not acute and chronic insomnia are part of the same phenomena is an important question, one that has yet to be empirically evaluated. The goal of the present theoretical review was to summarize the definitions of acute and chronic insomnia and discuss the role that hyperarousal may have in explaining how the pathophysiology of acute and chronic insomnia is likely different (i.e., what biopsychological factors precipitate and/or perpetuate acute insomnia, chronic insomnia, or both?)