( en | de | ru )

 

Disambiguation of "Matthews, John"

Author of the publication

copydeleteadd this publication to your clipboard
Persuasive Technology in Mobile Applications Promoting Physical Activity: a Systematic Review.

, , , and . J. Medical Syst., 40 (3): 72:1-72:13 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ralph Matthews

James Matthews

Danny Matthews

Kurt Matthews

Hanna Matthews

 

Other publications of authors with the same name

Semantics of the reFLect language., and . PPDP, page 32-42. ACM, (2004)Virtualizing the access network via open APIs., , , , , and . CoNEXT, page 31-42. ACM, (2013)Rate and delay controlled core networks: An experimental demonstration., , , , and . IWQoS, page 1-9. IEEE, (2009)Low latency integrated point-to-multipoint and e-band point-to-point backhaul for mobile small cells., , , , , , and . ICC Workshops, page 592-597. IEEE, (2014)Recursive Function Definition over Coinductive Types.. TPHOLs, volume 1690 of Lecture Notes in Computer Science, page 73-90. Springer, (1999)Inductive Invariants for Nested Recursion., and . TPHOLs, volume 2758 of Lecture Notes in Computer Science, page 253-269. Springer, (2003)Axiomatic Constructor Classes in Isabelle/HOLCF., , and . TPHOLs, volume 3603 of Lecture Notes in Computer Science, page 147-162. Springer, (2005)Transformer-optimized generation, detection, and tracking network for images with drainage pipeline defects., , , , , and . Comput. Aided Civ. Infrastructure Eng., 38 (15): 2109-2127 (October 2023)Free Performance and Fault Tolerance: Using System Idle Capacity Efficiently (Panel)., , , , and . SIGMETRICS, page 60-61. ACM, (1995)A modified approach to data cache management., , , and . MICRO, page 93-103. ACM / IEEE Computer Society, (1995)