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.

The impact of health status and human capital formation on regional performance: Empirical evidence

The purpose of this paper is to analyze the impact of health on growth, assuming that it is a fundamental component of the human capital of a region along with education. Various measures of population health status are used, together with a health index generated by Principal Component Analysis. Potential endogeneity between health and growth is controlled for using instrumental variable regressions and dynamic panel data. The results show a positive effect of a change in health status on regional output and a negative effect of proxy variables for health limitations on regional performance. This corroborates the importance of investing in health along with education with the aim of improving not only the well-being of individuals but the human capital and growth of a region

Optimized design of local shielding for the IFMIF/EVEDA beam dump

This paper describes the local shielding design process of the IFMIF/EVEDA Beam Dump and the most relevant results obtained from the simulations. Different geometries and materials have been considered, and the design has been optimized taking into account the origin of the doses, the effect of the walls of the accelerator vault and the space restrictions. The initial idea was to shield the beam stopper with a large water tank of easy transport and dismantling but it was shown to be insufficient to satisfy the dose limit requirements, basically due to photon dose, and hence a denser shield combining hydrogenous and heavy materials was preferred. It will be shown that, with this new shielding, dose rate outside the accelerator vault during operation comply with the legal limits and unrestricted maintenance operations inside most of the vault are possible after a reasonable cooling time after shutdown

Extreme Starbursts in the Local Universe

The "Extreme starbursts in the local universe" workshop was held at the Insituto de Astrofisica de Andalucia in Granada, Spain on 21-25 June 2010. Bearing in mind the advent of a new generation of facilities such as JWST, Herschel, ALMA, eVLA and eMerlin, the aim of the workshop was to bring together observers and theorists to review the latest results. The purpose of the workshop was to address the following issues: what are the main modes of triggering extreme starbursts in the local Universe? How efficiently are stars formed in extreme starbursts? What are the star formation histories of local starburst galaxies? How well do the theoretical simulations model the observations? What can we learn about starbursts in the distant Universe through studies of their local counterparts? How important is the role of extreme starbursts in the hierarchical assembly of galaxies? How are extreme starbursts related to the triggering of AGN in the nuclei of galaxies? Overall, 41 talks and 4 posters with their corresponding 10 minutes short talks were presented during the workshop. In addition, the workshop was designed with emphasis on discussions, and therefore, there were 6 discussion sessions of up to one hour during the workshop. Here is presented a summary of the purposes of the workshop as well as a compilation of the abstracts corresponding to each of the presentations. The summary and conclusions of the workshop along with a description of the future prospects by Sylvain Veilleux can be found in the last section of this document. A photo of the assistants is included.Comment: worksho

Stabilities of nanohydrated thymine radical cations: insights from multiphoton ionization experiments and ab initio calculations

Multi-photon ionization experiments have been carried out on thymine-water clusters in the gas phase. Metastable H2O loss from T+(H2O)n was observed at n ≥ 3 only. Ab initio quantum-chemical calculations of a large range of optimized T+(H2O)n conformers have been performed up to n = 4, enabling binding energies of water to be derived. These decrease smoothly with n, consistent with the general trend of increasing metastable H2O loss in the experimental data. The lowest-energy conformers of T+(H2O)3 and T+(H2O)4 feature intermolecular bonding via charge-dipole interactions, in contrast with the purely hydrogen-bonded neutrals. We found no evidence for a closed hydration shell at n = 4, also contrasting with studies of neutral clusters

Measurement of the ratio of branching fractions BR(B0 -> K*0 gamma)/BR(Bs0 -> phi gamma)

The ratio of branching fractions of the radiative B decays B0 -> K*0 gamma and Bs0 -> phi gamma has been measured using 0.37 fb-1 of pp collisions at a centre of mass energy of sqrt(s) = 7 TeV, collected by the LHCb experiment. The value obtained is BR(B0 -> K*0 gamma)/BR(Bs0 -> phi gamma) = 1.12 +/- 0.08 ^{+0.06}_{-0.04} ^{+0.09}_{-0.08}, where the first uncertainty is statistical, the second systematic and the third is associated to the ratio of fragmentation fractions fs/fd. Using the world average for BR(B0 -> K*0 gamma) = (4.33 +/- 0.15) x 10^{-5}, the branching fraction BR(Bs0 -> phi gamma) is measured to be (3.9 +/- 0.5) x 10^{-5}, which is the most precise measurement to date.Comment: 15 pages, 1 figure, 2 table

Search for CP violation in D+→K−K+π+D^{+} \to K^{-}K^{+}\pi^{+} decays

A model-independent search for direct CP violation in the Cabibbo suppressed decay $D^+ \to K^- K^+\pi^+$ in a sample of approximately 370,000 decays is carried out. The data were collected by the LHCb experiment in 2010 and correspond to an integrated luminosity of 35 pb$^{-1}$. The normalized Dalitz plot distributions for $D^+$ and $D^-$ are compared using four different binning schemes that are sensitive to different manifestations of CP violation. No evidence for CP asymmetry is found.Comment: 13 pages, 8 figures, submitted to Phys. Rev.