Learn More
With incidence rates for diabetes increasing rapidly worldwide, estimates of the magnitude of the impact on population health are required. We aimed to estimate the lifetime risk of diabetes, the number of years lived free of, and the number of years lived with diabetes for the Australian adult population from the year 2000, and to project prevalence of(More)
We report on practical experiences over the last 2.5 years related to the engineering of GPUVerify, a static verification tool for OpenCL and CUDA GPU kernels, plotting the progress of GPUVerify from a prototype to a fully functional and relatively efficient analysis tool. Our hope is that this experience report will serve the verification community by(More)
We present the design and implementation of Symbooglix, a symbolic execution engine for the Boogie intermediate verification language. Symbooglix aims to find bugs in Boogie programs efficiently, providing bug-finding capabilities for any program analysis framework that uses Boogie as a target language. We discuss the technical challenges associated with(More)
INTRODUCTION Cardiovascular diseases are the main cause of morbidity and mortality in Malaysia. There is evidence of high traditional and complementary medicine (TCM) use among population with cardiovascular risk and there have been anecdotal reports about substitution of conventional medicines with TCM. We investigated the prevalence of TCM use, treatment(More)
BACKGROUND Type 2 diabetes (T2DM) is a burdensome condition for individuals to live with and an increasingly costly condition for health services to treat. Cost-effective treatment strategies are required to delay the onset and slow the progression of diabetes related complications. The Diabetes Telephone Coaching Study (DTCS) demonstrated that telephone(More)
  • 1