Steps in modular specifications for concurrent modules

© 2015 Published by Elsevier B.V.The specification of a concurrent program module is a difficult problem. The specifications must be strong enough to enable reasoning about the intended clients without reference to the underlying module implementation. We survey a range of verification techniques for specifying concurrent modules, in particular highlighting four key concepts: auxiliary state, interference abstraction, resource ownership and atomicity. We show how these concepts combine to provide powerful approaches to specifying concurrent modules

Weathering indices as climate proxies. A step forward based on Congo and SW African river muds

Despite the influence of other geological and geomorphological factors, chemical weathering at the Earth's surface is strongly controlled by climate. Thus, a measure of weathering intensity determined from soils or sediments should provide information about the climatic conditions associated with their formation. Available geochemical and mineralogical data on modern fluvial and marine muds from different regions of southern Africa and its Atlantic continental margin are used to review the links between sediment composition and climatic properties together with the possible causes of variance. Although river muds may not be generated exclusively in a single sedimentary cycle and erosion and weathering processes do not necessarily take place in a spatially homogeneous way, significant relationships between mineralogical and geochemical signatures of river mud and rainfall in the corresponding catchment area were recognised. Our study shows that the composition of clay is strongly influenced by climatically-driven weathering, whilst coarser mud fractions tend to be more affected by provenance, grain size, hydraulic sorting, and recycling. In the marine environment the climatic signal may be lost even in clay, because of hydraulic fractionation, authigenic mineral growth and mixing with foreign particles. Given the ubiquitous character of fluvial muds, and the easy and non-expensive methods available for separating and analysing clay fractions, their geochemical fingerprints represent a most precious source of information concerning climate. Any geochemical parameter used as a regional proxy of climate, however, still requires that the diversity of geological, geomorphological, and biological factors that affect its value are cautiously considered

Impact of diet and nutraceutical supplementation on inflammation in elderly people. Results from the RISTOMED study, an open-label randomized control trial.

BACKGROUND & AIMS: Eating habits may influence the life span and the quality of ageing process by modulating inflammation. The RISTOMED project was developed to provide a personalized and balanced diet, enriched with or without nutraceutical compounds, to decrease and prevent inflammageing, oxidative stress and gut microbiota alteration in healthy elderly people. This paper focused on the effect on inflammation and metabolism markers after 56 days of RISTOMED diet alone or supplementation with three nutraceutical compounds. METHODS:A cohort of 125 healthy elderly subjects was recruited and randomized into 4 arms (Arm A, RISTOMED diet; Arm B, RISTOMED diet plus VSL#3 probiotic blend; Arm C, RISTOMED diet plus AISA d-Limonene; Arm D, RISTOMED diet plus Argan oil). Inflammatory and metabolism parameters as well as the ratio between Clostridium cluster IV and Bifidobacteria (CL/B) were collected before and after 56 days of dietary intervention, and their evolution compared among the arms. Moreover, participants were subdivided according to their baseline inflammatory parameters (erythrocytes sedimentation rate (ESR), C-Reactive Protein, fibrinogen, Tumor Necrosis Factor-alfa (TNF-α), and Interleukin 6) in two clusters with low or medium-high level of inflammation. The evolution of the measured parameters was then examined separately in each cluster. RESULTS:Overall, RISTOMED diet alone or with each nutraceutical supplementation significantly decreased ESR. RISTOMED diet supplemented with d-Limonene resulted in a decrease in fibrinogen, glucose, insulin levels and HOMA-IR. The most beneficial effects were observed in subjects with a medium-high inflammatory status who received RISTOMED diet with AISA d-Limonene supplementation. Moreover, RISTOMED diet associated with VSL#3 probiotic blend induced a decrease in the CL/B ratio. CONCLUSIONS:Overall, this study emphasizes the beneficial anti-inflammageing effect of RISTOMED diet supplemented with nutraceuticals to control the inflammatory status of elderly individuals

Association Between Multiparametric Magnetic Resonance Imaging of the Prostate and Oncological Outcomes after Primary Treatment for Prostate Cancer: A Systematic Review and Meta-analysis

CONTEXT: The diagnostic accuracy of multiparametric magnetic resonance imaging (mpMRI) for prostate cancer (PCa) diagnosis has been extensively explored. Little is known about the prognostic value of mpMRI suspicion scores and other quantitative mpMRI information. OBJECTIVE: To systematically review the current literature assessing the relationship between pretreatment mpMRI and oncological outcomes after primary treatment for PCa to assess the role of mpMRI as a prognostic tool. EVIDENCE ACQUISITION: A computerized bibliographic search of MEDLINE/PubMed, EMBASE, Scopus, and the Cochrane Library CENTRAL databases was performed for all studies assessing the relationship between mpMRI and oncological outcomes after primary treatment for PCa. The review protocol is registered in the PROSPERO database (CRD42020209899). EVIDENCE SYNTHESIS: A total of six studies were included. Reliable evidence is still limited in this field. The Prostate Imaging-Reporting and Data System (PI-RADS) score was an independent predictor of biochemical recurrence (BCR) after radical prostatectomy (RP) in the majority of the studies included. The tumor volume at mpMRI was not significantly associated with BCR after RP for PCa. Data on disease progression and PCa-specific mortality are limited. Heterogeneity among the studies was substantial. CONCLUSIONS: The review shows that PI-RADS scores provide information on the future likelihood of cancer recurrence or progression, at least for men undergoing RP. We are of the view that this information should be taken into account to identify men at higher risk of unfavorable outcomes. PATIENT SUMMARY: A higher Prostate Imaging-Reporting and Data System score for magnetic resonance imaging of the prostate seems to be positively associated with oncological failure in prostate cancer and should be incorporated into future risk models

Liver transplantation for colorectal liver metastasis: Survival without recurrence can be achieved

info:eu-repo/semantics/publishedVersio

The regime of climate-related disturbance and nutrient enrichment modulate macroalgal invasions in rockpools

Patterns of invasion by the seaweeds Grateloupia turuturu Yamada and Sargassum muticum (Yendo) Fensholt under crossed combinations of the regime (mean intensity and temporal variability) of climate-related mechanical disturbance and constant nutrient enrichment were experimentally examined in rockpools in north Portugal. The cover of both species was larger under high compared to low intensity of disturbance, but this effect was enhanced by events more heterogeneously distributed over a period of 19 months. The invasion by G. turuturu was also larger in enriched pools, but only when disturbance was applied at high intensity. The richness of native taxa was increased by high intensity events of disturbance evenly distributed over time and by low intensity events heterogeneously distributed, while no differences were documented for other treatments. Temporal variability of disturbance and nutrients interactively affected the total cover of native taxa and the availability of bare rock in different directions. Enriched conditions increased the space occupancy by natives and reduced substratum availability only when associated to heterogeneous events of disturbance. At the same time, relatively more variable disturbances caused a reduced cover by native taxa and an increased availability of free space, but only under natural nutrient levels. Present findings contribute to understand the conditions that would be more likely to facilitate the spread of G. turuturu and S. muticum under current and predicted scenarios of compounded environmental changes and in relation to traits of recipient systems that are considered relevant for the success of invasions, including the native richness and the degree of usage of resources, i.e. primarily space

The equivalence of numbers: The social value of avoiding health decline: An experimental web-based study

BACKGROUND: Health economic analysis aimed at informing policy makers and supporting resource allocation decisions has to evaluate not only improvements in health but also avoided decline. Little is known however, whether the "direction" in which changes in health are experienced is important for the public in prioritizing among patients. This experimental study investigates the social value people place on avoiding (further) health decline when directly compared to curative treatments in resource allocation decisions. METHODS: 127 individuals completed an interactive survey that was published in the World Wide Web. They were confronted with a standard gamble (SG) and three person trade-off tasks, either comparing improvements in health (PTO-Up), avoided decline (PTO-Down), or both, contrasting health changes of equal magnitude differing in the direction in which they are experienced (PTO-WAD). Finally, a direct priority ranking of various interventions was obtained. RESULTS: Participants strongly prioritized improving patients' health rather than avoiding decline. The mean substitution rate between health improvements and avoided decline (WAD) ranged between 0.47 and 0.64 dependent on the intervention. Weighting PTO values according to the direction in which changes in health are experienced improved their accuracy in predicting a direct prioritization ranking. Health state utilities obtained by the standard gamble method seem not to reflect social values in resource allocation contexts. CONCLUSION: Results suggest that the utility of being cured of a given health state might not be a good approximation for the societal value of avoiding this health state, especially in cases of competition between preventive and curative interventions

Influence of dietary supplementation with an amino acid mixture on inflammatory markers, immune status and serum proteome in lps-challenged weaned piglets

In order to investigate the effect of a dietary amino acid mixture supplementation in lipopolysaccharide (LPS)-challenged weaned piglets, twenty-seven 28-day-old (8.2 ± 1.0 kg) newly weaned piglets were randomly allocated to one of three experimental treatments for five weeks. Diet 1: a CTRL treatment. Diet 2: an LPS treatment, where piglets were intraperitoneally administered LPS (25 µg/kg) on day 7. Diet 3: an LPS+MIX treatment, where piglets were intraperitoneally administered LPS on day 7 and fed a diet supplemented with a mixture of 0.3% of arginine, branched-chain amino acids (leucine, valine, and isoleucine), and cystine (MIX). Blood samples were drawn on day 10 and day 35, and serum was analysed for selected chemical parameters and proteomics. The LPS and LPS+MIX groups exhibited an increase in haptoglobin concentrations on day 10. The LPS group showed an increased cortisol concentration, while this concentration was reduced in the LPS+MIX group compared to the control group. Similarly, the LPS+MIX group showed a decreased haptoglobin concentration on day 35 compared to the two other groups. Immunoglobulin concentrations were affected by treatments. Indeed, on day 10, the concentrations of IgG and IgM were decreased by the LPS challenge, as illustrated by the lower concentrations of these two immunoglobulins in the LPS group compared to the control group. In addition, the supplementation with the amino acid mixture in the LPS+MIX further decreased IgG and increased IgM concentrations compared to the LPS group. Although a proteomics approach did not reveal important alterations in the protein profile in response to treatments, LPS-challenged piglets had an increase in proteins linked to the immune response, when compared to piglets supplemented with the amino acid mixture. Overall, data indicate that LPS-challenged piglets supplemented with this amino acid mixture are more protected against the detrimental effects of LPS.This study was supported by Ajinomoto Animal Nutrition Europe, by Indukern Portugal, Lda., and by Fundação para a Ciência e a Tecnologia (FCT, Lisbon, Portugal) through projects UIDB/CVT/00276/2020 to CIISA and PEST/UID/AGR/4129/2020 to LEAF. It was also supported by national funds, through FCT Stimulus of Scientific Employment Program to author P.A.L. (DL57/2016/CP1438/CT0007) and a Ph.D. grant (SFRH/BD/143992/2019) to author D.M.R. This work had the support from the Portuguese Mass Spectrometry Net-work, integrated in the National Roadmap of Research Infrastructures of Strategic Relevance (ROTEIRO/0028/2013; LISBOA-01-0145-FEDER-022125)

Potential clinical implications of CD4+CD26high T cells for nivolumab treated melanoma patients

Background Nivolumab is an anti-PD1 antibody that has dramatically improved metastatic melanoma patients’ outcomes. Nevertheless, many patients are resistant to PD-1 inhibition, occasionally experiencing severe of-target immune toxicity. In addition, no robust and reproducible biomarkers have yet been validated to identify the correct selection of patients who will beneft from anti-PD-1 treatment avoiding unwanted side efects. However, the strength of CD26 expression on CD4+ T lymphocytes permits the characterization of three subtypes with variable degrees of responsiveness to tumors, suggesting that the presence of CD26-expressing T cells in patients might be a marker of responsiveness to PD-1-based therapies. Methods The frequency distribution of peripheral blood CD26-expressing cells was investigated employing multiparametric fow cytometry in 69 metastatic melanoma patients along with clinical characteristics and blood count parameters at baseline (W0) and compared to 20 age- and sex-matched healthy controls. Percentages of baseline CD4+CD26high T cells were correlated with the outcome after nivolumab treatment. In addition, the frequency of CD4+CD26high T cells at W0 was compared with those obtained after 12 weeks (W1) of therapy in a sub-cohort of 33 patients. Results Circulating CD4+CD26high T cells were signifcantly reduced in melanoma patients compared to healthy subjects (p=0.001). In addition, a signifcant association was observed between a low baseline percentage of CD4+CD26high T cells (<7.3%) and clinical outcomes, measured as overall survival (p=0.010) and progression-free survival (p=0.014). Moreover, patients with clinical beneft from nivolumab therapy had signifcantly higher frequencies of circulating CD4+CD26high T cells than patients with non-clinical beneft (p=0.004) at 12 months. Also, a higher pre-treatment proportion of circulating CD4+CD26high T cells was correlated with Disease Control Rate (p=0.014) and best Overall Response Rate (p=0.009) at 12 months. Interestingly, after 12 weeks (W1) of nivolumab treatment, percentages of CD4+CD26high T cells were signifcantly higher in comparison with the frequencies measured at W0 (p<0.0001), aligning the cell counts with the ranges seen in the blood of healthy subjects

Intra- and interreader reproducibility of PI-RADSv2: A multireader study

Background: The Prostate Imaging Reporting and Data System version 2 (PI-RADSv2) has been in use since 2015; while interreader reproducibility has been studied, there has been a paucity of studies investigating the intrareader reproducibility of PI-RADSv2. Purpose: To evaluate both intra- and interreader reproducibility of PI-RADSv2 in the assessment of intraprostatic lesions using multiparametric magnetic resonance imaging (mpMRI). Study Type: Retrospective. Population/Subjects: In all, 102 consecutive biopsy-naïve patients who underwent prostate MRI and subsequent MR/transrectal ultrasonography (MR/TRUS)-guided biopsy. Field Strength/Sequences: Prostate mpMRI at 3T using endorectal with phased array surface coils (TW MRI, DW MRI with ADC maps and b2000 DW MRI, DCE MRI). Assessment: Previously detected and biopsied lesions were scored by four readers from four different institutions using PI-RADSv2. Readers scored lesions during two readout rounds with a 4-week washout period. Statistical Tests: Kappa (κ) statistics and specific agreement (Po) were calculated to quantify intra- and interreader reproducibility of PI-RADSv2 scoring. Lesion measurement agreement was calculated using the intraclass correlation coefficient (ICC). Results: Overall intrareader reproducibility was moderate to substantial (κ = 0.43–0.67, Po = 0.60–0.77), while overall interreader reproducibility was poor to moderate (κ = 0.24, Po = 46). Readers with more experience showed greater interreader reproducibility than readers with intermediate experience in the whole prostate (P = 0.026) and peripheral zone (P = 0.002). Sequence-specific interreader agreement for all readers was similar to the overall PI-RADSv2 score, with κ = 0.24, 0.24, and 0.23 and Po = 0.47, 0.44, and 0.54 in T2-weighted, diffusion-weighted imaging (DWI), and dynamic contrast-enhanced (DCE), respectively. Overall intrareader and interreader ICC for lesion measurement was 0.82 and 0.71, respectively. Data Conclusion: PI-RADSv2 provides moderate intrareader reproducibility, poor interreader reproducibility, and moderate interreader lesion measurement reproducibility. These findings suggest a need for more standardized reader training in prostate MRI. Level of Evidence: 2. Technical Efficacy: Stage 2