Towards an embedding of Graph Transformation in Intuitionistic Linear Logic

Linear logics have been shown to be able to embed both rewriting-based approaches and process calculi in a single, declarative framework. In this paper we are exploring the embedding of double-pushout graph transformations into quantified linear logic, leading to a Curry-Howard style isomorphism between graphs and transformations on one hand, formulas and proof terms on the other. With linear implication representing rules and reachability of graphs, and the tensor modelling parallel composition of graphs and transformations, we obtain a language able to encode graph transformation systems and their computations as well as reason about their properties

A cognitive perspective on equivalent effect: using eye tracking to measure equivalence in source text and target text cognitive effects on readers

Eye-tracking methods have long been used to explore cognitive processing in reading, but the recent burgeoning of such methods in the field of translation studies has focused almost entirely on the translation process or audiovisual translation, neglecting the effects of the translation product itself. This paper presents a proof-of-concept study using eye tracking to compare fixation data between native readers of a French literary source text and native readers of its English translation at specific, corresponding points in the texts. The preliminary data are consistent with previous findings on the relationship between the features of the fixated word and fixation durations. These findings are also consistent with stylistic analyses and indicate that this method can be used to compare the levels of cognitive effort between two readership groups in order to investigate whether their experience is similar – whether an ‘equivalent effect’ has been achieved – thus contributing to the ongoing discourse surrounding equivalence in translation studies

Metaphorical and interlingual translation in moving organizational practices across languages

Organizational scholars refer to translation as a metaphor in order to describe the transformation and movement of organizational practices across institutional contexts. However, they have paid relatively little attention to the challenges of moving organizational practices across language boundaries. In this conceptual paper, we theorize that when organizational practices move across contexts that differ not only in terms of institutions and cultures but also in terms of languages, translation becomes more than a metaphor; it turns into reverbalization of meaning in another language. We argue that the meeting of languages opens up a whole new arena for translator agency to unfold. Interlingual and metaphorical translation are two distinct but interrelated forms of translation that are mutually constitutive. We identify possible constellations between interlingual and metaphorical translation and illustrate agentic translation with published case examples. We also propose that interlingual translation is a key resource in the discursive constitution of multilingual organizations. This paper contributes to the stream of research in organization studies that has made translation a core aspect of its inquiry

Genetic variation of Mycobacterium tuberculosis circulating in Kharkiv Oblast, Ukraine

<p>Abstract</p> <p>Background</p> <p>A persistent increase of tuberculosis cases has recently been noted in the Ukraine. The reported incidence of drug-resistant isolates of <it>M. tuberculosis </it>is growing steadily; however, data on the genetic variation of isolates of <it>M. tuberculosis </it>circulating in northern Ukraine and on the spectrum and frequency of occurrence of mutations determining resistance to the principal anti-tuberculosis drugs isoniazid and rifampicin have not yet been reported.</p> <p>Methods</p> <p>Isolates of <it>M. tuberculosis </it>from 98 tuberculosis patients living in Kharkiv Oblast (Ukraine) were analyzed using VNTR- and RFLP-IS6110-typing methods. Mutations associated with resistance to rifampicin and isoniazid were detected by RFLP-PCR methods, and also confirmed by sequencing.</p> <p>Results</p> <p>We identified 75 different genetic profiles. Thirty four (34%) isolates belonged to the Beijing genotype and 23 (23%) isolates belonged to the LAM family. A cluster of isolates belonging to the LAM family had significant genetic heterogeneity, indicating that this family had an ancient distribution and circulation in this geographical region. Moreover, we found a significant percentage of the isolates (36%) belonged to as yet unidentified families of <it>M. tuberculosis </it>or had individual non-clustering genotypes. Mutations conferring rifampicin and isoniazid resistance were detected in 49% and 54% isolates, respectively. Mutations in codon 531 of the <it>rpoB </it>gene and codon 315 of the <it>katG </it>gene were predominant among drug-resistant isolates. An association was found for belonging to the LAM strain family and having multiple drug resistance (R = 0.27, p = 0.0059) and also for the presence of a mutation in codon 531 of the <it>rpoB </it>gene and belonging to the Beijing strain family (R = 0.2, p = 0.04).</p> <p>Conclusions</p> <p>Transmission of drug-resistant isolates seems to contribute to the spread of resistant TB in this oblast. The Beijing genotype and LAM genotype should be seen as a major cause of drug resistant TB in this region.</p

Genome-assisted prediction of a quantitative trait measured in parents and progeny: application to food conversion rate in chickens

Accuracy of prediction of yet-to-be observed phenotypes for food conversion rate (FCR) in broilers was studied in a genome-assisted selection context. Data consisted of FCR measured on the progeny of 394 sires with SNP information. A Bayesian regression model (Bayes A) and a semi-parametric approach (Reproducing kernel Hilbert Spaces regression, RKHS) using all available SNPs (p = 3481) were compared with a standard linear model in which future performance was predicted using pedigree indexes in the absence of genomic data. The RKHS regression was also tested on several sets of pre-selected SNPs (p = 400) using alternative measures of the information gain provided by the SNPs. All analyses were performed using 333 genotyped sires as training set, and predictions were made on 61 birds as testing set, which were sons of sires in the training set. Accuracy of prediction was measured as the Spearman correlation (r¯S) between observed and predicted phenotype, with its confidence interval assessed through a bootstrap approach. A large improvement of genome-assisted prediction (up to an almost 4-fold increase in accuracy) was found relative to pedigree index. Bayes A and RKHS regression were equally accurate (r¯S = 0.27) when all 3481 SNPs were included in the model. However, RKHS with 400 pre-selected informative SNPs was more accurate than Bayes A with all SNPs

Call-by-Value Is Dual to Call-by-Name – Reloaded

Abstract. We consider the relation of the dual calculus of Wadler (2003) to the λµ-calculus of Parigot (1992). We give translations from the λµ-calculus into the dual calculus and back again. The translations form an equational correspondence as defined by Sabry and Felleisen (1993). In particular, translating from λµ to dual and then ‘reloading ’ from dual back into λµ yields a term equal to the original term. Composing the translations with duality on the dual calculus yields an involutive notion of duality on the λµ-calculus. A previous notion of duality on the λµ-calculus has been suggested by Selinger (2001), but it is not involutive. Note This paper uses color to clarify the relation of types and terms, and of source and target calculi. If the URL below is not in blue please download the color version fro

Randomised pharmacokinetic trial of rifabutin with lopinavir/ritonavir-antiretroviral therapy in patients with HIV-associated tuberculosis in Vietnam.

BACKGROUND: Rifampicin and protease inhibitors are difficult to use concomitantly in patients with HIV-associated tuberculosis because of drug-drug interactions. Rifabutin has been proposed as an alternative rifamycin, but there is concern that the current recommended dose is suboptimal. The principal aim of this study was to compare bioavailability of two doses of rifabutin (150 mg three times per week and 150 mg daily) in patients with HIV-associated tuberculosis who initiated lopinavir/ritonavir-based antiretroviral therapy in Vietnam. Concentrations of lopinavir/ritonavir were also measured. METHODS: This was a randomized, open-label, multi-dose, two-arm, cross-over trial, conducted in Vietnamese adults with HIV-associated tuberculosis in Ho Chi Minh City (Clinical trial registry number NCT00651066). Rifabutin pharmacokinetics were evaluated before and after the introduction of lopinavir/ritonavir -based antiretroviral therapy using patient randomization lists. Serial rifabutin and 25-O-desacetyl rifabutin concentrations were measured during a dose interval after 2 weeks of rifabutin 300 mg daily, after 3 weeks of rifabutin 150 mg daily with lopinavir/ritonavir and after 3 weeks of rifabutin 150 mg three times per week with lopinavir/ritonavir. RESULTS: Sixteen and seventeen patients were respectively randomized to the two arms, and pharmacokinetic analysis carried out in 12 and 13 respectively. Rifabutin 150 mg daily with lopinavir/ritonavir was associated with a 32% mean increase in rifabutin average steady state concentration compared with rifabutin 300 mg alone. In contrast, the rifabutin average steady state concentration decreased by 44% when rifabutin was given at 150 mg three times per week with lopinavir/ritonavir. With both dosing regimens, 2 - 5 fold increases of the 25-O-desacetyl- rifabutin metabolite were observed when rifabutin was given with lopinavir/ritonavir compared with rifabutin alone. The different doses of rifabutin had no significant effect on lopinavir/ritonavir plasma concentrations. CONCLUSIONS: Based on these findings, rifabutin 150 mg daily may be preferred when co-administered with lopinavir/ritonavir in patients with HIV-associated tuberculosis. TRIAL REGISTRATION: ClinicalTrials.gov NCT00651066

Formulation of a mmaA4 Gene Deletion Mutant of Mycobacterium bovis BCG in Cationic Liposomes Significantly Enhances Protection against Tuberculosis

A new vaccination strategy is urgently needed for improved control of the global tuberculosis (TB) epidemic. Using a mouse aerosol Mycobacterium tuberculosis challenge model, we investigated the protective efficacy of a mmaA4 gene deletion mutant of Mycobacterium bovis BCG (ΔmmaA4BCG) formulated in dimethyl dioctadecyl ammonium bromide (DDA) – D(+) trehalose 6,6 dibenenate (TDB) (DDA/TDB) adjuvant. In previous studies, deletion of the mmaA4 gene was shown to reduce the suppression of IL-12 production often seen after mycobacterial infections. While the non-adjuvanted ΔmmaA4BCG strain did not protect mice substantially better than conventional BCG against a tuberculous challenge in four protection experiments, the protective responses induced by the ΔmmaA4BCG vaccine formulated in DDA/TDB adjuvant was consistently increased relative to nonadjuvanted BCG controls. Furthermore, the ΔmmaA4BCG-DDA/TDB vaccine induced significantly higher frequencies of multifunctional (MFT) CD4 T cells expressing both IFNγ and TNFα (double positive) or IFNγ, TNFα and IL-2 (triple positive) than CD4 T cells derived from mice vaccinated with BCG. These MFT cells were characterized by having higher IFNγ and TNFα median fluorescence intensity (MFI) values than monofunctional CD4 T cells. Interestingly, both BCG/adjuvant and ΔmmaA4BCG/adjuvant formulations induced significantly higher frequencies of CD4 T cells expressing TNFα and IL-2 than nonadjuvanted BCG or ΔmmaA4BCG vaccines indicating that BCG/adjuvant mixtures may be more effective at inducing central memory T cells. Importantly, when either conventional BCG or the mutant were formulated in adjuvant and administered to SCID mice or immunocompromised mice depleted of IFNγ, significantly lower vaccine-derived mycobacterial CFU were detected relative to immunodeficient mice injected with non-adjuvanted BCG. Overall, these data suggest that immunization with the ΔmmaA4BCG/adjuvant formulation may be an effective, safe, and relatively inexpensive alternative to vaccination with conventional BCG

Genomic and proteomic analyses of Mycobacterium bovis BCG Mexico 1931 reveal a diverse immunogenic repertoire against tuberculosis infection

<p>Abstract</p> <p>Background</p> <p>Studies of <it>Mycobacterium bovis </it>BCG strains used in different countries and vaccination programs show clear variations in the genomes and immune protective properties of BCG strains. The aim of this study was to characterise the genomic and immune proteomic profile of the BCG 1931 strain used in Mexico.</p> <p>Results</p> <p>BCG Mexico 1931 has a circular chromosome of 4,350,386 bp with a G+C content and numbers of genes and pseudogenes similar to those of BCG Tokyo and BCG Pasteur. BCG Mexico 1931 lacks Region of Difference 1 (RD1), RD2 and N-RD18 and one copy of IS6110, indicating that BCG Mexico 1931 belongs to DU2 group IV within the BCG vaccine genealogy. In addition, this strain contains three new RDs, which are 53 (RDMex01), 655 (RDMex02) and 2,847 bp (REDMex03) long, and 55 single-nucleotide polymorphisms representing non-synonymous mutations compared to BCG Pasteur and BCG Tokyo. In a comparative proteomic analysis, the BCG Mexico 1931, Danish, Phipps and Tokyo strains showed 812, 794, 791 and 701 protein spots, respectively. The same analysis showed that BCG Mexico 1931 shares 62% of its protein spots with the BCG Danish strain, 61% with the BCG Phipps strain and only 48% with the BCG Tokyo strain. Thirty-nine reactive spots were detected in BCG Mexico 1931 using sera from subjects with active tuberculosis infections and positive tuberculin skin tests.</p> <p>Conclusions</p> <p>BCG Mexico 1931 has a smaller genome than the BCG Pasteur and BCG Tokyo strains. Two specific deletions in BCG Mexico 1931 are described (RDMex02 and RDMex03). The loss of RDMex02 (<it>fadD23</it>) is associated with enhanced macrophage binding and RDMex03 contains genes that may be involved in regulatory pathways. We also describe new antigenic proteins for the first time.</p