Automatic data path abstraction for verification of large scale designs

Author(s):  
V. Paruthi ◽  
N. Mansouri ◽  
R. Vemuri
Keyword(s):  
2016 ◽  
Vol 23 (6) ◽  
pp. 595-604 ◽  
Author(s):  
Jae Hyoung Cho ◽  
Hun-Sung Kim ◽  
Seung Hyun Yoo ◽  
Chang Hee Jung ◽  
Woo Je Lee ◽  
...  

Introduction The aim of this study was to improve the quality of diabetes control and evaluate the efficacy of an Internet-based integrated healthcare system for diabetes management and safety. Methods We conducted a large-scale, multi-centre, randomized clinical trial involving 484 patients. Patients in the intervention group ( n = 244) were treated with the Internet-based system for six months, while the control group ( n = 240) received the usual outpatient management over the same period. HbA1c, blood chemistries, anthropometric parameters, and adverse events were assessed at the beginning of the study, after three months, and the end of the study. Results There were no initial significant differences between the groups with respect to demographics and clinical parameters. Upon six-month follow-up, HbA1c levels were significantly decreased from 7.86 ± 0.69% to 7.55 ± 0.86% within the intervention group ( p < 0.001) compared to 7.81 ± 0.66% to 7.70 ± 0.88% within the control group. Postprandial glucose reduction was predominant. A subgroup with baseline HbA1c higher than 8% and good compliance achieved a reduction of HbA1c by 0.8 ± 1.05%. Glucose control and waist circumference reduction were more effective in females and subjects older than 40 years of age. There were no adverse events associated with the intervention. Discussion This e-healthcare system was effective for glucose control and body composition improvement without associated adverse events in a multi-centre trial. This system may be effective in improving diabetes control in the general population.


1987 ◽  
Vol 33 (S1) ◽  
pp. 66-77 ◽  
Author(s):  
H. Jay Zwally

AbstractMany of the major advances in glaciology during the past 50 years have followed the development and application of new technology for viewing and measuring various characteristics of ice. Microscopes to study ice crystals, radars to probe the internal structure of large ice masses, mass spectrometers to analyze the atomic composition of ice cores, and satellite sensors to measure the global distribution of ice are some of the tools readily adapted by glaciologists. Today, new tools include microcomputers for automatic data logging, large-memory computers for data processing and numerical modeling, sensitive instruments for ice analysis, and satellite sensors for large-scale ice observations. In the future, continued advances in key technologies will help guide the evolution of science questions considered by glaciologists, expanding our view of ice, its fundamental properties, its interactions within the ice–ocean–land–atmosphere system, and its role in the evolution of our global environment.


Author(s):  
John T. Rowell ◽  
Eugene R. Streich

This article describes the development and implementation of a program to train a large-scale, semi-automatic data processing system known as SAGE (Semi-Automatic Ground Environment). Particular attention is given to describing the the air defense system, the methodology used to satisfy the training requirements, the conduct of the training program in operational settings, and results of various studies of training effectiveness. Of significance was the emergence of a unique conceptual formulation of system training principles and of associated simulation techniques.


2011 ◽  
Vol 44 (3) ◽  
pp. 641-646 ◽  
Author(s):  
C. Randau ◽  
U. Garbe ◽  
H.-G. Brokmeier

Modern materials science diffractometers are generally equipped with area detectors that allow a high time efficiency to be achieved by simultaneously collecting the scattering pattern over large angular regions. These area-detector-based instruments, however, produce a huge amount of data, especially if they are located at large-scale neutron or synchrotron sources. The softwareStressTextureCalculator(STeCa) was designed to facilitate fast, easy and automated access to such area-detector data. Its outstanding features are direct calculation of diffraction patterns from different types of area-detector measurements, automatic data treatment and peak fitting using several implemented fit options. The resulting information on intensity, peak shift and broadening can then be exported into several data formats. These in turn can be used as input for a wide range of texture, stress and microstructure analysis software packages without additional prior treatment.


2014 ◽  
Vol 7 (4) ◽  
pp. 37-46 ◽  
Author(s):  
Xiaoyan Wang ◽  
Xu Fan ◽  
Jinchuan Chen ◽  
Xiaoyong Du

Sign in / Sign up

Export Citation Format

Share Document