Semantics for first-order affine inductive data types via slice categories

Affine type systems are substructural type systems where copying of information is restricted, but discarding of information is permissible at all types. Such type systems are well-suited for describing quantum programming languages, because copying of quantum information violates the laws of quantum mechanics. In this paper, we consider a first-order affine type system with inductive data types and present a novel categorical semantics for it. The most challenging aspect of this interpretation comes from the requirement to construct appropriate discarding maps for our data types which might be defined by mutual/nested recursion. We show how to achieve this for all types by taking models of a first-order linear type system whose atomic types are discardable and then presenting an additional affine interpretation of types within the slice category of the model with the tensor unit. We present some concrete categorical models for the language ranging from classical to quantum. Finally, we discuss potential ways of dualising and extending our methods and using them for interpreting coalgebraic and lazy data types

An Automated Method to Quantify Microglia Morphology and Application to Monitor Activation State Longitudinally In Vivo

Microglia are specialized immune cells of the brain. Upon insult, microglia initiate a cascade of cellular responses including a characteristic change in cell morphology. To study the dynamics of microglia immune response in situ, we developed an automated image analysis method that enables the quantitative assessment of microglia activation state within tissue based solely on cell morphology. Per cell morphometric analysis of fluorescently labeled microglia is achieved through local iterative threshold segmentation, which reduces errors caused by signal-to-noise variation across large volumes. We demonstrate, utilizing systemic application of lipopolysaccharide as a model of immune challenge, that several morphological parameters, including cell perimeter length, cell roundness and soma size, quantitatively distinguish resting versus activated populations of microglia within tissue comparable to traditional immunohistochemistry methods. Furthermore, we provide proof-of-concept data that monitoring soma size enables the longitudinal assessment of microglia activation in the mouse neocortex imaged via 2-photon in vivo microscopy. The ability to quantify microglia activation automatically by shape alone allows unbiased and rapid analysis of both fixed and in vivo central nervous system tissue

Evidence for inhibition of cholinesterases in insect and mammalian nervous systems by the insect repellent deet

<p>Abstract</p> <p>Background</p> <p>N,N-Diethyl-3-methylbenzamide (deet) remains the gold standard for insect repellents. About 200 million people use it every year and over 8 billion doses have been applied over the past 50 years. Despite the widespread and increased interest in the use of deet in public health programmes, controversies remain concerning both the identification of its target sites at the olfactory system and its mechanism of toxicity in insects, mammals and humans. Here, we investigated the molecular target site for deet and the consequences of its interactions with carbamate insecticides on the cholinergic system.</p> <p>Results</p> <p>By using toxicological, biochemical and electrophysiological techniques, we show that deet is not simply a behaviour-modifying chemical but that it also inhibits cholinesterase activity, in both insect and mammalian neuronal preparations. Deet is commonly used in combination with insecticides and we show that deet has the capacity to strengthen the toxicity of carbamates, a class of insecticides known to block acetylcholinesterase.</p> <p>Conclusion</p> <p>These findings question the safety of deet, particularly in combination with other chemicals, and they highlight the importance of a multidisciplinary approach to the development of safer insect repellents for use in public health.</p

Molecular signatures of in vitro drug response in lung cancer

Poster Presentations - Molecular Classification of Tumors and Novel Biomarkers: abstract no. 5589This journal suppl. entitled : Proceedings: AACR 104th Annual Meeting 2013 ...We are developing in vitro drug response signatures based on profiling of mRNA (Illumina WG6-V3 arrays), DNA mutation (COSMIC and deep sequencing), DNA copy number (Illumina Human1M-Duov3 SNP array) and DNA methylation (Illumina HumanMethylation450) from lung cancer cell lines to predict which drugs a patient's tumor is most likely to respond to. We have generated drug response phenotypes (MTS colorimetric assays) for 25 standard, targeted, and new chemotherapy agents and combinations for 100 ...postprin

Estimating Long-Term Survival of Critically Ill Patients: The PREDICT Model

BACKGROUND: Long-term survival outcome of critically ill patients is important in assessing effectiveness of new treatments and making treatment decisions. We developed a prognostic model for estimation of long-term survival of critically ill patients. METHODOLOGY AND PRINCIPAL FINDINGS: This was a retrospective linked data cohort study involving 11,930 critically ill patients who survived more than 5 days in a university teaching hospital in Western Australia. Older age, male gender, co-morbidities, severe acute illness as measured by Acute Physiology and Chronic Health Evaluation II predicted mortality, and more days of vasopressor or inotropic support, mechanical ventilation, and hemofiltration within the first 5 days of intensive care unit admission were associated with a worse long-term survival up to 15 years after the onset of critical illness. Among these seven pre-selected predictors, age (explained 50% of the variability of the model, hazard ratio [HR] between 80 and 60 years old = 1.95) and co-morbidity (explained 27% of the variability, HR between Charlson co-morbidity index 5 and 0 = 2.15) were the most important determinants. A nomogram based on the pre-selected predictors is provided to allow estimation of the median survival time and also the 1-year, 3-year, 5-year, 10-year, and 15-year survival probabilities for a patient. The discrimination (adjusted c-index = 0.757, 95% confidence interval 0.745-0.769) and calibration of this prognostic model were acceptable. SIGNIFICANCE: Age, gender, co-morbidities, severity of acute illness, and the intensity and duration of intensive care therapy can be used to estimate long-term survival of critically ill patients. Age and co-morbidity are the most important determinants of long-term prognosis of critically ill patients

Differential disruption of cell cycle pathways in small cell and non-small cell lung cancer

Lung cancer is the leading cause of cancer-related mortality in the world, with small cell lung cancer (SCLC) and non-small cell lung cancer (NSCLC) comprising the two major cell types. Although these cell types can be distinguished readily at the histological level, knowledge of their underlying molecular differences is very limited. In this study, we compared 14 SCLC cell lines against 27 NSCLC cell lines using an integrated array comparative genomic hybridisation and gene expression profiling approach to identify subtype-specific disruptions. Using stringent criteria, we have identified 159 of the genes that are responsible for the different biology of these cell types. Sorting of these genes by their biological functions revealed the differential disruption of key components involved in cell cycle pathways. Our novel comparative combined genome and transcriptome analysis not only identified differentially altered genes, but also revealed that certain shared pathways are preferentially disrupted at different steps in these cell types. Small cell lung cancer exhibited increased expression of MRP5, activation of Wnt pathway inhibitors, and upregulation of p38 MAPK activating genes, while NSCLC showed downregulation of CDKN2A, and upregulation of MAPK9 and EGFR. This information suggests that cell cycle upregulation in SCLC and NSCLC occurs through drastically different mechanisms, highlighting the need for differential molecular target selection in the treatment of these cancers

Strain-Specific Differences in the Genetic Control of Two Closely Related Mycobacteria

The host response to mycobacterial infection depends on host and pathogen genetic factors. Recent studies in human populations suggest a strain specific genetic control of tuberculosis. To test for mycobacterial-strain specific genetic control of susceptibility to infection under highly controlled experimental conditions, we performed a comparative genetic analysis using the A/J- and C57BL/6J-derived recombinant congenic (RC) mouse panel infected with the Russia and Pasteur strains of Mycobacterium bovis Bacille Calmette Guérin (BCG). Bacillary counts in the lung and spleen at weeks 1 and 6 post infection were used as a measure of susceptibility. By performing genome-wide linkage analyses of loci that impact on tissue-specific bacillary burden, we were able to show the importance of correcting for strain background effects in the RC panel. When linkage analysis was adjusted on strain background, we detected a single locus on chromosome 11 that impacted on pulmonary counts of BCG Russia but not Pasteur. The same locus also controlled the splenic counts of BCG Russia but not Pasteur. By contrast, a locus on chromosome 1 which was indistinguishable from Nramp1 impacted on splenic bacillary counts of both BCG Russia and Pasteur. Additionally, dependent upon BCG strain, tissue and time post infection, we detected 9 distinct loci associated with bacillary counts. Hence, the ensemble of genetic loci impacting on BCG infection revealed a highly dynamic picture of genetic control that reflected both the course of infection and the infecting strain. This high degree of adaptation of host genetics to strain-specific pathogenesis is expected to provide a suitable framework for the selection of specific host-mycobacteria combinations during co-evolution of mycobacteria with humans

Plague Circulation and Population Genetics of the Reservoir Rattus rattus: The Influence of Topographic Relief on the Distribution of the Disease within the Madagascan Focus.

International audienceBACKGROUND: Landscape may affect the distribution of infectious diseases by influencing the population density and dispersal of hosts and vectors. Plague (Yersinia pestis infection) is a highly virulent, re-emerging disease, the ecology of which has been scarcely studied in Africa. Human seroprevalence data for the major plague focus of Madagascar suggest that plague spreads heterogeneously across the landscape as a function of the relief. Plague is primarily a disease of rodents. We therefore investigated the relationship between disease distribution and the population genetic structure of the black rat, Rattus rattus, the main reservoir of plague in Madagascar. METHODOLOGYPRINCIPAL FINDINGS: We conducted a comparative study of plague seroprevalence and genetic structure (15 microsatellite markers) in rat populations from four geographic areas differing in topology, each covering about 150-200 km(2) within the Madagascan plague focus. The seroprevalence levels in the rat populations mimicked those previously reported for humans. As expected, rat populations clearly displayed a more marked genetic structure with increasing relief. However, the relationship between seroprevalence data and genetic structure differs between areas, suggesting that plague distribution is not related everywhere to the effective dispersal of rats. CONCLUSIONSSIGNIFICANCE: Genetic diversity estimates suggested that plague epizootics had only a weak impact on rat population sizes. In the highlands of Madagascar, plague dissemination cannot be accounted for solely by the effective dispersal of the reservoir. Human social activities may also be involved in spreading the disease in rat and human populations

Inhibition of Plasmodium falciparum Field Isolates-Mediated Endothelial Cell Apoptosis by Fasudil: Therapeutic Implications for Severe Malaria

Plasmodium falciparum infection can abruptly progress to severe malaria, a life-threatening complication resulting from sequestration of parasitized red blood cells (PRBC) in the microvasculature of various organs such as the brain and lungs. PRBC adhesion can induce endothelial cell (EC) activation and apoptosis, thereby disrupting the blood-brain barrier. Moreover, hemozoin, the malarial pigment, induces the erythroid precursor apoptosis. Despite the current efficiency of antimalarial drugs in killing parasites, severe malaria still causes up to one million deaths every year. A new strategy targeting both parasite elimination and EC protection is urgently needed in the field. Recently, a rho-kinase inhibitior Fasudil, a drug already in clinical use in humans for cardio- and neuro-vascular diseases, was successfully tested on laboratory strains of P. falciparum to protect and to reverse damages of the endothelium. We therefore assessed herein whether Fasudil would have a similar efficiency on P. falciparum taken directly from malaria patients using contact and non-contact experiments. Seven (23.3%) of 30 PRBC preparations from different patients were apoptogenic, four (13.3%) acting by cytoadherence and three (10%) via soluble factors. None of the apoptogenic PRBC preparations used both mechanisms indicating a possible mutual exclusion of signal transduction ligand. Three PRBC preparations (42.9%) induced EC apoptosis by cytoadherence after 4 h of coculture (“rapid transducers”), and four (57.1%) after a minimum of 24 h (“slow transducers”). The intensity of apoptosis increased with time. Interestingly, Fasudil inhibited EC apoptosis mediated both by cell-cell contact and by soluble factors but did not affect PRBC cytoadherence. Fasudil was found to be able to prevent endothelium apoptosis from all the P. falciparum isolates tested. Our data provide evidence of the strong anti-apoptogenic effect of Fasudil and show that endothelial cell-P. falciparum interactions are more complicated than previously thought. These findings may warrant clinical trials of Fasudil in severe malaria management