David Cooper

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

Collaborative distances:

Awards

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.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
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

2014
Multiple regularization based MRI reconstruction.
Signal Processing, 2014

2013
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

2010
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

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

2008
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

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

2006
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

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

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

2000
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

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

1998
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

1996
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

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

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

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

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

1991
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

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

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

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

1980
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

1979
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


  Loading...