Accurate Step Counting

QR Code

Accurate Step Counting

Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevance to studying both the space and time properties of programs because these can be estimated by counting transitions of the abst...

Full description

Bibliographic Details
Main Authors:	Hope, Catherine, Hutton, Graham
Format:	Conference or Workshop Item
Published:	2005
Online Access:	https://eprints.nottingham.ac.uk/247/

Similar Items

Compact fusion
by: Hope, Catherine, et al.
Published: (2006)

Accurate calorie counting algorithm for carefuly plated dishes
by: Woon, Zheng Li
Published: (2020)

A step counting hill climbing algorithm
by: Bykov, Yuri, et al.
Published: (2016)

In-patient step count predicts re-hospitalization after cardiac surgery
by: Takahashi, T., et al.
Published: (2015)

Solving ump examination timetabling problem using dynamic exploration step counting hill climbing algorithm
by: Chang, Ling Shing
Published: (2022)

GoMap: combining step counting technique with augmented reality for a mobile-based indoor map locator
by: Sharin, Nursyahirah Atikah, et al.
Published: (2022)

Investigation of Brake Pad Wear Effect due to Temperature Generation Influenced by Brake Stepping Count on Different Road Terrains
by: Rusli, Majuma, et al.
Published: (2023)

The potential individual- and population-level benefits of encouraging drinkers to count their drinks
by: Drane, Catherine, et al.
Published: (2019)

Pedestrian Counting System
by: Sim, Andy
Published: (2016)

Accurate costing of mining equipment
by: Burt, C., et al.
Published: (2018)

Counting on number: effects of number information on grammatical processing of mass and count nouns
by: Fieder, N., et al.
Published: (2017)

Effect of different milking methods on total plate count and somatic cell count
by: Yazed, Nurul Asyikin
Published: (2016)

The impact of step count reduction and remobilisation on body composition, blood glucose disposal and muscle protein turnover in healthy, active young and older volunteers
by: Creedon, Lee
Published: (2025)

Report on BCTCS 2005
by: Hutton, Graham
Published: (2005)

Between functions and relations in calculating programs
by: Hutton, Graham
Published: (1992)

The Countdown Problem
by: Hutton, Graham
Published: (2002)

Fold and Unfold for Program Semantics
by: Hutton, Graham
Published: (1998)

The Ruby Interpreter
by: Hutton, Graham
Published: (1993)

Functional Programming With Relations
by: Hutton, Graham
Published: (1991)

A Relational Derivation of a Functional Program
by: Hutton, Graham
Published: (1992)

Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
by: Hutton, Graham
Published: (1994)

Higher-Order Functions for Parsing
by: Hutton, Graham
Published: (1992)

A Tutorial on the Universality and Expressiveness of Fold
by: Hutton, Graham
Published: (1999)

Count your blessings as Malaysians
by: Abdul Razak, Dzulkifli
Published: (2019)

Beyond counting climate consensus
by: Pearce, Warren, et al.
Published: (2017)

What counts as science education?
by: Rennie, Leonie
Published: (2007)

Count Response Regression Models
by: Hilbe, J., et al.
Published: (2011)

Making Every Hectare Count
by: New Straits Times,
Published: (2008)

Passenger Counting With Face Detection
by: Teoh, Han Wei
Published: (2020)

The complexity of calculating an accurate carbonate budget
by: Dee, S., et al.
Published: (2020)

Accurate numerical simulation of flow fields
by: Mawlood, Mahmood K., et al.

Experts measuring temperature by hand not accurate
by: Tang, Ashley
Published: (2020)

Disseminate accurate information, youth told
by: Arshad, Nur Afiradina, et al.
Published: (2022)

C++ programming: step by step
Published: (2011)

Subpixel disparity for accurate stereoscopic depth and velocity
by: Ab-Rahman, A. A. H., et al.
Published: (2005)

Error propagation and accurate calibration for camera model
by: Guendouz,, B., et al.
Published: (2006)

Accurate water maser positions from HOPS
by: Walsh, Andrew, et al.
Published: (2014)

A Gyroscope Based Accurate Pedometer Algorithm
by: Jayalath, S., et al.
Published: (2013)

On the accurate numerical evaluation of geodetic convolution integrals
by: Hirt, Christian, et al.
Published: (2011)

Alcohol consumption in Australia: revealing an accurate picture
by: Evans, Michaela
Published: (2010)