Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Effects of PDE type 5 inhibitors on Left Ventricular Diastolic Dysfunction in Resistant Hypertension

Resistant hypertension (RHTN) is a multifactorial disease characterized by blood pressure (BP) levels above goal (140/90 mmHg) in spite of the concurrent use of three or more antihypertensive drugs of different classes. Moreover, it is well known that RHTN subjects have high prevalence of left ventricular diastolic dysfunction (LVDD), which leads to increased risk of heart failure progression. This review gathers data from studies evaluating the effects of phosphodiesterase-5 (PDE-5) inhibitors (administration of acute sildenafil and short-term tadalafil) on diastolic function, biochemical and hemodynamic parameters in patients with RHTN. Acute study with sildenafil treatment found that inhibition of PDE-5 improved hemodynamic parameters and diastolic relaxation. In addition, short-term study with the use of tadalafil demonstrated improvement of LVDD, cGMP and BNP-32 levels, regardless of BP reduction. No endothelial function changes were observed in the studies. The findings of acute and short-term studies revealed potential therapeutic effects of IPDE-5 drugs on LVDD in RHTN patients.

Early Markers of Atherosclerotic Disease in Individuals with Excess Weight and Dyslipidemia

Abstract Background: Excessive weight is a cardiovascular risk factor since it generates a chronic inflammatory process that aggravates the endothelial function. Objective: To evaluate the endothelial function in individuals with excess weight and mild dyslipidemia using brachial artery flow-mediated dilation (BAFMD), and the association of endothelial function with anthropometric and biochemical variables. Methods: Cross-sectional study that included 74 individuals and evaluated anthropometric variables (body mass index [BMI], waist-hip ratio [WHR], waist circumference [AC], and percentage of body fat [PBF]), biochemical (blood glucose, insulinemia, ultrasensitive C-reactive protein, fibrinogen, total cholesterol, HDL-cholesterol, triglycerides, and LDL-cholesterol) and endothelial function (BAFMD, evaluated by ultrasound). The statistical analysis was performed with SPSS, version 16.0. To study the association between the variables, we used chi-square, Student's t and Mann-Whitney tests, and Pearson's correlation. Logistic regression analyzed the independent influence of the factors. Values of p < 0.05 were considered significant. Results: The participants had a mean age of 50.8 years, and 57% were female. BMI, WC, WHR, and PBF showed no significant association with BAFMD. The male gender (p = 0.02) and higher serum levels of fibrinogen (p = 0.02) were significantly and independently associated with a BAFMD below 8%. Conclusions: In individuals with excess weight and mild untreated dyslipidemia, male gender and higher levels of fibrinogen were independently associated with worse BAFMD.

On Boas-Type Problem

R.P. Boas has found necessary and sufficient conditions of belonging of function to Lipschitz class. From his findings it turned out, that the conditions on sine and cosine coefficients for belonging of function to Lip α(0 & α & 1) are the same, but for Lip 1 are different. Later his results were generalized by many authors in the viewpoint of generalization of condition on the majorant of modulus of continuity. The aim of this paper is to obtain Boas-type theorems for generalized Lipschitz classes. To define generalized Lipschitz classes we use the concept of modulus of smoothness of fractional order.

Structure-function relationships for the interleukin 2 receptor system

Receptors for interleukin 2 (IL-2) esit in at least three forms which differ in their subunit compositio, their affinity for ligand and their ability to mediate a cellular reponse. Type I receptors occur following cellular acitivation and consist of the 55,000 m. w. glycoprotein Tac. These receptors bind IL-2 with a low affinity, do not internalize ligand and have not been definitively associated with any response. Type II receptors, on the other hand, conssit of one or more glycoproteins of 70,000 m. w. which have been termed "beta ([beta]) chains." They bind IL-2 with an intermediate affinity and rapidly internalize the ligand. [Beta] proteins mediate many cellular IL-2-dependent reponses, including the short-term activation of natural killer cells and the induction of Tac protein expression. Type III receptors consist of a ternary complex of the Tac protein, the [beta] chain(s) and IL-2. They are characterized by a paricularly high affinity for ligand association. Type III receptors also internalize ligand and mediate IL-2-dependent responses at low factor concentrations. The identification of two independent IL-2-binding molecules, Tac and [beta], thus provides the elusive molecular explanation for the differences in IL-2 receptor affinity and suggests the potential for selective therapeutic manipulation of IL-2 reponses.

Connexin-36 contributes to control function of insulin-producing cells.

Connexin-36 (Cx36) is a gap junction protein expressed by the insulin-producing beta-cells. We investigated the contribution of this protein in normal beta-cell function by using a viral gene transfer approach to alter Cx36 content in the insulin-producing line of INS-1E cells and rat pancreatic islets. Transcripts for Cx43, Cx45, and Cx36 were detected by reverse transcriptase-PCR in freshly isolated pancreatic islets, whereas only a transcript for Cx36 was detected in INS-1E cells. After infection with a sense viral vector, which induced de novo Cx36 expression in the Cx-defective HeLa cells we used to control the transgene expression, Western blot, immunofluorescence, and freeze-fracture analysis showed a large increase of Cx36 within INS-1E cell membranes. In contrast, after infection with an antisense vector, Cx36 content was decreased by 80%. Glucose-induced insulin release and insulin content were decreased, whether infected INS-1E cells expressed Cx36 levels that were largely higher or lower than those observed in wild-type control cells. In both cases, basal insulin secretion was unaffected. Comparable observations on basal secretion and insulin content were made in freshly isolated rat pancreatic islets. The data indicate that large changes in Cx36 alter insulin content and, at least in INS-1E cells, also affect glucose-induced insulin release.

Angiotensin II favors progression to heart failure in diabetic hearts: role of myocardial fatty acid oxidation downregulation

Purpose: Diabetic myocardium is particularly vulnerable to develop heart failure in response to chronic stress conditions including hypertension or myocardial infarction. We have recently observed that angiotensin II (Ang II)-mediated downregulation of the fatty acid oxidation pathway favors occurrence of heart failure by myocardial accumulation of lipids (lipotoxicity). Because diabetic heart is exposed to high levels of circulating fatty acid, we determined whether insulin resistance favors development of heart failure in mice with Ang II-mediated myocardial remodeling.Methods: To study the combined effect of diabetes and Ang II-induced heart remodeling, we generated leptin-deficient/insulin resistant (Lepob/ob) mice with cardiac targeted overexpression of angiotensinogen (TGAOGN). Left ventricular (LV) failure was indicated by pulmonary congestion (lung weight/tibial length>+2SD of wild-type mice). Myocardial metabolism and function were assessed during in vitro isolated working heart perfusion.Results: Forty-eight percent of TGAOGN mice without insulin resistance exhibited pulmonary congestion at the age of 6 months associated with increased myocardial BNP expression (+375% compared with WT) and reduced LV power (developed pressure x cardiac output; -15%). The proportion of mice presenting heart failure was markedly increased to 71% in TGAOGN mice with insulin resistance (TGAOGN/Lepob/ob). TGAOGN/Lepob/ob mice with heart failure exhibited further increase of BNP compared with failing non-diabetic TGAOGN mice (+146%) and further reduction of cardiac power (-59%). Mice with insulin resistance alone (Lepob/ob) did not exhibit signs of heart failure or LV dysfunction. Myocardial fatty acid oxidation measured during in vitro perfusion was markedly increased in non-failing hearts from Lepob/ob mice (+380% compared with WT) and glucose oxidation decreased (-72%). In contrast, fatty acid and glucose oxidation did not differ from Lepob/ob mice in hearts from TGAOGN/Lepob/ob mice without heart failure. However, both fatty acid and glucose oxidation were markedly decreased (-47% and -48%, respectively, compared with WT/Lepob/+) in failing hearts from TGAOGN/Lepob/ob mice. Reduction of fatty acid oxidation was associated with marked reduction of protein expression of a number of regulatory enzymes implied in fatty acid oxidation.Conclusions: Insulin resistance favors the progression to heart failure during chronic exposure of the myocardium to Ang II. Our results are compatible with a role of Ang II-mediated downregulation of fatty acid oxidation, potentially promoting lipotoxicity.

Immune regulation and function of the NOD-like receptors NLRC5 and NLRP3

AbstractThe vertebrate immune system is composed of the innate and the adaptive branches. Innate immune cells represent the first line of defense and detect pathogens through pattern recognition receptors (PRRs), detecting evolutionary conserved pathogen- and danger- associated molecular patterns. Engagement of these receptors initiates the inflammatory response, but also instructs antigen-specific adaptive immune cells. NOD-like receptors (NLRs) are an important group of PRRs, leading to the production of inflammatory mediators and favoring antigen presentation to Τ lymphocytes through the regulation of major histocompatibility complex (MHC) molecules.In this work we focused our attention on selected NOD-like receptors (NLRs) and their role at the interface between innate and adaptive immunity. First, we describe a new regulatory mechanism controlling IL-1 production. Our results indicate that type I interferons (IFNs) block NLRP1 and NLRP3 inflammasome activity and interfere with LPS-driven proIL-Ια and -β induction. As type I IFNs are produced upon viral infections, these anti-inflammatory effects of type I IFN could be relevant in the context of superinfections, but could also help explaining the efficacy of IFN-β in multiple sclerosis treatment.The second project addresses the role of a novel NLR family member, called NLRC5. The function of this NLR is still matter of debate, as it has been proposed as both an inhibitor and an activator of different inflammatory pathways. We found that the expression of this protein is restricted to immune cells and is positively regulated by IFNs. We generated Nlrc5-deficient mice and found that this NLR plays an essential role in Τ, NKT and, NK lymphocytes, in which it drives the expression of MHC class I molecules. Accordingly, we could show that CD8+ Τ cell-mediated killing of target lymphocytes lacking NLRC5 is strongly impaired. Moreover, NLRC5 expression was found to be low in many lymphoid- derived tumor cell lines, a mechanism that could be exploited by tumors to escape immunosurveillance.Finally, we found NLRC5 to be involved in the production of IL-10 by CD4+ Τ cells, as Nlrc5- deficient Τ lymphocytes produced less of this cytokine upon TCR triggering. In line with these observations, Mrc5-deficient CD4+ Τ cells expanded more than control cells when transferred into lymphopenic hosts and led to a more rapid appearance of colitis symptoms. Therefore, our work gives novel insights on the function of NLRC5 by using knockout mice, and strongly supports the idea that NLRs direct not only innate, but also adaptive immune responses.

Metabolic origin of insulin resistance in obesity with and without type 2 (non-insulin-dependent) diabetes mellitus.

A metabolic hypothesis is presented for insulin resistance in obesity, in the presence or absence of Type 2 (non-insulin-dependent) diabetes mellitus. It is based on physiological mechanisms including a series of negative feed-back mechanisms, with the inhibition of the function of the glycogen cycle in skeletal muscle as a consequence of decreased glucose utilization resulting from increased lipid oxidation in the obese. It considers the inhibition of glycogen synthase activity together with inhibition of glucose storage and impaired glucose tolerance. The prolonged duration of increased lipid oxidation, considered as the initial cause, may lead to Type 2 diabetes. This hypothesis is compatible with others based on the inhibition of insulin receptor kinase and of glucose transporter activities.

A new look at the Heston characteristic function

A new expression for the characteristic function of log-spot in Heston model is presented. This expression more clearly exhibits its properties as an analytic characteristic function and allows us to compute the exact domain of the moment generating function. This result is then applied to the volatility smile at extreme strikes and to the control of the moments of spot. We also give a factorization of the moment generating function as product of Bessel type factors, and an approximating sequence to the law of log-spot is deduced.

Bacillus subtilis contains two small c-type cytochromes with homologous heme domains but different types of membrane anchors.

We demonstrate that the cccB gene, identified in the Bacillus subtilis genome sequence project, is the structural gene for a 10-kDa membrane-bound cytochrome c(551) lipoprotein described for the first time in B. subtilis. Apparently, CccB corresponds to cytochrome c(551) of the thermophilic bacterium Bacillus PS3. The heme domain of B. subtilis cytochrome c(551) is very similar to that of cytochrome c(550), a protein encoded by the cccA gene and anchored to the membrane by a single transmembrane polypeptide segment. Thus, B. subtilis contains two small, very similar, c-type cytochromes with different types of membrane anchors. The cccB gene is cotranscribed with the yvjA gene, and transcription is repressed by glucose. Mutants deleted for cccB or yvjA-cccB show no apparent growth, sporulation, or germination defect. YvjA is not required for the synthesis of cytochrome c(551), and its function remains unknown.

Early antibiotic administration affects the gut barrier function and the immune response to oral antigen in suckling rats

Abstract: The increasingly high hygienic standards characterizing westernized societies correlate with an increasingly high prevalence of allergic disease. Initially based on these observations, the hygiene hypothesis postulates that reduced microbial stimulation during infancy impairs the immune system development and increases the risk of allergy. Moreover, there is increasing evidence that the crosstalk existing between the intestine and the resident microbiota is crucial for gut homeostasis. In particular, bacterial colonization of the gut affects the integrity of the gut barrier and stimulates the development of the gut associated immune tissue, both phenomena being essential for the immune system to mount a controlled response to food antigens. Therefore, alterations in the microbial colonization process, by compromising the barrier homeostasis, may increase the risk of food allergy. In this context, antibiotic treatment, frequently prescribed during infancy, affects gut colonization by bacteria. However, little is known about the impact of alterations in the colonization process on the maturation of the gut barrier and on the immunological response to oral antigens. The objective of this work was to determine the impact of a commercial antibiotic preparation employed in pediatric settings on the gut barrier status at the critical period of the suckling/weaning transition and to evaluate the physiological consequences of this treatment in terms of immune response to food antigens. We established an antibiotic-treated suckling rat model relevant to the pediatric population in terms of type, dose and route of administration of the antibiotic and of changes in the patterns of microbial colonization. Oral tolerance to a novel luminal antigen (ovalbumin) was impaired when the antigen was introduced during antibiotic treatment. These results paralleled to alterations in the intestinal permeability to macromolecules and reduced intestinal expression of genes coding for the major histocomptatibility complex II molecules, which suggest a reduced capacity of antigen handling and presentation in the intestine of the antibiotic-treated animals. In addition, low luminal IgA levels and reduced intestinal expression of genes coding for antimicrobial proteins suggest that protection against pathogens was reduced under antibiotic treatment. In conclusion, we observed in suckling rats that treatment with abroad-spectrum antibiotic commonly used in pediatric practices reduced the capacity of the immune system to develop tolerance. The impact of the antibiotic treatment on the immune response to the antigen-was likely mediated by the alterations of the gut microbiota, through impairment in the mechanisms of antigen handling and presentation. This work reinforces the body of data supporting a key role of the intestinal microbiota modulating the risk of allergy development and leads us to propose that the introduction of new food antigens should be avoided during antibiotic treatment in infants. Résumé: L'augmentation du niveau d'hygiène caractérisant les sociétés occidentales semble être fortement corrélée avec l'augmentation des cas d'allergie dans ces pays. De cette observation est née l'hypothèse qu'une diminution des stimuli microbiens pendant l'enfance modifie le développement du système immunitaire augmentant ainsi le risque d'allergie. En ce sens, un nombre croissant de données indiquent que les interactions existant entre l'intestin et les bactéries résidantes sont cruciales pour l'équilibre du système. En effet, la présence de bactéries dans l'intestin affecte l'intégrité de sa fonction de barrière et stimule le développement du système immunitaire intestinal. Ces deux paramètres étant essentiels à la mise en place d'une réponse contrôlée vis à vis d'un antigène reçu oralement, toute modification du processus naturel de colonisation compromettant l'équilibre intestinal pourrait augmenter le risque d'allergie. Les traitements aux antibiotiques, fréquemment prescrits en pédiatrie, modifient de façon conséquente le processus de colonisation bactérienne. Cependant peu de données existent concernant l'impact d'une altération du processus de colonisation sur la maturation de la barrière intestinale et de la réponse immunitaire dirigée contre un antigène. L'objectif de ce travail était de déterminer l'impact d'un antibiotique commercial et employé en pédiatrie sur l'état de la barrière intestinale au moment critique du sevrage et d'évaluer les conséquences physiologiques d'un tel traitement sur la réponse immune à un antigène alimentaire. Nous avons mis en place un modèle de rats allaités, traités à l'antibiotique, le plus proche possible des pratiques pédiatriques, en terme de nature, dose et voie d'administration de l'antibiotique. Nous avons constaté que l'établissement de la tolérance orale à un nouvel antigène (l'ovalbumine) est altéré quand celui-ci est donné pour la première fois au cours du traitement antibiotique. Ces résultats coïncident avec une diminution de la perméabilité intestinale aux macromolécules, ainsi qu'avec une diminution de l'expression des gènes codant pour les molécules du complexe majeur d'histocomptatibilité de classe II, suggérant une modification de l'apprêtement et de la présentation de l'antigène au niveau intestinal chez les rats traités à l'antibiotique. De plus, un faible taux d'IgA et une diminution de l'expression des gènes codant pour des protéines antimicrobiennes, observés après l'administration d'antibiotique, laissent à penser que la protection contre un pathogène est diminuée lors d'un traitement antibiotique. En conclusion, nous avons observé qu'un traitement antibiotique à large spectre d'activité, couramment utilisé en pédiatrie, réduit la capacité d'induction de la tolérance orale chez le rat allaité. L'impact du traitement antibiotique sur la réponse immune semble induite par l'altération de la flore intestinale via son effet sur les mécanismes d'apprêtement et de présentation de l'antigène. Ce travail renforce l'ensemble des données existantes qui accorde à la flore intestinale un rôle clef dans la modulation du risque de développement d'allergie et nous amène à recommander d'éviter l'introduction d'un nouvel aliment lorsqu'un enfant est traité aux antibiotiques.

The pollutant diethylhexyl phthalate regulates hepatic energy metabolism via species-specific PPARalpha-dependent mechanisms.

Background: The modulation of energetic homeostasis by pollutants has recently emerged as a potential contributor to the onset of metabolic disorders. Diethylhexyl phthalate (DEHP) is a widely used industrial plasticizer to which humans are widely exposed. Phthalates can activate the three peroxisome proliferatoractivated receptor (PPAR) isotypes on cellular models and induce peroxisome proliferation in rodents.Objectives: In this study, we aimed to evaluate the systemic and metabolic consequences of DEHP exposure that have remained so far unexplored and to characterize the underlying molecular mechanisms of action.Methods: As a proof of concept and mechanism, genetically engineered mouse models of PPARs were exposed to high doses of DEHP, followed by metabolic and molecular analyses.Results: DEHP-treated mice were protected from diet-induced obesity via PPARalpha-dependent activation of hepatic fatty acid catabolism, whereas the activity of neither PPARbeta nor PPARgamma was affected. However, the lean phenotype observed in response to DEHP in wild-type mice was surprisingly abolished in PPARalpha-humanized mice. These species differences are associated with a different pattern of coregulator recruitment.Conclusion: These results demonstrate that DEHP exerts species-specific metabolic actions that rely to a large extent on PPARalpha signaling and highlight the metabolic importance of the species-specific activation of PPARalpha by xenobiotic compounds. Editor's SummaryDiethylhexyl phthalate (DEHP) is an industrial plasticizer used in cosmetics, medical devices, food packaging, and other applications. Evidence that DEHP metabolites can activate peroxisome proliferatoractivated receptors (PPARs) involved in fatty acid oxidation (PPARalpha and PPARbeta) and adiposite function and insulin resistance (PPARgamma) has raised concerns about potential effects of DEHP on metabolic homeostasis. In rodents, PPARalpha activation also induces hepatic peroxisome proliferation, but this response to PPARalpha activation is not observed in humans. Feige et al. (p. 234) evaluated systemic and metabolic consequences of high-dose oral DEHP in combination with a high-fat diet in wild-type mice and genetically engineered mouse PPAR models. The authors report that mice exposed to DEHP gained less weight than controls, without modifying their feeding behavior; they also exhibited lower triglyceride levels, smaller adipocytes, and improved glucose tolerance compared with controls. These effects, which were observed in mice fed both high-fat and standard diets, appeared to be mediated by PPARalpha-dependent activation of hepatic fatty acid catabolism without apparent involvement of PPARbeta or PPARgamma. However, mouse models that expressed human (versus mouse) PPARalpha tended to gain more weight on a high-fat diet than their DHEP-unexposed counterparts. The authors conclude that findings support species-specific metabolic effects of DEHP mediated by PPARalpha activation.

Maintenance of hepatic nuclear factor 6 in postnatal islets impairs terminal differentiation and function of beta-cells.

The Onecut homeodomain transcription factor hepatic nuclear factor 6 (Hnf6) is necessary for proper development of islet beta-cells. Hnf6 is initially expressed throughout the pancreatic epithelium but is downregulated in endocrine cells at late gestation and is not expressed in postnatal islets. Transgenic mice in which Hnf6 expression is maintained in postnatal islets (pdx1(PB)Hnf6) show overt diabetes and impaired glucose-stimulated insulin secretion (GSIS) at weaning. We now define the mechanism whereby maintenance of Hnf6 expression postnatally leads to beta-cell dysfunction. We provide evidence that continued expression of Hnf6 impairs GSIS by altering insulin granule biosynthesis, resulting in a reduced response to secretagogues. Sustained expression of Hnf6 also results in downregulation of the beta-cell-specific transcription factor MafA and a decrease in total pancreatic insulin. These results suggest that downregulation of Hnf6 expression in beta-cells during development is essential to achieve a mature, glucose-responsive beta-cell.

H-2D ligand expression by Ly49A+ natural killer (NK) cells precludes ligand uptake from environmental cells: implications for NK cell function.

To study the adaptation of natural killer (NK) cells to their major histocompatibility complex (MHC) class I environment we have established a novel mouse model with mosaic expression of H-2D(d) using a Cre/loxP system. In these mice, we noticed that NK cells expressing the inhibitory receptor for D(d), Ly49A, were specifically underrepresented among cells with low D(d) levels. That was due to the acquisition of D(d) molecules by the Ly49A+ NK cells that have lost their D(d) transgene. The uptake of H-2D molecules via the Ly49A receptor was restricted to strong ligands of Ly49A. Surprisingly, when Ly49A+ NK cells were D(d+), uptake of the alternative ligand D(k) was not detectable. Similarly, one anti-Ly49A mAb (A1) bound inefficiently when Ly49A was expressed on D(d+) NK cells. Concomitantly, functional assays demonstrated a reduced capacity of Ly49A to inhibit H-2(b)D(d) as compared with H-2(b) NK cells, rendering Ly49A+ NK cells in D(d+) mice particularly reactive. Minor reductions of D(d) levels and/or increases of activating ligands on environmental cells may thus suffice to abrogate Ly49A-mediated NK cell inhibition. The mechanistic explanation for all these phenomena is likely the partial masking of Ly49A by D(d) on the same cell via a lateral binding site in the H-2D(d) molecule.