David Williams

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

Bibliography

2024
User-Centric Deployment of Automated Program Repair at Bloomberg.
Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

2023
Supporting participatory innovation during the COVID-19 pandemic: a comparative study of enterprise social media use.
Inf. Technol. People, 2023

Learning-Based Tone Mapping to Improve 3D SAS ATR.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2023

An Introduction to Tools for Formal Analysis of Cryptographic Protocols.
Proceedings of the Handbook of Formal Analysis and Verification in Cryptography, 2023

2021
Teaching through a Global Pandemic: Educational Landscapes Before, During and After COVID-19.
Proceedings of the 2021 Working Group Reports on Innovation and Technology in Computer Science Education, 2021

Educational Landscapes During and After COVID-19.
Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.2, Virtual Event, Germany, June 26, 2021

Co-Governance in Digital Transformation Initiatives: The Roles of Digital Culture and Employee Experience.
Proceedings of the 54th Hawaii International Conference on System Sciences, 2021

Friend or Foe: An Investigation into Recipient Identification of SMS-Based Phishing.
Proceedings of the Human Aspects of Information Security and Assurance, 2021

2019
Coupling Rendering and Generative Adversarial Networks for Artificial SAS Image Generation.
CoRR, 2019

Utilising Game Design to Create Engaging Education: A framework for Gameful Learning.
Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019

2018
A tool for publishing reproducible algorithms & A reproducible, elegant algorithm for sequential experiments.
Sci. Comput. Program., 2018

Additional Representations for Improving Synthetic Aperture Sonar Classification Using Convolutional Neural Networks.
CoRR, 2018

2016
A conceptual framework linking learning design with learning analytics.
Proceedings of the Sixth International Conference on Learning Analytics & Knowledge, 2016

2015
Nuts and Bolts of a Knowledge Management System.
J. Inf. Knowl. Manag., 2015

2014
Virtual Environments, Online Racial Discrimination, and Adjustment among a Diverse, School-Based Sample of Adolescents.
Int. J. Gaming Comput. Mediat. Simulations, 2014

2013
Simulation and analysis of express run frequency.
Proceedings of the Winter Simulations Conference: Simulation Making Decisions in a Complex World, 2013

Using Nomograms to Reduce Harm from Clinical Calculations.
Proceedings of the IEEE International Conference on Healthcare Informatics, 2013

A predictive analog dead-time control circuit for a buck converter.
Proceedings of the 26th IEEE Canadian Conference on Electrical and Computer Engineering CCECE 2013, 2013

2012
Unified probabilistic framework for simultaneous detection and tracking of multiple objects with application to bio-image sequences.
Proceedings of the 19th IEEE International Conference on Image Processing, 2012

Describing the Software Forge Ecosystem.
Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

2011
Synthesis, characterization, and monkey positron emission tomography (PET) studies of [<sup>18</sup>F]Y1-973, a PET tracer for the neuropeptide Y Y1 receptor.
NeuroImage, 2011

2010
Strategic groupings of US biotechnology initial public offerings and a measure of their market influence.
Technol. Anal. Strateg. Manag., 2010

[F-18]MK-3328: Evaluation of a novel PET tracer for amyloid plaque in rhesus monkey.
NeuroImage, 2010

Characterization of [18F]Y1-973, a novel PET tracer for the neuropeptide Y Y1 receptor (NPY Y1), in rhesus monkey.
NeuroImage, 2010

2009
Performance and Timing Measurements in a Multi-core Beowulf Cluster Compute-Node.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2009

2008
RADIUS Extension for Digest Authentication.
RFC, February, 2008

Volumetric Curved Planar Reformation for Virtual Endoscopy.
IEEE Trans. Vis. Comput. Graph., 2008

Analysis of a Neural Network Training Program Implemented with MPI and RPCs.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2008

CL for Java 2008.
Proceedings of the 1st European Lisp Symposium (ELS'08), 2008

2007
Classification of Unexploded Ordnance Using Incomplete Multisensor Multiresolution Data.
IEEE Trans. Geosci. Remote. Sens., 2007

On Classification with Incomplete Data.
IEEE Trans. Pattern Anal. Mach. Intell., 2007

A Bivariate Gaussian Model for Unexploded Ordnance Classification with EMI Data.
IEEE Geosci. Remote. Sens. Lett., 2007

O-Buffer based IFT watershed from markers for large medical datasets.
Comput. Graph., 2007

Collaborative Design for Strategic UXD Impact and Global Product Value.
Proceedings of the Human-Computer Interaction. Interaction Design and Usability, 2007

2006
Analysis of Cluster Interconnection Network Topologies.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications & Conference on Real-Time Computing Systems and Applications, 2006

Improving software development organizations with autochthony.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Enabling and improving the use of mobile services: the role of user experience standards and interoperability.
Proceedings of the 3rd international conference on Mobile technology, 2006

The right to information: setup of mobile terminals and services.
Proceedings of the 8th Conference on Human-Computer Interaction with Mobile Devices and Services, 2006

Color and the Cone Mosaic.
Proceedings of the 14th Color and Imaging Conference, 2006

2005
Simulating and Compiling Code for the Sequential Quantum Random Access Machine.
Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005

Enabling and improving the use of mobile e-services.
Proceedings of the 7th Conference on Human-Computer Interaction with Mobile Devices and Services, 2005

Cost-effective designs of field service for electronic systems.
Proceedings of the Proceedings 2005 IEEE International Test Conference, 2005

Incomplete-data classification using logistic regression.
Proceedings of the Machine Learning, 2005

2004
On Semi-Supervised Classification.
Proceedings of the Advances in Neural Information Processing Systems 17 [Neural Information Processing Systems, 2004

Mobile Communications Versus Pervasive Communications: The Role of Handhelds.
Proceedings of the Mobile Human-Computer Interaction, 2004

Nanoparticle-Enhanced Proton Computed Tomography: A Monte Carlo Simulation Study.
Proceedings of the 2004 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2004

Converting Texts of Road Accidents into 3D Scenes.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2002
System Manufacturing Test Cost Model.
Proceedings of the Proceedings IEEE International Test Conference 2002, 2002

Test Coverage Models for System Test?
Proceedings of the Proceedings IEEE International Test Conference 2002, 2002

2001
"Here, There, Everywhere": Designing Usable Wireless Services.
Proceedings of the Human-Computer Interaction INTERACT '01: IFIP TC13 International Conference on Human-Computer Interaction, 2001

2000
Reconfigurable mobile communications: compelling needs and technologies to support reconfigurable terminals.
Proceedings of the 11th IEEE International Symposium on Personal, 2000

1999
PC manufacturing test in a high volume environment.
Proceedings of the Proceedings IEEE International Test Conference 1999, 1999

1998
The disc approach to spoken language systems development and evaluation.
Proceedings of the First International Conference on Language Resources and Evaluation, 1998

"Just speak naturally": designing for naturalness in automated spoken dialogues.
Proceedings of the CHI 98 Conference Summary on Human Factors in Computing Systems, 1998

1996
Multimedia, Mental Models and Complex Tasks.
Proceedings of the Conference on Human Factors in Computing Systems: Common Ground, 1996

Matching Media to Goals: An Approach Based on Expressiveness.
Proceedings of the People and Computers XI, Proceedings of HCI '96, 1996

AdjudiPro® 2.0.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1994
The attribute explorer.
Proceedings of the Conference on Human Factors in Computing Systems, 1994

1992
Using Short and Long Term Memory to induce environmental information from simple events.
Robotica, 1992

1991
Probability with Martingales.
Cambridge mathematical textbooks, Cambridge University Press, ISBN: 978-0-521-40605-5, 1991

1990
Deriving complex location data from simple movement sensors.
Robotica, 1990


  Loading...