Chris Smith

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
A mixed finite-element, finite-volume, semi-implicit discretisation for atmospheric dynamics: Spherical geometry.
CoRR, 2024

Therapy Reloaded: Temporal Neural Network-Based Platform for Processing Muscle Activity Measurement in Electromyography-Games.
Proceedings of the 12th IEEE International Conference on Serious Games and Applications for Health, 2024

2022
An Ecosystem for the Large-Scale Reuse of Microservices in a Cloud-Native Context.
IEEE Softw., 2022

Adventures of AI Directors Early in the Development of Nightingale.
Proceedings of the Eighteenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2022

2020
Understanding patterns of care for musculoskeletal patients using routinely collected National Health Service data from general practices in England.
Health Informatics J., 2020

2019
Some considerations on digital health validation.
npj Digit. Medicine, 2019

2017
Lock-step simulation is child's play (experience report).
Proc. ACM Program. Lang., 2017

Introduction to the Special Issue on Decision Analysis and Social Media.
Decis. Anal., 2017

Lock-step simulation is child's play.
CoRR, 2017

2015
An Analysis of Digital Inclusion Projects: Three Crucial Factors and Four Key Components.
J. Inf. Technol. Educ. Res., 2015

2013
Experimental Investigation in the Impact on Security of the Release Order of Defensive Algorithms.
Proceedings of the Security Engineering and Intelligence Informatics, 2013

2012
A 21 CFR Part 11 Compliant Graphically Based Electronic System for Clinical Research Documentation.
J. Medical Syst., 2012

Avoiding the crowds: understanding Tube station congestion patterns from trip data.
Proceedings of the ACM SIGKDD International Workshop on Urban Computing, 2012

2010
Mitigating Provider Uncertainty in Service Provision Contracts.
Proceedings of the Economic Models and Algorithms for Distributed Systems, 2010

2009
The HPC basic profile and SAGA: standardizing compute grid access in the open grid forum.
Concurr. Comput. Pract. Exp., 2009

An Open Grid Services Architecture Primer.
Computer, 2009

An Architecture for Cross-Cloud System Management.
Proceedings of the Contemporary Computing - Second International Conference, 2009

Programming F# - a comprehensive guide for writing simple code to solve complex problems.
O'Reilly, ISBN: 978-0-596-15364-9, 2009

2006
Large-Scale Trends in the Evolution of Gene Structures within 11 Animal Genomes.
PLoS Comput. Biol., 2006

Out of core Polyhedral Union and its Application to Interactive Shadow Rendering.
Proceedings of the EG UK Theory and Practice of Computer Graphics, 2006

Secure and Provable Service Support for Human-Intensive Real-Estate Processes.
Proceedings of the 2006 IEEE International Conference on Services Computing (SCC 2006), 2006

2005
Computing the Boundary of a Class of Labeled-Leaf BSP Solids.
Proceedings of the 17th Canadian Conference on Computational Geometry, 2005

2002
Geometric completion of differential systems using numeric-symbolic continuation.
SIGSAM Bull., 2002

1996
Parameterization Studies for the SAM and HMMER Methods of Hidden Markov Model Generation.
Proceedings of the Fourth International Conference on Intelligent Systems for Molecular Biology, 1996

1989
An Object Oriented Interpretation of LOTOS.
Proceedings of the Formal Description Techniques, 1989


  Loading...