Ranking Functions for Vector Addition Systems

Vector addition systems are an important model in theoretical computer science and have been used for the analysis of systems in a variety of areas. Termination is a crucial property of vector addition systems and has received considerable interest in the literature. In this paper we give a complete method for the construction of ranking functions for vector addition systems with states. The interest in ranking functions is motivated by the fact that ranking functions provide valuable additional information in case of termination: They provide an explanation for the progress of the vector addition system, which can be reported to the user of a verification tool, and can be used as certificates for termination. Moreover, we show how ranking functions can be used for the computational complexity analysis of vector addition systems (here complexity refers to the number of steps the vector addition system under analysis can take in terms of the given initial vector)

The role of leptin and other hormones related to bone metabolism and appetite regulation as determinants of gain in body fat and fat-free mass in 8-11-year-old children.

BACKGROUND: Regulation of body composition during childhood is complex. Numerous hormones are potentially involved. Leptin has been proposed to restrain weight gain, but results are inconsistent. OBJECTIVE: We examined whether baseline fasting levels of ghrelin, adiponectin, leptin, insulin, IGF-I, osteocalcin, and intact parathyroid hormone (iPTH) were associated with body composition cross sectionally and longitudinally in 633 8-11-year-olds. DESIGN: Data on hormones and body composition by dual-energy x-ray absorptiometry from the OPUS School Meal Study were used. We looked at baseline hormones as predictors of baseline fat mass index (FMI) or fat-free mass index (FFMI), and also subsequent changes (3 and 6 months) in FMI or FFMI using models with hormones individually or combined. RESULTS: Cross-sectionally, baseline leptin was positively associated with FMI in girls (0.211 kg/m(2) pr. μg/mL; 97.5% confidence interval [CI],0.186-0.236; P < .001) and boys (0.231 kg/m(2) pr. μg/mL; 97.5% CI, 0.200-0.261; P < .001). IGF-I in both sexes and iPTH in boys were positively associated with FMI. An inverse association between adiponectin and FFMI in boys and a positive association between IGF-I and FFMI were found in girls. In longitudinal models, baseline leptin was inversely associated with subsequent changes in FMI (-0.018 kg/m(2) pr. μg/mL; 97.5% CI, -0.034 - -0.002; P = .028) and FFMI (-0.014 kg/m(2) pr. μg/mL; 97.5% CI, -0.024 - -0.003; P = .006) in girls. CONCLUSIONS: Cross-sectional findings support that leptin is produced in proportion to body fat mass, but the longitudinal observations support that leptin inhibits gains in FMI and FFMI in girls, a finding that may reflect preserved leptin sensitivity in this predominantly normal weight population.Address all correspondence and requests for reprints to: Stine-Mathilde Dalskov, Department of Nutrition, Exercise and Sports, University of Copenhagen, Rolighedsvej 26, 1958 Frederiksberg C, Denmark. E-mail: [email protected]. This study was registered inClinicalTrials.gov as trial number NCT01457794. The OPUS study was financed by a Grant from the Nordea Foundation (grant number 02-2010-478 0389). A complete list of food suppliers providing full or partial food sponsorships to the study can be found at the website: http://foodoflife.ku.dk/ opus/wp/skolemadsprojektet/leverandorer. Sources of funding and donation had no role in the trial design; collection, analysis, interpretation of data or decision to publish.This is the accepted manuscript for a paper published in Journal of Clinical Endocrinology and Metabolism, March 2015, 100(3):1196 –1205, DOI: 10.1210/jc.2014-370

Low physical activity level and short sleep duration are associated with an increased cardio-metabolic risk profile:a longitudinal study in 8-11 year old danish children

BACKGROUND:As cardio-metabolic risk tracks from childhood to adulthood, a better understanding of the relationship between movement behaviors (physical activity, sedentary behavior and sleep) and cardio-metabolic risk in childhood may aid in preventing metabolic syndrome (MetS) in adulthood. OBJECTIVE:To examine independent and combined cross-sectional and longitudinal associations between movement behaviors and the MetS score in 8-11 year old Danish children. DESIGN:Physical activity, sedentary time and sleep duration (seven days and eight nights) were assessed by accelerometer and fat mass index (fat mass/height2) was assessed using Dual-energy X-ray absorptiometry. The MetS-score was based on z-scores of waist circumference, mean arterial blood pressure, homeostatic model assessment of insulin resistance, triglycerides and high density lipoprotein cholesterol. All measurements were taken at three time points separated by 100 days. Average of the three measurements was used as habitual behavior in the cross-sectional analysis and changes from first to third measurement was used in the longitudinal analysis. RESULTS:723 children were included. In the cross-sectional analysis, physical activity was negatively associated with the MetS-score (P0.17). Children in the most favorable tertiles of changes in moderate-to-vigorous physical activity, sleep duration and sedentary time during the 200-day follow-up period had an improved MetS-score relative to children in the opposite tertiles (P = 0.005). CONCLUSION:The present findings indicate that physical activity, sedentary time and sleep duration should all be targeted to improve cardio-metabolic risk markers in childhood; this is possibly mediated by adiposity

Diet-induced changes in iron and n-3 fatty acid status and associations with cognitive performance in 8-11-year-old Danish children: secondary analyses of the Optimal Well-Being, Development and Health for Danish Children through a Healthy New Nordic Diet School Meal Study

Published by Cambridge University Press in the British Journal of Nutrition. Sørensen, L. B., Damsgaard, C. T., Dalskov, S.-M., Petersen, R. A., Egelund, N., Dyssegaard, C. B., … Lauritzen, L. (2015). Diet-induced changes in iron and n-3 fatty acid status and associations with cognitive performance in 8–11-year-old Danish children: secondary analyses of the Optimal Well-Being, Development and Health for Danish Children through a Healthy New Nordic Diet School Meal Study. British Journal of Nutrition, 114(10), 1623–1637. https://doi.org/10.1017/S0007114515003323. This version is free to view and download for private research and study only. Not for re-distribution, re-sale or use in derivative works. © The AuthorsFe and n-3 long-chain PUFA (n-3 LCPUFA) have both been associated with cognition, but evidence remains inconclusive in well-nourished school-aged children. In the Optimal Well-Being, Development and Health for Danish Children through a Healthy New Nordic Diet (OPUS) School Meal Study, the 3-month intervention increased reading performance, inattention, impulsivity and dietary intake of fish and Fe. This study investigated whether the intervention influenced n-3 LCPUFA and Fe status and, if so, explored how these changes correlated with the changes in cognitive performance. The study was a cluster-randomised cross-over trial comparing school meals with packed lunch (control). At baseline and after each treatment, we measured serum ferritin, whole-blood n-3 LCPUFA and Hb, and performance in reading, mathematics and d2-test of attention. Data were analysed using mixed models (n 726) and principal component analysis of test performances (n 644), which showed two main patterns: 'school performance' and 'reading comprehension'. The latter indicated that children with good reading comprehension were also more inattentive and impulsive (i.e. higher d2-test error%). The intervention improved 'school performance' (P = 0.015), 'reading comprehension' (P = 0.043) and EPA + DHA status 0.21 (95 % CI 0.15, 0.27) w/w % (P < 0.001), but it did not affect serum ferritin or Hb. At baseline, having small Fe stores was associated with poorer 'school performance' in girls, but with better 'reading comprehension' in both boys and girls. Both baseline EPA + DHA status and the intervention-induced increase in EPA + DHA status was positively associated with 'school performance', suggesting that n-3 LCPUFA could potentially explain approximately 20 % of the intervention effect. These exploratory associations indicate that increased fish intake might explain some of the increase in reading performance and inattention in the study.Nordea Foundation [02-2010-0389

地震防災計画策定における戦略的計画論の構造と論理

AbstractSufficient summer/autumn vitamin D status appears important to mitigate winter nadirs at northern latitudes. We conducted a cross-sectional study to evaluate autumn vitamin D status and its determinants in 782 Danish 8–11-year-old children (55°N) using baseline data from the Optimal well-being, development and health for Danish children through a healthy New Nordic Diet (OPUS) School Meal Study, a large randomised controlled trial. Blood samples and demographic and behavioural data, including 7-d dietary recordings, objectively measured physical activity, and time spent outdoors during school hours, were collected during September–November. Mean serum 25-hydroxyvitamin D (25(OH)D) was 60·8 (sd 18·7) nmol/l. Serum 25(OH)D levels ≤50 nmol/l were found in 28·4 % of the children and 2·4 % had concentrations &lt;25 nmol/l. Upon multivariate adjustment, increasing age (per year) (β −2·9; 95 % CI −5·1, −0·7 nmol/l), female sex (β −3·3; 95 % CI −5·9, −0·7 nmol/l), sampling in October (β −5·2; 95 % CI −10·1, −0·4 nmol/l) and November (β −13·3; 95 % CI −17·7, −9·1), and non-white ethnicity (β −5·7; 95 % CI −11·1, −0·3 nmol/l) were negatively associated with 25(OH)D (all P&lt;0·05). Likewise, immigrant/descendant background was negatively associated with 25(OH)D, particularly in females (β −16·3; 95 % CI −21·9, −10·7) (P&lt;0·001) (Pinteraction=0·003). Moderate-to-vigorous physical activity (MVPA) (min/d) (β 0·06; 95 % CI 0·01, 0·12), outdoor walking during school hours (min/week) (β 0·4; 95 % CI 0·1, 0·6) and intake of vitamin D-containing supplements ≥3 d/week (β 8·7; 95 % CI 6·4, 11·0) were positively associated with 25(OH)D (all P&lt;0·05). The high proportion of children with vitamin D status below the recommended sufficiency level of 50 nmol/l raises concern as levels expectedly drop further during winter months. Frequent intake of vitamin D supplements was strongly associated with status. MVPA and outdoor activity during school hours should be investigated further in interventions to improve autumn vitamin D status in children at northern latitudes.</jats:p