نتایج جستجو برای: incremental
تعداد نتایج: 40521 فیلتر نتایج به سال:
Introduction : Oxidative stress is considered as one of the factors that can damage tissues . The aim of this study was to investigate the effect of short term dark chocolate supplementation pre-incremental exercise on vascular lipid peroxidation in active young girls. Methods : This is a semi-experimental study. 16 active girls in two groups of experimental (dark chocolate supplementation)...
Aims: The aim of this study examined the acute effects of exhaustive incremental exercise on serum leptin, glucose and lactate in one session in trained men 18-26 years old. Materials and Methods: Thirty students who had 18-26 years old, body fat between 15-25 percent and VO2max between 35-45 ml/kg/min, simple randomly selected through 200 physical education students and they were divided into...
Abstract Rewriting Modulo SMT combines two powerful automated deduction techniques (1) rewriting and (2) SMT-solving. enables the specification of behavior systems using rules, while theories specify system properties. is enabled by combining existing tools, such as Maude solvers. Search algorithms used for carrying out SMT, however, cannot exploit incremental solving features available in solv...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید