Travel to School and Physical Activity Levels in 9-10 Year-Old UK Children of Different Ethnic Origin; Child Heart and Health Study in England (CHASE)

BACKGROUND: Travel to school may offer a convenient way to increase physical activity levels in childhood. We examined the association between method of travel to school and physical activity levels in urban multi-ethnic children. METHODS AND FINDINGS: 2035 children (aged 9-10 years in 2006-7) provided data on their usual method of travel to school and wore an Actigraph-GT1M activity monitor during waking hours. Associations between method of travel and mean level of physical activity (counts per minute [CPM], steps, time spent in light, moderate or vigorous activity per day) were examined in models adjusted for confounding variables. 1393 children (69%) walked or cycled to school; 161 (8%) used public transport and 481 (24%) travelled by car. White European children were more likely to walk/cycle, black African Caribbeans to travel by public transport and South Asian children to travel by car. Children travelling by car spent less time in moderate to vigorous physical activity (-7 mins, 95%CI-9,-5), and had lower CPM (-32 CPM, 95%CI-44,-19) and steps per day (-813 steps, 95%CI,-1043,-582) than walkers/cyclists. Pupils travelling by public transport had similar activity levels to walkers/cyclists. Lower physical activity levels amongst car travellers' were especially marked at travelling times (school days between 8-9 am, 3-5 pm), but were also evident on weekdays at other times and at weekends; they did not differ by gender or ethnic group. CONCLUSION: Active travel to school is associated with higher levels of objectively measured physical activity, particularly during periods of travel but also at other times. If children travelling by car were to achieve physical activity levels (steps) similar to children using active travel, they would increase their physical activity levels by 9%. However, the population increase would be a modest 2%, because of the low proportion of car travellers in this urban population

Multiple human herpesvirus-8 infection

In Malawian patients with Kaposi sarcoma (KS) and their relatives, we investigated nucleotide-sequence variation in human herpesvirus-8 (HHV-8) subgenomic DNA, amplified from oral and blood samples by use of polymerase chain reaction. Twenty-four people had amplifiable HHV-8 DNA in >1 sample; 9 (38%) were seropositive for human immunodeficiency virus type 1, 21 (88%) were anti-HHV-8-seropositive, and 7 (29%) had KS. Sequence variation was sought in 3 loci of the HHV-8 genome: the internal repeat domain of open-reading frame (ORF) 73, the KS330 segment of ORF 26, and variable region 1 of ORF K1. Significant intraperson/intersample and intrasample sequence polymorphisms were observed in 14 people (60%). For 3 patients with KS, intraperson genotypic differences, arising from nucleotide sequence variations in ORFs 26 and K1, were found in blood and oral samples. For 2 other patients with KS and for 9 people without KS, intraperson genotypic and subgenotypic differences, originating predominantly from ORF K1, were found in oral samples; for the 2 patients with KS and for 4 individuals without KS, intrasample carriage of distinct ORF K1 sequences also were discernible. Our findings imply HHV-8 superinfection

Environmental predictors of bovine Eimeria infection in western Kenya

Eimeriosis is caused by a protozoan infection affecting most domestic animal species. Outbreaks in cattle are associated with various environmental factors in temperate climates but limited work has been done in tropical settings. The objective of this work was to determine the prevalence and environmental factors associated with bovine Eimeria spp. infection in a mixed farming area of western Kenya. A total of 983 cattle were sampled from 226 cattle-keeping households. Faecal samples were collected directly from the rectum via digital extraction and analysed for the presence of Eimeria spp. infection using the MacMaster technique. Individual and household level predictors of infection were explored using mixed effects logistic regression. The prevalence of individual animal Eimeria infection was 32.8% (95% CI 29.9--35.9). A positive linear relationship was found between risk of Eimeria infection and increasing temperature (ORþinspace=þinspace1.4, 95% CI 1.06--1.86) and distance to areas at risk of flooding (ORþinspace=þinspace1.49, 95% CI 1.17--1.91). There was weak evidence of non-linear relationship between Eimeria infection and the proportion of the area around a household that was classified as swamp (ORþinspace=þinspace1.12, 95% CI 0.87--1.44; OR (quadratic term)þinspace=þinspace0.85, 95% CI 0.73--1.00), and the sand content of the soil (ORþinspace=þinspace1.18, 95% CI 0.91--1.53; OR (quadratic term)þinspace=þinspace1.1, 95% CI 0.99--1.23). The risk of animal Eimeria spp. infection is influenced by a number of climatic and soil-associated conditions

Family and home correlates of children's physical activity in a multi-ethnic population: the cross-sectional Child Heart and Health Study in England (CHASE).

BACKGROUND: The influence of the family and home environment on childhood physical activity (PA) and whether this differs between ethnic groups remains uncertain. This paper investigates associations between family and home factors and childhood PA in a multi-ethnic population and explores whether associations differ between ethnic groups. METHODS: Cross-sectional study of 9-10 year-old schoolchildren, in which PA was objectively measured by Actigraph GT1 M accelerometers for ≤7 days to estimate average activity counts per minute (CPM). Information on 11 family and home environmental factors were collected from questionnaires. Associations between these factors and CPM were quantified using multi-level linear regression. Interactions with ethnicity were explored using likelihood ratio tests. RESULTS: 2071 children (mean ± SD age: 9.95 ± 0.38 years; 47.8% male) participated, including 25% white European, 28% black African-Caribbean, 24% South Asian, and 24% other ethnic origin. Family PA support and having a pet were associated with higher average CPM (adjusted mean difference: 6 (95%CI:1,10) and 13 (95%CI:3,23), respectively) while car ownership and having internet access at home were associated with lower average CPM (adjusted mean difference: -19 (95%CI:-30,-8) and -10 (95%CI:-19,0), respectively). These associations did not differ by ethnicity. Although the number of siblings showed no overall association with PA, there was some evidence of interaction with ethnicity (p for ethnicity interaction=0.04, 0.05 in a fully-adjusted model); a positive significant association with number of siblings was observed in white Europeans (per sibling CPM difference 10.3 (95% CI 1.7, 18.9)) and a positive non-significant association was observed in black African-Caribbeans (per sibling CPM difference: 3.5 (-4.2, 11.2)) while a negative, non-significant association was observed in South Asians (per sibling CPM difference -6.0 (-15.5, 3.4)). CONCLUSIONS: Some family and home environmental factors have modest associations with childhood PA and these are mostly similar across different ethnic groups. This suggests that targeting these factors in an intervention to promote PA would be relevant for children in different ethnic groups.RIGHTS : This article is licensed under the BioMed Central licence at http://www.biomedcentral.com/about/license which is similar to the 'Creative Commons Attribution Licence'. In brief you may : copy, distribute, and display the work; make derivative works; or make commercial use of the work - under the following conditions: the original author must be given credit; for any reuse or distribution, it must be made clear to others what the license terms of this work are

Future needs and requirements for AMS C-14 standards and reference materials

C-14 measurement uses a number of standards and reference materials with different properties. Historically the absolute calibration of C-14 measurement was tied to 1890 wood, through the 'primary' standard of NBS-OxI (produced by the National Bureau of Standards, now NIST - National Institute of Standards and technology) subsequently replaced by NBS-OxII. These are both internationally calibrated and certified materials, whose C-14 activities are known absolutely. A second tier of materials, often called secondary standards or reference materials, and including internationally recognised materials such as ANU-sucrose (now also IAEA-C6), Chinese - sucrose and the IAEA C1-C6 series, augmented by additional oxalic acid samples are also used routinely. The activity of these materials has been estimated from large numbers of measurements made by many laboratories. Recently, further natural materials from the Third and Fourth International Radiocarbon Inter- comparisons (TIRI and FIRI) have been added to this list. The activities of these standards and reference materials span both the applied C-14 age range and the chemical composition range of typical samples, but this is not achieved uniformly and there is a continuing need for reference materials for laboratory quality control and measurement-traceability purposes. In this paper, we review the development of C-14 Standards and reference materials and consider the future requirements for such materials within the C-14 AMS community

On Tackling the Limits of Resolution in SAT Solving

The practical success of Boolean Satisfiability (SAT) solvers stems from the CDCL (Conflict-Driven Clause Learning) approach to SAT solving. However, from a propositional proof complexity perspective, CDCL is no more powerful than the resolution proof system, for which many hard examples exist. This paper proposes a new problem transformation, which enables reducing the decision problem for formulas in conjunctive normal form (CNF) to the problem of solving maximum satisfiability over Horn formulas. Given the new transformation, the paper proves a polynomial bound on the number of MaxSAT resolution steps for pigeonhole formulas. This result is in clear contrast with earlier results on the length of proofs of MaxSAT resolution for pigeonhole formulas. The paper also establishes the same polynomial bound in the case of modern core-guided MaxSAT solvers. Experimental results, obtained on CNF formulas known to be hard for CDCL SAT solvers, show that these can be efficiently solved with modern MaxSAT solvers

Evaluating QBF Solvers: Quantifier Alternations Matter

We present an experimental study of the effects of quantifier alternations on the evaluation of quantified Boolean formula (QBF) solvers. The number of quantifier alternations in a QBF in prenex conjunctive normal form (PCNF) is directly related to the theoretical hardness of the respective QBF satisfiability problem in the polynomial hierarchy. We show empirically that the performance of solvers based on different solving paradigms substantially varies depending on the numbers of alternations in PCNFs. In related theoretical work, quantifier alternations have become the focus of understanding the strengths and weaknesses of various QBF proof systems implemented in solvers. Our results motivate the development of methods to evaluate orthogonal solving paradigms by taking quantifier alternations into account. This is necessary to showcase the broad range of existing QBF solving paradigms for practical QBF applications. Moreover, we highlight the potential of combining different approaches and QBF proof systems in solvers.Comment: preprint of a paper to be published at CP 2018, LNCS, Springer, including appendi

FITsense: employing multi-modal sensors in smart homes to predict falls.

As people live longer, the increasing average age of the population places additional strains on our health and social services. There are widely recognised benefits to both the individual and society from supporting people to live independently for longer in their own homes. However, falls in particular have been found to be a leading cause of the elderly moving into care, and yet surprisingly preventative approaches are not in place; fall detection and rehabilitation are too late. In this paper we present FITsense, which is building a Smart Home environment to identify increased risk of falls for residents, and so allow timely interventions before falls occurs. An ambient sensor network, installed in the Smart Home, identifies low level events taking place which is analysed to generate a resident’s profile of activities of daily living (ADLs). These ADL profiles are compared to both the resident’s typical profile and to known “risky” profiles to allow evidence-driven intervention recommendations. Human activity recognition to identify ADLs from sensor data is a key challenge. Here we compare a windowing-based and a sequence-based event representation on four existing datasets. We find that windowing works well, giving consistent performance but may lack sufficient granularity for more complex multi-part activities

Automatically proving termination and memory safety for programs with pointer arithmetic

While automated verification of imperative programs has been studied intensively, proving termination of programs with explicit pointer arithmetic fully automatically was still an open problem. To close this gap, we introduce a novel abstract domain that can track allocated memory in detail. We use it to automatically construct a symbolic execution graph that over-approximates all possible runs of a program and that can be used to prove memory safety. This graph is then transformed into an integer transition system, whose termination can be proved by standard techniques. We implemented this approach in the automated termination prover AProVE and demonstrate its capability of analyzing C programs with pointer arithmetic that existing tools cannot handle

Internet-based medical education: a realist review of what works, for whom and in what circumstances

http://creativecommons.org/licenses/by/2.0