Program transformations using temporal logic side conditions

This paper describes an approach to program optimisation based on transformations, where temporal logic is used to specify side conditions, and strategies are created which expand the repertoire of transformations and provide a suitable level of abstraction. We demonstrate the power of this approach by developing a set of optimisations using our transformation language and showing how the transformations can be converted into a form which makes it easier to apply them, while maintaining trust in the resulting optimising steps. The approach is illustrated through a transformational case study where we apply several optimisations to a small program

The point of maximum curvature as a marker for physiological time series

We present a geometric analysis of the model of Stirling. In particular we analyze the curvature of a heart rate time series in response to a step like increment in the exercise intensity. We present solutions for the point of maximum curvature which can be used as a marker of physiological interest. This marker defines the point after which the heart rate no longer continues to rapidly rise and instead follows either a steady state or slow rise. These methods are then applied to find analytic solutions for a mono exponential model which is commonly used in the literature to model the response to a moderate exercise intensity. Numerical solutions are then found for the full model and parameter values presented in Stirling

Forecasting global atmospheric CO_2

A new global atmospheric carbon dioxide (CO_2) real-time forecast is now available as part of the pre-operational Monitoring of Atmospheric Composition and Climate – Interim Implementation (MACC-II) service using the infrastructure of the European Centre for Medium-Range Weather Forecasts (ECMWF) Integrated Forecasting System (IFS). One of the strengths of the CO_2 forecasting system is that the land surface, including vegetation CO_2 fluxes, is modelled online within the IFS. Other CO_2 fluxes are prescribed from inventories and from off-line statistical and physical models. The CO_2 forecast also benefits from the transport modelling from a state-of-the-art numerical weather prediction (NWP) system initialized daily with a wealth of meteorological observations. This paper describes the capability of the forecast in modelling the variability of CO_2 on different temporal and spatial scales compared to observations. The modulation of the amplitude of the CO_2 diurnal cycle by near-surface winds and boundary layer height is generally well represented in the forecast. The CO_2 forecast also has high skill in simulating day-to-day synoptic variability. In the atmospheric boundary layer, this skill is significantly enhanced by modelling the day-to-day variability of the CO_2 fluxes from vegetation compared to using equivalent monthly mean fluxes with a diurnal cycle. However, biases in the modelled CO_2 fluxes also lead to accumulating errors in the CO_2 forecast. These biases vary with season with an underestimation of the amplitude of the seasonal cycle both for the CO_2 fluxes compared to total optimized fluxes and the atmospheric CO_2 compared to observations. The largest biases in the atmospheric CO_2 forecast are found in spring, corresponding to the onset of the growing season in the Northern Hemisphere. In the future, the forecast will be re-initialized regularly with atmospheric CO_2 analyses based on the assimilation of CO_2 products retrieved from satellite measurements and CO_2 in situ observations, as they become available in near-real time. In this way, the accumulation of errors in the atmospheric CO_2 forecast will be reduced. Improvements in the CO_2 forecast are also expected with the continuous developments in the operational IFS

Impact of post-Born lensing on the CMB

Lensing of the CMB is affected by post-Born lensing, producing corrections to the convergence power spectrum and introducing field rotation. We show numerically that the lensing convergence power spectrum is affected at the lesssim 0.2% level on accessible scales, and that this correction and the field rotation are negligible for observations with arcminute beam and noise levels gsim 1 μK arcmin. The field rotation generates ~ 2.5% of the total lensing B-mode polarization amplitude (0.2% in power on small scales), but has a blue spectrum on large scales, making it highly subdominant to the convergence B modes on scales where they are a source of confusion for the signal from primordial gravitational waves. Since the post-Born signal is non-linear, it also generates a bispectrum with the convergence. We show that the post-Born contributions to the bispectrum substantially change the shape predicted from large-scale structure non-linearities alone, and hence must be included to estimate the expected total signal and impact of bispectrum biases on CMB lensing reconstruction quadratic estimators and other observables. The field-rotation power spectrum only becomes potentially detectable for noise levels Lt 1 μK arcmin, but its bispectrum with the convergence may be observable at ~ 3σ with Stage IV observations. Rotation-induced and convergence-induced B modes are slightly correlated by the bispectrum, and the bispectrum also produces additional contributions to the lensed BB power spectrum

Monitoring health-related quality of life in paediatric practice: development of an innovative web-based application

<p>Abstract</p> <p>Background</p> <p>Health Related Quality of Life (HRQOL) questionnaires are increasingly used in clinical practice. These Patient Reported Outcomes (PROs) are provided to the paediatrician to facilitate communication with patients during a consultation. The aim of the current article is to describe the development and introduction of a new web-based application for the use of PROs in daily paediatric clinical practice.</p> <p>Methods</p> <p>Currently, the use of PROs in daily clinical practice is very time consuming and often has logistical problems. The use of a web-based programme can overcome these problems and contributes to an improved use of PROs in clinical practice. We therefore developed an easily accessible website (KLIK) for outpatient treatment and a training programme for paediatricians to maximize the effectiveness and the practical use of PROs (KLIK PROfile).</p> <p>Results</p> <p>The KLIK study was launched in August 2008 to evaluate the use of the KLIK PROfile in daily clinical practice. The KLIK study evaluates whether feedback from HRQOL data could influence patient satisfaction with the consultation, the advice given, the type of referrals and topics discussed. In this multicentre study, a control group (without the use of the KLIK PROfile) is compared to an intervention group (with the use of the KLIK PROfile). A sequential cohort design is chosen to avoid contamination between the study groups.</p> <p>Conclusions</p> <p>Based on the positive experiences with the use of the KLIK PROfile acquired during the study we conclude that the KLIK PROfile may contribute to systematically monitor and discuss HRQOL issues during consultations. The next steps will be a comprehensive evaluation of the KLIK study data and the implementation of the KLIK PROfile in daily clinical practice in different patient groups.</p

A new method to quantify and compare the multiple components of fitness-A study case with kelp niche partition by divergent microstage adaptations to Temperature

Point 1 Management of crops, commercialized or protected species, plagues or life-cycle evolution are subjects requiring comparisons among different demographic strategies. The simpler methods fail in relating changes in vital rates with changes in population viability whereas more complex methods lack accuracy by neglecting interactions among vital rates. Point 2 The difference between the fitness (evaluated by the population growth rate.) of two alternative demographies is decomposed into the contributions of the differences between the pair-wised vital rates and their interactions. This is achieved through a full Taylor expansion (i.e. remainder = 0) of the demographic model. The significance of each term is determined by permutation tests under the null hypothesis that all demographies come from the same pool. Point 3 An example is given with periodic demographic matrices of the microscopic haploid phase of two kelp cryptic species observed to partition their niche occupation along the Chilean coast. The method provided clear and synthetic results showing conditional differentiation of reproduction is an important driver for their differences in fitness along the latitudinal temperature gradient. But it also demonstrated that interactions among vital rates cannot be neglected as they compose a significant part of the differences between demographies. Point 4 This method allows researchers to access the effects of multiple effective changes in a life-cycle from only two experiments. Evolutionists can determine with confidence the effective causes for changes in fitness whereas population managers can determine best strategies from simpler experimental designs.CONICYT-FRENCH EMBASSADY Ph.D. gran

Impact of assimilating NOAA VIIRS aerosol optical depth (AOD) observations on global AOD analysis from the Copernicus Atmosphere Monitoring Service (CAMS)

Global monitoring of aerosols is required to analyse the impacts of aerosols on air quality and to understand their role in modulating the climate variability. The Copernicus Atmosphere Monitoring Service (CAMS) provides near-real-time forecasts and reanalyses of aerosols using the ECMWF Integrated Forecasting System (IFS), constrained by the assimilation of MODIS and Polar Multi-Sensor Aerosol Optical Properties (PMAp) aerosol optical depth (AOD). Given the potential end of lifetime of MODIS AOD, implementing new AOD observations in the CAMS operational suite is a priority to ensure the continuity of the CAMS forecast performances. The objective of this work is to test the assimilation of the NOAA VIIRS AOD product from S-NPP and NOAA20 satellites in the IFS model. Simulation experiments assimilating VIIRS on top or in place of MODIS were carried out from June 2021 to November 2021 to evaluate the impacts on the AOD analysis. For maritime aerosol background, the assimilation of VIIRS and the use of VIIRS from NOAA20 as an anchor reduce the analysis AOD values compared to MODIS-based experiments, in which the analysis values were too high due to the positive bias of MODIS/Terra over ocean. Over land, the assimilation of VIIRS induces a large increase in the analysis over biomass burning regions where VIIRS shows larger AOD than MODIS due to differences in the aerosol models and cloud filtering between MODIS and VIIRS retrieval algorithms. For dust source regions, the analysis is reduced when VIIRS is assimilated on top of or in place of MODIS, particularly over the Sahara, the Arabian Peninsula and a few places in Asia in the July–August period. The assimilation of VIIRS leads to an overall reduction of the bias in AOD analysis evaluated against AERONET measurements, with the largest bias reduction over Europe and desert and maritime sites.</p

Measurement of event shapes in deep inelastic scattering at HERA

Inclusive event-shape variables have been measured in the current region of the Breit frame for neutral current deep inelastic ep scattering using an integrated luminosity of 45.0 pb^-1 collected with the ZEUS detector at HERA. The variables studied included thrust, jet broadening and invariant jet mass. The kinematic range covered was 10 < Q^2 < 20,480 GeV^2 and 6.10^-4 < x < 0.6, where Q^2 is the virtuality of the exchanged boson and x is the Bjorken variable. The Q dependence of the shape variables has been used in conjunction with NLO perturbative calculations and the Dokshitzer-Webber non-perturbative corrections (`power corrections') to investigate the validity of this approach.Comment: 7+25 pages, 6 figure