Evolution of size-dependent flowering in Onopordum illyricum: A quantitative assessment of the role of stochastic selection pressures

We explore the evolution of delayed, size-dependent reproduction in the monocarpic perennial Onopordum illyricum, using a range of mathematical models, parameterized with long-term field data. Analysis of the long-term data indicated that mortality, flowering, and growth were age and size dependent. Using mixed models, we estimated the variance about each of these relationships and also individual-specific effects. For the held populations, recruitment was the main density-dependent process, although there were weak effects of local density on growth and mortality Using parameterized growth models, which assume plants grow along a deterministic trajectory, we predict plants should flower at sizes approximately 50% smaller than observed in the field. We then develop a simple criterion, termed the "1-yr look-ahead criterion," based on equating seed production now with that of next year, allowing for mortality and growth, to determine at what size a plant should flower. This model allows the incorporation of variance about the growth function and individual-specific effects. The model predicts flowering at sizes approximately double that observed, indicating that variance about the growth curve selects for larger sizes at flowering. The 1-yr look-ahead approach is approximate because it ignores growth opportunities more than 1 yr ahead. To assess the accuracy of this approach, we develop a more complicated dynamic state variable model. Both models give similar results indicating the utility of the 1-yr look-ahead criterion. To allow for temporal variation in the model parameters, we used an individual-based model with a generic algorithm. This gave very accurate prediction of the observed flowering strategies. Sensitivity analysis of the model suggested that temporal variation in the parameters of the growth equation made waiting to flower more risky, so selected for smaller sizes at flowering. The models clearly indicate the need to incorporate stochastic variation in life-history analyses

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.

Correlations in STAR: interferometry and event structure

STAR observes a complex picture of RHIC collisions where correlation effects of different origins -- initial state geometry, semi-hard scattering, hadronization, as well as final state interactions such as quantum intensity interference -- coexist. Presenting the measurements of flow, mini-jet deformation, modified hadronization, and the Hanbury Brown and Twiss effect, we trace the history of the system from the initial to the final state. The resulting picture is discussed in the context of identifying the relevant degrees of freedom and the likely equilibration mechanism.Comment: 8 pages, 6 figures, plenary talk at the 5th International Conference on Physics and Astrophysics of Quark Gluon Plasma, to appear in Journal of Physics G (http://www.iop.org

The CIAO multiparadigm compiler and system: A progress report

Abstract is not available

Integrity static analysis of COTS/SOUP

This paper describes the integrity static analysis approach developed to support the justification of commercial off-the-shelf software (COTS) used in a safety-related system. The static analysis was part of an overall software qualification programme, which also included the work reported in our paper presented at Safecomp 2002. Integrity static analysis focuses on unsafe language constructs and “covert” flows, where one thread can affect the data or control flow of another thread. The analysis addressed two main aspects: the internal integrity of the code (especially for the more critical functions), and the intra-component integrity, checking for covert channels. The analysis process was supported by an aggregation of tools, combined and engineered to support the checks done and to scale as necessary. Integrity static analysis is feasible for industrial scale software, did not require unreasonable resources and we provide data that illustrates its contribution to the software qualification programme