147 research outputs found

    Coherence in monoidal track categories

    Get PDF
    We introduce homotopical methods based on rewriting on higher-dimensional categories to prove coherence results in categories with an algebraic structure. We express the coherence problem for (symmetric) monoidal categories as an asphericity problem for a track category and we use rewriting methods on polygraphs to solve it. The setting is extended to more general coherence problems, seen as 3-dimensional word problems in a track category, including the case of braided monoidal categories.Comment: 32 page

    Impact of cropping systems on soil properties, nutrient availability and their carbon sequestration potential in Shiwalik hills of Himachal Pradesh

    Get PDF
    The impact of cropping systems on soil properties, nutrient availability and their carbon sequestration potential was studied during the years 2014 and 2015 in Shiwalik hills of Himachal Pradesh. The four commonly occurring cropping systems namely vegetable, fruit, cereal crop and agroforestry were selected. Uncultivated land in the region was considered as control. In total, there were five treatments which were replicated six times under randomized block design. The study indicated that the cropping systems in the Shiwalik hills varied significantly (P=0.05) with respect to their impact on soil properties, nutrient availability and carbon sequestration potential. The pH and EC was in the range of 6.04 to 6.90 and 0.094 to 0.138 dSm-1, respectively and were normal in range. Organic carbon and bulk density in surface soils ranged from 8.06 to 9.70 g kg-1 and 1.19 to 1.34 Mg m-3, respectively. The available NPK was highest (267.21, 19.99, 172.42 kg ha-1) under vegetable based cropping system as compared to other systems. Carbon density in surface soil ranged from 11.33 to 15.39 Mg C ha-1 and total carbon sequestered upto 30cm soil depth ranged from 601.96 to 12646.29 Gg. The study indicated that in Shiwalik hills of Himachal Pradesh, the commonly occurring cropping systems did not influence the soil properties and nutrient availability adversely. Agroforestry based cropping system is having highest potential of sequestering soil carbon in Shiwalik hills. Therefore to adapt to changing climatic situation and to mitigate its effect in the region, agroforestry based cropping system need to be encouraged

    Deconstructing interventions: approaches to studying behavior change techniques across obesity interventions

    Get PDF
    Deconstructing interventions into the specific techniques that are used to change behavior represents a new frontier in behavioral intervention research. This paper considers opportunities and challenges in employing the Behavior Change Techniques Taxonomy (BCTTv1) developed by Michie and colleagues, to code the behavior change techniques (BCTs) across multiple interventions addressing obesity and capture dose received at the technique level. Numerous advantages were recognized for using a shared framework for intervention description. Coding interventions at levels of the social ecological framework beyond the individual level, separate coding for behavior change initiation vs. maintenance, fidelity of BCT delivery, accounting for BCTs mode of delivery, and tailoring BCTs, present both challenges and opportunities. Deconstructing interventions and identifying the dose required to positively impact health-related outcomes could enable important gains in intervention science

    2013 AHA/ACC guideline on lifestyle management to reduce cardiovascular risk: A report of the American College of Cardiology/American Heart Association Task Force on Practice Guidelines

    Get PDF
    A healthy lifestyle is important in the prevention of CVD, the leading cause of morbidity and mortality worldwide. The intent of the Lifestyle Work Group (Work Group) was to evaluate evidence that particular dietary patterns, nutrient intake, and levels and types of physical activity can play a major role in CVD prevention and treatment through effects on modifiable CVD risk factors (ie, blood pressure [BP] and lipids). These ESs and recommendations may be used as appropriate in the management of hypercholesterolemia and hypertension. The target audience of the report is primary care providers

    2013 AHA/ACC guideline on lifestyle management to reduce cardiovascular risk: A report of the American College of Cardiology/American Heart Association Task Force on Practice Guidelines

    Get PDF
    A healthy lifestyle is important in the prevention of CVD, the leading cause of morbidity and mortality worldwide. The intent of the Lifestyle Work Group (Work Group) was to evaluate evidence that particular dietary patterns, nutrient intake, and levels and types of physical activity can play a major role in CVD prevention and treatment through effects on modifiable CVD risk factors (ie, blood pressure [BP] and lipids). These ESs and recommendations may be used as appropriate in the management of hypercholesterolemia and hypertension. The target audience of the report is primary care providers
    • …
    corecore