Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks

The ever increasing number and complexity of energy-bound devices (such as the ones used in Internet of Things applications, smart phones, and mission critical systems) pose an important challenge on techniques to optimize their energy consumption and to verify that they will perform their function within the available energy budget. In this work we address this challenge from the software point of view and propose a novel parametric approach to estimating tight bounds on the energy consumed by program executions that are practical for their application to energy verification and optimization. Our approach divides a program into basic (branchless) blocks and estimates the maximal and minimal energy consumption for each block using an evolutionary algorithm. Then it combines the obtained values according to the program control flow, using static analysis, to infer functions that give both upper and lower bounds on the energy consumption of the whole program and its procedures as functions on input data sizes. We have tested our approach on (C-like) embedded programs running on the XMOS hardware platform. However, our method is general enough to be applied to other microprocessor architectures and programming languages. The bounds obtained by our prototype implementation can be tight while remaining on the safe side of budgets in practice, as shown by our experimental evaluation.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854). Improved version of the one presented at the HIP3ES 2016 workshop (v1): more experimental results (added benchmark to Table 1, added figure for new benchmark, added Table 3), improved Fig. 1, added Fig.

Calculation methods of Radon-222 radiological activity for NORM plant with ventilation

A procedure is proposed to determine the radiological activity of air present in the working area of a NORM (Naturally-Occurring Radioactive Materials) plant. This NORM plant is located in the United Arab Emirates and is dedicated to the recycling of material and equipment used in oil extraction facilities. Substantial quantities of NORM waste will be present inside the enclosed plant facilities and will exhale significant amounts of Radon-222 into the working environment. The continued inhalation of this gas and its progeny has been shown to cause lung cancer. In order to reduce the concentration level of the aforementioned gas to an acceptable regulatory value, the best solution is by means of mechanical ventilation. The two calculation methods used to analysis the relationship between the ventilation rate and the degree of radioactive contamination are considered. The first being ventilation by perfect dilution, commonly employed in industrial environments with radiological contamination. The second method of analysis is by means of a CFD (Computational Fluid Dynamics) which permits a more precise calculation of the required fresh air quantity and spatial concentrations. Validation was carried out in a small experimental plant space, obtaining results reasonable approximate to those predicted by the computational analysis. The similarities and differences between the respective calculation methods and their respective fields of application are analyzed. It is concluded that for lower air change rates, less than five air changes per hour, the CFD analysis is the most appropriate method. By contrast, when using a higher rate of outside air changes in the plant, the perfect dilution method should be sufficient enough to control the presence of radon and its progeny. Both calculation methods consider the activity of radon and the activity of the most significant radioisotopes of its progeny

Air diffusion system design in large assembly halls. Case study of the Congress of Deputies parliament building, Madrid, Spain

The paper describes and analyses the air distribution solution adopted in the refurbishment of the Spanish Congress of Deputies assembly hall. A new approach is proposed for the design of displacement ventilation systems. The system performance is methodically validated both with laboratory tests, computational fluid dynamics analysis and experimental field measurements related to the environmental performance of the built environment. In assembly halls, microclimate and displacement ventilation systems, which supply air by means of floor mounted outlets, have been shown to perform adequately. In this case study floor air supply is not feasible. The solution adapted uses parapet mounted diffusers, using a confluent jet flow parallel to the floor plane above the occupied area. All the tools used to analyse the performance of this system showed that the admixing overhead supply, with ceiling return, and flowing parallel to and above the occupied zone is drawn back into the occupied zone, creating a plume effect similar to that of floor mounted displacement outlets. Thus, this confirms that the displacement effect can be accomplished using a high induction turbulent overhead supply with ceiling return. Therefore supplying air directly into the occupied zone, at or near to floor level, is not a prerequisite to achieve the desired displacement effect. This report concludes that, using the correct design parameters, as set out in this paper, the displacement ventilation effect is independent of the plane of air supply. The conclusions suggest that accepted criteria for the definition and design of displacement systems should be redefined

A Cross-Sectional Study of Tobacco Advertising, Promotion, and Sponsorship in Airports across Europe and the United States

Altres ajuts: The work was supported by grant number 108594 from the Flight Attendant Medical Research Institute (FAMRI) to the Johns Hopkins FAMRI Center of Excellence. The funder had no role in the Int. J. Environ. Res. Public Health 2016, 13, 959 8 of 9 study design, collection, analysis or interpretation of data, writing of the report, nor in the decision to submit the paper for publication.Tobacco advertising, promotion, and sponsorship (TAPS) bans are effective and are increasingly being implemented in a number of venues and countries, yet the state of TAPS in airports and their effect on airport smoking behavior is unknown. The objective of this study was to evaluate the presence of TAPS in airports across Europe and the US, and to begin to examine the relationship between TAPS and smoking behaviors in airports. We used a cross-sectional study design to observe 21 airports in Europe (11) and the US (10). Data collectors observed points of sale for tobacco products, types of products sold, advertisements and promotions, and branding or logos that appeared in the airport. Tobacco products were sold in 95% of all airports, with significantly more sales in Europe than the US. Advertisements appeared mostly in post-security areas; however, airports with advertisements in pre-security areas had significantly more smokers observed outdoors than airports without advertisements in pre-security areas. Tobacco branding appeared in designated smoking rooms as well as on non-tobacco products in duty free shops. TAPS are widespread in airports in Europe and the US and might be associated with outdoor smoking, though further research is needed to better understand any relationship between the two. This study adds to a growing body of research on tobacco control in air transit and related issues. As smoke-free policies advance, they should include comprehensive TAPS bans that extend to airport facilities

TWO CASES DEMONSTRATING THE ATTITUDE OF AUSTRIAN AUTHORITIES TOWARDS THE OBJECTS OF THE ART IN DALMATIA IN THE EARLY 19th CENTURY

The quantity of objects of cultural and artistic significance in Dalmatia would, according to the author, be considerably larger than it actually is if such objects had not been taken out of the country either in the legal, or ... what is worse ... even in an illegal way. The present paper deals with two entirely different aspects of transfer of such object: the one involving the exportation of objects of artistic value by the Imperial administration of the then Austrian Kingdom of Dalmatia, organized in 1802; and the second the attempt of the Imperial authorities to restitute, in 1849, the paintings that had been brought from the northern and middle Italy. In connection with the first case, the author points out that the Imperial Commissaire Francesco Maria de Carneo-Steffaneo had collected in Dalmatia and Istria, within five months, a number of transportable objects of art. The research made by the author in the archives shows that the Commissaire had delivered nine cases full of such objects to the then Emperor Francis II in Vienna. Two of those nine cases contained Roman statues excavated at Salona; there was also a painting of the battle fought between the troops of the Republic of Vinice and the Emperor Frederick Barbarossa. An analogous collection was also sent from Istria, and everything was fictitiously represented as »donations«. The avaricious Emperor Francis II seized everthing. As far as the activities of Carneo-Steffaneo are concerned, the secret archives at the Imperial Court in Vienna should be consulted. The other, completely different case, deals with the restitution of foreign objects of art which were at that time held in Vienna. Owing to the growing unrest and threatening war, the Italian states were not considered sure in the fifties, and a number of objects of art were brought to Austria – from Rome, the Vatican, Florence and Venice. By the Imperial decree dated March 21, 1849, such practice was further forbidden and both trade and transfer of artistic objects were thus made impossible. The decree was proclaimed in Dalmatia in two languages – Croatian and Italian – on April 10th, 1849. The introductory part of the proclamation contains the explanation why such trade has been forbidden. The objects of art were not to be exported, it stated, as »this is a shame for a law-abiding nation«, and foreign objects of artistic value, which had been taken away and held in Vienna at that time, had to be restituted. This also referred to similar objects provenient from Dalmatia and Istria

Liver X Receptor Activation with an Intranasal Polymer Therapeutic Prevents Cognitive Decline without Altering Lipid Levels

The progressive accumulation of amyloid-beta (Aβ) in specific areas of the brain is a common prelude to late-onset of Alzheimer's disease (AD). Although activation of liver X receptors (LXR) with agonists decreases Aβ levels and ameliorates contextual memory deficit, concomitant hypercholesterolemia/hypertriglyceridemia limits their clinical application. DMHCA (N,N-dimethyl-3β-hydroxycholenamide) is an LXR partial agonist that, despite inducing the expression of apolipoprotein E (main responsible of Aβ drainage from the brain) without increasing cholesterol/triglyceride levels, shows nil activity in vivo because of a low solubility and inability to cross the blood brain barrier. Herein, we describe a polymer therapeutic for the delivery of DMHCA. The covalent incorporation of DMHCA into a PEG-dendritic scaffold via carboxylate esters produces an amphiphilic copolymer that efficiently self-assembles into nanometric micelles that exert a biological effect in primary cultures of the central nervous system (CNS) and experimental animals using the intranasal route. After CNS biodistribution and effective doses of DMHCA micelles were determined in nontransgenic mice, a transgenic AD-like mouse model of cerebral amyloidosis was treated with the micelles for 21 days. The benefits of the treatment included prevention of memory deterioration and a significant reduction of hippocampal Aβ oligomers without affecting plasma lipid levels. These results represent a proof of principle for further clinical developments of DMHCA delivery systems.Fil: Navas Guimaraes, Maria Eugenia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan; Argentina. Universidad Catolica de Cuyo. Facultad de Ciencias Medicas. Instituto de Investigacion En Ciencias Biomedicas.; ArgentinaFil: Lopez Blanco, Roi. Universidad de Santiago de Compostela; EspañaFil: Correa, Juan. Universidad de Santiago de Compostela; EspañaFil: Fernandez Villamarin, Marcos. Universidad de Santiago de Compostela; EspañaFil: Bistue Millon, Maria Beatriz. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan; Argentina. Universidad Catolica de Cuyo. Facultad de Ciencias Medicas. Instituto de Investigacion En Ciencias Biomedicas.; ArgentinaFil: Martino Adami, Pamela Victoria. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; ArgentinaFil: Morelli, Laura. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; ArgentinaFil: Kumar, Vijay. University of Colorado; Estados UnidosFil: Wempe, Michael F.. University of Colorado; Estados UnidosFil: Cuello, A. C.. McGill University; CanadáFil: Fernandez Megia, Eduardo. Universidad de Santiago de Compostela; EspañaFil: Bruno, Martin. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan; Argentina. Universidad Catolica de Cuyo. Facultad de Ciencias Medicas. Instituto de Investigacion En Ciencias Biomedicas.; Argentin

The Rewiring of Ubiquitination Targets in a Pathogenic Yeast Promotes Metabolic Flexibility, Host Colonization and Virulence

Funding: This work was funded by the European Research Council [http://erc.europa.eu/], AJPB (STRIFE Advanced Grant; C-2009-AdG-249793). The work was also supported by: the Wellcome Trust [www.wellcome.ac.uk], AJPB (080088, 097377); the UK Biotechnology and Biological Research Council [www.bbsrc.ac.uk], AJPB (BB/F00513X/1, BB/K017365/1); the CNPq-Brazil [http://cnpq.br], GMA (Science without Borders fellowship 202976/2014-9); and the National Centre for the Replacement, Refinement and Reduction of Animals in Research [www.nc3rs.org.uk], DMM (NC/K000306/1). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript. Acknowledgments We thank Dr. Elizabeth Johnson (Mycology Reference Laboratory, Bristol) for providing strains, and the Aberdeen Proteomics facility for the biotyping of S. cerevisiae clinical isolates, and to Euroscarf for providing S. cerevisiae strains and plasmids. We are grateful to our Microscopy Facility in the Institute of Medical Sciences for their expert help with the electron microscopy, and to our friends in the Aberdeen Fungal Group for insightful discussions.Peer reviewedPublisher PD

Predicting outcomes in pediatric ulcerative colitis for management optimization: systematic review and consensus statements from the pediatric inflammatory bowel disease–ahead program

Background & Aims: A better understanding of prognostic factors in ulcerative colitis (UC) could improve patient management and reduce complications. We aimed to identify evidence-based predictors for outcomes in pediatric UC, which may be used to optimize treatment algorithms. Methods: Potential outcomes worthy of prediction in UC were determined by surveying 202 experts in pediatric UC. A systematic review of the literature, with selected meta-analysis, was performed to identify studies that investigated predictors for these outcomes. Multiple national and international meetings were held to reach consensus on evidence-based statements. Results: Consensus was reached on 31 statements regarding predictors of colectomy, acute severe colitis (ASC), chronically active pediatric UC, cancer and mortality. At diagnosis, disease extent (6 studies, N = 627; P =.035), Pediatric Ulcerative Colitis Activity Index score (4 studies, n = 318; P <.001), hemoglobin, hematocrit, and albumin may predict colectomy. In addition, family history of UC (2 studies, n = 557; P =.0004), extraintestinal manifestations (4 studies, n = 526; P =.048), and disease extension over time may predict colectomy, whereas primary sclerosing cholangitis (PSC) may be protective. Acute severe colitis may be predicted by disease severity at onset and hypoalbuminemia. Higher Pediatric Ulcerative Colitis Activity Index score and C-reactive protein on days 3 and 5 of hospital admission predict failure of intravenous steroids. Risk factors for malignancy included concomitant diagnosis of primary sclerosing cholangitis, longstanding colitis (>10 years), male sex, and younger age at diagnosis. Conclusions: These evidence-based consensus statements offer predictions to be considered for a personalized medicine approach in treating pediatric UC