Bounded Counter Languages

We show that deterministic finite automata equipped with $k$ two-way heads are equivalent to deterministic machines with a single two-way input head and $k-1$ linearly bounded counters if the accepted language is strictly bounded, i.e., a subset of $a_1^*a_2^*... a_m^*$ for a fixed sequence of symbols $a_1, a_2,..., a_m$. Then we investigate linear speed-up for counter machines. Lower and upper time bounds for concrete recognition problems are shown, implying that in general linear speed-up does not hold for counter machines. For bounded languages we develop a technique for speeding up computations by any constant factor at the expense of adding a fixed number of counters

Persuading consumers to reduce their consumption of electricity in the home

Previous work has identified that providing real time feedback or interventions to consumers can persuade consumers to change behaviour and reduce domestic electricity consumption. However, little work has investigated what exactly those feedback mechanisms should be. Most past work is based on an in-home display unit, possibly complemented by lower tariffs and delayed use of non-essential home appliances such as washing machines. In this paper we focus on four methods for real time feedback on domestic energy use, developed to gauge the impact on energy consumption in homes. Their feasibility had been tested using an experimental setup of 24 households collecting minute-by-minute electricity consumption data readings over a period of 18 months. Initial results are mixed, and point to the difficulties of sustaining a reduction in energy consumption, i.e. persuading consumers to change their behaviour. Some of the methods we used exploit small group social dynamics whereby people want to conform to social norms within groups they identify with. It may be that a variety of feedback mechanisms and interventions are needed in order to sustain user interest

Topological entropy for some isotropic cosmological models

The chaotical dynamics is studied in different Friedmann-Robertson- Walker cosmological models with scalar (inflaton) field and hydrodynamical matter. The topological entropy is calculated for some particular cases. Suggested scheme can be easily generalized for wide class of models. Different methods of calculation of topological entropy are compared.Comment: Final version to appear in Phys. Rev D. Minor changes, typos corrected; 29 pages with 2 eps figure

Farm systems assessment of bioenergy feedstock production: Integrating bio-economic models and life cycle analysis approaches

Climate change and energy security concerns have driven the development of policies that encourage bioenergy production. Meeting EU targets for the consumption of transport fuels from bioenergy by 2020 will require a large increase in the production of bioenergy feedstock. Initially an increase in ‘first generation’ biofuels was observed, however ‘food competition’ concerns have generated interest in second generation biofuels (SGBs). These SGBs can be produced from co-products (e.g. cereal straw) or energy crops (e.g. miscanthus), with the former largely negating food competition concerns. In order to assess the sustainability of feedstock supply for SGBs, the financial, environmental and energy costs and benefits of the farm system must be quantified. Previous research has captured financial costs and benefits through linear programming (LP) approaches, whilst environmental and energy metrics have been largely been undertaken within life cycle analysis (LCA) frameworks. Assessing aspects of the financial, environmental and energy sustainability of supplying co-product second generation biofuel (CPSGB) feedstocks at the farm level requires a framework that permits the trade-offs between these objectives to be quantified and understood. The development of a modelling framework for Managing Energy and Emissions Trade-Offs in Agriculture (MEETA Model) that combines bio-economic process modelling and LCA is presented together with input data parameters obtained from literature and industry sources. The MEETA model quantifies arable farm inputs and outputs in terms of financial, energy and emissions results. The model explicitly captures fertiliser: crop-yield relationships, plus the incorporation of straw or removal for sale, with associated nutrient impacts of incorporation/removal on the following crop in the rotation. Key results of crop-mix, machinery use, greenhouse gas (GHG) emissions per kg of crop product and energy use per hectare are in line with previous research and industry survey findings. Results show that the gross margin – energy trade-off is £36 GJ−1, representing the gross margin forgone by maximising net farm energy cf. maximising farm gross margin. The gross margin–GHG emission trade-off is £0.15 kg−1 CO2 eq, representing the gross margin forgone per kg of CO2 eq reduced when GHG emissions are minimised cf. maximising farm gross margin. The energy–GHG emission trade-off is 0.03 GJ kg−1 CO2 eq quantifying the reduction in net energy from the farm system per kg of CO2 eq reduced when minimising GHG emissions cf. maximising net farm energy. When both farm gross margin and net farm energy are maximised all the cereal straw is baled for sale. Sensitivity analysis of the model in relation to different prices of cereal straw shows that it becomes financially optimal to incorporate wheat straw at price of £11 t−1 for this co-product. Local market conditions for straw and farmer attitudes towards incorporation or sale of straw will impact on the straw price at which farmers will supply this potential bioenergy feedstock and represent important areas for future research

An assessment of latest Cretaceous <i>Pycnodonte vesicularis</i> (Lamarck, 1806) shells as records for palaeoseasonality: a multi-proxy investigation

In order to assess the potential of the honeycomb oyster Pycnodonte vesicularis for the reconstruction of palaeoseasonality, several specimens recovered from late Maastrichtian strata in the Neuquén Basin (Argentina) were subject to a multi-proxy investigation, involving scanning techniques and trace element and isotopic analysis. Combined CT scanning and light microscopy reveals two calcite microstructures in P. vesicularis shells (vesicular and foliated calcite). Micro-XRF analysis and cathodoluminescence microscopy show that reducing pore fluids were able to migrate through the vesicular portions of the shells (aided by bore holes) and cause recrystallization of the vesicular calcite. This renders the vesicular portions not suitable for palaeoenvironmental reconstruction. In contrast, stable isotope and trace element compositions show that the original chemical composition of the foliated calcite is well-preserved and can be used for the reconstruction of palaeoenvironmental conditions. Stable oxygen and clumped isotope thermometry on carbonate from the dense hinge of the shell yield sea water temperatures of 11°C, while previous TEX86H palaeothermometry yielded much higher temperatures. The difference is ascribed to seasonal bias in the growth of P. vesicularis, causing warm seasons to be underrepresented from the record, while TEX86H palaeothermometry seems to be biased towards warmer surface water temperatures. The multi-proxy approach employed here enables us to differentiate between well-preserved and diagenetically altered portions of the shells and provides an improved methodology for reconstructing palaeoenvironmental conditions in deep time. While establishing a chronology for these shells was complicated by growth cessations and diagenesis, cyclicity in trace elements and stable isotopes allowed for a tentative interpretation of the seasonal cycle in late Maastrichtian palaeoenvironment of the Neuquén Basin. Attempts to independently verify the seasonality in sea water temperature by Mg∕Ca ratios of shell calcite are hampered by significant uncertainty due to the lack of proper transfer functions for pycnodontein oysters. Future studies of fossil ostreid bivalves should target dense, foliated calcite rather than sampling bulk or vesicular calcite. Successful application of clumped isotope thermometry on fossil bivalve calcite in this study indicates that temperature seasonality in fossil ostreid bivalves may be constrained by the sequential analysis of well-preserved foliated calcite samples using this method

Very High-Risk ASCVD and Eligibility for Nonstatin Therapies Based on the 2018 AHA/ACC Cholesterol Guidelines

The 2018 American Heart Association/American College of Cardiology Multisociety Cholesterol Guidelines recommend risk stratification among patients with atherosclerotic cardiovascular disease (ASCVD) to identify “very high-risk ASCVD patients.” These patients have characteristics associated with a higher risk of recurrent ASCVD events; consequently, they derive a higher net absolute benefit from addition of ezetimibe and/or a proprotein convertase subtilisin/kexin type 9 inhibitor (PCSK9i) to statin therapy. From a clinical and payer’s perspective, we assessed the proportion of patients with ASCVD who will qualify as very high-risk based on the guideline criteria, their current lipid management, and how this will change with maximizing statin therapy and stepwise use of ezetimibe before consideration for a PCSK9i, as recommended by the 2018 cholesterol guideline

Persuading Consumers to Reduce Their Consumption of Electricity in the Home

Previous work has identified that providing real time feedback or interventions to consumers can persuade consumers to change behaviour and reduce domestic electricity consumption. However, little work has investigated what exactly those feedback mechanisms should be. Most past work is based on an in-home display unit, possibly complemented by lower tariffs and delayed use of non-essential home appliances such as washing machines. In this paper we focus on four methods for real time feedback on domestic energy use, developed to gauge the impact on energy consumption in homes. Their feasibility had been tested using an experimental setup of 24 households collecting minute-by-minute electricity consumption data readings over a period of 18 months. Initial results are mixed, and point to the difficulties of sustaining a reduction in energy consumption, i.e. persuading consumers to change their behaviour. Some of the methods we used exploit small group social dynamics whereby people want to conform to social norms within groups they identify with. It may be that a variety of feedback mechanisms and interventions are needed in order to sustain user interest

Holography and Quaternionic Taub-NUT

As a concrete application of the holographic correspondence to manifolds which are only asymptotically Anti-de Sitter, we take a closer look at the quaternionic Taub-NUT space. This is a four dimensional, non-compact, inhomogeneous, riemannian manifold with the interesting property of smoothly interpolating between two symmetric spaces, AdS_4 itself and the coset SU(2,1)/U(2). Even more interesting is the fact that the scalar curvature of the induced conformal structure at the boundary (corresponding to a squashed three-sphere) changes sign as we interpolate between these two limiting cases. Using twistor methods, we construct the bulk-to-bulk and bulk-to-boundary propagators for conformally coupled scalars on quaternionic Taub-NUT. This may eventually enable us to calculate correlation functions in the dual strongly coupled CFT on a squashed S^3 using the standard AdS/CFT prescription.Comment: 1+36 pages, no figures. Some minor typos correcte

Measurement of the polarisation of W bosons produced with large transverse momentum in pp collisions at sqrt(s) = 7 TeV with the ATLAS experiment

This paper describes an analysis of the angular distribution of W->enu and W->munu decays, using data from pp collisions at sqrt(s) = 7 TeV recorded with the ATLAS detector at the LHC in 2010, corresponding to an integrated luminosity of about 35 pb^-1. Using the decay lepton transverse momentum and the missing transverse energy, the W decay angular distribution projected onto the transverse plane is obtained and analysed in terms of helicity fractions f0, fL and fR over two ranges of W transverse momentum (ptw): 35 < ptw < 50 GeV and ptw > 50 GeV. Good agreement is found with theoretical predictions. For ptw > 50 GeV, the values of f0 and fL-fR, averaged over charge and lepton flavour, are measured to be : f0 = 0.127 +/- 0.030 +/- 0.108 and fL-fR = 0.252 +/- 0.017 +/- 0.030, where the first uncertainties are statistical, and the second include all systematic effects.Comment: 19 pages plus author list (34 pages total), 9 figures, 11 tables, revised author list, matches European Journal of Physics C versio