Scheduler-Independent Declassification

Abstract The controlled declassification of secrets has received much attention in research on information-flow security, though mostly for se-quential programming languages. In this article, we aim at guarantee-ing the security of concurrent programs. We propose the novel security property WHAT&WHERE that allows one to limit what information may be declassified where in a program. We show that our property provides adequate security guarantees independent of the scheduling al-gorithm (which is non-trivial due to the refinement paradox) and present a security type system that reliably enforces the property. In a second scheduler-independence result, we show that an earlier proposed security condition is adequate for the same range of schedulers. These are the first scheduler-independence results in the presence of declassification.

Blood pressure and metabolic effects of acetyl-L-carnitine in type 2 diabetes: DIABASI randomized controlled trial

Context: Acetyl-L-carnitine (ALC), a mitochondrial carrier involved in lipid oxidation and glucose metabolism, decreased systolic blood pressure (SBP), and ameliorated insulin sensitivity in hypertensive nondiabetic subjects at high cardiovascular risk. Objective: To assess the effects of ALC on SBP and glycemic and lipid control in patients with hypertension, type 2 diabetes mellitus (T2D), and dyslipidemia on background statin therapy. Design: After 4-week run-in period and stratification according to previous statin therapy, patients were randomized to 6-month, double-blind treatment with ALC or placebo added-on simvastatin. Setting: Five diabetology units and one clinical research center in Italy. Patients: Two hundred twenty-nine patients with hypertension and dyslipidemic T2D > 40 years with stable background antihypertensive, hypoglycemic, and statin therapy and serum creatinine < 1.5 mg/ dL. Interventions: Oral ALC 1000 mg or placebo twice daily on top of stable simvastatin therapy. Outcome and Measures: Primary outcome was SBP. Secondary outcomes included lipid and glycemic profiles. Total-body glucose disposal rate and glomerular filtration rate were measured in subgroups by hyperinsulinemic-euglycemic clamp and iohexol plasma clearance, respectively. Results: SBP did not significantly change after 6-month treatment with ALC compared with placebo (-2.09mmHg vs-3.57mmHg, P = 0.9539). Serum cholesterol, triglycerides, and lipoprotein(a), as well as blood glucose, glycated hemoglobin, fasting insulin levels, homeostatic model assessment of insulin resistance index, glucose disposal rate, and glomerular filtration rate did not significantly differ between treatments. Adverse events were comparable between groups. Conclusions: Six-month oral ALC supplementation did not affect blood pressure, lipid and glycemic control, insulin sensitivity and kidney function in hypertensive normoalbuminuric and microalbuminuric T2D patients on background statin therapy

Constraints on anomalous QGC's in e+e−e^{+}e^{-} interactions from 183 to 209 GeV

The acoplanar photon pairs produced in the reaction e(+) e(-) - → vvyy are analysed in the 700 pb(-1) of data collected by the ALEPH detector at centre-of-mass energies between 183 and 209 GeV. No deviation from the Standard Model predictions is seen in any of the distributions examined. The resulting 95% C.L. limits set on anomalous QGCs, a(0)(Z), a(c)(Z), a(0)(W) and a(c)(W), are -0.012 lt a(0)(Z)/Lambda(2) lt +0.019 GeV-2, -0.041 lt a(c)(Z)/Lambda(2) lt +0.044 GeV-2, -0.060 lt a(0)(W)/Lambda(2) lt +0.055 GeV-2, -0.099 lt a(c)(W)/Lambda(2) lt +0.093 GeV-2, where Lambda is the energy scale of the new physics responsible for the anomalous couplings

(Anti-)deuteron production in pp collisions at 1as=13TeV

The study of (anti-)deuteron production in pp collisions has proven to be a powerful tool to investigate the formation mechanism of loosely bound states in high-energy hadronic collisions. In this paper the production of (anti-)deuterons is studied as a function of the charged particle multiplicity in inelastic pp collisions at s=13 TeV using the ALICE experiment. Thanks to the large number of accumulated minimum bias events, it has been possible to measure (anti-)deuteron production in pp collisions up to the same charged particle multiplicity (d Nch/ d \u3b7 3c 26) as measured in p\u2013Pb collisions at similar centre-of-mass energies. Within the uncertainties, the deuteron yield in pp collisions resembles the one in p\u2013Pb interactions, suggesting a common formation mechanism behind the production of light nuclei in hadronic interactions. In this context the measurements are compared with the expectations of coalescence and statistical hadronisation models (SHM)

Multiplicity dependence of inclusive J/psi production at midrapidity in pp collisions at root s=13 TeV

Measurements of the inclusive J/psi yield as a function of charged-particle pseudorapidity density dN(ch)/d eta in pp collisions at root s = 13 TeV with ALICE at the LHC are reported. The J/psi meson yield is measured at midrapidity (vertical bar y vertical bar <0.9) in the dielectron channel, for events selected based on the charged-particle multiplicity at midrapidity (vertical bar eta vertical bar <1) and at forward rapidity (-3.7 <eta <-1.7 and 2.8 <eta <5.1); both observables are normalized to their corresponding averages in minimum bias events. The increase of the normalized J/psi yield with normalized dN(ch)/d eta is significantly stronger than linear and dependent on the transverse momentum. The data are compared to theoretical predictions, which describe the observed trends well, albeit not always quantitatively. (C) 2020 European Organization for Nuclear Research. Published by Elsevier B.V.Peer reviewe

Elliptic flow of charged particles at midrapidity relative to the spectator plane in Pb–Pb and Xe–Xe collisions

Measurements of the elliptic flow coefficient relative to the collision plane defined by the spectator neutrons v2{ SP} in collisions of Pb ions at center-of-mass energy per nucleon–nucleon pair √ 2.76 TeV and Xe ions at √ sNN = sNN =5.44 TeV are reported. The results are presented for charged particles produced at midrapidity as a function of centrality and transverse momentum for the 5–70% and 0.2–6 GeV/c ranges, respectively. The ratio between v2{ SP} and the elliptic flow coefficient relative to the participant plane v2{4}, estimated using four-particle correlations, deviates by up to 20% from unity depending on centrality. This observation differs strongly from the magnitude of the corresponding eccentricity ratios predicted by the TRENTo and the elliptic power models of initial state fluctuations that are tuned to describe the participant plane anisotropies. The differences can be interpreted as a decorrelation of the neutron spectator plane and the reaction plane because of fragmentation of the remnants from the colliding nuclei, which points to an incompleteness of current models describing the initial state fluctuations. A significant transverse momentum dependence of the ratio v2{ SP}/v2{4} is observed in all but the most central collisions, which may help to understand whether momentum anisotropies at low and intermediate transverse momentum have a common origin in initial state f luctuations. The ratios of v2{ SP} and v2{4} to the corresponding initial state eccentricities for Xe–Xe and Pb–Pb collisions at similar initial entropy density show a difference of (7.0 ±0.9)%with an additional variation of +1.8% when including RHIC data in the TRENTo parameter extraction. These observations provide new experimental constraints for viscous effects in the hydrodynamic modeling of the expanding quark–gluon plasma produced in heavy-ion collisions at the LHC

First measurement of Ωc0 production in pp collisions at s=13 TeV

The inclusive production of the charm–strange baryon 0 c is measured for the first time via its hadronic √ decay into −π+ at midrapidity (|y| &lt;0.5) in proton–proton (pp) collisions at the centre-of-mass energy s =13 TeV with the ALICE detector at the LHC. The transverse momentum (pT) differential cross section multiplied by the branching ratio is presented in the interval 2 &lt; pT &lt; 12 GeV/c. The pT dependence of the 0 c-baryon production relative to the prompt D0-meson and to the prompt 0 c-baryon production is compared to various models that take different hadronisation mechanisms into consideration. In the measured pT interval, the ratio of the pT-integrated cross sections of 0 c and prompt + c baryons multiplied by the −π+ branching ratio is found to be larger by a factor of about 20 with a significance of about 4σ when compared to e+e− collisions