Examples 1.2 (i) Let 1 be the singleton type world {⋆}, with ⋆ → ⋆ = ⋆×⋆ = ⋆). (ii) Let F (γ1, . . . , γr) be the set of finite or simple types, freely generated via × and → from the basic type names γ1, . . . , γr. Important examples are F (ι) and F (ι, o), where ι and o are thought of as the types of natural numbers and booleans respectively. (iii) Richer languages of types, for example as in...

BACKGROUND Maintainance of a stable basal insulin level is important for glycemic control in treatment of diabetes mellitus. Recently introduced insulin degludec has the longest duration of action among basal insulin formulations. The purpose of this study was to assess changes in quality of life (QOL) associated with switching the basal insulin regimen to degludec in patients with type 1 and t...

AIMS/INTRODUCTION The aim of the present study was to investigate the role of interleukin-19 (IL-19) in angiogenesis of type 2 diabetes mellitus with complications, and to assess the relationship of serum IL-19 and angiopoietin-2 (Ang-2) in type 2 diabetes mellitus. MATERIALS AND METHODS The group studied comprised of 240 patients with type 2 diabetes mellitus (132 men and 108 women), and inc...

six months administration of bromocriptine mesylate significantly decreased glycated hemoglobin (hba1c), fasting blood sugar, postprandial blood sugar, and weight of 22 indian obese patients with type 2 diabetes mellitus with no serious adverse events. therefore, the novel mechanism of action, efficacy and acceptable safety profile makes this drug an attractive option for treatment of obese typ...

type 1 diabetes mellitus (t1dm) is the most chronic metabolic disorder in children. celiac disease or gluten-sensitive enteropathy is a genetic and autoimmune disease which results from immune reaction to gluten. therefore like type 1 diabetes mellitus, celiac disease is triggered by an environmental exposure in genetically susceptible individuals. the aim of this study was to review the articl...

The main purpose of this study is aimed at developing new criteria the iterative nature to test asymptotic and oscillation nonlinear neutral delay differential equations third order with noncanonical operator (a(ι)[(b(ι)x(ι)+p(ι)x(ι−τ)′)′]β)′+∫cdq(ι,μ)xβ(σ(ι,μ))dμ=0, where ι≥ι0 w(ι):=x(ι)+p(ι)x(ι−τ). New results are established by using generalized Riccati technique under assumption ∫ι0ιa−1/β(s...

background the malaysian health and morbidity survey (2006) reported the highest prevalence of type 2 diabetes mellitus (t2dm) among the indian population compared to the malay and chinese populations. many studies have supported the important role of adiponectin in insulin-sensitizing, which is associated with t2dm. these studies have raised a research question whether the variation in prevale...

abstract sleep disturbances have been shown to be associated with diabetes control, but the relation between planned wakings or napping with glycemic indices has not been evaluated yet. this study evaluated the relation between sleep quality, duration, and pattern, including daytime napping of people with diabetes and their glycemic control. a cross-sectional correlation research design was use...