David Miller

According to our database1, David Miller authored at least 50 papers between 1977 and 2019.

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



In proceedings 
PhD thesis 


On csauthors.net:


Attacks only Get Better: How to Break FF3 on Large Domains.
Proceedings of the Advances in Cryptology - EUROCRYPT 2019, 2019

Constrained maximum entropy models to select genotype interactions associated with censored failure times.
J. Bioinformatics and Computational Biology, 2018

Parameterization of Fuel-Optimal Synchronous Approach Trajectories to Tumbling Targets.
Front. Robotics and AI, 2018

The eXpress data path: fast programmable packet processing in the operating system kernel.
Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies, 2018

The National Cancer Institute (NCI) Informatics Technology for Cancer Research Program (ITCR).
Proceedings of the Summit on Clinical Research Informatics, 2017

Visualisation techniques to support public interpretation of future climate change and land-use choices: a case study from N-E Scotland.
Int. J. Digital Earth, 2016

Data management and simulation support accelerating carbon capture through computing.
Proceedings of the 12th IEEE International Conference on e-Science, 2016

AgentSmith: Exploring Agentic Systems.
Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016

Who, when, and why: a machine learning approach to prioritizing students at risk of not graduating high school on time.
Proceedings of the Fifth International Conference on Learning Analytics And Knowledge, 2015

A Machine Learning Framework to Identify Students at Risk of Adverse Academic Outcomes.
Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2015

Unsupervised Phrasal Near-Synonym Generation from Text Corpora.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Learning from quizzes using intelligent learning companions.
Proceedings of the 22nd International World Wide Web Conference, 2013

Developing a Novel Approach for 3D Visualisation of Tarland.
Proceedings of the 17th International Conference on Information Visualisation, 2013

Reflectively Prototyping a Tool for Exchanging Ideas.
Proceedings of the 10th International Conference on Computer-Supported Collaborative Learning, 2013

Clojure for Number Crunching on Multicore Machines.
Computing in Science and Engineering, 2012

TanDEM-X mission status.
Proceedings of the 2011 IEEE International Geoscience and Remote Sensing Symposium, 2011

A Business-focused IT Service Model for Cloud.
Proceedings of the CLOSER 2011, 2011

The TerraSAR-X Satellite.
IEEE Trans. Geoscience and Remote Sensing, 2010

Software Engineering Systems as Services using a Business-focused Service Framework.
Proceedings of the ENASE 2010, 2010

Embodying Emotions: What Emotion Theorists Can Learn from Simulations of Emotions.
Minds and Machines, 2008

Information resources used by children at an English secondary school: Perceived and actual levels of usefulness.
Journal of Documentation, 2007

Bilateral spatial filtering: Refining methods for localizing brain activation in the presence of parenchymal abnormalities.
NeuroImage, 2006

Children's use of the internet for information-seeking: What strategies do they use, and what factors affect their performance?
Journal of Documentation, 2006

Urban green space: the incorporation of environmental values in a decision support system.
ITcon, 2006

Distributed Task Selection in Multi-agent Based Swarms Using Heuristic Strategies.
Proceedings of the Swarm Robotics, Second International Workshop, SAB 2006, Rome, Italy, 2006

Web search strategies and human individual differences: A combined analysis.
JASIST, 2005

Web search strategies and human individual differences: Cognitive and demographic factors, Internet attitudes, and approaches.
JASIST, 2005

A New Generation Gap? Some Thoughts on the Consequences of Early ICT First Contact.
IJICTE, 2005

Using the Internet in teaching: the views of practitioners (A survey of the views of secondary school teachers in Sheffield, UK).
BJET, 2005

Visualization of the Interaction of Multiple Sclerosis Lesions with Adjacent White Matter Fibers Using Streamtubes and Streamsurfaces.
Proceedings of the 15th IEEE Visualization 2004 Conference, 2004

The MMSR bilingual and crosschannel corpora for speaker recognition research and evaluation.
Proceedings of the ODYSSEY 2004 - The Speaker and Language Recognition Workshop, Toledo, Spain, May 31, 2004

Conversational Telephone Speech Corpus Collection for the NIST Speaker Recognition Evaluation 2004.
Proceedings of the Fourth International Conference on Language Resources and Evaluation, 2004

The Fisher Corpus: a Resource for the Next Generations of Speech-to-Text.
Proceedings of the Fourth International Conference on Language Resources and Evaluation, 2004

The Mixer Corpus of Multilingual, Multichannel Speaker Recognition Data.
Proceedings of the Fourth International Conference on Language Resources and Evaluation, 2004

Educational Informatics: An Emerging Research Agenda.
J. Inf. Sci., 2003

Web search strategies and approaches to studying.
JASIST, 2003

Shared resources for robust speech-to-text technology.
Proceedings of the 8th European Conference on Speech Communication and Technology, EUROSPEECH 2003, 2003

From switchboard to fisher: telephone collection protocols, their uses and yields.
Proceedings of the 8th European Conference on Speech Communication and Technology, EUROSPEECH 2003, 2003

Web search strategies and retrieval effectiveness: an empirical study.
Journal of Documentation, 2002

A framework for evaluating computer supported collaborative learning.
Educational Technology & Society, 2002

Fluent Machines' EliMT System.
Proceedings of the Machine Translation: From Research to Real Users, 2002

The role of individual differences in Internet searching: An empirical study.
JASIST, 2001

High Security Modules - Still Needed Despite Advances in Platforms.
Inf. Sec. Techn. Report, 2000

Information skills, searching behaviour and cognitive styles for student-centred learning: a computer-assisted learning approach.
J. Inf. Sci., 1996

The effects of a short Logo course on primary children's attitudes to computers.
BJET, 1994

Trying to Hit a Moving Target: Report on Proposed Joint ACM/DPMA/AIS/ICIS Undergraduate IS Curriculum Update.
Proceedings of the Fifteenth International Conference on Information Systems, 1994

Entropy-Constrained Product Code Vector Quantization with Application to Image Coding.
Proceedings of the Proceedings 1994 International Conference on Image Processing, 1994

A spatial representation system for mobile robots.
Proceedings of the 1985 IEEE International Conference on Robotics and Automation, 1985

Towards a laboratory instrument for motion analysis.
Proceedings of the 8th Annual Conference on Computer Graphics and Interactive Techniques, 1981

Two comments on Lemmon's Beginning logic.
Notre Dame Journal of Formal Logic, 1977