David Cooper

According to our database1, David Cooper authored at least 42 papers between 1979 and 2018.

Collaborative distances:


IEEE Fellow

IEEE Fellow 2000, "For the introduction of fundamental concepts and methodology in the Bayesian approach to computer vision and on unsupervised statistical machine learning.".



In proceedings 
PhD thesis 


On csauthors.net:


A wavelet gradient sparsity based algorithm for reconstruction of reduced-view tomography datasets obtained with a monochromatic synchrotron-based X-ray source.
Comp. Med. Imag. and Graph., 2018

Multiple regularization based MRI reconstruction.
Signal Processing, 2014

Improved Compressed Sensing-Based Algorithm for Sparse-View CT Image Reconstruction.
Comp. Math. Methods in Medicine, 2013

Micro-CT image reconstruction based on alternating direction augmented Lagrangian method and total variation.
Comp. Med. Imag. and Graph., 2013

Polymorphous Silicon: A Promising Material for Thin-Film Transistors for Low-Cost and High-Performance Active-Matrix OLED Displays.
IEICE Transactions, 2010

Multi-user diversity in a TDMA cellular system.
Proceedings of the IEEE 21st International Symposium on Personal, 2010

Forensic Data Reocvery on the 8GB Fifth Generation iPod Nano.
Proceedings of the 2010 International Conference on Security & Management, 2010

Intrinsic Contact Geometry of Protein Dynamics.
Proceedings of the International Conference on Bioinformatics & Computational Biology, 2010

Thomas Gray, Samuel Taylor Coleridge and geographical information systems: A literary GIS of two Lake District tours.
IJHAC, 2009

Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile.
RFC, May, 2008

The certification of the Mondex electronic purse to ITSEC Level E6.
Formal Asp. Comput., 2008

Grammatical Inference Techniques and Their Application in Ground Investigation.
Comp.-Aided Civil and Infrastruct. Engineering, 2008

Server-Based Certificate Validation Protocol (SCVP).
RFC, December, 2007

E-Publishing Portal: A New Approach to Faculty Outreach.
Proceedings of the Digital Spectrum: Integrating Technology and Culture - Proceedings of the 10th International Conference on Electronic Publishing held in Bansko, 2006

SafSec: Commonalities Between Safety and Security Assurance.
Proceedings of the Constituents of Modern System-safety Thinking, 2005

A reduced complexity list single-wrong-turn (SWT) Viterbi decoding algorithm.
Proceedings of the IEEE 15th International Symposium on Personal, 2004

Playing on a holo-stage: towards the interaction between real and virtual performers.
Digital Creativity, 2000

Perceptually Smooth Timbral Guides by State-Space Analysis of Phase-Vocoder Parameters.
Computer Music Journal, 2000

Formal Methods for Industrial Products.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Segregation with Communication.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Similarity based linear n⩾5-point structure and pose estimation from it single image.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2000

Using Geometric Properties of Correspondence Vectors for the Registration of Free-Form Shapes.
Proceedings of the 15th International Conference on Pattern Recognition, 2000

Trans-Domain Mapping: A Real-time Interactive System for Motion Acquisition and Musical Mapping.
Proceedings of the 2000 International Computer Music Conference, 2000

President's information technology advisory committee (PITAC): subcommittee on transforming the government.
Proceedings of the 2000 National Conference on Digital Government Research, 2000

Embracing the Composer: Optical Recognition of Handwritten Manuscripts.
Proceedings of the 1999 International Computer Music Conference, 1999

More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement.
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Studio Report of the University of Leeds Department of Music.
Proceedings of the 1998 International Computer Music Conference, 1998

Leeds University Electronic Studio: Studio Report.
Proceedings of the 1996 International Computer Music Conference, 1996

Handwritten Music Manuscript Recognition.
Proceedings of the 1996 International Computer Music Conference, 1996

Z in practice.
BCS practitioner series, Prentice Hall, ISBN: 978-0-13-124934-9, 1995

Reading the fine print: what benchmarks don't tell you.
Proceedings of the 21th Annual Conference on Computer Graphics and Interactive Techniques, 1994

Has classical music a fractal nature? - A reanalysis.
Computers and the Humanities, 1993

A survey of object orientation in Z.
Software Engineering Journal, 1992

A Demonstrably Correct Compiler.
Formal Asp. Comput., 1991

The Use of Z.
Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991

Educating Management in Z.
Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989, 1989

The use of binary search trees in external distribution sorting.
Inf. Process. Manage., 1984

Text compression using variable-to fixed-length encodings.
JASIS, 1982

Compression of continuous prose texts using variety generation.
JASIS, 1980

Sorting of textual data bases: A variety generation approach to distribution sorting.
Inf. Process. Manage., 1980

Document Retrieval Experiments using Indexing Vocabularies of varying Size. I. Variety Generation Symbols Assigned to the Fronts of Index Terms.
Journal of Documentation, 1979

Compression of Wiswesser Line Notations Using Variety Generation.
Journal of Chemical Information and Computer Sciences, 1979