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.

Effect of pretreatment with low-frequency ultrasound on quality parameters in gulupa (Passiflora edulis sims) pulp

The Gulupa (Passiflora edulis f. edulis Sims) is an expression of South America’s tropics’ biodiversity, and a source of B vitamins and amino acids. It is a climacteric export fruit for which it is necessary to incorporate emerging technologies for its conservation and transport. This work investigated the effect of ultrasound on gulupa pulp and verified the stability of the characters of interest in the shelf life of 20 days. Six treatments and a control sample were used, evaluated in triplicate, and varied in frequency (30 and 40 kHz) with an exposure time of 10, 20, and 30 min. A statistical analysis of unidirectional variances and Dunnett’s test was used. It was found that the ultrasound treatments did not affect the pH or the titratable acidity. Soluble solid results presented a significant increase (p < 0.05) (from 13.4 to 14.8% w/v) in the antioxidant capacity (from 1.13 to 1.54 µmol Trolox Equivalent (TE)/g by the ABTS•+ (2,2’-azino-bis(3-ethylbenzothiazoline-6-sulfonic acid) Cationic Radical Assay and from 3.3 to 3.7 µmol TE/g by the DPPH· (2,2-diphenyl-1-picrilhydrazil) Radical Scavenging Assay). During the shelf life, ascorbic acid was the parameter that varied most (p < 0.05). It decreased from 42.7 to 21.6 mg ascorbic acid/100 g of pulp in the control sample. However, a smaller decrease was observed (23.8–24.5 mg ascorbic acid/100 g of pulp) in the 40 kHz treatments. The smallest global color difference (∆E) for the control was found in the 40 kHz treatment at 30 min through the entire shelf life (day 0 to 20). Ultrasound treatment offers a new strategy to improve and extend the shelf life of chilled gulupa pulp

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

Background & Aims: A better understanding of prognostic factors within the heterogeneous spectrum of pediatric Crohn's disease (CD) should improve patient management and reduce complications. We aimed to identify evidence-based predictors of outcomes with the goal of optimizing individual patient management. Methods: A survey of 202 experts in pediatric CD identified and prioritized adverse outcomes to be avoided. A systematic review of the literature with meta-analysis, when possible, was performed to identify clinical studies that investigated predictors of these outcomes. Multiple national and international face-to-face meetings were held to draft consensus statements based on the published evidence. Results: Consensus was reached on 27 statements regarding prognostic factors for surgery, complications, chronically active pediatric CD, and hospitalization. Prognostic factors for surgery included CD diagnosis during adolescence, growth impairment, NOD2/CARD15 polymorphisms, disease behavior, and positive anti-Saccharomyces cerevisiae antibody status. Isolated colonic disease was associated with fewer surgeries. Older age at presentation, small bowel disease, serology (anti-Saccharomyces cerevisiae antibody, antiflagellin, and OmpC), NOD2/CARD15 polymorphisms, perianal disease, and ethnicity were risk factors for penetrating (B3) and/or stenotic disease (B2). Male sex, young age at onset, small bowel disease, more active disease, and diagnostic delay may be associated with growth impairment. Malnutrition and higher disease activity were associated with reduced bone density. Conclusions: These evidence-based consensus statements offer insight into predictors of poor outcomes in pediatric CD and are valuable when developing treatment algorithms and planning future studies. Targeted longitudinal studies are needed to further characterize prognostic factors in pediatric CD and to evaluate the impact of treatment algorithms tailored to individual patient risk

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

Single hadron response measurement and calorimeter jet energy scale uncertainty with the ATLAS detector at the LHC

The uncertainty on the calorimeter energy response to jets of particles is derived for the ATLAS experiment at the Large Hadron Collider (LHC). First, the calorimeter response to single isolated charged hadrons is measured and compared to the Monte Carlo simulation using proton-proton collisions at centre-of-mass energies of sqrt(s) = 900 GeV and 7 TeV collected during 2009 and 2010. Then, using the decay of K_s and Lambda particles, the calorimeter response to specific types of particles (positively and negatively charged pions, protons, and anti-protons) is measured and compared to the Monte Carlo predictions. Finally, the jet energy scale uncertainty is determined by propagating the response uncertainty for single charged and neutral particles to jets. The response uncertainty is 2-5% for central isolated hadrons and 1-3% for the final calorimeter jet energy scale.Comment: 24 pages plus author list (36 pages total), 23 figures, 1 table, submitted to European Physical Journal

Search for charginos in e+e- interactions at sqrt(s) = 189 GeV

An update of the searches for charginos and gravitinos is presented, based on a data sample corresponding to the 158 pb^{-1} recorded by the DELPHI detector in 1998, at a centre-of-mass energy of 189 GeV. No evidence for a signal was found. The lower mass limits are 4-5 GeV/c^2 higher than those obtained at a centre-of-mass energy of 183 GeV. The (\mu,M_2) MSSM domain excluded by combining the chargino searches with neutralino searches at the Z resonance implies a limit on the mass of the lightest neutralino which, for a heavy sneutrino, is constrained to be above 31.0 GeV/c^2 for tan(beta) \geq 1.Comment: 22 pages, 8 figure

Search for composite and exotic fermions at LEP 2

A search for unstable heavy fermions with the DELPHI detector at LEP is reported. Sequential and non-canonical leptons, as well as excited leptons and quarks, are considered. The data analysed correspond to an integrated luminosity of about 48 pb^{-1} at an e^+e^- centre-of-mass energy of 183 GeV and about 20 pb^{-1} equally shared between the centre-of-mass energies of 172 GeV and 161 GeV. The search for pair-produced new leptons establishes 95% confidence level mass limits in the region between 70 GeV/c^2 and 90 GeV/c^2, depending on the channel. The search for singly produced excited leptons and quarks establishes upper limits on the ratio of the coupling of the excited fermio

Standalone vertex finding in the ATLAS muon spectrometer

A dedicated reconstruction algorithm to find decay vertices in the ATLAS muon spectrometer is presented. The algorithm searches the region just upstream of or inside the muon spectrometer volume for multi-particle vertices that originate from the decay of particles with long decay paths. The performance of the algorithm is evaluated using both a sample of simulated Higgs boson events, in which the Higgs boson decays to long-lived neutral particles that in turn decay to bbar b final states, and pp collision data at √s = 7 TeV collected with the ATLAS detector at the LHC during 2011

Measurements of Higgs boson production and couplings in diboson final states with the ATLAS detector at the LHC

Measurements are presented of production properties and couplings of the recently discovered Higgs boson using the decays into boson pairs, H →γ γ, H → Z Z∗ →4l and H →W W∗ →lνlν. The results are based on the complete pp collision data sample recorded by the ATLAS experiment at the CERN Large Hadron Collider at centre-of-mass energies of √s = 7 TeV and √s = 8 TeV, corresponding to an integrated luminosity of about 25 fb−1. Evidence for Higgs boson production through vector-boson fusion is reported. Results of combined fits probing Higgs boson couplings to fermions and bosons, as well as anomalous contributions to loop-induced production and decay modes, are presented. All measurements are consistent with expectations for the Standard Model Higgs boson

Measurement of the top quark pair cross section with ATLAS in pp collisions at √s=7 TeV using final states with an electron or a muon and a hadronically decaying τ lepton

A measurement of the cross section of top quark pair production in proton-proton collisions recorded with the ATLAS detector at the Large Hadron Collider at a centre-of-mass energy of 7 TeV is reported. The data sample used corresponds to an integrated luminosity of 2.05 fb -1. Events with an isolated electron or muon and a τ lepton decaying hadronically are used. In addition, a large missing transverse momentum and two or more energetic jets are required. At least one of the jets must be identified as originating from a b quark. The measured cross section, σtt-=186±13(stat.)±20(syst.)±7(lumi.) pb, is in good agreement with the Standard Model prediction