Regulating Data Exchange in Service Oriented Applications

We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining data exchanges in terms of sets of service partner names attachable to each single datum. Service programmers explicitly write only the annotations necessary to specify the wanted policies for communicable data, while a type inference system (statically) derives the minimal additional annotations that ensure consistency of services initial configuration. Then, the language dynamic semantics only performs very simple checks to authorize or block communication. We prove that the type system and the operational semantics are sound. As a consequence, we have the following data protection property: services always comply with the policies regulating the exchange of data among interacting services. We illustrate our approach through a simplified but realistic scenario for a service-based electronic marketplace

Influence of the AlN interlayer thickness on the photovoltaic properties of in-rich AlInN on Si heterojunctions deposited by RF sputtering

8 pags., 5 figs., 1 tab.We report the influence of the AlN interlayer thickness (0-15 nm) on the photovoltaic properties of AlInN on Si heterojunction solar cells deposited by radio frequency sputtering. The poor junction band alignment and the presence of a 2-3 nm thick amorphous layer at the interface mitigates the response in devices fabricated by direct deposition of n-AlInN on p-Si(111). Adding a 4-nm-thick AlN buffer layer improves the AlInN crystalline quality and the interface alignment leading to devices with a conversion efficiency of 1.5% under 1-sun AM1.5G illumination. For thicker buffers the performance lessens due to inefficient tunnel transport through the AlN. These results demonstrate the feasibility of using In-rich AlInN alloys deposited by radio frequency sputtering as novel electron-selective contacts to Si-heterojunction solar cells.Support from projects NitPho (TEC2014-60483-R), ANOMALOS (TEC2015- 71127-C2-2-R), INFRASIL (TEC 2013-41730-R), SINFOTON (S2013/MIT 2790), MADRID-PV (2013/MAE-2780), PhotoAl (CCG2015/EXP-014), PAI research group (TEP-946 INNANOMAT), and FEDER-EU is acknowledged. TEM data were taken at DME-SC-ICyT-UCA. A. Nuñez- ˜ Cascajero thanks her grant to the University of Alcala and D. Montero acknowledges his contract ´ BES-2014-067585

Physical fitness and white matter microstructure in children with overweight or obesity: the ActiveBrains project

Recent studies investigated the association of cardiorespiratory fitness with white matter microstructure in children, yet little work has explored to what extent other components of physical fitness (i.e., muscular or motor fitness) are associated with white matter microstructure. Indeed, this association has not been previously explored in children with overweight/obesity who present a different white matter development. Therefore, we aimed to examine associations between physical fitness components and white matter microstructure in children with overweight/obesity. In total, 104 (10.04 +/- 1.15 years old; 43 girls) children were included in this cross-sectional study. Physical fitness was assessed using the ALPHA-fitness test battery. Fractional anisotropy (FA) and mean diffusivity were derived from diffusion tensor imaging (DTI). No association was found between physical fitness and global DTI metrics (all P>0.082). Within individual tracts, all associations became non-significant when analyses were adjusted for multiple comparisons. Using the voxel-wise approach, we identified a small cluster in the left lateral frontal lobe where children with greater upper-body muscular fitness showed higher FA (PFWE-corrected=0.042). Although our results cannot conclude physical fitness is related to white matter microstructure in children with overweight/obesity; those findings indicate that the association of muscular fitness with white matter microstructure might be more focal on frontal areas of the brain, as opposed to global differences

Effects of an exercise program on brain health outcomes for children with overweight or obesity

Importance Pediatric overweight and obesity are highly prevalent across the world, with implications for poorer cognitive and brain health. Exercise might potentially attenuate these adverse consequences. Objectives To investigate the effects of an exercise program on brain health indicators, including intelligence, executive function, academic performance, and brain outcomes, among children with overweight or obesity and to explore potential mediators and moderators of the main effects of exercise. Design, Setting, and Participants All preexercise and postexercise data for this 20-week randomized clinical trial of 109 children aged 8 to 11 years with overweight or obesity were collected from November 21, 2014, to June 30, 2016, with neuroimaging data processing and analyses conducted between June 1, 2017, and December 20, 2021. All 109 children were included in the intention-to-treat analyses; 90 children (82.6%) completed the postexercise evaluation and attended 70% or more of the recommended exercise sessions and were included in per-protocol analyses. Interventions All participants received lifestyle recommendations. The control group continued their usual routines, whereas the exercise group attended a minimum of 3 supervised 90-minute sessions per week in an out-of-school setting. Main Outcomes and Measures Intelligence, executive function (cognitive flexibility, inhibition, and working memory), and academic performance were assessed with standardized tests, and hippocampal volume was measured with magnetic resonance imaging. Results The 109 participants included 45 girls (41.3%); participants had a mean (SD) body mass index of 26.8 (3.6) and a mean (SD) age of 10.0 (1.1) years at baseline. In per-protocol analyses, the exercise intervention improved crystallized intelligence, with the exercise group improving from before exercise to after exercise (mean z score, 0.62 [95% CI, 0.44-0.80]) compared with the control group (mean z score, –0.10 [95% CI, –0.28 to 0.09]; difference between groups, 0.72 SDs [95% CI, 0.46-0.97]; P < .001). Total intelligence also improved significantly more in the exercise group (mean z score, 0.69 [95% CI, 0.48-0.89]) than in the control group (mean z score, 0.07 [95% CI, –0.14 to 0.28]; difference between groups, 0.62 SDs [95% CI, 0.31-0.91]; P < .001). Exercise also positively affected a composite score of cognitive flexibility (mean z score: exercise group, 0.25 [95% CI, 0.05-0.44]; control group, –0.17 [95% CI, –0.39 to 0.04]; difference between groups, 0.42 SDs [95% CI, 0.13-0.71]; P = .005). These main effects were consistent in intention-to-treat analyses and after multiple-testing correction. There was a positive, small-magnitude effect of exercise on total academic performance (mean z score: exercise group, 0.31 [95% CI, 0.18-0.44]; control group, 0.10 [95% CI, –0.04 to 0.24]; difference between groups, 0.21 SDs [95% CI, 0.01-0.40]; P = .03), which was partially mediated by cognitive flexibility. Inhibition, working memory, hippocampal volume, and other brain magnetic resonance imaging outcomes studied were not affected by the exercise program. The intervention increased cardiorespiratory fitness performance as indicated by longer treadmill time to exhaustion (mean z score: exercise group, 0.54 [95% CI, 0.27-0.82]; control group, 0.13 [95% CI, –0.16 to 0.41]; difference between groups, 0.42 SDs [95% CI, 0.01-0.82]; P = .04), and these changes in fitness mediated some of the effects (small percentage of mediation [approximately 10%-20%]). The effects of exercise were overall consistent across the moderators tested, except for larger improvements in intelligence among boys compared with girls. Conclusions and Relevance In this randomized clinical trial, exercise positively affected intelligence and cognitive flexibility during development among children with overweight or obesity. However, the structural and functional brain changes responsible for these improvements were not identified

Applications of electrified dust and dust devil electrodynamics to Martian atmospheric electricity

Atmospheric transport and suspension of dust frequently brings electrification, which may be substantial. Electric fields of 10 kVm-1 to 100 kVm-1 have been observed at the surface beneath suspended dust in the terrestrial atmosphere, and some electrification has been observed to persist in dust at levels to 5 km, as well as in volcanic plumes. The interaction between individual particles which causes the electrification is incompletely understood, and multiple processes are thought to be acting. A variation in particle charge with particle size, and the effect of gravitational separation explains to, some extent, the charge structures observed in terrestrial dust storms. More extensive flow-based modelling demonstrates that bulk electric fields in excess of 10 kV m-1 can be obtained rapidly (in less than 10 s) from rotating dust systems (dust devils) and that terrestrial breakdown fields can be obtained. Modelled profiles of electrical conductivity in the Martian atmosphere suggest the possibility of dust electrification, and dust devils have been suggested as a mechanism of charge separation able to maintain current flow between one region of the atmosphere and another, through a global circuit. Fundamental new understanding of Martian atmospheric electricity will result from the ExoMars mission, which carries the DREAMS (Dust characterization, Risk Assessment, and Environment Analyser on the Martian Surface)-MicroARES (Atmospheric Radiation and Electricity Sensor) instrumentation to Mars in 2016 for the first in situ measurements

Evolution of the use of corticosteroids for the treatment of hospitalised COVID-19 patients in Spain between March and November 2020: SEMI-COVID national registry

Objectives: Since the results of the RECOVERY trial, WHO recommendations about the use of corticosteroids (CTs) in COVID-19 have changed. The aim of the study is to analyse the evolutive use of CTs in Spain during the pandemic to assess the potential influence of new recommendations. Material and methods: A retrospective, descriptive, and observational study was conducted on adults hospitalised due to COVID-19 in Spain who were included in the SEMI-COVID- 19 Registry from March to November 2020. Results: CTs were used in 6053 (36.21%) of the included patients. The patients were older (mean (SD)) (69.6 (14.6) vs. 66.0 (16.8) years; p < 0.001), with hypertension (57.0% vs. 47.7%; p < 0.001), obesity (26.4% vs. 19.3%; p < 0.0001), and multimorbidity prevalence (20.6% vs. 16.1%; p < 0.001). These patients had higher values (mean (95% CI)) of C-reactive protein (CRP) (86 (32.7-160) vs. 49.3 (16-109) mg/dL; p < 0.001), ferritin (791 (393-1534) vs. 470 (236- 996) µg/dL; p < 0.001), D dimer (750 (430-1400) vs. 617 (345-1180) µg/dL; p < 0.001), and lower Sp02/Fi02 (266 (91.1) vs. 301 (101); p < 0.001). Since June 2020, there was an increment in the use of CTs (March vs. September; p < 0.001). Overall, 20% did not receive steroids, and 40% received less than 200 mg accumulated prednisone equivalent dose (APED). Severe patients are treated with higher doses. The mortality benefit was observed in patients with oxygen saturation </=90%. Conclusions: Patients with greater comorbidity, severity, and inflammatory markers were those treated with CTs. In severe patients, there is a trend towards the use of higher doses. The mortality benefit was observed in patients with oxygen saturation </=90%