Observed communication semantics for classical processes

Classical Linear Logic (CLL) has long inspired readings of its proofs as communicating processes. Wadler's CP calculus is one of these readings. Wadler gave CP an operational semantics by selecting a subset of the cut-elimination rules of CLL to use as reduction rules. This semantics has an appealing close connection to the logic, but does not resolve the status of the other cut-elimination rules, and does not admit an obvious notion of observational equivalence. We propose a new operational semantics for CP based on the idea of observing communication, and use this semantics to define an intuitively reasonable notion of observational equivalence. To reason about observational equivalence, we use the standard relational denotational semantics of CLL. We show that this denotational semantics is adequate for our operational semantics. This allows us to deduce that, for instance, all the cut-elimination rules of CLL are observational equivalences

A novel malaria vaccine candidate antigen expressed in Tetrahymena thermophila

Development of effective malaria vaccines is hampered by the problem of producing correctly folded Plasmodium proteins for use as vaccine components. We have investigated the use of a novel ciliate expression system, Tetrahymena thermophila, as a P. falciparum vaccine antigen platform. A synthetic vaccine antigen composed of N-terminal and C-terminal regions of merozoite surface protein-1 (MSP-1) was expressed in Tetrahymena thermophila. The recombinant antigen was secreted into the culture medium and purified by monoclonal antibody (mAb) affinity chromatography. The vaccine was immunogenic in MF1 mice, eliciting high antibody titers against both N- and C-terminal components. Sera from immunized animals reacted strongly with P. falciparum parasites from three antigenically different strains by immunofluorescence assays, confirming that the antibodies produced are able to recognize parasite antigens in their native form. Epitope mapping of serum reactivity with a peptide library derived from all three MSP-1 Block 2 serotypes confirmed that the MSP-1 Block 2 hybrid component of the vaccine had effectively targeted all three serotypes of this polymorphic region of MSP-1. This study has successfully demonstrated the use of Tetrahymena thermophila as a recombinant protein expression platform for the production of malaria vaccine antigens

Comparison of quality of life after stereotactic body radiotherapy and surgery for early-stage prostate cancer

Background: As the long-term efficacy of stereotactic body radiation therapy (SBRT) becomes established and other prostate cancer treatment approaches are refined and improved, examination of quality of life (QOL) following prostate cancer treatment is critical in driving both patient and clinical treatment decisions. We present the first study to compare QOL after SBRT and radical prostatectomy, with QOL assessed at approximately the same times pre- and post-treatment and using the same validated QOL instrument. Methods: Patients with clinically localized prostate cancer were treated with either radical prostatectomy (n = 123 Spanish patients) or SBRT (n = 216 American patients). QOL was assessed using the Expanded Prostate Cancer Index Composite (EPIC) grouped into urinary, sexual, and bowel domains. For comparison purposes, SBRT EPIC data at baseline, 3 weeks, 5, 11, 24, and 36 months were compared to surgery data at baseline, 1, 6, 12, 24,and 36 months. Differences in patient characteristics between the two groups were assessed using Chi-squared tests for categorical variables and t-tests for continuous variables. Generalized estimating equation (GEE) models were constructed for each EPIC scale to account for correlation among repeated measures and used to assess the effect of treatment on QOL. Results: The largest differences in QOL occurred in the first 1-6 months after treatment, with larger declines following surgery in urinary and sexual QOL as compared to SBRT, and a larger decline in bowel QOL following SBRT as compared to surgery. Long-term urinary and sexual QOL declines remained clinically significantly lower for surgery patients but not for SBRT patients. Conclusions: Overall, these results may have implications for patient and physician clinical decision making which are often influenced by QOL. These differences in sexual, urinary and bowel QOL should be closely considered in selecting the right treatment, especially in evaluating the value of non-invasive treatments, such as SBRT

Systematic review of quality of life and functional outcomes in randomized placebo-controlled studies of medications for attention-deficit/hyperactivity disorder

Children, adolescents and adults with attention-deficit/hyperactivity disorder (ADHD) experience functional impairment and poor health-related quality of life (HRQoL) in addition to symptoms of inattention/hyperactivity-impulsivity. To synthesize qualitatively the published evidence from randomized, double-blind, placebo-controlled trials of the effectiveness of pharmacotherapy on functional impairment or HRQoL in patients with ADHD, a systematic PubMed searching and screening strategy was designed to identify journal articles meeting pre-specified criteria. Post hoc analyses and meta-analyses were excluded. HRQoL outcomes, functional outcomes and the principal ADHD symptom-based outcome were extracted from included studies. An effect size of 0.5 versus placebo was used as a threshold for potential clinical relevance (unreported effect sizes were calculated when possible). Of 291 records screened, 35 articles describing 34 studies were included. HRQoL/functioning was usually self-rated in adults and proxy-rated in children/adolescents. Baseline data indicated substantial HRQoL deficits in children/adolescents. Placebo-adjusted effects of medication on ADHD symptoms, HRQoL and functioning, respectively, were statistically or nominally significant in 18/18, 10/12 and 7/9 studies in children/adolescents and 14/16, 9/11 and 9/10 studies in adults. Effect sizes were ≥0.5 versus placebo for symptoms, HRQoL and functioning, respectively, in 14/16, 7/9 and 4/8 studies in children/adolescents; and 6/12, 1/6 and 1/8 studies in adults. Effect sizes were typically larger for stimulants than for non-stimulants, for symptoms than for HRQoL/functioning, and for children/adolescents than for adults. The efficacy of ADHD medication extends beyond symptom control and may help reduce the related but distinct functional impairments and HRQoL deficits in patients with ADHD

Study of hadronic event-shape variables in multijet final states in pp collisions at √s=7 TeV

Peer reviewe

Constraints on parton distribution functions and extraction of the strong coupling constant from the inclusive jet cross section in pp collisions at √s=7 TeV

Peer reviewe

Search for Dark Matter and Supersymmetry with a Compressed Mass Spectrum in the Vector Boson Fusion Topology in Proton-Proton Collisions at root s=8 TeV

Peer reviewe

Second primary malignancies in patients with male breast cancer

An international multicentre study of first and second primary neoplasms associated with male breast cancer was carried out by pooling data from 13 cancer registries. Among a total of 3409 men with primary breast cancer, 426 (12.5%) developed a second neoplasia; other than breast cancer, a 34% overall excess risk of second primary neoplasia, affecting the small intestine (standardised incidence ratio, 4.95, 95% confidence interval, 1.35–12.7), rectum (1.78, 1.20–2.54), pancreas (1.93, 1.14–3.05), skin (nonmelanoma, 1.65, 1.16–2.29), prostate (1.61, 1.34–1.93) and lymphohaematopoietic system (1.63, 1.12–2.29). A total of 225 male breast cancers was recorded after cancers other than breast cancer, but an increase was found only after lymphohaematopoietic neoplasms. BRCA2 (and to some extent BRCA1) mutations may explain the findings for pancreatic and prostate cancers. Increases at other sites may be related to unknown factors or to chance. This large study shows that the risks for second discordant tumours after male breast cancer pose only a moderate excess risk

Cyclical changes in seroprevalence of leptospirosis in California sea lions: endemic and epidemic disease in one host species?

BackgroundLeptospirosis is a zoonotic disease infecting a broad range of mammalian hosts, and is re-emerging globally. California sea lions (Zalophus californianus) have experienced recurrent outbreaks of leptospirosis since 1970, but it is unknown whether the pathogen persists in the sea lion population or is introduced repeatedly from external reservoirs.MethodsWe analyzed serum samples collected over an 11-year period from 1344 California sea lions that stranded alive on the California coast, using the microscopic agglutination test (MAT) for antibodies to Leptospira interrogans serovar Pomona. We evaluated seroprevalence among yearlings as a measure of incidence in the population, and characterized antibody persistence times based on temporal changes in the distribution of titer scores. We conducted multinomial logistic regression to determine individual risk factors for seropositivity with high and low titers.ResultsThe serosurvey revealed cyclical patterns in seroprevalence to L. interrogans serovar Pomona, with 4-5 year periodicity and peak seroprevalence above 50%. Seroprevalence in yearling sea lions was an accurate index of exposure among all age classses, and indicated on-going exposure to leptospires in non-outbreak years. Analysis of titer decay rates showed that some individuals probably maintain high titers for more than a year following exposure.ConclusionThis study presents results of an unprecedented long-term serosurveillance program in marine mammals. Our results suggest that leptospirosis is endemic in California sea lions, but also causes periodic epidemics of acute disease. The findings call into question the classical dichotomy between maintenance hosts of leptospirosis, which experience chronic but largely asymptomatic infections, and accidental hosts, which suffer acute illness or death as a result of disease spillover from reservoir species

Lampreys, the jawless vertebrates, contain three Pax6 genes with distinct expression in eye, brain and pancreas

10.1038/s41598-019-56085-8Scientific Reports911955