Results 51 to 60 of about 5,336,225 (190)
Sensors, 2022 Smartphone-based pedometer sensor telemedicine applications could be useful for measuring disease activity and predicting the risk of developing comorbidities, such as pulmonary or cardiovascular disease, in patients with rheumatoid arthritis (RA), but ...
Stefan R. Wagner +4 more
doaj +1 more source
Logical Step-Indexed Logical Relations [PDF]
, 2010 Appel and McAllester's "step-indexed" logical relations have proven to be a simple and effective technique for reasoning about programs in languages with semantically interesting types, such as general recursive types and general reference types. However,
A. M. Pitts +13 more
core +3 more sources
Cardiovascular Applications of Photon-Counting CT Technology: A Revolutionary New Diagnostic Step
Journal of Cardiovascular Development and Disease, 2023 Photon-counting computed tomography (PCCT) is an emerging technology that can potentially transform clinical CT imaging. After a brief description of the PCCT technology, this review summarizes its main advantages over conventional CT: improved spatial ...
A. Meloni +11 more
semanticscholar +1 more source
Remote Sensing, 2022 Step detection for smartphones plays an important role in the pedestrian dead reckoning (PDR) for indoor positioning. Aiming at the problem of low step detection accuracy of smartphones in complex unconstrained states in PDR, smartphone-based ...
Ying Xu +6 more
doaj +1 more source
How to estimate the number of self-avoiding walks over 10^100? Use random walks [PDF]
, 2013 Counting the number of N-step self-avoiding walks (SAWs) on a lattice is one of the most difficult problems of enumerative combinatorics. Once we give up calculating the exact number of them, however, we have a chance to apply powerful computational ...
Kikuchi, Macoto, Shirai, Nobu C.
core +3 more sources
ParaLabel: Autonomous Parameter Learning for Cross-Domain Step Counting in Wearable Sensors
IEEE Sensors Journal, 2020 Wearable step counters, also referred to as activity trackers, have been developed for health and activity monitoring, as well as for step tracking.
Parastoo Alinia +3 more
semanticscholar +1 more source
A Smartwatch Step Counter for Slow and Intermittent Ambulation
IEEE Access, 2017 The ambulatory monitoring of human movement can provide valuable information regarding the degree of functional ability and general level of activity of individuals. Since walking is a basic everyday movement, automatic step detection or step counting is
Vincenzo Genovese +2 more
doaj +1 more source
Accuracy of “S Health” pedometer application during walking and stair climbing
Baltic Journal of Health and Physical Activity, 2020 Background: The S Health application provides an estimate of the amount of physical activity by measuring the number of steps during activities. The purpose was to assess the accuracy of step-counting with different smartphones using the S Health step ...
MATEJA SINKOVEC, DARJA RUGELJ
doaj +1 more source
Subgraph Counting: Color Coding Beyond Trees
, 2016 The problem of counting occurrences of query graphs in a large data graph, known as subgraph counting, is fundamental to several domains such as genomics and social network analysis. Many important special cases (e.g.
Chakaravarthy, Venkatesan T. +6 more
core +1 more source
Counting a black hole in Lorentzian product triangulations [PDF]
, 2005 We take a step toward a nonperturbative gravitational path integral for black-hole geometries by deriving an expression for the expansion rate of null geodesic congruences in the approach of causal dynamical triangulations.
Ambjørn J +23 more
core +3 more sources