We consider modern computer narratives as deterministic finite automata with identified initial, winning, and losing states. We discuss various interesting temporal properties in the context of narratives, which range from simple reachability to more complex concepts such as the degree of “pointlessness”. These temporal properties can be useful in model checking narratives, but first an appropr...

OBJECTIVES This study was performed to evaluate patterns of failure time after insertion, failure rate according to loading time after insertion, and the patterns of failure after loading. MATERIALS AND METHODS A total of 331 mini-implants were classified into the non-failure group (NFG) and failure group (FG), which was divided into failed group before loading (FGB) and failed group after lo...

BACKGROUND To provide an initial evaluation of insulin sensitivity and secretion indices derived from a standard liquid meal tolerance test protocol in subjects with normal (NFG), impaired fasting glucose (IFG) or type 2 diabetes mellitus. METHODS Areas under the curve (AUC) for glucose, insulin and C-peptide from pre-meal to 120 min after consumption of a liquid meal were calculated, as were...

In geophysics, whether the structure is close to surface or deeper, information about depth and location of can be obtained by using magnetic data. The importance this study an example application Normalized Full Gradient (NFG) method archaeological site find structures that cause anomalies collected at site. One parameters affecting shape size anomaly source causing anomaly. For reason, it sig...

BACKGROUND Previous epidemiologic studies have shown that elevated resting heart rate (HR) is associated with higher cardiovascular disease (CVD) morbidity and mortality. Although the relationship between elevated HR and CVD is well established, the association between resting HR and diabetes has been relatively understudied, particularly in non-Western populations. OBJECTIVES We confirmed th...

Introduction: Ramadhan fasting increases mental and physical health. The study aims to evaluate the effect of on fatigue, sleepiness, depression anxiety mood, quality life (QoL), Brain-derived neurotrophic factor (BDNF) serum level.
 Methods: Twenty participants are included in group (FG), nineteen non-fasting (NFG). Fatigue severity scales (FSS), fatigue VAS, Epworth sleepiness scale (ESS...

Advanced glycation end products (AGEs) may contribute to the development of type 2 diabetes and related complications, whereas their role in the early deterioration of glycaemia is unknown. While previous studies used antibody-based methods to quantify AGEs, data from tandem mass spectrometry coupled liquid chromatography (LC-MS/MS)-based measurements are limited to patients with known diabetes...

PURPOSE The triglycerides to high-density lipoprotein cholesterol (TG/HDL-C) ratio could be related to insulin resistance (IR). We previously reported that Korean women with polycystic ovary syndrome (PCOS) had a high prevalence of impaired glucose tolerance (IGT). We aimed to determine the cutoff value of the TG/HDL-C ratio for predicting IR and to examine whether the TG/HDL-C ratio is useful ...

OBJECTIVE To determine whether the hyperbolic relationship between insulin sensitivity and the acute insulin response to glucose (AIRg) exists in subjects with impaired fasting glucose (IFG) or decreased glucose tolerance. RESEARCH DESIGN AND METHODS We studied 219 healthy subjects (88 male and 131 female subjects, aged 26-75 years) with fasting plasma glucose (FPG) <6.11 mmol/l. Subjects und...

OBJECTIVE Previous studies have demonstrated associations between higher normal fasting plasma glucose levels (NFG) (<6.1 mmol/L), type 2 diabetes (T2D) and hippocampal atrophy and other cerebral abnormalities. Little is known about the association between plasma glucose and the striatum despite sensorimotor deficits being implicated in T2D. This study aimed to investigate the relationship betw...