Learn More
OBJECTIVE The purpose of this article was to determine the relationships among total body fat, visceral adipose tissue (VAT), fat cell size (FCS), ectopic fat deposition in liver (intrahepatic lipid [IHL]) and muscle (intramyocellular lipid [IMCL]), and insulin sensitivity index (S(i)) in healthy overweight, glucose-tolerant subjects and the effects of(More)
Technological advances in telehealth systems are primarily focused on sensing and monitoring. However, these systems are limited in that they only rely on sensors and medical devices to obtain vital signs. New research and development are urgently needed to offer more effective and meaningful interactions between patients, medical professionals and other(More)
To test the hypothesis that exercise increases central leptin signaling, and thus reduces dietary weight gain in an aged obese model, we assessed the effects of voluntary wheel running (WR) in 23-month-old F344×BN rats fed a 60% high-fat (HF) diet for 3 months. After 2 months on the HF diet, half of the rats were provided access to running wheels for 2(More)
We present the first formal verification of state machine safety for the Raft consensus protocol, a critical component of many distributed systems. We connected our proof to previous work to establish an end-to-end guarantee that our implementation provides linearizable state machine replication. This proof required iteratively discovering and proving 90(More)
  • 1