Notch1 and T-cell development: insights from conditional knockout mice.

Notch proteins influence cell-fate decisions in many developmental systems. Gain-of-function studies have suggested a crucial role for Notch1 signaling at several stages during lymphocyte development, including the B/T, alphabeta/gammadelta and CD4/CD8 lineage choices. Here, we critically re-evaluate these conclusions in the light of recent studies that describe inducible and tissue-specific targeting of the Notch1 gene.

Using active learning for monitoring networks design: The example of wind power plants sites evaluation

Locating new wind farms is of crucial importance for energy policies of the next decade. To select the new location, an accurate picture of the wind fields is necessary. However, characterizing wind fields is a difficult task, since the phenomenon is highly nonlinear and related to complex topographical features. In this paper, we propose both a nonparametric model to estimate wind speed at different time instants and a procedure to discover underrepresented topographic conditions, where new measuring stations could be added. Compared to space filling techniques, this last approach privileges optimization of the output space, thus locating new potential measuring sites through the uncertainty of the model itself.

In vivo conditional Pax4 overexpression in mature islet β-cells prevents stress-induced hyperglycemia in mice.

OBJECTIVE To establish the role of the transcription factor Pax4 in pancreatic islet expansion and survival in response to physiological stress and its impact on glucose metabolism, we generated transgenic mice conditionally and selectively overexpressing Pax4 or a diabetes-linked mutant variant (Pax4R129 W) in β-cells. RESEARCH DESIGN AND METHODS Glucose homeostasis and β-cell death and proliferation were assessed in Pax4- or Pax4R129 W-overexpressing transgenic animals challenged with or without streptozotocin. Isolated transgenic islets were also exposed to cytokines, and apoptosis was evaluated by DNA fragmentation or cytochrome C release. The expression profiles of proliferation and apoptotic genes and β-cell markers were studied by immunohistochemistry and quantitative RT-PCR. RESULTS Pax4 but not Pax4R129 W protected animals against streptozotocin-induced hyperglycemia and isolated islets from cytokine-mediated β-cell apoptosis. Cytochrome C release was abrogated in Pax4 islets treated with cytokines. Interleukin-1β transcript levels were suppressed in Pax4 islets, whereas they were increased along with NOS2 in Pax4R129 W islets. Bcl-2, Cdk4, and c-myc expression levels were increased in Pax4 islets while MafA, insulin, and GLUT2 transcript levels were suppressed in both animal models. Long-term Pax4 expression promoted proliferation of a Pdx1-positive cell subpopulation while impeding insulin secretion. Suppression of Pax4 rescued this defect with a concomitant increase in pancreatic insulin content. CONCLUSIONS Pax4 protects adult islets from stress-induced apoptosis by suppressing selective nuclear factor-κB target genes while increasing Bcl-2 levels. Furthermore, it promotes dedifferentiation and proliferation of β-cells through MafA repression, with a concomitant increase in Cdk4 and c-myc expression.

A study on the expressive power of some fragments of the modal µ-Calculus

Résumé Le μ-calcul est une extension de la logique modale par des opérateurs de point fixe. Dans ce travail nous étudions la complexité de certains fragments de cette logique selon deux points de vue, différents mais étroitement liés: l'un syntaxique (ou combinatoire) et l'autre topologique. Du point de vue syn¬taxique, les propriétés définissables dans ce formalisme sont classifiées selon la complexité combinatoire des formules de cette logique, c'est-à-dire selon le nombre d'alternances des opérateurs de point fixe. Comparer deux ensembles de modèles revient ainsi à comparer la complexité syntaxique des formules as¬sociées. Du point de vue topologique, les propriétés définissables dans cette logique sont comparées à l'aide de réductions continues ou selon leurs positions dans la hiérarchie de Borel ou dans celle projective. Dans la première partie de ce travail nous adoptons le point de vue syntax¬ique afin d'étudier le comportement du μ-calcul sur des classes restreintes de modèles. En particulier nous montrons que: (1) sur la classe des modèles symétriques et transitifs le μ-calcul est aussi expressif que la logique modale; (2) sur la classe des modèles transitifs, toute propriété définissable par une formule du μ-calcul est définissable par une formule sans alternance de points fixes, (3) sur la classe des modèles réflexifs, il y a pour tout η une propriété qui ne peut être définie que par une formule du μ-calcul ayant au moins η alternances de points fixes, (4) sur la classe des modèles bien fondés et transitifs le μ-calcul est aussi expressif que la logique modale. Le fait que le μ-calcul soit aussi expressif que la logique modale sur la classe des modèles bien fondés et transitifs est bien connu. Ce résultat est en ef¬fet la conséquence d'un théorème de point fixe prouvé indépendamment par De Jongh et Sambin au milieu des années 70. La preuve que nous donnons de l'effondrement de l'expressivité du μ-calcul sur cette classe de modèles est néanmoins indépendante de ce résultat. Par la suite, nous étendons le langage du μ-calcul en permettant aux opérateurs de point fixe de lier des occurrences négatives de variables libres. En montrant alors que ce formalisme est aussi ex¬pressif que le fragment modal, nous sommes en mesure de fournir une nouvelle preuve du théorème d'unicité des point fixes de Bernardi, De Jongh et Sambin et une preuve constructive du théorème d'existence de De Jongh et Sambin. RÉSUMÉ Pour ce qui concerne les modèles transitifs, du point de vue topologique cette fois, nous prouvons que la logique modale correspond au fragment borélien du μ-calcul sur cette classe des systèmes de transition. Autrement dit, nous vérifions que toute propriété définissable des modèles transitifs qui, du point de vue topologique, est une propriété borélienne, est nécessairement une propriété modale, et inversement. Cette caractérisation du fragment modal découle du fait que nous sommes en mesure de montrer que, modulo EF-bisimulation, un ensemble d'arbres est définissable dans la logique temporelle Ε F si et seulement il est borélien. Puisqu'il est possible de montrer que ces deux propriétés coïncident avec une caractérisation effective de la définissabilité dans la logique Ε F dans le cas des arbres à branchement fini donnée par Bojanczyk et Idziaszek [24], nous obtenons comme corollaire leur décidabilité. Dans une deuxième partie, nous étudions la complexité topologique d'un sous-fragment du fragment sans alternance de points fixes du μ-calcul. Nous montrons qu'un ensemble d'arbres est définissable par une formule de ce frag¬ment ayant au moins η alternances si et seulement si cette propriété se trouve au moins au n-ième niveau de la hiérarchie de Borel. Autrement dit, nous vérifions que pour ce fragment du μ-calcul, les points de vue topologique et combina- toire coïncident. De plus, nous décrivons une procédure effective capable de calculer pour toute propriété définissable dans ce langage sa position dans la hiérarchie de Borel, et donc le nombre d'alternances de points fixes nécessaires à la définir. Nous nous intéressons ensuite à la classification des ensembles d'arbres par réduction continue, et donnons une description effective de l'ordre de Wadge de la classe des ensembles d'arbres définissables dans le formalisme considéré. En particulier, la hiérarchie que nous obtenons a une hauteur (ωω)ω. Nous complétons ces résultats en décrivant un algorithme permettant de calculer la position dans cette hiérarchie de toute propriété définissable.

Uncovering a role for micro-RNAs in sleep homeostasis and energy metabolism

Micro-RNAs (miRNAs) are key, post-transcriptional regulators of gene expression and have been implicated in almost every cellular process investigated thus far. However, their role in sleep, in particular the homeostatic aspect of sleep control, has received little attention. We here assessed the effects of sleep deprivation on the brain miRNA transcriptome in the mouse. Sleep deprivation affected miRNA expression in a brain-region specific manner. The forebrain expression of the miRNA miR-709 was affected the most and in situ analyses confirmed its robust increase throughout the brain, especially in the cerebral cortex and the hippocampus. The hippocampus was a major target of the sleep deprivation affecting 37 miRNAs compared to 52 in the whole forebrain. Moreover, independent from the sleep deprivation condition, miRNA expression was highly region-specific with 45% of all expressed miRNAs showing higher expression in hippocampus and 55% in cortex. Next we demonstrated that down-regulation of miRNAs in Com/c2o-expressing neurons of adult mice, through a conditional and inducible Dicer knockout mice model (cKO), results in an altered homeostatic response after sleep deprivation eight weeks following the tamoxifen-induced recombination. Dicer cKO mice showed a larger increase in the electro-encephalographic (EEG) marker of sleep pressure, EEG delta power, and a reduced Rapid Eye Movement sleep rebound, compared to controls, highlighting a functional role of miRNAs in sleep homeostasis. Beside a sleep phenotype, Dicer cKO mice developed an unexpected, severe obesity phenotype associated with hyperphagia and altered metabolism. Even more surprisingly, after reaching maximum body weight 5 weeks after tamoxifen injection, obese cKO mice spontaneously started losing weight as rapidly as it was gained. Brain transcriptome analyses in obese mice identified several obesity-related pathways (e.g. leptin, somatostatin, and nemo-like kinase signaling), as well as genes involved in feeding and appetite (e.g. Pmch, Neurotensin). A gene cluster with anti-correlated expression in the cerebral cortex of post-obese compared to obese mice was enriched for synaptic plasticity pathways. While other studies have identified a role for miRNAs in obesity, we here present a unique model that allows for the study of processes involved in reversing obesity. Moreover, our study identified the cortex as a brain area important for body weight homeostasis. Together, these observations strongly suggest a role for miRNAs in the maintenance of homeostatic processes in the mouse, and support the hypothesis of a tight relationship between sleep and metabolism at a molecular - Les micro-ARNS (miARNs) sont des régulateurs post-transcriptionnels de l'expression des gènes, impliqués dans la quasi-totalité des processus cellulaires. Cependant, leur rôle dans la régulation du sommeil, et en particulier dans le maintien de l'homéostasie du sommeil, n'a reçu que très peu d'attention jusqu'à présent. Dans cette étude, nous avons étudié les conséquences d'une privation de sommeil sur l'expression cérébrale des miARNs chez la souris, et observé des changements dans l'expression de nombreux miARNs. Dans le cerveau antérieur, miR-709 est le miARN le plus affecté par la perte de sommeil, en particulier dans le cortex cérébral et l'hippocampe. L'hippocampe est la région la plus touchée avec 37 miARNs changés comparés à 52 dans le cerveau entier. Par ailleurs, indépendamment de la privation de sommeil, certains miARNs sont spécifiquement enrichis dans certaines aires cérébrales, 45% des miARNs étant surexprimés dans l'hippocampe contre 55% dans le cortex. Dans une seconde étude, nous avons observé que la délétion de DICER, enzyme essentielle à la biosynthèse des miARNs, et la perte subséquente des miARNs dans les neurones exprimant la protéine CAMK2a altère la réponse homéostatique à une privation de sommeil, 8 semaines après l'induction de la recombinaison génétique par le tamoxifen. Les souris sans Dicer (cKO) ont une plus large augmentation de l'EEG delta power, le principal marqueur électro-encéphalographique du besoin de sommeil, comparée aux contrôles, ainsi qu'un rebond en sommeil paradoxal plus petit. De façon surprenante, les souris Dicer cKO développent une obésité rapide, sévère et transitoire, associée à de l'hyperphagie et une altération de leur métabolisme énergétique. Après avoir atteint un pic maximal d'obésité, les souris cKO entrent spontanément dans une période de perte de poids rapide. L'analyse du transcriptome cérébral des souris obèses nous a permis d'identifier des voies associées à l'obésité (leptine, somatostatine et nemo-like kinase), et à la prise alimentaire (Pmch, Neurotensin), tandis que celui des souris post-obèses a révélé un groupe de gènes liés à la plasticité synaptique. Au-delà des nombreux modèles d'obésité existant chez la souris, notre étude présente un modèle unique permettant d'étudier les mécanismes sous-jacent la perte de poids. De plus, nous avons mis en évidence un rôle important du cortex cérébral dans le maintien de la balance énergétique. En conclusion, toutes ces observations soutiennent l'idée que les miARNs sont des régulateurs cruciaux dans le maintien des processus homéostatiques et confortent l'hypothèse d'une étroite relation moléculaire entre le sommeil et le métabolisme.

Interpersonal Power: A Review, Critique, and Research Agenda

Power is a fundamental force in social relationships and is pervasive throughout various types of interactions. Although research has shown that the possession of power can change the powerholder, the full extent of power's consequences on individuals' decision making capabilities and social interactions within organizations is not fully understood. The goal of this paper is to review, synthesize, and critique the literature on power with a focus on its organizational and managerial implications. Specifically, we propose a definition of power that takes into account its three defining characteristics-having the discretion and means to enforce one's will-and summarize the extant literature on how power influences individuals' thoughts, emotions, and actions both in terms of prosocial and antisocial outcomes. In addition, we highlight important moderators of power and describe ways in which it can be studied in a more rigorous manner by examining methodological issues and pitfalls with regard to its measurement and manipulation. We also provide future research directions to motivate and guide the study of power by management scholars. Our desire is to present a thorough and parsimonious account of power's influence on individuals within an organizational context, as well as provide a foundation that scholars can build upon as they continue to make consequential contributions to the study of power.

Influence of inter-electrode distance, contraction type, and muscle on the relationship between the sEMG power spectrum and contraction force.

INTRODUCTION: Spectral frequencies of the surface electromyogram (sEMG) increase with contraction force, but debate still exists on whether this increase is affected by various methodological and anatomical factors. This study aimed to investigate the influence of inter-electrode distance (IED) and contraction modality (step-wise vs. ramp) on the changes in spectral frequencies with increasing contraction strength for the vastus lateralis (VL) and vastus medialis (VM) muscles. METHODS: Twenty healthy male volunteers were assessed for isometric sEMG activity of the VM and VL, with the knee at 90° flexion. Subjects performed isometric ramp contractions in knee extension (6-s duration) with the force gradually increasing from 0 to 80 % MVC. Also, subjects performed 4-s step-wise isometric contractions at 10, 20, 30, 40, 50, 60, 70, and 80 % MVC. Interference sEMG signals were recorded simultaneously at different IEDs: 10, 20, 30, and 50 mm. The mean (F mean) and median (F median) frequencies and root mean square (RMS) of sEMG signals were calculated. RESULTS: For all IEDs, contraction modalities, and muscles tested, spectral frequencies increased significantly with increasing level of force up to 50-60 % MVC force. Spectral indexes increased systematically as IED was decreased. The sensitivity of spectral frequencies to changes in contraction force was independent of IED. The behaviour of spectral indexes with increasing contraction force was similar for step-wise and ramp contractions. CONCLUSIONS: In the VL and VM muscles, it is highly unlikely that a particular inter-electrode distance or contraction modality could have prevented the observation of the full extent of the increase in spectral frequencies with increasing force level.

Simultaneous B(0)- and B(1)+-map acquisition for fast localized shim, frequency, and RF power determination in the heart at 3 T.

High-field (>or=3 T) cardiac MRI is challenged by inhomogeneities of both the static magnetic field (B(0)) and the transmit radiofrequency field (B(1)+). The inhomogeneous B fields not only demand improved shimming methods but also impede the correct determination of the zero-order terms, i.e., the local resonance frequency f(0) and the radiofrequency power to generate the intended local B(1)+ field. In this work, dual echo time B(0)-map and dual flip angle B(1)+-map acquisition methods are combined to acquire multislice B(0)- and B(1)+-maps simultaneously covering the entire heart in a single breath hold of 18 heartbeats. A previously proposed excitation pulse shape dependent slice profile correction is tested and applied to reduce systematic errors of the multislice B(1)+-map. Localized higher-order shim correction values including the zero-order terms for frequency f(0) and radiofrequency power can be determined based on the acquired B(0)- and B(1)+-maps. This method has been tested in 7 healthy adult human subjects at 3 T and improved the B(0) field homogeneity (standard deviation) from 60 Hz to 35 Hz and the average B(1)+ field from 77% to 100% of the desired B(1)+ field when compared to more commonly used preparation methods.