Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses

We propose an analysis for detecting procedures and goals that are deterministic (i.e., that produce at most one solution at most once),or predicates whose clause tests are mutually exclusive (which implies that at most one of their clauses will succeed) even if they are not deterministic. The analysis takes advantage of the pruning operator in order to improve the detection of mutual exclusion and determinacy. It also supports arithmetic equations and disequations, as well as equations and disequations on terms,for which we give a complete satisfiability testing algorithm, w.r.t. available type information. Information about determinacy can be used for program debugging and optimization, resource consumption and granularity control, abstraction carrying code, etc. We have implemented the analysis and integrated it in the CiaoPP system, which also infers automatically the mode and type information that our analysis takes as input. Experiments performed on this implementation show that the analysis is fairly accurate and efficient.

Inferring determinacy and mutual exclusion in logic programs using mode and type analysis.

We propose an analysis for detecting procedures and goals that are deterministic (i.e., that produce at most one solution at most once), or predicates whose clause tests are mutually exclusive (which implies that at most one of their clauses will succeed) even if they are not deterministic. The analysis takes advantage of the pruning operator in order to improve the detection of mutual exclusion and determinacy. It also supports arithmetic equations and disequations, as well as equations and disequations on terms, for which we give a complete satisfiability testing algorithm, w.r.t. available type information. We have implemented the analysis and integrated it in the CiaoPP system, which also infers automatically the mode and type information that our analysis takes as input. Experiments performed on this implementation show that the analysis is fairly accurate and efficient.

Competitive exclusion in a two-especies chemotasis model

We consider a mathematical model for the spatio-temporal evolution of two biological species in a competitive situation. Besides diffusing, both species move toward higher concentrations of a chemical substance which is produced by themselves. The resulting system consists of two parabolic equations with Lotka–Volterra-type kinetic terms and chemotactic cross-diffusion, along with an elliptic equation describing the behavior of the chemical. We study the question in how far the phenomenon of competitive exclusion occurs in such a context. We identify parameter regimes for which indeed one of the species dies out asymptotically, whereas the other reaches its carrying capacity in the large time limit.

Regulation of T cell receptor (TCR) β gene expression by CD3 complex signaling in immature thymocytes: Implications for TCRβ allelic exclusion

During αβ thymocyte development, clonotype-independent CD3 complexes are expressed at the cell surface before the pre-T cell receptor (TCR). Signaling through clonotype-independent CD3 complexes is required for expression of rearranged TCRβ genes. On expression of a TCRβ polypeptide chain, the pre-TCR is assembled, and TCRβ locus allelic exclusion is established. We investigated the putative contribution of clonotype-independent CD3 complex signaling to TCRβ locus allelic exclusion in mice single-deficient or double-deficient for CD3ζ/η and/or p56lck. These mice display defects in the expression of endogenous TCRβ genes in immature thymocytes, proportional to the severity of CD3 complex malfunction. Exclusion of endogenous TCRβ VDJ (variable, diversity, joining) rearrangements by a functional TCRβ transgene was severely compromised in the single-deficient and double-deficient mutant mice. In contrast to wild-type mice, most of the CD25+ double-negative (DN) thymocytes of the mutant mice failed to express the TCRβ transgene, suggesting defective expression of the TCRβ transgene similar to endogenous TCRβ genes. In the mutant mice, a proportion of CD25+ DN thymocytes that failed to express the transgene expressed endogenous TCRβ polypeptide chains. Many double-positive cells of the mutant mice coexpressed endogenous and transgenic TCRβ chains or more than one endogenous TCRβ chain. The data suggest that signaling through clonotype-independent CD3 complexes may contribute to allelic exclusion of the TCRβ locus by inducing the expression of rearranged TCRβ genes in CD25+ DN thymocytes.

Preferential exclusion of sucrose from recombinant interleukin-1 receptor antagonist: Role in restricted conformational mobility and compaction of native state

Understanding the mechanism for sucrose-induced protein stabilization is important in many diverse fields, ranging from biochemistry and environmental physiology to pharmaceutical science. Timasheff and Lee [Lee, J. C. & Timasheff, S. N. (1981) J. Biol. Chem. 256, 7193–7201] have established that thermodynamic stabilization of proteins by sucrose is due to preferential exclusion of the sugar from the protein’s surface, which increases protein chemical potential. The current study measures the preferential exclusion of 1 M sucrose from a protein drug, recombinant interleukin 1 receptor antagonist (rhIL-1ra). It is proposed that the degree of preferential exclusion and increase in chemical potential are directly proportional to the protein surface area and that, hence, the system will favor the protein state with the smallest surface area. This mechanism explains the observed sucrose-induced restriction of rhIL-1ra conformational fluctuations, which were studied by hydrogen–deuterium exchange and cysteine reactivity measurements. Furthermore, infrared spectroscopy of rhlL-1ra suggested that a more ordered native conformation is induced by sucrose. Electron paramagnetic resonance spectroscopy demonstrated that in the presence of sucrose, spin-labeled cysteine 116 becomes more buried in the protein’s interior and that the hydrodynamic diameter of the protein is reduced. The preferential exclusion of sucrose from the protein and the resulting shift in the equilibrium between protein states toward the most compact conformation account for sucrose-induced effects on rhIL-1ra.

Restriction-modification gene complexes as selfish gene entities: Roles of a regulatory system in their establishment, maintenance, and apoptotic mutual exclusion

We have reported some type II restriction-modification (RM) gene complexes on plasmids resist displacement by an incompatible plasmid through postsegregational host killing. Such selfish behavior may have contributed to the spread and maintenance of RM systems. Here we analyze the role of regulatory genes (C), often found linked to RM gene complexes, in their interaction with the host and the other RM gene complexes. We identified the C gene of EcoRV as a positive regulator of restriction. A C mutation eliminated postsegregational killing by EcoRV. The C system has been proposed to allow establishment of RM systems in new hosts by delaying the appearance of restriction activity. Consistent with this proposal, bacteria preexpressing ecoRVC were transformed at a reduced efficiency by plasmids carrying the EcoRV RM gene complex. Cells carrying the BamHI RM gene complex were transformed at a reduced efficiency by a plasmid carrying a PvuII RM gene complex, which shares the same C specificity. The reduction most likely was caused by chromosome cleavage at unmodified PvuII sites by prematurely expressed PvuII restriction enzyme. Therefore, association of the C genes of the same specificity with RM gene complexes of different sequence specificities can confer on a resident RM gene complex the capacity to abort establishment of a second, incoming RM gene complex. This phenomenon, termed “apoptotic mutual exclusion,” is reminiscent of suicidal defense against virus infection programmed by other selfish elements. pvuIIC and bamHIC genes define one incompatibility group of exclusion whereas ecoRVC gene defines another.

Repression of TFII-I-dependent transcription by nuclear exclusion

TFII-I is an unusual transcription factor possessing both basal and signal-induced transcriptional functions. Here we report the characterization of a TFII-I-related factor (MusTRD1/BEN) that regulates transcriptional functions of TFII-I by controlling its nuclear residency. MusTRD1/BEN has five or six direct repeats, each containing helix–loop–helix motifs, and, thus, belongs to the TFII-I family of transcription factors. TFII-I and MusTRD1/BEN, when expressed individually, show predominant nuclear localization. However, when the two proteins are coexpressed ectopically, MusTRD1/BEN locates almost exclusively to the nucleus, whereas TFII-I is largely excluded from the nucleus, resulting in a loss of TFII-I-dependent transcriptional activation of the c-fos promoter. Mutation of a consensus nuclear localization signal in MusTRD1/BEN results in a reversal of nuclear residency of the two proteins and a concomitant gain of c-fos promoter activity. These data suggest a means of transcriptional repression by competition at the level of nuclear occupancy.

A novel assay for drug-DNA binding mode, affinity, and exclusion number: scanning force microscopy.

Determining the mode-of-binding of a DNA ligand is not always straightforward. Here, we establish a scanning force microscopic assay for mode-of-binding that is (i) direct: lengths of individual DNA-ligand complexes are directly measured; (ii) rapid: there are no requirements for staining or elaborate sample preparation; and (iii) unambiguous: an observed increase in DNA length upon addition of a ligand is definitive evidence for an intercalative mode-of-binding. Mode-of-binding, binding affinity, and site-exclusion number are readily determined from scanning force microscopy measurements of the changes in length of individual drug-DNA complexes as a function of drug concentration. With this assay, we resolve the ambiguity surrounding the mode of binding of 2,5-bis(4-amidinophenyl) furan (APF) to DNA and show that it binds to DNA by nonintercalative modes. APF is a member of an important class of aromatic dicationic drugs that show significant activity in the treatment of Pneumocystis carinii pneumonia, an opportunistic infection that is the leading cause of death in AIDS patients.

Function of the pre-T-cell receptor alpha chain in T-cell development and allelic exclusion at the T-cell receptor beta locus.

The pre-T-cell receptor, composed of the T-cell receptor (TCR) beta chain (TCRbeta), pre-Talpha (pTalpha) chain, and CD3 molecules, has been postulated to be a transducer of signals during the early stages of T-cell development. To examine the function of the transmembrane pTalpha chain during tbymocyte development, we generated pTalpha-/- embryonic stem cells and assayed their ability to differentiate into lymphoid cells in vivo after injection into recombination-activating gene (RAG)-2-deficient blastocysts. Thymocytes representing all stages of T-cell differentiation were detected in the thymus of pTalpha-/- chimeric mice, indicating that thymocyte development can occur without pTalpha. However, greatly reduced thymocyte numbers and substantially increased percentages of both CD4-CD8- thymocytes and TCRgammadelta+ thymocytes suggest that pTalpha plays a critical role in thymocyte expansion. To investigate the role of the pTalpha chain in allelic exclusion at the TCRbeta locus, a functionally rearranged TCRbeta minigene was introduced into pTalpha-/- and pTalpha+/- embryonic stem cells, which were subsequently assayed by RAG-2-deficient blastocyst complementation. In the absence of pTalpha, expression of the transgenic TCRbeta inhibited rearrangement of the endogenous TCRbeta locus to an extent similar to that seen in normal TCRbeta transgenic mice, suggesting that pTalpha may not be required for signaling allelic exclusion at the TCRbeta locus.

Redrawing Identity Boundaries through Integration Policies: Strategies of Inclusion/Exclusion of Immigrants in Québec and South Tyrol. EDAP Paper 01/2013

Following the research agenda introduced by Will Kymlicka, this qualitative study offers an interpretation of how the sub-national elites of Québec and South Tyrol police the integration of immigrants. For these national minority groups, which are constantly undergoing a process of redefinition of their collective identities by differentiating themselves from the Others who do not belong to the in-group, immigrants have progressively become the most significant Others as they are not part of the original system of compromises. This article questions how sub-national elites are handling this relatively new kind of ethnocultural diversity brought about by large-scale permanent immigration on two levels: first, the political narrative of the ruling sub-national parties, their electoral appeals, manifestos and speeches; second, the policy arrangements for the integration of immigrants in education, language and social policy. The initial approach of the article is pessimistic, as it assumes that sub-national elites will marginalize immigrants to please core nationalist supporters. In fact, the hypotheses to be tested are whether the national minority groups of Québec and South Tyrol engage in a process of reconstruction of their ethnic identity bounded by opposition to real or imagined Others – the newcomers; and whether they adopt practical measures that force newcomers to be assimilated into the group or to be marginalized. The comparison between Québec and South Tyrol provides a basic understanding of the impact of immigration in two sub-national polities that are very different, but still adopt similar political narratives and policy strategies with regard to the integration of newcomers.