Steve Anton
YOU?
Author Swipe
View article: Effect of a six-week times restricted eating intervention on the body composition in early elderly men with overweight
Effect of a six-week times restricted eating intervention on the body composition in early elderly men with overweight Open
The main aim of the study was to determine the effectiveness of time-restricted eating (TRE) in reducing body fat and lowering body mass index in early elderly men with overweight (65–74 years). An additional goal was to determine the feas…
View article: A web-based intervention to increase weight loss treatment initiation: results of a cluster randomized feasibility and acceptability trial
A web-based intervention to increase weight loss treatment initiation: results of a cluster randomized feasibility and acceptability trial Open
Evidence-based behavioral weight loss treatment is under-utilized. To increase initiation of treatment, we developed a single-session, online, primary care-based intervention (“mobilization tool”). We evaluated the mobilization tool's acce…
View article: Community-Based Activity and Sedentary Patterns Are Associated With Cognitive Performance in Mobility-Limited Older Adults
Community-Based Activity and Sedentary Patterns Are Associated With Cognitive Performance in Mobility-Limited Older Adults Open
Over the last few decades, considerable evidence shows that greater levels of aerobic exercise and cardiovascular fitness benefit cognitive performance. However, the degree to which free-living activity in community settings is related to …
View article: Recent advances in adaptive and active materials 2017
Recent advances in adaptive and active materials 2017 Open
Author(s): Karami, Amin; Anton, Steve; Nouh, Mostafa; Freeman, Eric; Tummala, Yash; Jovanova, Jovana
View article: Planning for change in a formal verification of the raft consensus protocol
Planning for change in a formal verification of the raft consensus protocol Open
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 imple…