Physical activity is entering the virtual realm. Zwift an at-home cycling system that enjoying increasing popularity, yet specifics of experience a cyclist have not been studied to date. Building sports systems can make physical accessible more diverse user groups. To understand how and why users engage in cycling, we conducted n=22 interviews with users. Through charting motivations behind usi...

This paper proposes two sampling strategies based on the modified ratio estimator using the population mean of auxiliary variable and population correlation coefficient between the study variable and the auxiliary variable by Singh and Tailor (2003) for estimating the population mean (total) of the study variable in a finite population. A comparative study is made with usual sampling strategies...

We introduce Tinker, a tool for designing and evaluating proof strategies based on proof-strategy graphs, a formalism introduced by the authors in [7]. We represent proof strategies as open-graphs, which are directed graphs with additional input/output edges. Tactics appear as nodes in a graph, and can be ‘piped’ together by adding edges between them. Goals are added to the input edges of such ...

CURRENT SCIENCE, VOL. 90, NO. 10, 25 MAY 2006 1311 livelihoods through marine fishing in the conservation of marine ecosystems, it was also evident that alternatives need to be formulated to minimize the growing pressure on these ecosystems. Providing incentives for prudent extraction of biological resources, sea farming and sea ranching were some of the suggestions made by the speakers. The pa...