Simulations suggest walking with reduced propulsive force would not mitigate the energetic consequences of lower tendon stiffness

Aging elicits numerous effects that impact both musculoskeletal structure and walking function. Tendon stiffness (kT) and push-off propulsive force (FP) both impact the metabolic cost of walking and are diminished by age, yet their interaction has not been studied. We combined experimental and computational approaches to investigate whether age-related changes in function (adopting smaller FP) may be adopted to mitigate the metabolic consequences arising from changes in structure (reduced kT). We recruited 12 young adults and asked them to walk on a force-sensing treadmill while prompting them to change FP (±20% & ±40% of typical) using targeted biofeedback. In models driven by experimental data from each of those conditions, we altered the kT of personalized musculoskeletal models across a physiological range (2–8% strain) and simulated individual-muscle metabolic costs for each kT and FP combination. We found that kT and FP independently affect walking metabolic cost, increasing with higher kT or as participants deviated from their typical FP. Our results show no evidence for an interaction between kT and FP in younger adults walking at fixed speeds. We also reveal complex individual muscle responses to the kT and FP landscape. For example, although total metabolic cost increased by 5% on average with combined reductions in kT and FP, the triceps surae muscles experienced a 7% local cost reduction on average. Our simulations suggest that reducing FP during walking would not mitigate the metabolic consequences of lower kT. Wearable devices and rehabilitative strategies can focus on either kT or FP to reduce age-related increases in walking metabolic cost

A Formalization of the Theorem of Existence of First-Order Most General Unifiers

This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS. The distinguishing feature of this formalization is that it remains close to the textbook proofs that are based on proving the correctness of the well-known Robinson's first-order unification algorithm. The formalization was applied inside a PVS development for term rewriting systems that provides a complete formalization of the Knuth-Bendix Critical Pair theorem, among other relevant theorems of the theory of rewriting. In addition, the formalization methodology has been proved of practical use in order to verify the correctness of unification algorithms in the style of the original Robinson's unification algorithm.Comment: In Proceedings LSFA 2011, arXiv:1203.542

Hypothalamic S1p/s1pr1 axis controls energy homeostasis

Sphingosine 1-phosphate receptor 1 (S1PR1) is a G-protein-coupled receptor for sphingosine-1-phosphate (S1P) that has a role in many physiological and pathophysiological processes. Here we show that the S1P/S1PR1 signalling pathway in hypothalamic neurons regulates energy homeostasis in rodents. We demonstrate that S1PR1 protein is highly enriched in hypothalamic POMC neurons of rats. Intracerebroventricular injections of the bioactive lipid, S1P, reduce food consumption and increase rat energy expenditure through persistent activation of STAT3 and the melanocortin system. Similarly, the selective disruption of hypothalamic S1PR1 increases food intake and reduces the respiratory exchange ratio. We further show that STAT3 controls S1PR1 expression in neurons via a positive feedback mechanism. Interestingly, several models of obesity and cancer anorexia display an imbalance of hypothalamic S1P/S1PR1/STAT3 axis, whereas pharmacological intervention ameliorates these phenotypes. Taken together, our data demonstrate that the neuronal S1P/S1PR1/STAT3 signalling axis plays a critical role in the control of energy homeostasis in rats.Sphingosine 1-phosphate receptor 1 (S1PR1) is a G-protein-coupled receptor for sphingosine-1-phosphate (S1P) that has a role in many physiological and pathophysiological processes. Here we show that the S1P/S1PR1 signalling pathway in hypothalamic neurons regulates energy homeostasis in rodents. We demonstrate that S1PR1 protein is highly enriched in hypothalamic POMC neurons of rats. Intracerebroventricular injections of the bioactive lipid, S1P, reduce food consumption and increase rat energy expenditure through persistent activation of STAT3 and the melanocortin system. Similarly, the selective disruption of hypothalamic S1PR1 increases food intake and reduces the respiratory exchange ratio. We further show that STAT3 controls S1PR1 expression in neurons via a positive feedback mechanism. Interestingly, several models of obesity and cancer anorexia display an imbalance of hypothalamic S1P/S1PR1/STAT3 axis, whereas pharmacological intervention ameliorates these phenotypes. Taken together, our data demonstrate that the neuronal S1P/S1PR1/STAT3 signalling axis plays a critical role in the control of energy homeostasis in rats5485

Deficiências de kacronutrientes e de boro em seringueira (Hevea brasiliensis L.)

In order to obtain: a) a clear picture of the deficiencies symptoms of N, P, K, Ca, Mg, S and B; b) the lack of the elements on the dry matter production; c) concentration of the macro and micronutrients on the leaves, stems and roots. Young rubber plants (Hevea brasiliensis L.), were cultivated in nutrients solutions, in which one the following elements were omitted at once: N, P, K, Ca, Mg, S and B. Clear out symptoms were obtained for all macronutrients and boron. The growth rate of the rubber plants were drastically affected by lack of N, K followed by other nutrients. The omission of P from the nutrient solution did not affected the growth of the plants. The levels detected by chemical analysis of the leaves from with symptoms of deficiency and without symptoms of deficiency plants were: N% = 1.94 and 3.40: P% =0.14 and 0.25; K% = 0.79 and 2.22; Ca% = 0.59 and 1.28; Mg% = 0.26 and 0.50; S% = 0.10 and 0.10; B ppm = 31-3 and 171.8.Plantas de seringueira (Hevea brasiliensis L.) foram cultivadas em casa de vegetação, em quartzo moído, irrigado com soluções nutritivas, e submetidas aos seguintes tratamentos: completo, omissão de N, omissão de P, omissão de Ca, omissão de Mg, omissão de S e omissão de B, com o objetivo de: (a) obter sintomas de deficiências de macronutrientes e de boro; (b) analisar o crescimento das plantas através da produção de matéria seca; (c) determinar a concentração de macro e micronutrientes nas folhas, caule e raízes das plantas cultivadas nos diversos tratamentos. Os sintomas visuais de deficiência foram identificados e descritos. As plantas foram coletadas e separadas em raiz, caule e folhas, e determinaram-se os teores de macro e micronutrientes . Os resultados mostraram: - foram identificados sintomas de deficiências para todos os tratamentos com omissão de nutrientes (N, P, K, Ca, Mg, S e B); - a omissão de N, K, Mg ou B da solução nutritiva diminuiu o crescimento das plantas; - as concentrações dos elementos nas folhas de plantas com sintomas e sem sintomas de deficiência foram, respectivamente: N% = 1,94 e 3,40; P% = 0,14 e 0,25; K% = 0,79 e 2,22; Ca% = 0,59e 1,28; Mg% = 0,26 e 0,50; S% = 0,10 e 0,10; Bppm = 31 ,3 e 171,8

Sound and Complete Typing for lambda-mu

In this paper we define intersection and union type assignment for Parigot's calculus lambda-mu. We show that this notion is complete (i.e. closed under subject-expansion), and show also that it is sound (i.e. closed under subject-reduction). This implies that this notion of intersection-union type assignment is suitable to define a semantics.Comment: In Proceedings ITRS 2010, arXiv:1101.410

Deficiências minerais em plantas de bertalha ( Basella alba, L.)

Basella alba is used as a major food on the Amazon region, north Brazil for its high mineral and vitamins content. The purpose of the present work was: a) obtain a clear picture of the macronutrient deficiency; b) growth of the plants in function of (1); c) analyptical levels found in the leaves. Young Basella alba plants (bertalha in Portuguese) were cultivated in pots containing fine pure quartz and irrigated by percolation with different nutrient solutions lacking one of the element at the time. Clear cut symptoms were obtained for all macronutrients. Only the omission of nitrogen and potassium affect the dry matter production of plants. The range in dry matter for unhealthy and healthy leaves were: N% = 1.25--3-55; P% = 0.17-0.36; K% = 0.46-3.55; Ca% = 0,62-1.78; Mg% = 0.37-0.80; S% = 0.19-0.13.Plantas de bertalha (Basella alba, L.) INPA-1 foram cultivadas em casa de vegetação em quartzo moído, irrigadas com soluções nutritivas conforme SARRUGE (1975) e submetidas aos seguintes tratamentos: completo, omissão de N, omissão de P, omissão de K, omissão de Ca, omissão de Mg e omissão de S, com o objetivo de: (a) obter sintomas de deficiência dos ma cronutrientes; (b) analisar o crescimento das plantas através da produção de matéria seca; (c) determinar a concentração dos macronutrientes nas folhas e caules das plantas cultivadas nos diversos tratamentos. Os sintomas visuais de deficiência foram identificados e descritos. As plantas foram coletadas e separadas em raiz, caule, folhas e determinaram-se os teores dos macronutrientes minerais neste material. Os resultados obtidos mostram: - os sintomas visuais de deficiência são bem definidos e de fácil caracterização para todos os nutrientes; - só foi possível detectar efeito na produção de matéria seca das folhas e caules para omissão de nitrogênio e para omissão de potássio nos caules; - os níveis de deficiência e adequação obtidos nas folhas foram respectivamente: N% = 1,25 e 2,63; P% = 0,17 e 0,36; K% = 0,46 e 3,55; Ca% = 0,62e 1,78; Mg% = 0,37 e 0,80; s%= 0,19 e 0,23. - os níveis de deficiência e adequação obtidos nos caules foram respectivamente: N% = 0,67 e 0,98; P% = 0,13 e 0,31; K% = 0,73 e 2,67; Ca% = 0,11 e 0,64; Mg% = 0,08 e 0,20; S% = 0,15 e 0,20

Nutrição mineral de hortaliças XXX: absorção de micronutrientes por quatro cultivares de morangueiro (Fragaria sp.)

The aim of this work was to estimate the differences in nutrients uptake and exportation of micronutrients by the fallowings cultivars: Campinas (IAC-2712), Camanducaia (IAC-3530); Monte Alegre (IAC-3113) and SH-2. The experimental was carried out in a soil - Terra Roxa Extruturada type, "Luiz de Queiroz", serie. The experimental design was that randomized blocks with four replications and analysed together following the design of split-plot. The soil of the plots were revolved to a deep of 12 cm. following application of 10 kg. organic matter/m². The fertilizers were applied in the groove and in the same amount for all cultivars: Ammonium sulfate (20% N); triple superpohsphate (20% P2O5); potassium chloride (60% K2O). Thirty days of ter planting, 10 g./plant of ammonium sulfate was applied. After 76 days from planting, the first sample was taken. Other samples were taken in equal intervals of 20 days, up to 216 days. The samples were devided into stems, leaves and fruits. Chemical analysis were sun for B, Cu, Fe, Mn and Zn. The followings conclusions could be drawn. The were differences our micronutrients content in stems and leaves among the cultivares (B, Cu, Fe, Zn) and in the fruits for B, Cu and Fe.Efetuou-se um estudo para avaliar a absorção e a extração de B, Cu, Fe, Mn e Zn nos cultivares Campinas (IAC-2712), Camanducaia (IAC-3530), Monte Alegre (IAC-3113), SH-2 em condições de Campo. O ensaio foi instalado em um solo pertencente ao grande grupo Terra Roxa Extruturada, na série "Luiz de Queiroz" em Piracicaba, SP. A adubação empregada foi uniforme para todos os cultivares e constou em 10 g/m linear de sulfato de amônio, superfosfato triplo e cloreto de ptoássio. Trinta dias após o transplante foram aplicados 10 g de sulfato de amônio por planta. As plantas foram amostradas aos 16 dias após o transplante e as demais amostragens feitas em intervalos regalares de vinte dias até aos 216 dias. As plantas foram divididas em caules (pecíolo + coroa), folhas e frutos e analisadas para B, Cu, Fe, Mn e Zn. O delineamento experimental foi de blocos inteiramente casualizados, com quatro repetições. Os cultivares diferem na absorção de Cu, Fe, Mm e Zn para caules, folhas e em B, Cu e Fe para os frutos. Os cultivares exportam em quantidades diferentes os micronutrientes, obedecendo a seguinte ordem decrescente: F, Zn, B, Mn e Cu