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

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

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

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

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

Infrastructure for Detector Research and Development towards the International Linear Collider

The EUDET-project was launched to create an infrastructure for developing and testing new and advanced detector technologies to be used at a future linear collider. The aim was to make possible experimentation and analysis of data for institutes, which otherwise could not be realized due to lack of resources. The infrastructure comprised an analysis and software network, and instrumentation infrastructures for tracking detectors as well as for calorimetry.Comment: 54 pages, 48 picture

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