John Jones

According to our database, John Jones authored at least 21 papers between 1982 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Generative AI: Implications and Applications for Education.

Anastasia Olga Tzirides, Akash Saini, Gabriela C. Zapata, Duane Searsmith, Bill Cope, Mary Kalantzis, Vania Castro, Theodora Kourkoulou, John Jones, Rodrigo Abrantes da Silva, Jen Whiting, Nikoleta Polyxeni Kastania

CoRR, 2023

2018

Developing and Evaluating an Experimental Learning Environment for Cyber Security Education.

Te-Shun Chou, John Jones

Proceedings of the 19th Annual SIG Conference on Information Technology Education, 2018

2017

Examining usability in the communication design of health wearables.

Timothy R. Amidon, Lora Arduser, Catherine Gouge, Les Hutchinson, John Jones, Natasha N. Jones, Krista Kennedy, Tiffany Lipsey, Kristen R. Moore, Maria Novotny, Candice A. Welhausen

Proceedings of the 35th ACM International Conference on the Design of Communication, 2017

2016

A Columnar Transposition cipher in a contemporary setting.

John Jones

IACR Cryptol. ePrint Arch., 2016

Bridging the Complex Contexts of Care in Medical Usability.

Elizabeth L. Angeli, John Jones, Catherine Gouge, Lisa Melonçon, Christina D. Norwood, Mariah Crilley, Kirk St. Amant, Candice A. Welhausen

Proceedings of the 34th ACM International Conference on the Design of Communication, 2016

2014

Motion estimation for nuclear medicine: a probabilistic approach.

Rhodri Smith, Ashrani Aizzuddin Abd. Rahni, John Jones, Fatemeh Tahavori, Kevin Wells

Proceedings of the Medical Imaging 2014: Image Processing, 2014

2011

Language Mediated Visual Search: The Role of Display Preview.

John Jones, Michael P. Kaschak, Walter R. Boot

Proceedings of the 33th Annual Meeting of the Cognitive Science Society, 2011

2007

Adaptive Image Content-Based Exposure Control for Scanning Applications in Radiography.

Helene Schulerud, Jens T. Thielemann, Trine Kirkhus, Kristin Kaspersen, Joar M. Østby, Marinos G. Metaxas, Gary J. Royle, Jennifer Griffiths, Emily Cook, Colin Esbrand, Silvia Pani, Cristian Venanzi, Paul F. van der Stelt, Gang Li, Renato Turchetta, Andrea Fant, Sergios Theodoridis, Harris V. Georgiou, Geoff Hall, Matthew Noy, John Jones, James Leaver, Frixos Triantis, Asimakis Asimidis, Nikos Manthos, Renata Longo, Anna Bergamaschi, Robert D. Speller

Proceedings of the Advanced Concepts for Intelligent Vision Systems, 2007

2000

Virtues and Problems of an Active Help System for UNIX.

Maria Virvou, John Jones, Mark Millington

Artif. Intell. Rev., 2000

An Assumption-based Truth Maintenance System in Active Aid for UNIX Users.

John Jones, Mark Millington, Maria Virvou

Artif. Intell. Rev., 2000

1995

Formal specification using Z - a modelling approach.

Leonardo Bottaci, John Jones

International Thomson, ISBN: 978-1-850-32109-5, 1995

1994

Constructing logic programs : J-M Jacquet (ed) Wiley Chicester, UK (1993) pp 308 £19.95 ISBN 0 471 93789 4.

John Jones

Inf. Softw. Technol., 1994

1992

Applications of Unfolding in Prolog Programming.

John Jones

Proceedings of the Logic Program Synthesis and Transformation, 1992

1986

A Blackboard Shell in Prolog.

John Jones, Mark Millington, Peter Ross

Proceedings of the Advances in Artificial Intelligence II, 1986

1985

The rule of procedure Re in Łukasiewicz's many-valued propositional calculi.

John Jones

Notre Dame J. Formal Log., 1985

Formalisations of Many-Valued Propositional Calculi with Variable Functors.

John Jones

Math. Log. Q., 1985

Simplified Axiom Schemes for Implication and Iterated Implication.

John Jones

Math. Log. Q., 1985

1984

Some Propositional Calculi with Constant and Variable Functors.

John Jones

Math. Log. Q., 1984

1983

Implication and Iterated Implication.

John Jones

Math. Log. Q., 1983

A Formalisation of an <i>M</i>-Valued Propositional Calculus with Variable Functors.

John Jones

Math. Log. Q., 1983

1982

A Formalisation of an ℵ₀-Valued Propositional Calculus with Variable Functors.

John Jones

Math. Log. Q., 1982