Functional Validation of AADL Models via Model Transformation to SystemC with ATL

6 pagesInternational audienceIn this paper, we put into action an ATL model transformation in order to automatically generate SystemC models from AADL models. The AADL models represent electronic systems to be embedded into FPGAs. Our contribution allows for an early analytical estimation of energetic needs and a rapid SystemC simulation before implementation. The transformation has been tested to simulate an existing video image processing system embedded into a Xilinx Virtex5 FPGA

2,7-Dibromo-9-octyl-9H-carbazole

In the crystal structure of the title compound, C20H23Br2N, the octyl chains are extended in an anti conformation and form a segregating bilayer, isolating rows of carbazole units. The carbazole moieties are engaged in offset π–π inter­actions; the smallest centroid-to-centroid distance is 4.2822 (11) Å. This offset packing motif allows the methyl­ene group attached directly to the N atom to be involved in two short C—H⋯π inter­actions (H⋯centroid distances = 2.96 and 2.99 Å) with an adjacent carbazole. One of the Br atoms also participates in a short contact [3.5475 (3) Å] with a symmetry-related (−x, 1 − y, −z) Br atom. This value is significantly smaller than the sum of the van der Waals radii for bromine (3.70 Å)

Les avatars de l’inquisiteur ou la fonction de juge ecclésiastique à la fin du Moyen Âge

En matière de foi, les juges ne sont pas toujours ce que l’on croit et l’habit ne fait pas forcément l’inquisiteur. Un juge peut même en cacher un autre. Quand on parle d’inquisitio, ou inquisition, c’est d’abord pour évoquer une procédure d’enquête et d’enregistrement de témoignages . Dès la fin du xiie siècle, elle s’est imposée dans la justice ecclésiastique ; elle fut en premier lieu le fait des évêques, juges ordinaires, puis, à partir de 1231, de délégués extraordinaires de la papauté q..

Human hypocretin and melanin-concentrating hormone levels are linked to emotion and social interaction.

The neurochemical changes underlying human emotions and social behaviour are largely unknown. Here we report on the changes in the levels of two hypothalamic neuropeptides, hypocretin-1 and melanin-concentrating hormone, measured in the human amygdala. We show that hypocretin-1 levels are maximal during positive emotion, social interaction and anger, behaviours that induce cataplexy in human narcoleptics. In contrast, melanin-concentrating hormone levels are minimal during social interaction, but are increased after eating. Both peptides are at minimal levels during periods of postoperative pain despite high levels of arousal. Melanin-concentrating hormone levels increase at sleep onset, consistent with a role in sleep induction, whereas hypocretin-1 levels increase at wake onset, consistent with a role in wake induction. Levels of these two peptides in humans are not simply linked to arousal, but rather to specific emotions and state transitions. Other arousal systems may be similarly emotionally specialized

Enhanced insulin sensitivity associated with provision of mono and polyunsaturated fatty acids in skeletal muscle cells involves counter modulation of PP2A

International audienceAims/Hypothesis: Reduced skeletal muscle insulin sensitivity is a feature associated with sustained exposure to excess saturated fatty acids (SFA), whereas mono and polyunsaturated fatty acids (MUFA and PUFA) not only improve insulin sensitivity but blunt SFA-induced insulin resistance. The mechanisms by which MUFAs and PUFAs institute these favourable changes remain unclear, but may involve stimulating insulin signalling by counter-modulation/repression of protein phosphatase 2A (PP2A). This study investigated the effects of oleic acid (OA; a MUFA), linoleic acid (LOA; a PUFA) and palmitate (PA; a SFA) in cultured myotubes and determined whether changes in insulin signalling can be attributed to PP2A regulation. Principal Findings: We treated cultured skeletal myotubes with unsaturated and saturated fatty acids and evaluated insulin signalling, phosphorylation and methylation status of the catalytic subunit of PP2A. Unlike PA, sustained incubation of rat or human myotubes with OA or LOA significantly enhanced Akt-and ERK1/2-directed insulin signalling. This was not due to heightened upstream IRS1 or PI3K signalling nor to changes in expression of proteins involved in proximal insulin signalling, but was associated with reduced dephosphorylation/inactivation of Akt and ERK1/2. Consistent with this, PA reduced PP2Ac demethylation and tyrosine 307 phosphorylation-events associated with PP2A activation. In contrast, OA and LOA strongly opposed these PA-induced changes in PP2Ac thus exerting a repressive effect on PP2A.Conclusions/Interpretation: Beneficial gains in insulin sensitivity and the ability of unsaturated fatty acids to oppose palmitate-induced insulin resistance in muscle cells may partly be accounted for by counter-modulation of PP2A

Metformin Decreases Glucose Oxidation and Increases the Dependency of Prostate Cancer Cells on Reductive Glutamine Metabolism

Metformin inhibits cancer cell proliferation, and epidemiology studies suggest an association with increased survival in patients with cancer taking metformin; however, the mechanism by which metformin improves cancer outcomes remains controversial. To explore how metformin might directly affect cancer cells, we analyzed how metformin altered the metabolism of prostate cancer cells and tumors. We found that metformin decreased glucose oxidation and increased dependency on reductive glutamine metabolism in both cancer cell lines and in a mouse model of prostate cancer. Inhibition of glutamine anaplerosis in the presence of metformin further attenuated proliferation, whereas increasing glutamine metabolism rescued the proliferative defect induced by metformin. These data suggest that interfering with glutamine may synergize with metformin to improve outcomes in patients with prostate cancer.German Science Foundation (Grant FE1185)National Institutes of Health (U.S.)Glenn Foundation for Medical ResearchNational Institutes of Health (U.S.) (Grant 5-P50-090381-09)National Institutes of Health (U.S.) (Grant 5-P30-CA14051-39)Burroughs Wellcome FundSmith Family FoundationDamon Runyon Cancer Research FoundationNational Institutes of Health (U.S.) (Grant 1R01DK075850-01)National Institutes of Health (U.S.) (Grant 1R01CA160458-01A1

Characterising the inhibitory actions of ceramide upon insulin signaling in different skeletal muscle cell models:a mechanistic insight

International audienceCeramides are known to promote insulin resistance in a number of metabolically important tissues including skeletal muscle, the predominant site of insulin-stimulated glucose disposal. Depending on cell type, these lipid intermediates have been shown to inhibit protein kinase B (PKB/Akt), a key mediator of the metabolic actions of insulin, via two distinct pathways: one involving the action of atypical protein kinase C (aPKC) isoforms, and the second dependent on protein phosphatase-2A (PP2A). The main aim of this study was to explore the mechanisms by which ceramide inhibits PKB/Akt in three different skeletal muscle-derived cell culture models; rat L6 myotubes, mouse C2C12 myotubes and primary human skeletal muscle cells. Our findings indicate that the mechanism by which ceramide acts to repress PKB/Akt is related to the myocellular abundance of caveolin-enriched domains (CEM) present at the plasma membrane. Here, we show that ceramide-enriched-CEMs are markedly more abundant in L6 myotubes compared to C2C12 myotubes, consistent with their previously reported role in coordinating aPKC-directed repression of PKB/Akt in L6 muscle cells. In contrast, a PP2A-dependent pathway predominantly mediates ceramide-induced inhibition of PKB/Akt in C2C12 myotubes. In addition, we demonstrate for the first time that ceramide engages an aPKC-dependent pathway to suppress insulin-induced PKB/Akt activation in palmitate-treated cultured human muscle cells as well as in muscle cells from diabetic patients. Collectively, this work identifies key mechanistic differences, which may be linked to variations in plasma membrane composition, underlying the insulin-desensitising effects of ceramide in different skeletal muscle cell models that are extensively used in signal transduction and metabolic studies

Non-Invasive Sampling of Schistosomes from Humans Requires Correcting for Family Structure

For ethical and logistical reasons, population-genetic studies of parasites often rely on the non-invasive sampling of offspring shed from their definitive hosts. However, if the sampled offspring are naturally derived from a small number of parents, then the strong family structure can result in biased population-level estimates of genetic parameters, particularly if reproductive output is skewed. Here, we document and correct for the strong family structure present within schistosome offspring (miracidia) that were collected non-invasively from humans in western Kenya. By genotyping 2,424 miracidia from 12 patients at 12 microsatellite loci and using a sibship clustering program, we found that the samples contained large numbers of siblings. Furthermore, reproductive success of the breeding schistosomes was skewed, creating differential representation of each family in the offspring pool. After removing the family structure with an iterative jacknifing procedure, we demonstrated that the presence of relatives led to inflated estimates of genetic differentiation and linkage disequilibrium, and downwardly-biased estimates of inbreeding coefficients (F[subscript IS]). For example, correcting for family structure yielded estimates of F[[subscript ST] among patients that were 27 times lower than estimates from the uncorrected samples. These biased estimates would cause one to draw false conclusions regarding these parameters in the adult population. We also found from our analyses that estimates of the number of full sibling families and other genetic parameters of samples of miracidia were highly intercorrelated but are not correlated with estimates of worm burden obtained via egg counting (Kato-Katz). Whether genetic methods or the traditional Kato-Katz estimator provide a better estimate of actual number of adult worms remains to be seen. This study illustrates that family structure must be explicitly accounted for when using offspring samples to estimate the genetic parameters of adult parasite populations