William Smith

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

Bibliography

2023
A Multistage Framework for Autonomous Robotic Mapping with Targeted Metrics.
Robotics, April, 2023

Guest Editorial: Special Issue on Computer Vision from 2D to 3D.
Int. J. Comput. Vis., 2023

Deterministic stream-sampling for probabilistic programming: semantics and verification.
LICS, 2023

2022
Autonomous Robotic Map Refinement for Targeted Resolution and Local Accuracy.
Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics, 2022

Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System.
Syst., 2021

Automation of penicillin adverse drug reaction categorisation and risk stratification with machine learning natural language processing.
Int. J. Medical Informatics, 2021

Building a Mininet-based Fiber Optic Simulator.
Proceedings of the 30th Wireless and Optical Communications Conference, 2021

Transactional Knowledge Graph Generation To Model Adversarial Activities.
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
Geomagnetic Field based Human Search and Following for Autonomous Robots.
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

Identification of program signatures from cloud computing system telemetry data.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

Effective Tooling for Linked Data Publishing in Scientific Research.
Proceedings of the Tenth IEEE International Conference on Semantic Computing, 2016

2015
Medical and transmission vector vocabulary alignment with Schema.org.
Proceedings of the International Conference on Biomedical Ontology, 2015

Deep web scientific sensor measurements usage: A standards-based approach.
Proceedings of the 2015 International Conference on Collaboration Technologies and Systems, 2015

Enhancing the impact of science data toward data discovery and reuse.
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

Linear Cryptanalysis of Simplified AES Under Change of S-Box.
Cryptologia, 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

Real-time 3-D mapping for robotic applications.
Proceedings of the 3rd International Conference on Computing for Geospatial Research and Application, 2012

2011
High-fidelity Real-time Antiship Cruise Missile Modeling on the GPU.
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

3D city site model extraction through point cloud generated from stereo images.
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
Systems Building with Oracle - The Theory and Practice of Database Design
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

SHAKE, rattle, and roll: Efficient constraint algorithms for linked rigid bodies.
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

A field programmable system chip which combines FPGA and ASIC circuitry.
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
Application of computers in development of a total artificial heart.
Proceedings of the Second Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'89), 1989


  Loading...