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)

Pre-treatment microbial Prevotella-to-Bacteroides ratio, determines body fat loss success during a 6-month randomized controlled diet intervention

Abstract On the basis of the abundance of specific bacterial genera, the human gut microbiota can be divided into two relatively stable groups that might have a role in personalized nutrition. We studied these simplified enterotypes as prognostic markers for successful body fat loss on two different diets. A total of 62 participants with increased waist circumference were randomly assigned to receive an ad libitum New Nordic Diet (NND) high in fiber/whole grain or an Average Danish Diet for 26 weeks. Participants were grouped into two discrete enterotypes by their relative abundance of Prevotella spp. divided by Bacteroides spp. (P/B ratio) obtained by quantitative PCR analysis. Modifications of dietary effects of pre-treatment P/B group were examined by linear mixed models. Among individuals with high P/B the NND resulted in a 3.15 kg (95% confidence interval (CI): 1.55; 4.76, P&lt;0.001) larger body fat loss compared with ADD, whereas no differences was observed among individuals with low P/B (0.88 kg (95% CI: −0.61; 2.37, P=0.25)). Consequently, a 2.27 kg (95% CI: 0.09; 4.45, P=0.041) difference in responsiveness to the diets were found between the two groups. In summary, subjects with high P/B ratio appeared more susceptible to lose body fat on diets high in fiber and whole grain than subjects with a low P/B ratio.</jats:p

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

Multimorbidity in bipolar disorder and under-treatment of cardiovascular disease: a cross sectional study

Background: Individuals with serious mental disorders experience poor physical health, especially increased rates of cardiometabolic morbidity and premature morbidity. Recent evidence suggests that individuals with schizophrenia have numerous comorbid physical conditions which may be under-recorded and under-treated but to date very few studies have explored this issue for bipolar disorder. Methods:We conducted a cross-sectional analysis of a dataset of 1,751,841 registered patients within 314 primary-care practices in Scotland, U.K. Bipolar disorder was identified using Read Codes recorded within electronic medical records. Data on 32 common chronic physical conditions were also assessed. Potential prescribing inequalities were evaluated by analyzing prescribing data for coronary heart disease (CHD) and hypertension. Results: Compared to controls, individuals with bipolar disorder were significantly less likely to have no recorded physical conditions (OR 0.59, 95% CI 0.54-0.63) and significantly more likely to have one physical condition (OR 1.27, 95% CI 1.16-1.39), two physical conditions (OR 1.45, 95% CI 1.30-1.62) and three or more physical conditions (OR 1.44, 95% CI 1.30-1.64). People with bipolar disorder also had higher rates of thyroid disorders, chronic kidney disease, chronic pain, chronic obstructive airways disease and diabetes but, surprisingly, lower recorded rates of hypertension and atrial fibrillation. People with bipolar disorder and comorbid CHD or hypertension were significantly more likely to be prescribed no antihypertensive or cholesterol-lowering medications compared to controls, and bipolar individuals with CHD or hypertension were significantly less likely to be on 2 or more antihypertensive agents. Conclusions: Individuals with bipolar disorder are similar to individuals with schizophrenia in having a wide range of comorbid and multiple physical health conditions. They are also less likely than controls to have a primary-care record of cardiovascular conditions such as hypertension and atrial fibrillation. Those with a recorded diagnosis of CHD or hypertension were less likely to be treated with cardiovascular medications and were treated less intensively. This study highlights the high physical healthcare needs of people with bipolar disorder, and provides evidence for a systematic under-recognition and under-treatment of cardiovascular disease in this group