David Cooper

Publication Activity (10 Years)

Years Active: 1979-2023
Publications (10 Years): 3

Top Topics

Solar Radiation

Tomographic Reconstruction

Classifier Systems

Reconstruction Process

Top Venues

Frontiers Artif. Intell.

Signal Process.

Comput. Medical Imaging Graph.

Publications

Sahand Somi, Sheikh Jubair, David Cooper, Peng Wang
XGSleeve: detecting sleeve incidents in well completion by using XGBoost classifier. Frontiers Artif. Intell. 6 (2023)
Steven Lequeux, Trevor Almeida, Nuno Caçoilo, Alvaro Palomino, Ioan Lucian Prejbeanu, Ricardo C. Sousa, David Cooper, Bernard Dieny
PSA-STT-MRAM solution for extended temperature stability. IMW (2021)
S. Ali Melli, Khan A. Wahid, Paul S. Babyn, David Cooper, Ahmed M. Hasan
A wavelet gradient sparsity based algorithm for reconstruction of reduced-view tomography datasets obtained with a monochromatic synchrotron-based X-ray source. Comput. Medical Imaging Graph. 69 (2018)
Varun P. Gopi, Ponnusamy Palanisamy, Khan A. Wahid, Paul S. Babyn, David Cooper
Multiple regularization based MRI reconstruction. Signal Process. 103 (2014)
Zangen Zhu, Khan A. Wahid, Paul S. Babyn, David Cooper, Isaac Pratt, Yasmin Carter
Improved Compressed Sensing-Based Algorithm for Sparse-View CT Image Reconstruction. Comput. Math. Methods Medicine 2013 (2013)
Varun P. Gopi, Ponnusamy Palanisamy, Khan A. Wahid, Paul S. Babyn, David Cooper
Micro-CT image reconstruction based on alternating direction augmented Lagrangian method and total variation. Comput. Medical Imaging Graph. 37 (7-8) (2013)
David Cooper, Damon Pollard, Christopher Bolan
Forensic Data Reocvery on the 8GB Fifth Generation iPod Nano. Security and Management (2010)
David Cooper
Multi-user diversity in a TDMA cellular system. PIMRC (2010)
Yosi Shibberu, Mark Brandt, David Cooper
Intrinsic Contact Geometry of Protein Dynamics. BIOCOMP (2010)
François Templier, Julien Brochet, Bernard Aventurier, David Cooper, Alexey Abramov, Dmitri Daineka, Pere Roca i Cabarrocas
Polymorphous Silicon: A Promising Material for Thin-Film Transistors for Low-Cost and High-Performance Active-Matrix OLED Displays. IEICE Trans. Electron. (10) (2010)
Ian N. Gregory, David Cooper
Thomas Gray, Samuel Taylor Coleridge and geographical information systems: A literary GIS of two Lake District tours. Int. J. Humanit. Arts Comput. 3 (1-2) (2009)
Ian Morrey, Adrian Oram, David Cooper, Darren Rogers, Paul Stephenson
Grammatical Inference Techniques and Their Application in Ground Investigation. Comput. Aided Civ. Infrastructure Eng. 23 (1) (2008)
Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob
The certification of the Mondex electronic purse to ITSEC Level E6. Formal Aspects Comput. 20 (1) (2008)
David Cooper, Stefan Santesson, Stephen Farrell, Sharon Boeyen, Russell Housley, W. Timothy Polk
Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile. RFC 5280 (2008)
Trevor Freeman, Russell Housley, Ambarish Malpani, David Cooper, W. Timothy Polk
Server-Based Certificate Validation Protocol (SCVP). RFC 5055 (2007)
Janet Barnes, Rod Chapman, Randy Johnson, James C. Widmaier, Bill Everett, David Cooper
Engineering the Tokeneer Enclave Protection Software. ISSSE (2006)
Nedelina Tchangalova, David Cooper
E-Publishing Portal: A New Approach to Faculty Outreach. ELPUB (2006)
Samantha Lautieri, David Cooper, David Jackson
SafSec: Commonalities Between Safety and Security Assurance. SSS (2005)
Laolu Lijofi, David Cooper, Bahadir Canpolat
A reduced complexity list single-wrong-turn (SWT) Viterbi decoding algorithm. PIMRC (2004)
Kia Ng, Vítor Sequeira, Emanuele Bovisio, Neil Johnson, David Cooper, João G. M. Gonçalves, David C. Hogg
Playing on a holo-stage: towards the interaction between real and virtual performers. Digit. Creativity 11 (2) (2000)
Yonghuai Liu, Marcos A. Rodrigues, David Cooper
Similarity based linear N≥5-point structure and pose estimation from it single image. IROS (2000)
Kia Ng, Sita Popat, Bee Ong, Ewan Stefani, Kris Popat, David Cooper
Trans-Domain Mapping: A Real-time Interactive System for Motion Acquisition and Musical Mapping. ICMC (2000)
David Cooper, Susan Stepney
Segregation with Communication. ZB (2000)
Yonghuai Liu, Marcos A. Rodrigues, David Cooper
Using Geometric Properties of Correspondence Vectors for the Registration of Free-Form Shapes. ICPR (2000)
Susan Stepney, David Cooper
Formal Methods for Industrial Products. ZB (2000)
David Cooper, Bo Ewald
President's information technology advisory committee (PITAC): subcommittee on transforming the government. DG.O (2000)
Nick Bailey, David Cooper
Perceptually Smooth Timbral Guides by State-Space Analysis of Phase-Vocoder Parameters. Comput. Music. J. 24 (1) (2000)
Kia Ng, David Cooper, Ewan Stefani, Roger Boyle, Nick Bailey
Embracing the Composer: Optical Recognition of Handwritten Manuscripts. ICMC (1999)
David Cooper, Kia Ng
Studio Report of the University of Leeds Department of Music. ICMC (1998)
Susan Stepney, David Cooper, Jim Woodcock
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. ZUM (1998)
Kia Ng, David Cooper, Roger Boyle
Handwritten Music Manuscript Recognition. ICMC (1996)
Ewan Stefani, Kia Ng, David Cooper
Leeds University Electronic Studio: Studio Report. ICMC (1996)
Randi J. Rost, Jim Bushnell, David Cooper, Jerry Schneble, Lynn Thorsen-Jensen
Reading the fine print: what benchmarks don't tell you. SIGGRAPH (1994)
Brian Henderson-Sellers, David Cooper
Has classical music a fractal nature? - A reanalysis. Comput. Humanit. 27 (4) (1993)
Susan Stepney, Rosalind Barden, David Cooper
A survey of object orientation in Z. Softw. Eng. J. 7 (2) (1992)
Rosalind Barden, Susan Stepney, David Cooper
The Use of Z. Z User Workshop (1991)
Susan Stepney, Dave Whitely, David Cooper, Colin Grant
A Demonstrably Correct Compiler. Formal Aspects Comput. 3 (1) (1991)
David Cooper
Educating Management in Z. Z User Workshop (1989)
David Cooper, Michael F. Lynch
The use of binary search trees in external distribution sorting. Inf. Process. Manag. 20 (4) (1984)
David Cooper, Michael F. Lynch
Text compression using variable-to fixed-length encodings. J. Am. Soc. Inf. Sci. 33 (1) (1982)
David Cooper, Mary E. Dicker, Michael F. Lynch
Sorting of textual data bases: A variety generation approach to distribution sorting. Inf. Process. Manag. 16 (1) (1980)
David Cooper, Michael A. Emly, Michael F. Lynch, A. Robin Yeates
Compression of continuous prose texts using variety generation. J. Am. Soc. Inf. Sci. 31 (3) (1980)
David Cooper, Michael F. Lynch
Compression of Wiswesser Line Notations Using Variety Generation. J. Chem. Inf. Comput. Sci. 19 (3) (1979)
John E. Burnett, David Cooper, Michael F. Lynch, Peter Willett, Maureen Wycherley
Document Retrieval Experiments using Indexing Vocabularies of varying Size. I. Variety Generation Symbols Assigned to the Fronts of Index Terms. J. Documentation 35 (3) (1979)