William Smith
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2024
CoRR, 2024
2023
Robotics, April, 2023
Int. J. Comput. Vis., 2023
Deterministic stream-sampling for probabilistic programming: semantics and verification.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
2022
Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics, 2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
2021
Syst., 2021
Automation of penicillin adverse drug reaction categorisation and risk stratification with machine learning natural language processing.
Int. J. Medical Informatics, 2021
Proceedings of the 30th Wireless and Optical Communications Conference, 2021
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021
2020
Machine Learning Algorithms for Active Monitoring of High Performance Computing as a Service (HPCaaS) Cloud Environments.
CoRR, 2020
2018
Proceedings of the 1st International Workshop on Internet of People, 2018
2017
The vector rotor as instrument of image segmentation for sensors of automated system of technological control.
Proceedings of the 2017 12th International Scientific and Technical Conference on Computer Sciences and Information Technologies (CSIT), Lviv, Ukraine, September 5-8, 2017, 2017
2016
Semantic catalog of things, services, and data to support a wind data management facility.
Inf. Syst. Frontiers, 2016
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016
Proceedings of the Tenth IEEE International Conference on Semantic Computing, 2016
2015
Proceedings of the International Conference on Biomedical Ontology, 2015
Proceedings of the 2015 International Conference on Collaboration Technologies and Systems, 2015
Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015
2013
Fast analytical models of wheeled locomotion in deformable terrain for mobile robots.
Robotica, 2013
Rigid Body Molecular Dynamics within the Domain Decomposition Framework of DL_POLY_4.
Proceedings of the Parallel Computing Technologies - 12th International Conference, 2013
2012
Terramechanics-based wheel-terrain interaction model and its applications to off-road wheeled mobile robots.
Robotica, 2012
Proceedings of the 3rd International Conference on Computing for Geospatial Research and Application, 2012
2011
Proceedings of the Applications, Tools and Techniques on the Road to Exascale Computing, Proceedings of the conference ParCo 2011, 31 August, 2011
Fast computation of wheel-soil interactions for safe and efficient operation of mobile robots.
Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011
Proceedings of the 2nd International Conference and Exhibition on Computing for Geospatial Research & Application, 2011
2007
Using discrete event simulation to examine marine training at the Marine Corps Communication-Electronics school.
Proceedings of the Winter Simulation Conference, 2007
2004
Palgrave, ISBN: 978-1-4039-0169-9, 2004
2000
A smooth-particle mesh Ewald method for DL_POLY molecular dynamics simulation package on the Fujitsu VPP700.
J. Comput. Chem., 2000
J. Comput. Chem., 2000
A computational steering system for studying microwave interactions with missile bodies.
Proceedings of the 11th IEEE Visualization Conference, 2000
1999
Workload characteristics and effective scheduling in large parallel systems.
Proceedings of the Parallel Computing: Fundamentals & Applications, 1999
Proceedings of the IEEE 1999 Custom Integrated Circuits Conference, 1999
1997
Replicated data and domain decomposition molecular dynamics techniques for simulation of anisotropic potentials.
J. Comput. Chem., 1997
1989
Proceedings of the Second Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'89), 1989