Goal models have been widely used in Computer Science to represent software requirements, business objectives, and design qualities. Existing goal modeling techniques, however, have shown limitations of expressiveness and/or tractability in coping with complex real-world problems. In this work we exploit advances in automated reasoning technologies, notably SMT solvers, to propose and formalize...

OBJECTIVE The purpose of this study was to determine whether the continuous glucose monitoring system (CGMS) (MiniMed, Sylmar, CA) 1) is sufficiently representative of the overall metabolic control as assessed by HbA(1c), 2) could be used to identify a particular blood glucose threshold value affecting hemoglobin glycation; and 3) is able to show any relationship between particular glycemic pro...

INTRODUCTION To obtain strict glucose regulation, an accurate and feasible bedside glucometry method is essential. We evaluated three different types of point-of-care glucometry in seriously ill intensive care unit (ICU) patients. The study was performed as a single-centre, prospective, observational study in a 12-bed medical ICU of a university hospital. METHODS Patients with an expected ICU...

Today there is a lot of satellite data and products based on it in the public domain. By integrating them with heterogeneous socio-economic information soil maps, model biophysical using modern machine learning methods approaches to geospatial processing, becomes possible create maps land degradation. Considering that classification productivity deforestation are main intellectual components de...

Continuous Glucose Monitors (CGMs) provide tremendous value for diabetes detection and management. However, their high cost regulatory complications have prevented the widespread use of CGMs. On other hand, Heart Rate (HR) monitors are in wide growing popularity. In this work, we investigate connection between HR monitor CGM devices to find a cheaper alternative measuring glucose dysregulation....

OBJECTIVE To compare the clinical accuracy of two different continuous glucose sensors (CGS) during euglycemia and hypoglycemia using continuous glucose-error grid analysis (CG-EGA). RESEARCH DESIGN AND METHODS FreeStyle Navigator (Abbott Laboratories, Alameda, CA) and MiniMed CGMS (Medtronic, Northridge, CA) CGSs were applied to the abdomens of 16 type 1 diabetic subjects (age 42 +/- 3 years...

Until recently, self monitoring of blood glucose (SMBG) was the only tool used for monitoring blood glucose levels. The limitation of SMBG is that it cannot continuously monitor blood glucose levels. In this paper, we present our initial experience with the continuous glucose monitoring system (CGMS) in three different clinical situations. With reduction in cost and further refinement in techno...

PURPOSE To evaluate the effects of aerobic (AER) or aerobic plus resistance exercise (COMB) sessions on glucose levels and glucose variability in patients with type 2 diabetes. Additionally, we assessed conventional and non-conventional methods to analyze glucose variability derived from multiple measurements performed with continuous glucose monitoring system (CGMS). METHODS Fourteen patient...

The classification of genes as belonging or not to Cancer Gene modules (CGMs) can help in shedding light on bio-molecular mechanisms involved in the onset and progression of many types of tumors and is also able to open novel research directions for diagnostic, prognostic and therapeutic studies. In this contribution we propose a novel method suitable for CGMs membership prioritization in Funct...

In recent years, it has become possible to examine an individual's daily glucose profile with a continuous glucose monitoring system (CGMS). The aim of the present study was to use a CGMS to evaluate the difference in glucose fluctuation between diabetic patients on automated peritoneal dialysis (APD) and those on continuous ambulatory peritoneal dialysis (CAPD). We retrospectively studied 20 d...