A Machine-Checked Formalization of the Generic Model and the Random Oracle Model

Most approaches to the formal analyses of cryptographic protocols make the perfect cryptography assumption, i.e. the hypothese that there is no way to obtain knowledge about the plaintext pertaining to a ciphertext without knowing the key. Ideally, one would prefer to rely on a weaker hypothesis on the computational cost of gaining information about the plaintext pertaining to a ciphertext without knowing the key. Such a view is permitted by the Generic Model and the Random Oracle Model which provide non-standard computational models in which one may reason about the computational cost of breaking a cryptographic scheme. Using the proof assistant Coq, we provide a machine-checked account of the Generic Model and the Random Oracle Mode

FUTURE EMISSION SCENARIO ANALYSIS OVER ROME URBAN AREA USING COUPLED TRAFFIC ASSIGNMENT AND CHEMICAL TRANSPORT MODELS

The city of Rome is characterized by high ozone, NO2 and PM10 levels claiming for the implementation of emission control strategies to improve the air quality and to decrease the risks of health effects on inhabitants. In this perspective an atmospheric modelling system based on the chemical transport model FARM has been applied for the year 2005 over a nested domain including the metropolitan area. To improve the description of local scale atmospheric circulation characteristics, observational meteorological data are analysed using the Isentropic Analysis package (ISAN). Since urban traffic emissions represent a relevant source of pollutants, hourly emissions coming from this sector have been estimated by means of a traffic assignment model, based on a source-destination approach, coupled with an emission model based on COPERT-3 methodology. The emissions from the other sectors have been derived from the national inventory and then disaggregated at the municipal level. The analysis of model results for the year 2005 against experimental data reveals a good agreement suggesting the use of the modelling system to study the impact on the air quality of different emission control strategies at both regional and urban scales. The 2010 has been considered as the future year base case scenario and the traffic limitation within the Rome urban core has been considered as an emission control action. The impact of this emission scenario has been then analysed by means of a semi-empiric approach: a significant decrease of PM10 and NO2 yearly average concentrations is expected to occur at urban traffic stations while the minimum reduction is expected at urban background and rural stations

an inclusive view of saharan dust advections to italy and the central mediterranean

Abstract We address observations of physical and chemical properties of Saharan dust advections (SDA) as observed in the Central Mediterranean basin, within the framework of the LIFE+10, DIAPASON project ( www.diapason-life.eu ). DIAPASON aimed at the definition of best practices and tools to detect and evaluate the contribution of Saharan dust to ground particulate matter (PM) loads. Polarization-sensitive, automated lidar-ceilometers (PLC) are one of the tools prototyped and used in the Rome area to reach this goal. The results presented in this study focus on: 1) the effectiveness of various observational tools at detecting and characterizing atmospheric dust plumes, and 2) processes and properties of Saharan dust advections reaching the central Mediterranean region. In this respect, the combination of numerical model forecasts and time-resolved (at least hourly) PLC or chemical observations was found to constitute an efficient way to predict and confirm the presence of Saharan dust. In the period 2011–2014, Saharan dust advections were observed to reach over Rome on about 32% of the days. In some 70% of these days the dust reached the ground in dry conditions, while 30% of advection days involved wet deposition. Dry (wet) deposition was found to maximize (minimize) in summer. The northern Sahara between Algeria and Tunisia (Grand Erg Oriental), was confirmed as the most frequent region of origin of the dust mobilized towards central Italy. Secondary source regions include northern Morocco and Libya. On a statistical basis, Saharan advections to Rome were preceded by increasing atmospheric pressure and stability. These conditions were found to favor the accumulation of aerosols related to local emission sources before the SDA reached the ground. Meteorology (precipitation and turbulence in primis) resulted to be an important modulator of PM concentrations during SDAs. Magnitude and timing of these factors should be well considered to correctly evaluate the dust share in PM loads or the related health effects. Saharan advections observed during DIAPASON affected particle concentrations down to diameters of about 0.6–1 μm, with number concentrations peaking at the 2.5 μm diameter range. These advections were associated with a significant increase in Si-rich particles containing a non-negligible fraction of water. Rainfall was observed to preferentially remove dust particles larger than 2 μm, causing a significant depletion in the Ca-rich fraction with respect to the Si-rich one. The increase in PLC depolarization ratios above 5%, as well as the hourly PIXE records of the Si/Ca ratio increasing above 1 were found to represent good markers for the actual presence of Saharan dust particulate matter, when Saharan advection conditions are occurring

Impact of environmental pollution and weather changes on the incidence of ST-elevation myocardial infarction

Background: Environmental pollution and weather changes unfavorably impact on cardiovascular disease. However, limited research has focused on ST-elevation myocardial infarction (STEMI), the most severe yet distinctive form of acute coronary syndrome. Methods and results: We appraised the impact of environmental and weather changes on the incidence of STEMI, analysing the bivariate and multivariable association between several environmental and atmospheric parameters and the daily incidence of STEMI in two large Italian urban areas. Specifically, we appraised: carbon monoxide (CO), nitrogen dioxide (NO2), nitric oxide (NOX), ozone, particulate matter smaller than 10 μm (PM10) and than 2.5 μm (PM2.5), temperature, atmospheric pressure, humidity and rainfall. A total of 4285 days at risk were appraised, with 3473 cases of STEMI. Specifically, no STEMI occurred in 1920 (44.8%) days, whereas one or more occurred in the remaining 2365 (55.2%) days. Multilevel modelling identified several pollution and weather predictors of STEMI. In particular, concentrations of CO (p=0.024), NOX (p=0.039), ozone (p=0.003), PM10 (p=0.033) and PM2.5 (p=0.042) predicted STEMI as early as three days before the event, as well as subsequently, and NO predicted STEMI one day before (p = 0.010), as well as on the same day. A similar predictive role was evident for temperature and atmospheric pressure (all p < 0.05). Conclusions: The risk of STEMI is strongly associated with pollution and weather features. While causation cannot yet be proven, environmental and weather changes could be exploited to predict STEMI risk in the following days

KIM-1 and NGAL: new markers of obstructive nephropathy

Congenital obstructive nephropathy is the primary cause of chronic renal failure in children. Rapid diagnosis and initiation of the treatment are vital to preserve function and/or to slow down renal injury. The aim of our study was to determine whether urinary (u) kidney injury molecule-1 (KIM-1) and neutrophil gelatinase-associated lipocalin (NGAL) may be useful non-invasive biomarkers in children with congenital hydronephrosis (HN) caused by ureteropelvic junction obstruction. The study cohort consisted of 20 children with severe HN who required surgery (median age 2.16 years) and two control groups (control group 1: 20 patients with mild, non-obstructive HN; control group 2: 25 healthy children). All of the children had normal renal function. Immunoenzymatic ELISA commercial kits were used to measure uKIM-1 and uNGAL concentrations. The preoperative median uKIM-1/creatinine (cr.) and uNGAL levels were significantly greater in the children with severe HN than in both control groups. Three months after surgery, uNGAL had decreased significantly (p < 0.05) in the children with severe HN, but was still higher than that in control group 2 children (p < 0.05). Receiver operator characteristic analyses revealed a good diagnostic profile for uKIM-1 and uNGAL in terms of identifying a differential renal function of <40% in HN patients (area under the curve (AUC) 0.8 and 0.814, respectively) and <45% in all examined children (AUC 0.779 and 0.868, respectively). Based on these results, we suggest that increasing uNGAL and uKIM-1 levels are associated with worsening obstruction. Further studies are required to confirm a potential application of uKIM-1 and uNGAL as useful biomarkers for the diagnosis and progression of chronic kidney disease

Aldosterone and the mineralocorticoid receptor in renal injury: A potential therapeutic target in feline chronic kidney disease

There is a growing body of experimental and clinical evidence supporting mineralocorticoid receptor (MR) activation as a powerful mediator of renal damage in laboratory animals and humans. Multiple pathophysiological mechanisms are proposed, with the strongest evidence supporting aldosterone‐induced vasculopathy, exacerbation of oxidative stress and inflammation, and increased growth factor signalling promoting fibroblast proliferation and deranged extracellular matrix homeostasis. Further involvement of the MR is supported by extensive animal model experiments where MR antagonists (such as spironolactone and eplerenone) abrogate renal injury, including ischaemia‐induced damage. Additionally, clinical trials have shown MR antagonists to be beneficial in human chronic kidney disease (CKD) in terms of reducing proteinuria and cardiovascular events, though current studies have not evaluated primary end points which allow conclusions to made about whether MR antagonists reduce mortality or slow CKD progression. Although differences between human and feline CKD exist, feline CKD shares many characteristics with human disease including tubulointerstitial fibrosis. This review evaluates the evidence for the role of the MR in renal injury and summarizes the literature concerning aldosterone in feline CKD. MR antagonists may represent a promising therapeutic strategy in feline CKD

The renin‐angiotensin‐aldosterone system and its suppression

Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/148403/1/jvim15454-sup-0001-supinfo.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/148403/2/jvim15454-sup-0002-figures.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/148403/3/jvim15454-sup-0005-TableS3.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/148403/4/jvim15454-sup-0004-TableS2.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/148403/5/jvim15454-sup-0007-TableS5.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/148403/6/jvim15454_am.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/148403/7/jvim15454.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/148403/8/jvim15454-sup-0006-TableS4.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/148403/9/jvim15454-sup-0003-TableS1.pd

Physical performance and clinical outcomes in dialysis patients: a secondary analysis of the EXCITE trial.

Background/Aims: Scarce physical activity predicts shorter survival in dialysis patients. However, the relationship between physical (motor) fitness and clinical outcomes has never been tested in these patients. Methods: We tested the predictive power of an established metric of motor fitness, the Six-Minute Walking Test (6MWT), for death, cardiovascular events and hospitalization in 296 dialysis patients who took part in the trial EXCITE (ClinicalTrials.gov Identifier: NCT01255969). Results: During follow up 69 patients died, 90 had fatal and non-fatal cardiovascular events, 159 were hospitalized and 182 patients had the composite outcome. In multivariate Cox models - including the study allocation arm and classical and non-classical risk factors - an increase of 20 walked metres during the 6MWT was associated to a 6% reduction of the risk for the composite end-point (P=0.001) and a similar relationship existed between the 6MWT, mortality (P<0.001) and hospitalizations (P=0.03). A similar trend was observed for cardiovascular events but this relationship did not reach statistical significance (P=0.09). Conclusions: Poor physical performance predicts a high risk of mortality, cardiovascular events and hospitalizations in dialysis patients. Future studies, including phase-2 EXCITE, will assess whether improving motor fitness may translate into better clinical outcomes in this high risk populatio

Expression of neutrophil gelatinase-associated lipocalin in colorectal neoplastic progression:A marker of malignant potential?

Peer reviewedPublisher PD

Standardised Outcomes in Nephrology-Polycystic Kidney Disease (SONG-PKD): study protocol for establishing a core outcome set in polycystic kidney disease

BACKGROUND: Autosomal dominant polycystic kidney disease (ADPKD) is the most common potentially life threatening inherited kidney disease and is responsible for 5-10% of cases of end-stage kidney disease (ESKD). Cystic kidneys may enlarge up to 20 times the weight of a normal kidney due to the growth of renal cysts, and patients with ADPKD have an increased risk of morbidity, premature mortality, and other life-time complications including renal and hepatic cyst and urinary tract infection, intracranial aneurysm, diverticulosis, and kidney pain which impair quality of life. Despite some therapeutic advances and the growing number of clinical trials in ADPKD, the outcomes that are relevant to patients and clinicians, such as symptoms and quality of life, are infrequently and inconsistently reported. This potentially limits the contribution of trials to inform evidence-based decision-making. The Standardised Outcomes in Nephrology-Polycystic Kidney Disease (SONG-PKD) project aims to establish a consensus-based set of core outcomes for trials in PKD (with an initial focus on ADPKD but inclusive of all stages) that patients and health professionals identify as critically important. METHODS: The five phases of SONG-PKD are: a systematic review to identify outcomes that have been reported in existing PKD trials; focus groups with nominal group technique with patients and caregivers to identify, rank, and describe reasons for their choices; qualitative stakeholder interviews with health professionals to elicit individual values and perspectives on outcomes for trials involving patients with PKD; an international three-round Delphi survey with all stakeholder groups (including patients, caregivers, healthcare providers, policy makers, researchers, and industry) to gain consensus on critically important core outcome domains; and a consensus workshop to review and establish a set of core outcome domains and measures for trials in PKD. DISCUSSION: The SONG-PKD core outcome set is aimed at improving the consistency and completeness of outcome reporting across ADPKD trials, leading to improvements in the reliability and relevance of trial-based evidence to inform decisions about treatment and ultimately improve the care and outcomes for people with ADPKD