Infinets: The parallel syntax for non-wellfounded proof-theory

Logics based on the µ-calculus are used to model induc-tive and coinductive reasoning and to verify reactive systems. A well-structured proof-theory is needed in order to apply such logics to the study of programming languages with (co)inductive data types and automated (co)inductive theorem proving. While traditional proof system suffers some defects, non-wellfounded (or infinitary) and circular proofs have been recognized as a valuable alternative, and significant progress have been made in this direction in recent years. Such proofs are non-wellfounded sequent derivations together with a global validity condition expressed in terms of progressing threads. The present paper investigates a discrepancy found in such proof systems , between the sequential nature of sequent proofs and the parallel structure of threads: various proof attempts may have the exact threading structure while differing in the order of inference rules applications. The paper introduces infinets, that are proof-nets for non-wellfounded proofs in the setting of multiplicative linear logic with least and greatest fixed-points (µMLL ∞) and study their correctness and sequentialization. Inductive and coinductive reasoning is pervasive in computer science to specify and reason about infinite data as well as reactive properties. Developing appropriate proof systems amenable to automated reasoning over (co)inductive statements is therefore important for designing programs as well as for analyzing computational systems. Various logical settings have been introduced to reason about such inductive and coinductive statements, both at the level of the logical languages modelling (co)induction (such as Martin Löf's inductive predicates or fixed-point logics, also known as µ-calculi) and at the level of the proof-theoretical framework considered (finite proofs with explicit (co)induction rulesà la Park [23] or infinite, non-wellfounded proofs with fixed-point unfold-ings) [6-8, 4, 1, 2]. Moreover, such proof systems have been considered over classical logic [6, 8], intuitionistic logic [9], linear-time or branching-time temporal logic [19, 18, 25, 26, 13-15] or linear logic [24, 16, 4, 3, 14]

QRFP receptor (version 2019.4) in the IUPHAR/BPS Guide to Pharmacology Database

The human gene encoding the QRFP receptor (nomenclature as agreed by the NC-IUPHAR Subcommittee on the QRFP receptor [16]; QRFPR, formerly known as the Peptide P518 receptor), previously designated as an orphan GPCR receptor was identified in 2001 by Lee et al. from a hypothalamus cDNA library [15]. However, the reported cDNA (AF411117) is a chimera with bases 1-127 derived from chromosome 1 and bases 155-1368 derived from chromosome 4. When corrected, QRFPR (also referred to as SP9155 or AQ27) encodes a 431 amino acid protein that shares sequence similarities in the transmembrane spanning regions with other peptide receptors. These include neuropeptide FF2 (38%), neuropeptide Y2 (37%) and galanin Gal1 (35%) receptors

QRFP receptor in GtoPdb v.2023.1

The human gene encoding the QRFP receptor (nomenclature as agreed by the NC-IUPHAR Subcommittee on the QRFP receptor [19]; QRFPR, formerly known as the Peptide P518 receptor), previously designated as an orphan GPCR receptor was identified in 2001 by Lee et al. from a hypothalamus cDNA library [17]. However, the reported cDNA (AF411117) is a chimera with bases 1-127 derived from chromosome 1 and bases 155-1368 derived from chromosome 4. When corrected, QRFPR (also referred to as SP9155 or AQ27) encodes a 431 amino acid protein that shares sequence similarities in the transmembrane spanning regions with other peptide receptors. These include neuropeptide FF2 (38%), neuropeptide Y2 (37%) and galanin Gal1 (35%) receptors. QRFP receptor was identified as a Gs-coupled GPCR [6, 14] that's activated by the endogenous peptides QRFP43 (43RFa) and QRFP26 (26RFa) [6, 14, 11]. However, Gq- and Gi/o-mediated signaling was also reported [11, 25]. Two naturally occurring mutations in the human QRFP receptor lead to distinct and opposite 26RFa-evoked signaling bias [20]

Vaccination as a way forward? A case study on how a poultry vaccination intervention influences poultry keeping in Kenya

Poultry is important for many poor smallholders, but infectious diseases, such as Newcastle disease, can drastically reduce the poultry population in a village and affects the food security and the livelihood of many farmers. Newcastle disease vaccination can reduce the spread of disease, but may be hard to access for smallholders if there is not a supportive system in place. In this paper, a district in Kenya is studied where there has been support for vaccination. It is shown that households in villages which had support were more likely to vaccinate, had more chickens and also know better the basic principle of a vaccine. The vaccinators themselves also reported that vaccination had improved the poultry keeping and the knowledge of the farmers. It is concluded that a supportive system is beneficial for increased vaccination

Sociocultural and epidemiological aspects of HIV/AIDS in Mozambique

<p>Abstract</p> <p>Background</p> <p>A legacy of colonial rule coupled with a devastating 16-year civil war through 1992 left Mozambique economically impoverished just as the human immunodeficiency virus (HIV) epidemic swept over southern Africa in the late 1980s. The crumbling Mozambican health care system was wholly inadequate to support the need for new chronic disease services for people with the acquired immunodeficiency syndrome (AIDS).</p> <p>Methods</p> <p>To review the unique challenges faced by Mozambique as they have attempted to stem the HIV epidemic, we undertook a systematic literature review through multiple search engines (PubMed, Google Scholar™, SSRN, AnthropologyPlus, AnthroSource) using Mozambique as a required keyword. We searched for any articles that included the required keyword as well as the terms 'HIV' and/or 'AIDS', 'prevalence', 'behaviors', 'knowledge', 'attitudes', 'perceptions', 'prevention', 'gender', drugs, alcohol, and/or 'health care infrastructure'.</p> <p>Results</p> <p>UNAIDS 2008 prevalence estimates ranked Mozambique as the 8^thmost HIV-afflicted nation globally. In 2007, measured HIV prevalence in 36 antenatal clinic sites ranged from 3% to 35%; the national estimate of was 16%. Evidence suggests that the Mozambican HIV epidemic is characterized by a preponderance of heterosexual infections, among the world's most severe health worker shortages, relatively poor knowledge of HIV/AIDS in the general population, and lagging access to HIV preventive and therapeutic services compared to counterpart nations in southern Africa. Poor education systems, high levels of poverty and gender inequality further exacerbate HIV incidence.</p> <p>Conclusions</p> <p>Recommendations to reduce HIV incidence and AIDS mortality rates in Mozambique include: health system strengthening, rural outreach to increase testing and linkage to care, education about risk reduction and drug adherence, and partnerships with traditional healers and midwives to effect a lessening of stigma.</p

Human native kappa opioid receptor functions not predicted by recombinant receptors: Implications for drug design

International audienc

The production and application of bacterial exopolysaccharides as biomaterials for bone regeneration

Bacterial exopolysaccharides (EPS) are water-soluble polymers consisting of repeating sugar moieties that serve a wide range of functions for the bacterial species that produce them. Their functions include biofilm matrix constituent, nutrient retention, protection from environmental threats and even pathogenicity. EPS have also been exploited for use in various applications in the biomedical field: most notably as viscosupplements, drug delivery vehicles and in tissue engineering constructs. The use of EPS in bone tissue engineering has increased in recent years due to the wide range of compounds available, low cost, and ease of production on an industrial scale. This review discusses the extraction and purification methods employed to produce bacterial EPS. A particular focus is on bone-related tissue engineering applications where EPS is the primary active agent, or as a scaffold matrix, as well as a carrier for osteopromotive agents