David Smith

According to our database1, David Smith authored at least 60 papers between 1978 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.


IEEE Fellow

IEEE Fellow 1986, "For contributions to the analysis and design of power distribution systems and equipment.".



In proceedings 
PhD thesis 


On csauthors.net:


Challenges for In-Flight Calibration of Thermal Infrared Instruments for Earth Observation.
Remote. Sens., 2020

An evaluation of behaviour change techniques in health and lifestyle mobile applications.
Health Informatics J., 2020

The Value of Collaboration in Convex Machine Learning with Differential Privacy.
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Finite State Machine Pattern-Root Arabic Morphological Generator, Analyzer and Diacritizer.
Proceedings of The 12th Language Resources and Evaluation Conference, 2020

Efficient Static Analysis of Marlowe Contracts.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Influence of Electric Taste, Smell, Color, and Thermal Sensory Modalities on the Liking and Mediated Emotions of Virtual Flavor Perception.
Proceedings of the ICMI '20: International Conference on Multimodal Interaction, 2020

Marlowe: Implementing and Analysing Financial Contracts on Blockchain.
Proceedings of the Financial Cryptography and Data Security, 2020

TIMTAM: Tunnel-Image Texturally Accorded Mosaic for Location Refinement of Underground Vehicles With a Single Camera.
IEEE Robotics Autom. Lett., 2019

Report on the First HIPstIR Workshop on the Future of Information Retrieval.
CoRR, 2019

Prosocial video game as an intimate partner violence prevention tool among youth: A randomised controlled trial.
Comput. Hum. Behav., 2019

LookUP: Vision-Only Real-Time Precise Underground Localisation for Autonomous Mining Vehicles.
Proceedings of the International Conference on Robotics and Automation, 2019

FACSIMILE: Fast and Accurate Scans From an Image in Less Than a Second.
Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019

CTCmodeler: An Agent-Based Framework to Simulate Pathogen Transmission Along an Inter-individual Contact Network in a Hospital.
Proceedings of the Computational Science - ICCS 2019, 2019

Integrating Academic and Everyday Learning Through Technology: Issues and Challenges for Researchers, Policy Makers and Practitioners.
Technol. Knowl. Learn., 2018

Semi-Supervised SLAM: Leveraging Low-Cost Sensors on Underground Autonomous Vehicles for Position Tracking.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Multi-Input Attention for Unsupervised OCR Correction.
Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, 2018

None in Three: The Design and Development of a Low-Cost Violence Prevention Game for the Caribbean Region.
Proceedings of the Serious Games - Third Joint International Conference, 2017

Learning from student experiences for online assessment tasks.
Inf. Res., 2015

15.8 90dB-SFDR 14b 500MS/S BiCMOS switched-current pipelined ADC.
Proceedings of the 2015 IEEE International Solid-State Circuits Conference, 2015

A SUMO based evaluation of road incidents' impact on traffic congestion level in smart cities.
Proceedings of the IEEE 39th Conference on Local Computer Networks, Edmonton, AB, Canada, 8-11 September, 2014, 2014

Comparison of different combining methods for space-diversity FSO systems.
Proceedings of the 9th International Symposium on Communication Systems, 2014

Impact weighted uptime in hierarchical LTE networks: Application and measurement.
Proceedings of the 37th Annual IEEE Conference on Local Computer Networks, 2012

Matrix relevance LVQ in steroid metabolomics based classification of adrenal tumors.
Proceedings of the 20th European Symposium on Artificial Neural Networks, 2012

Performance analysis of VoIP codecs over multi-rate EDCA.
Proceedings of the 2012 IEEE Consumer Communications and Networking Conference (CCNC), 2012

A 12b 1GS/s SiGe BiCMOS two-way time-interleaved pipeline ADC.
Proceedings of the IEEE International Solid-State Circuits Conference, 2011

A 16-Bit 100 to 160 MS/s SiGe BiCMOS Pipelined ADC With 100 dBFS SFDR.
IEEE J. Solid State Circuits, 2010

Modeling and simulation of cellular transport mechanism as a game.
Proceedings of the SummerSim '10, 2010

A 16b 100-to-160MS/s SiGe BiCMOS pipelined ADC with 100dBFS SFDR.
Proceedings of the IEEE International Solid-State Circuits Conference, 2010

Fundamental issues in antenna design for microwave medical imaging applications.
Proceedings of the 7th International Symposium on Communication Systems Networks and Digital Signal Processing, 2010

Multimedia Archiving of Technological Change in a Traditional Creative Industry: A Case Study of the Dhokra Artisans of Bankura, West Bengal.
Proceedings of the Cognition, Communication and Interaction, 2008

HotSpots: Visualizing Edits to a Text.
Proceedings of the 2008 Conference on Empirical Methods in Natural Language Processing, 2008

Molecular gene expression signature patterns for gastric cancer diagnosis.
Comput. Biol. Chem., 2007

Smart clothes and wearable technology.
AI Soc., 2007

Networking real-world knowledge.
AI Soc., 2007

Shrekology, the history of an Ogre.
Proceedings of the 34. International Conference on Computer Graphics and Interactive Techniques, 2007

Game Architecture and Virtual Teamwork.
Proceedings of the Virtuality and Virtualization, 2007

Symmetric Atlasing and Model Based Segmentation: An Application to the Hippocampus in Older Adults.
Proceedings of the Medical Image Computing and Computer-Assisted Intervention, 2006

A Design for Software to Assist in the Rehabilitation of Stroke Patients.
Proceedings of the 2006 International Conference on Bioinformatics & Computational Biology, 2006

Systems engineering methodologies, tacit knowledge and communities of practice.
AI Soc., 2005

Anatomy of a Portable Digital Mediaprocessor.
IEEE Micro, 2004

A Smorgasbord of Features for Statistical Machine Translation.
Proceedings of the Human Language Technology Conference of the North American Chapter of the Association for Computational Linguistics, 2004

Convergence, the university of the future and the future of the university.
AI Soc., 2003

Multimedia Archiving of Technological Change in a Tradidional Creative Industry: A Case Study of the Dhokra Artisans of Bankura, West Bengal.
AI Soc., 2002

Digital gazetteers: integration into distributed digital library services.
Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, 2002

The Edinburgh Mouse Atlas: Using the CD.
Briefings Bioinform., 2001

Neuro-fuzzy closed-loop control of depth of anaesthesia.
Artif. Intell. Medicine, 2001

e-Learning Innovation through the Implementation of an Internet Supported Learning Environment.
J. Educ. Technol. Soc., 2000

Risk Management: E-Business Strategy Risk Management.
Comput. Law Secur. Rev., 2000

Textual Variation and Version Control in the TEI.
Comput. Humanit., 1999

Aligning knowledge management research and practice (panel session).
Proceedings of the Twentieth International Conference on Information Systems, 1999

The role for technology in knowledge management (panel).
Proceedings of GROUP'97, 1997

Computers, Kids, and Creativity: What Does the Future Hold? (Panel).
Proceedings of the Human Factors in Computing Systems, 1997

Meanwhile, Out in the Real World: Developing a Commercial Human-centred Software Application.
Proceedings of the Human Machine Symbiosis, 1996

Project CALC: Calculus as a Laboratory Course.
Proceedings of the Computer Assisted Learning, 4th International Conference, 1992

Adobe illustrator 3 complete.
Addison-Wesley, ISBN: 978-0-201-57756-3, 1991

AI and the Human Eprom.
AI Soc., 1987

Edge detection in tactile images.
Proceedings of the 1987 IEEE International Conference on Robotics and Automation, Raleigh, North Carolina, USA, March 31, 1987

HAPPI: a chip compiler based on double-level-metal technology.
Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986

The MC6809 In DMA Mode on the IEEE-488 Bus.
IEEE Micro, 1981

Reliable audiocassette data interface.
Microprocess., 1978