4,113 research outputs found
An Explicit Framework for Interaction Nets
Interaction nets are a graphical formalism inspired by Linear Logic
proof-nets often used for studying higher order rewriting e.g. \Beta-reduction.
Traditional presentations of interaction nets are based on graph theory and
rely on elementary properties of graph theory. We give here a more explicit
presentation based on notions borrowed from Girard's Geometry of Interaction:
interaction nets are presented as partial permutations and a composition of
nets, the gluing, is derived from the execution formula. We then define
contexts and reduction as the context closure of rules. We prove strong
confluence of the reduction within our framework and show how interaction nets
can be viewed as the quotient of some generalized proof-nets
Methane Mitigation:Methods to Reduce Emissions, on the Path to the Paris Agreement
The atmospheric methane burden is increasing rapidly, contrary to pathways compatible with the goals of the 2015 United Nations Framework Convention on Climate Change Paris Agreement. Urgent action is required to bring methane back to a pathway more in line with the Paris goals. Emission reduction from âtractableâ (easier to mitigate) anthropogenic sources such as the fossil fuel industries and landfills is being much facilitated by technical advances in the past decade, which have radically improved our ability to locate, identify, quantify, and reduce emissions. Measures to reduce emissions from âintractableâ (harder to mitigate) anthropogenic sources such as agriculture and biomass burning have received less attention and are also becoming more feasible, including removal from elevated-methane ambient air near to sources. The wider effort to use microbiological and dietary intervention to reduce emissions from cattle (and humans) is not addressed in detail in this essentially geophysical review. Though they cannot replace the need to reach ânet-zeroâ emissions of CO2, significant reductions in the methane burden will ease the timescales needed to reach required CO2 reduction targets for any particular future temperature limit. There is no single magic bullet, but implementation of a wide array of mitigation and emission reduction strategies could substantially cut the global methane burden, at a cost that is relatively low compared to the parallel and necessary measures to reduce CO2, and thereby reduce the atmospheric methane burden back toward pathways consistent with the goals of the Paris Agreement
Genetic and epigenetic regulation in Lingo-1 : Effects on cognitive function and white matter microstructure in a case-control study for schizophrenia
Leucine-rich repeat and immunoglobulin domain-containing protein (Lingo-1) plays a vital role in a large number of neuronal processes underlying learning and memory, which are known to be disrupted in schizophrenia. However, Lingo-1 has never been examined in the context of schizophrenia. The genetic association of a single-nucleotide polymorphism (SNP, rs3144) and methylation (CpG sites) in the Lingo-1 3âČ-UTR region was examined, with the testing of cognitive dysfunction and white matter (WM) integrity in a schizophrenia case-control cohort (n = 268/group). A large subset of subjects (97 control and 161 schizophrenia subjects) underwent structural magnetic resonance imaging (MRI) brain scans to assess WM integrity. Frequency of the rs3144 minor allele was overrepresented in the schizophrenia population (p = 0.03), with an odds ratio of 1.39 (95% CI 1.016â1.901). CpG sites surrounding rs3144 were hypermethylated in the control population (p = 0.032) compared to the schizophrenia group. rs3144 genotype was predictive of membership to a subclass of schizophrenia subjects with generalized cognitive deficits (p < 0.05), in addition to having associations with WM integrity (p = 0.018). This is the first study reporting a potential implication of genetic and epigenetic risk factors in Lingo-1 in schizophrenia. Both of these genetic and epigenetic alterations may also have associations with cognitive dysfunction and WM integrity in the context of the schizophrenia pathophysiology
Examining the role of funders in ensuring value and reducing waste in research: An organizational case-study of the Patient-Centered Outcomes Research Institute [version 1; peer review: 2 approved]
International experts have recommended actions that funders can take to improve the value of research investments. They state that self-assessment and public sharing are the basis for accountability and improvement. We examined our policies and practice to determine the extent to which the Patient-Centered Outcomes Research Instituteâs (PCORI) policies and practices as a research funder align with international best practice recommendations. A self-audit of current policies and practice against 17 recommendations and 35 sub-recommendations representing five major stages of research production, based on adapted methods used for self-assessment by another funder, was performed.  Fit of existing PCORI policies and practices with 35 sub-recommendations, qualitative assessment of adequacy (area of strength; area of partial strength; area of growth; not applicable) for 17 recommendations for five stages of research production was assessed. Of the 17 recommendations, 15 were applicable to PCORIâs research mission and focus. PCORI has policies and practices in place for all elements of six recommendations (âarea of strengthâ) and policies that address each element but with some still in active development for three (âarea of partial strengthâ). PCORI is partially addressing six of the 15 relevant recommendations (âarea of growthâ). Areas for growth include making study protocols publicly available, improving policies on data sharing, and enhancing collaboration with other funders to reduce redundant funding. A voluntary consortium of international funders is underway to encourage further progress, including additional self-assessment and public sharing for accountability. These findings indicate PCORI has undertaken efforts to align its funding practices with international recommendations to ensure the value of public dollars invested in research. Further efforts will likely require additional coordination and collaboration between funders and stakeholders
Social Contacts and the Economic Performance of Immigrants: A Panel Study of Immigrants in Germany
Effect of three diets on the gametogenic development and fatty acid profile of Paracentrotus lividus (Lamark, 1816) gonads
Original articleIn this study, the effects of three diets were investigated to enhance Paracentrotus
lividus production for commercial purposes. P. lividus were fed ad libitum for 80 days
with: diet Aâfresh Codium tomentosum Stackhouse, 1797; diet Bâformulated using
a jellified mix of macroalgae and vegetables, including C. tomentosum (20%), Coralina
sp. Linnaeus, 1758 (17%), cabbage Brassica oleracea var. capitata Linnaeus, 1753
(30%), carrot Daucus carota Linnaeus, 1753 (30%) and agar (3%) as a gelling agent.
Diet C consisted of maize Zea mays Linnaeus, 1753 (56%) and New Zealand spinach
Tetragonia tetragonoides (Pallas, 1781) Kuntze, 1891 (44%). Their effects on the gonadal
and somatic growths, gonadosomatic index (GI) and gametogenesis were evaluated,
as well as on the total lipid content and fatty acid composition of sea urchin's
gonads. Diet A provided high values of eicosapentaenoic acid (EPA). Gonads of sea
urchins fed with diet A were found mostly in growth and maturation stages of gametogenesis
and showed the lowest lipid content. Sea urchins fed with diet B presented
their gonads in the reabsorption stage and had the highest values of omegaâ3 polyunsaturated
fatty acids (PUFAs). Sea urchins fed with diet C were in the early stages
of gametogenesis and had the highest values of lipid content, plus omegaâ6 PUFAs.
Once as an ingredient in a balanced mix with vegetables, C. tomentosum can be a
key factor to the development of new promising highâquality and lowâcost feed for
P. lividus roe enhancementinfo:eu-repo/semantics/publishedVersio
Sticky Dead Microbes: rapid abiotic retention of microbial necromass in soil
Microbial necromass dominates soil organic matter. Recent research on necromass and soil carbon storage has focused on necromass production and stabilization mechanisms but not on the mechanisms of necromass retention. We present evidence from soil incubations with stable-isotope labeled necromass that abiotic adsorption may be more important than biotic immobilization for short-term necromass retention. We demonstrate that necromass adsorbs not only to mineral surfaces, but may also interact with other necromass. Furthermore, necromass cell chemistry alters necromass-necromass interaction, with more bacterial tracer retained when there is yeast necromass present. These findings suggest that the adsorption and abiotic interaction of microbial necromass and its functional properties, beyond chemical stability, deserve further investigation in the context of soil carbon sequestration
Toll-like receptor signaling adapter proteins govern spread of neuropathic pain and recovery following nerve injury in male mice.
BackgroundSpinal Toll-like receptors (TLRs) and signaling intermediaries have been implicated in persistent pain states. We examined the roles of two major TLR signaling pathways and selected TLRs in a mononeuropathic allodynia.MethodsL5 spinal nerve ligation (SNL) was performed in wild type (WT, C57BL/6) male and female mice and in male Tlr2-/-Tlr3-/-, Tlr4-/-, Tlr5-/-, Myd88-/-, Triflps2, Myd88/Triflps2, Tnf-/-, and Ifnar1-/- mice. We also examined L5 ligation in Tlr4-/- female mice. We examined tactile allodynia using von Frey hairs. Iba-1 (microglia) and GFAP (astrocytes) were assessed in spinal cords by immunostaining. Tactile thresholds were analyzed by 1- and 2-way ANOVA and the Bonferroni post hoc test was used.ResultsIn WT male and female mice, SNL lesions resulted in a persistent and robust ipsilateral, tactile allodynia. In males with TLR2, 3, 4, or 5 deficiencies, tactile allodynia was significantly, but incompletely, reversed (approximately 50%) as compared to WT. This effect was not seen in female Tlr4-/- mice. Increases in ipsilateral lumbar Iba-1 and GFAP were seen in mutant and WT mice. Mice deficient in MyD88, or MyD88 and TRIF, showed an approximately 50% reduction in withdrawal thresholds and reduced ipsilateral Iba-1. In contrast, TRIF and interferon receptor null mice developed a profound ipsilateral and contralateral tactile allodynia. In lumbar sections of the spinal cords, we observed a greater increase in Iba-1 immunoreactivity in the TRIF-signaling deficient mice as compared to WT, but no significant increase in GFAP. Removing MyD88 abrogated the contralateral allodynia in the TRIF signaling-deficient mice. Conversely, IFNÎČ, released downstream to TRIF signaling, administered intrathecally, temporarily reversed the tactile allodynia.ConclusionsThese observations suggest a critical role for the MyD88 pathway in initiating neuropathic pain, but a distinct role for the TRIF pathway and interferon in regulating neuropathic pain phenotypes in male mice
Capturing protest in urban environments:The âpolice kettleâ as a territorial strategy
âKettlingâ has emerged in recent decades as an established, if controversial, tactic of public order policing. Departing from a historical emphasis on dispersal, kettling instead acts to contain protesters within a police cordon for sustained periods of time. This article elaborates upon the spatial and temporal logics of kettling by investigating the conditions of is historical emergence. We argue that kettling should be understood as a territorial strategy that co-evolved in relation to forms of disruptive protest. Whereas techniques of crowd dispersal serve to diffuse a unified collective, âkettlingâ aims to capture the volatile intensities of public dissent and exhaust its political energies. Drawing on police manuals, media coverage, accounts from activists and expert interviews, we show how the âkettleâ re-territorializes protest by acting on its spatio-temporal and affective constitution. By fabricating an inner outside of the urban milieu, freezing the time of collective mobilization and inducing debilitating affects such as fear and boredom, kettling intervenes into the scene of political subjectification that each congregation of protesting bodies seeks to fashion
- âŠ