Specifying the Caltech asynchronous microprocessor

The action systems framework for modelling parallel programs is used to formally specify a microprocessor. First the microprocessor is specified as a sequential program. The sequential specification is then decomposed and refined into a concurrent program using correctness-preserving program transformations. Previously this microprocessor has been specified at Caltech, where an asynchronous circuit for the microprocessor was derived from the specification. We propose a specification strategy that is based on the idea of spatial decomposition of the program variable space

Diversity of the Rice Blast Pathogen Populations in Ghana and Strategies for Resistance Management

The present study describes the outputs of a collaborative research programme funded by the UK`s Department for International Development-Crop Protection Program to investigate the genetic (lineages) and pathogenic (pathotypes) diversity of the blast fungus populations and characterize the key sites suitable for resistance screening. Seventy-one Magnaporthe grisae isolates were collected from seven regions where rice is grown, representing blast populations in Ghana. Following molecular characterization, these isolates were grouped into four distinct lineages designated as GH-1, GH-2, GH-3 and GH-4 and 25 pathotypes. GH-1 was the major lineage comprising 52% of all the isolates and was present across the country on up to 24 rice cultivars. GH-2 comprising of 30% of the isolates sampled was restricted in distribution mainly from Hohoe area on up to seven cultivars. GH-3 consisted of six isolates from Western, Eastern and Central Regions while GH-4 consisted of two isolates from Nyankpala in Northern Region. Occurrence of blast pathogen on wild rice and weed hosts has been observed and their potential impact needs to be considered in blast/weed management. Baseline data new to Ghana on the diversity and distribution pattern of the blast pathogen populations have been established and key sites identified. Adaptive research is continuing to develop technologies suitable for long-term pathogen monitoring, identify sources of resistance and develop appropriate blast management strategies

Effet de trois sources de phosphore sur les performances de poulets de chair élevés en milieu sahélien

Cent trente cinq poussins de souche "Jupiter blanc", âgés d'un jour ont été utilisés pour étudier l'influence de 3 sources de phosphore: le phosphate bicalcique, le phosphate tricalcique et le phosphore ferro-alumino~alcique ou polyfos® sur les performances de croissance du poulet de chair. Répartis en 3 lots de 45, les oiseaux ont été élevés pendant 8 semaines au cours desquelles ils ont reçu des aliments expérimentaux différents par la source de phosphore incorporée dans la ration. Les résultats enregistrés ont montré que les meilleures performances de croissance sont obtenues chez les poulets dont la source de phosphore est le polyfos® suivi respectivement des poulets recevant le phosphate tri calcique et le phosphate bicalcique.Effect ofthree dietary sources ofphosphorus on the performance ofbroiler chicken under sahelian conditionsOne hundred and thirty five one day old Jupiter broiler strain were used ta measure the effect of dietary phosphorus (P) source on growth rate and food consumption. Birds were randomly allocated in the 3 dietary treatments consistinlL of3 dietary P sources: dicalcium phosphate, tri calcium phosphate and ferro-alumino-calcic phosphorus ( polyfosl.!9). Feed and water were available for ad libitum consumption with feed intake recorded daily and body weight weekly, until8 weeks corresponding ta slaughtering ar. The results obtained showed that dietary P source had no effect on feed consumption. The addition ofpolyfos , increased significantly ( p < 0,05) growth rate ofbr.oiler chicken compared to dicalcium phosphate or tricalcium phosphate

Endoplasmic reticulum-plasma membrane contact sites integrate sterol and phospholipid regulation

Tether proteins attach the endoplasmic reticulum (ER) to other cellular membranes, thereby creating contact sites that are proposed to form platforms for regulating lipid homeostasis and facilitating non-vesicular lipid exchange. Sterols are synthesized in the ER and transported by non-vesicular mechanisms to the plasma membrane (PM), where they represent almost half of all PM lipids and contribute critically to the barrier function of the PM. To determine whether contact sites are important for both sterol exchange between the ER and PM and intermembrane regulation of lipid metabolism, we generated Δ-super-tether (Δ-s-tether) yeast cells that lack six previously identified tethering proteins (yeast extended synatotagmin [E-Syt], vesicle-associated membrane protein [VAMP]-associated protein [VAP], and TMEM16-anoctamin homologues) as well as the presumptive tether Ice2. Despite the lack of ER-PM contacts in these cells, ER-PM sterol exchange is robust, indicating that the sterol transport machinery is either absent from or not uniquely located at contact sites. Unexpectedly, we found that the transport of exogenously supplied sterol to the ER occurs more slowly in Δ-s-tether cells than in wild-type (WT) cells. We pinpointed this defect to changes in sterol organization and transbilayer movement within the PM bilayer caused by phospholipid dysregulation, evinced by changes in the abundance and organization of PM lipids. Indeed, deletion of either OSH4, which encodes a sterol/phosphatidylinositol-4-phosphate (PI4P) exchange protein, or SAC1, which encodes a PI4P phosphatase, caused synthetic lethality in Δ-s-tether cells due to disruptions in redundant PI4P and phospholipid regulatory pathways. The growth defect of Δ-s-tether cells was rescued with an artificial "ER-PM staple," a tether assembled from unrelated non-yeast protein domains, indicating that endogenous tether proteins have nonspecific bridging functions. Finally, we discovered that sterols play a role in regulating ER-PM contact site formation. In sterol-depleted cells, levels of the yeast E-Syt tether Tcb3 were induced and ER-PM contact increased dramatically. These results support a model in which ER-PM contact sites provide a nexus for coordinating the complex interrelationship between sterols, sphingolipids, and phospholipids that maintain PM composition and integrity

Control of mechanical pain hypersensitivity in mice through ligand-targeted photoablation of TrkB-positive sensory neurons

Mechanical allodynia is a major symptom of neuropathic pain whereby innocuous touch evokes severe pain. Here we identify a population of peripheral sensory neurons expressing TrkB that are both necessary and sufficient for producing pain from light touch after nerve injury in mice. Mice in which TrkB-Cre-expressing neurons are ablated are less sensitive to the lightest touch under basal conditions, and fail to develop mechanical allodynia in a model of neuropathic pain. Moreover, selective optogenetic activation of these neurons after nerve injury evokes marked nociceptive behavior. Using a phototherapeutic approach based upon BDNF, the ligand for TrkB, we perform molecule-guided laser ablation of these neurons and achieve long-term retraction of TrkB-positive neurons from the skin and pronounced reversal of mechanical allodynia across multiple types of neuropathic pain. Thus we identify the peripheral neurons which transmit pain from light touch and uncover a novel pharmacological strategy for its treatment

Influence of Low-Level Stimulus Features, Task Dependent Factors, and Spatial Biases on Overt Visual Attention

Visual attention is thought to be driven by the interplay between low-level visual features and task dependent information content of local image regions, as well as by spatial viewing biases. Though dependent on experimental paradigms and model assumptions, this idea has given rise to varying claims that either bottom-up or top-down mechanisms dominate visual attention. To contribute toward a resolution of this discussion, here we quantify the influence of these factors and their relative importance in a set of classification tasks. Our stimuli consist of individual image patches (bubbles). For each bubble we derive three measures: a measure of salience based on low-level stimulus features, a measure of salience based on the task dependent information content derived from our subjects' classification responses and a measure of salience based on spatial viewing biases. Furthermore, we measure the empirical salience of each bubble based on our subjects' measured eye gazes thus characterizing the overt visual attention each bubble receives. A multivariate linear model relates the three salience measures to overt visual attention. It reveals that all three salience measures contribute significantly. The effect of spatial viewing biases is highest and rather constant in different tasks. The contribution of task dependent information is a close runner-up. Specifically, in a standardized task of judging facial expressions it scores highly. The contribution of low-level features is, on average, somewhat lower. However, in a prototypical search task, without an available template, it makes a strong contribution on par with the two other measures. Finally, the contributions of the three factors are only slightly redundant, and the semi-partial correlation coefficients are only slightly lower than the coefficients for full correlations. These data provide evidence that all three measures make significant and independent contributions and that none can be neglected in a model of human overt visual attention

Essential omega-3 fatty acids tune microglial phagocytosis of synaptic elements in the mouse developing brain

AbstractOmega-3 fatty acids (n-3 PUFAs) are essential for the functional maturation of the brain. Westernization of dietary habits in both developed and developing countries is accompanied by a progressive reduction in dietary intake of n-3 PUFAs. Low maternal intake of n-3 PUFAs has been linked to neurodevelopmental diseases in Humans. However, the n-3 PUFAs deficiency-mediated mechanisms affecting the development of the central nervous system are poorly understood. Active microglial engulfment of synapses regulates brain development. Impaired synaptic pruning is associated with several neurodevelopmental disorders. Here, we identify a molecular mechanism for detrimental effects of low maternal n-3 PUFA intake on hippocampal development in mice. Our results show that maternal dietary n-3 PUFA deficiency increases microglia-mediated phagocytosis of synaptic elements in the rodent developing hippocampus, partly through the activation of 12/15-lipoxygenase (LOX)/12-HETE signaling, altering neuronal morphology and affecting cognitive performance of the offspring. These findings provide a mechanistic insight into neurodevelopmental defects caused by maternal n-3 PUFAs dietary deficiency.Infrastructure de Recherche Translationnelle pour les Biothérapies en NeurosciencesProgram Initiative d’Excellenc