Innocent strategies as presheaves and interactive equivalences for CCS

Seeking a general framework for reasoning about and comparing programming languages, we derive a new view of Milner's CCS. We construct a category E of plays, and a subcategory V of views. We argue that presheaves on V adequately represent innocent strategies, in the sense of game semantics. We then equip innocent strategies with a simple notion of interaction. This results in an interpretation of CCS. Based on this, we propose a notion of interactive equivalence for innocent strategies, which is close in spirit to Beffara's interpretation of testing equivalences in concurrency theory. In this framework we prove that the analogues of fair and must testing equivalences coincide, while they differ in the standard setting.Comment: In Proceedings ICE 2011, arXiv:1108.014

The stress responsive and morphologically regulated hsp90 gene from Paracoccidioides brasiliensis is essential to cell viability

<p>Abstract</p> <p>Background</p> <p><it>Paracoccidioides brasiliensis </it>is a dimorphic fungus that causes the most prevalent systemic mycosis in Latin America. The response to heat shock is involved in pathogenesis, as this pathogen switches from mycelium to yeast forms in a temperature dependent fashion that is essential to establish infection. HSP90 is a molecular chaperone that helps in the folding and stabilization of selected polypeptides. HSP90 family members have been shown to present important roles in fungi, especially in the pathogenic species, as an immunodominant antigen and also as a potential antifungal therapeutic target.</p> <p>Results</p> <p>In this work, we decided to further study the <it>Pbhsp90 </it>gene, its expression and role in cell viability because it plays important roles in fungal physiology and pathogenesis. Thus, we have sequenced a <it>Pbhsp90 </it>cDNA and shown that this gene is present on the genome as a single copy. We have also confirmed its preferential expression in the yeast phase and its overexpression during dimorphic transition and oxidative stress. Treatment of the yeast with the specific HSP90 inhibitors geldanamycin and radicicol inhibited growth at 2 and 10 μM, respectively.</p> <p>Conclusion</p> <p>The data confirm that the <it>Pbhsp90 </it>gene encodes a morphologically regulated and stress-responsive protein whose function is essential to cell viability of this pathogen. This work also enforces the potential of HSP90 as a target for antifungal therapies, since the use of HSP90 inhibitors is lethal to the <it>P. brasiliensis </it>yeast cells in a dose-responsive manner.</p

Mucociliary clearance, airway inflammation and nasal symptoms in urban motorcyclists

OBJECTIVES: There is evidence that outdoor workers exposed to high levels of air pollution exhibit airway inflammation and increased airway symptoms. We hypothesized that these workers would experience increased airway symptoms and decreased nasal mucociliary clearance associated with their exposure to air pollution. METHODS: In total, 25 non-smoking commercial motorcyclists, aged 18-44 years, were included in this study. These drivers work 8-12 hours per day, 5 days per week, driving on urban streets. Nasal mucociliary clearance was measured by the saccharine transit test; airway acidification was measured by assessing the pH of exhaled breath condensate; and airway symptoms were measured by the Sino-nasal Outcome Test-20 questionnaire. To assess personal air pollution exposure, the subjects used a passive-diffusion nitrogen dioxide (NO2) concentration-monitoring system during the 14 days before each assessment. The associations between NO2 and the airway outcomes were analyzed using the Mann-Whitney test and the Chi-Square test. Clinicaltrials.gov: NCT01976039. RESULTS: Compared with clearance in healthy adult males, mucociliary clearance was decreased in 32% of the motorcyclists. Additionally, 64% of the motorcyclists had airway acidification and 92% experienced airway symptoms. The median personal NO2 exposure level was 75 mg/m3 for these subjects and a significant association was observed between NO2 and impaired mucociliary clearance (p = 0.036). CONCLUSION: Non-smoking commercial motorcyclists exhibit increased airway symptoms and airway acidification as well as decreased nasal mucociliary clearance, all of which are significantly associated with the amount of exposure to air pollution

Visualizing sound emission of elephant vocalizations: evidence for two rumble production types

Recent comparative data reveal that formant frequencies are cues to body size in animals, due to a close relationship between formant frequency spacing, vocal tract length and overall body size. Accordingly, intriguing morphological adaptations to elongate the vocal tract in order to lower formants occur in several species, with the size exaggeration hypothesis being proposed to justify most of these observations. While the elephant trunk is strongly implicated to account for the low formants of elephant rumbles, it is unknown whether elephants emit these vocalizations exclusively through the trunk, or whether the mouth is also involved in rumble production. In this study we used a sound visualization method (an acoustic camera) to record rumbles of five captive African elephants during spatial separation and subsequent bonding situations. Our results showed that the female elephants in our analysis produced two distinct types of rumble vocalizations based on vocal path differences: a nasally- and an orally-emitted rumble. Interestingly, nasal rumbles predominated during contact calling, whereas oral rumbles were mainly produced in bonding situations. In addition, nasal and oral rumbles varied considerably in their acoustic structure. In particular, the values of the first two formants reflected the estimated lengths of the vocal paths, corresponding to a vocal tract length of around 2 meters for nasal, and around 0.7 meters for oral rumbles. These results suggest that African elephants may be switching vocal paths to actively vary vocal tract length (with considerable variation in formants) according to context, and call for further research investigating the function of formant modulation in elephant vocalizations. Furthermore, by confirming the use of the elephant trunk in long distance rumble production, our findings provide an explanation for the extremely low formants in these calls, and may also indicate that formant lowering functions to increase call propagation distances in this species'

Hundreds of variants clustered in genomic loci and biological pathways affect human height

Most common human traits and diseases have a polygenic pattern of inheritance: DNA sequence variants at many genetic loci influence the phenotype. Genome-wide association (GWA) studies have identified more than 600 variants associated with human traits, but these typically explain small fractions of phenotypic variation, raising questions about the use of further studies. Here, using 183,727 individuals, we show that hundreds of genetic variants, in at least 180 loci, influence adult height, a highly heritable and classic polygenic trait. The large number of loci reveals patterns with important implications for genetic studies of common human diseases and traits. First, the 180 loci are not random, but instead are enriched for genes that are connected in biological pathways (P = 0.016) and that underlie skeletal growth defects (P < 0.001). Second, the likely causal gene is often located near the most strongly associated variant: in 13 of 21 loci containing a known skeletal growth gene, that gene was closest to the associated variant. Third, at least 19 loci have multiple independently associated variants, suggesting that allelic heterogeneity is a frequent feature of polygenic traits, that comprehensive explorations of already-discovered loci should discover additional variants and that an appreciable fraction of associated loci may have been identified. Fourth, associated variants are enriched for likely functional effects on genes, being over-represented among variants that alter amino-acid structure of proteins and expression levels of nearby genes. Our data explain approximately 10% of the phenotypic variation in height, and we estimate that unidentified common variants of similar effect sizes would increase this figure to approximately 16% of phenotypic variation (approximately 20% of heritable variation). Although additional approaches are needed to dissect the genetic architecture of polygenic human traits fully, our findings indicate that GWA studies can identify large numbers of loci that implicate biologically relevant genes and pathways.

Detection of colorectal dysplasia using fluorescently labelled lectins.

Colorectal cancer screening using conventional colonoscopy lacks molecular information and can miss dysplastic lesions. We tested here the ability of fluorescently labelled lectins to distinguish dysplasia from normal tissue when sprayed on to the luminal surface epithelium of freshly resected colon tissue from the Apc(min) mouse and when applied to fixed human colorectal tissue sections. Wheat germ agglutinin (WGA) showed significantly decreased binding to adenomas in the mouse tissue and in sections of human colon from 47 patients. Changes in WGA binding to the human surface epithelium allowed regions containing normal epithelium (NE) or hyperplastic polyps (HP) to be distinguished from regions containing low-grade dysplasia (LGD), high-grade dysplasia (HGD) or carcinoma (C), with 81% sensitivity, 87% specificity and 93% positive predictive value (PPV). Helix pomatia agglutinin (HGA) distinguished epithelial regions containing NE from regions containing HP, LGD, HGD or C, with 89% sensitivity, 87% specificity and 97% PPV. The decreased binding of WGA and HPA to the luminal surface epithelium in human dysplasia suggests that these lectins may enable more sensitive detection of disease in the clinic using fluorescence colonoscopy.This work was supported by grants from Cancer Research UK (17242, 16465) to KMB.This is the final version of the article. It first appeared from Nature Publishing Group via https://doi.org/10.1038/srep2423

Investigation of 3D glenohumeral displacements from 3D reconstruction using biplane X-ray images: Accuracy and reproducibility of the technique and preliminary analysis in rotator cuff tear patients

Rotator cuff (RC) tears may be associated with increased glenohumeral instability; however, this instability is difficult to quantify using currently available diagnostic tools. Recently, the three-dimensional (3D) reconstruction and registration method of the scapula and humeral head, based on sequences of low-dose biplane X-ray images, has been proposed for glenohumeral displacement assessment. This research aimed to evaluate the accuracy and reproducibility of this technique and to investigate its potential with a preliminary application comparing RC tear patients and asymptomatic volunteers. Accuracy was assessed using CT scan model registration on biplane X-ray images for five cadaveric shoulder specimens and showed differences ranging from 0.6 to 1.4 mm depending on the direction of interest. Intra- and interobserver reproducibility was assessed through two operators who repeated the reconstruction of five subjects three times, allowing defining 95% confidence interval ranging from ±1.8 to ±3.6 mm. Intraclass correlation coefficient varied between 0.84 and 0.98. Comparison between RC tear patients and asymptomatic volunteers showed differences of glenohumeral displacements, especially in the superoinferior direction when shoulder was abducted at 20 and 45 . This study thus assessed the accuracy of the low-dose 3D biplane X-ray reconstruction technique for glenohumeral displacement assessment and showed potential in biomechanical and clinical research.Fondation Paris-Tech Programme BIOMECAM Chaire ParisTech Institut de Recherche Robert-Sauvé en Santé et Sécurité du Travail du Québec Natural Science and Engineering Research Council of Canada Fonds de Recherche sur la Nature et les Technologies du Québec Fonds de Recherche en Santé du Québec, EOS Imaging, and French pôle de compétitivité MEDICEN (STEREOS + program)

Multicopy plasmid integration in Komagataella phaffii mediated by a defective auxotrophic marker

Background: A commonly used approach to improve recombinant protein production is to increase the levels of expression by providing extra-copies of a heterologous gene. In Komagataella phaffii (Pichia pastoris) this is usually accomplished by transforming cells with an expression vector carrying a drug resistance marker following a screening for multicopy clones on plates with increasingly higher concentrations of an antibiotic. Alternatively, defective auxotrophic markers can be used for the same purpose. These markers are generally transcriptionally impaired genes lacking most of the promoter region. Among the defective markers commonly used in Saccharomyces cerevisiae is leu2-d, an allele of LEU2 which is involved in leucine metabolism. Cells transformed with this marker can recover prototrophy when they carry multiple copies of leu2-d in order to compensate the poor transcription from this defective allele. Results: A K. phaffii strain auxotrophic for leucine (M12) was constructed by disrupting endogenous LEU2. The resulting strain was successfully transformed with a vector carrying leu2-d and an EGFP (enhanced green fluorescent protein) reporter gene. Vector copy numbers were determined from selected clones which grew to different colony sizes on transformation plates. A direct correlation was observed between colony size, number of integrated vectors and EGFP production. By using this approach we were able to isolate genetically stable clones bearing as many as 20 integrated copies of the vector and with no significant effects on cell growth. Conclusions: In this work we have successfully developed a genetic system based on a defective auxotrophic which can be applied to improve heterologous protein production in K. phaffii. The system comprises a K. phaffii leu2 strain and an expression vector carrying the defective leu2-d marker which allowed the isolation of multicopy clones after a single transformation step. Because a linear correlation was observed between copy number and heterologous protein production, this system may provide a simple approach to improve recombinant protein productivity in K. phaffii

De novo missense variants in FBXO11 alter its protein expression and subcellular localization.

Recently, we and others identified de novo FBXO11 variants as causative for a variable neurodevelopmental disorder (NDD). We now assembled clinical and mutational information on 23 additional individuals. The phenotypic spectrum remains highly variable, with developmental delay and/or intellectual disability as the core feature and behavioral anomalies, hypotonia and various facial dysmorphism as frequent aspects. The mutational spectrum includes intragenic deletions, likely gene disrupting and missense variants distributed across the protein. To further characterize the functional consequences of FBXO11 missense variants, we analyzed their effects on protein expression and localization by overexpression of 17 different mutant constructs in HEK293 and HeLa cells. We found that the majority of missense variants resulted in subcellular mislocalization and/or reduced FBXO11 protein expression levels. For instance, variants located in the nuclear localization signal and the N-terminal F-Box domain lead to altered subcellular localization with exclusion from the nucleus or the formation of cytoplasmic aggregates and to reduced protein levels in western blot. In contrast, variants localized in the C-terminal Zn-finger UBR domain lead to an accumulation in the cytoplasm without alteration of protein levels. Together with the mutational data our functional results suggest that most missense variants likely lead to a loss of the original FBXO11 function and thereby highlight haploinsufficiency as the most likely disease mechanism for FBXO11-associated NDDs