1,967 research outputs found
Verifying Policy Enforcers
Policy enforcers are sophisticated runtime components that can prevent
failures by enforcing the correct behavior of the software. While a single
enforcer can be easily designed focusing only on the behavior of the
application that must be monitored, the effect of multiple enforcers that
enforce different policies might be hard to predict. So far, mechanisms to
resolve interferences between enforcers have been based on priority mechanisms
and heuristics. Although these methods provide a mechanism to take decisions
when multiple enforcers try to affect the execution at a same time, they do not
guarantee the lack of interference on the global behavior of the system. In
this paper we present a verification strategy that can be exploited to discover
interferences between sets of enforcers and thus safely identify a-priori the
enforcers that can co-exist at run-time. In our evaluation, we experimented our
verification method with several policy enforcers for Android and discovered
some incompatibilities.Comment: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, and Yli\`es
Falcone. Verifying Policy Enforcers. Proceedings of 17th International
Conference on Runtime Verification (RV), 2017. (to appear
Changes in BMI before and during economic development and subsequent risk of cardiovascular disease and total mortality: A 35-year follow-up study in China
postprin
The demand for sports and exercise: Results from an illustrative survey
Funding from the Department of Health policy research programme was used in this study.There is a paucity of empirical evidence on the extent to which price and perceived benefits affect the level of participation in sports and exercise. Using an illustrative sample of 60 adults at Brunel University, West London, we investigate the determinants of demand for sports and exercise. The data were collected through face-to-face interviews that covered indicators of sports and exercise behaviour; money/time price and perceived benefits of participation; and socio- economic/demographic details. Count, linear and probit regression models were fitted as appropriate. Seventy eight per cent of the sample participated in sports and exercise and spent an average of £27 per month and an average of 20 min travelling per occasion of sports and exercise. The demand for sport and exercise was negatively associated with time (travel or access time) and ‘variable’ price and positively correlated with ‘fixed’ price. Demand was price inelastic, except in the case of meeting the UK government’s recommended level of participation, which is time price elastic (elasticity = −2.2). The implications of data from a larger nationally representative sample as well as the role of economic incentives in influencing uptake of sports and exercise are discussed.This article is available through the Brunel Open Access Publishing Fund
A Versatile Route for the Synthesis of Nickel Oxide Nanostructures Without Organics at Low Temperature
Nickel oxide nanoparticles and nanoflowers have been synthesized by a soft reaction of nickel powder and water without organics at 100 °C. The mechanism for the formation of nanostructures is briefly described in accordance with decomposition of metal with water giving out hydrogen. The structure, morphology, and the crystalline phase of resulting nanostructures have been characterized by various techniques. Compared with other methods, the present method is simple, fast, economical, template-free, and without organics. In addition, the approach is nontoxic without producing hazardous waste and could be expanded to provide a general and convenient strategy for the synthesis of nanostructures to other functional nanomaterials
Structural, Electrical, And Optical Properties Of Inasxsb1-X Epitaxial Films Grown By Liquid-Phase Epitaxy
The InAsxSb1-x films were grown on (100) GaSb substrates by liquid-phase epitaxy, and their structural, electrical, and optical properties were investigated. The high-resolution x-ray diffraction results reveal that the single crystalline InAsxSb1-x films with a midrange composition are epitaxially grown on the GaSb substrates. Temperature dependence of the Hall mobility was theoretically modeled by considering several predominant scattering mechanisms. The results indicate that ionized impurity and dislocation scatterings dominate at low temperatures, while polar optical phonon scattering is important at room temperature (RT). Furthermore, the InAsxSb1-x films with the higher As composition exhibit the better crystalline quality and the higher mobility. The InAs0.35Sb0.65 film exhibits a Hall mobility of 4.62x10(4) cm(2) V-1 s(-1). The cutoff wavelength of photoresponse is extended to about 12 mu m with a maximum responsivity of 0.21 V/W at RT, showing great potential for RT long-wavelength infrared detection. (C) 2008 American Institute of Physics. [DOI: 10.1063/1.2989116
Hormone-Sensitive Lipase Knockouts
All treatments for obesity, including dietary restriction of carbohydrates, have a goal of reducing the storage of fat in adipocytes. The chief enzyme responsible for the mobilization of FFA from adipose tissue, i.e., lipolysis, is thought to be hormone-sensitive lipase (HSL). Studies of HSL knockouts have provided important insights into the functional significance of HSL and into adipose metabolism in general. Studies have provided evidence that HSL, though possessing triacylglycerol lipase activity, appears to be the rate-limiting enzyme for cholesteryl ester and diacylglycerol hydrolysis in adipose tissue and is essential for complete hormone stimulated lipolysis, but other triacylglycerol lipases are important in mediating triacylglycerol hydrolysis in lipolysis. HSL knockouts are resistant to both high fat diet-induced and genetic obesity, displaying reduced quantities of white with increased amounts of brown adipose tissue, increased numbers of adipose macrophages, and have multiple alterations in the expression of genes involved in adipose differentiation, including transcription factors, markers of adipocyte differentiation, and enzymes of fatty acid and triglyceride synthesis. With disruption of lipolysis by removal of HSL, there is a drastic reduction in lipogenesis and alteration in adipose metabolism
DNA microarray revealed and RNAi plants confirmed key genes conferring low Cd accumulation in barley grains
List of genes down-regulated in both W6nk2 and Zhenong8 after 15Â days exposure to 5Â ÎźM Cd. (DOC 130 kb
Multi-dimensional characterization of electrostatic surface potential computation on graphics processors
Clusters of spatial, temporal, and space-time distribution of hemorrhagic fever with renal syndrome in Liaoning Province, Northeastern China
<p>Abstract</p> <p>Background</p> <p>Hemorrhagic fever with renal syndrome (HFRS) is a rodent-borne disease caused by Hantavirus, with characteristics of fever, hemorrhage, kidney damage, and hypotension. HFRS is recognized as a notifiable public health problem in China, and Liaoning Province is one of the most seriously affected areas with the most cases in China. It is necessary to investigate the spatial, temporal, and space-time distribution of confirmed cases of HFRS in Liaoning Province, China for future research into risk factors.</p> <p>Methods</p> <p>A cartogram map was constructed; spatial autocorrelation analysis and spatial, temporal, and space-time cluster analysis were conducted in Liaoning Province, China over the period 1988-2001.</p> <p>Results</p> <p>When the number of permutation test was set to 999, Moran's I was 0.3854, and was significant at significance level of 0.001. Spatial cluster analysis identified one most likely cluster and four secondary likely clusters. Temporal cluster analysis identified 1998-2001 as the most likely cluster. Space-time cluster analysis identified one most likely cluster and two secondary likely clusters.</p> <p>Conclusions</p> <p>Spatial, temporal, and space-time scan statistics may be useful in supervising the occurrence of HFRS in Liaoning Province, China. The result of this study can not only assist health departments to develop a better prevention strategy but also potentially increase the public health intervention's effectiveness.</p
Regeneration of Cryoinjury Induced Necrotic Heart Lesions in Zebrafish Is Associated with Epicardial Activation and Cardiomyocyte Proliferation
In mammals, myocardial cell death due to infarction results in scar formation and little regenerative response. In contrast, zebrafish have a high capacity to regenerate the heart after surgical resection of myocardial tissue. However, whether zebrafish can also regenerate lesions caused by cell death has not been tested. Here, we present a simple method for induction of necrotic lesions in the adult zebrafish heart based on cryoinjury. Despite widespread tissue death and loss of cardiomyocytes caused by these lesions, zebrafish display a robust regenerative response, which results in substantial clearing of the necrotic tissue and little scar formation. The cellular mechanisms underlying regeneration appear to be similar to those activated in response to ventricular resection. In particular, the epicardium activates a developmental gene program, proliferates and covers the lesion. Concomitantly, mature uninjured cardiomyocytes become proliferative and invade the lesion. Our injury model will be a useful tool to study the molecular mechanisms of natural heart regeneration in response to necrotic cell death
- …