David Cooper

Ahmed M. Hasan

Comput. Medical Imaging Graph., 2018

2014

Multiple regularization based MRI reconstruction.

[BibT_eX]

[DOI]

Signal Process., 2014

2013

Improved Compressed Sensing-Based Algorithm for Sparse-View CT Image Reconstruction.

[BibT_eX]

[DOI]

Comput. Math. Methods Medicine, 2013

Micro-CT image reconstruction based on alternating direction augmented Lagrangian method and total variation.

[BibT_eX]

[DOI]

Comput. Medical Imaging Graph., 2013

2010

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

[BibT_eX]

[DOI]

Pere Roca i Cabarrocas

IEICE Trans. Electron., 2010

Multi-user diversity in a TDMA cellular system.

[BibT_eX]

[DOI]

Proceedings of the IEEE 21st International Symposium on Personal, 2010

Forensic Data Reocvery on the 8GB Fifth Generation iPod Nano.

[BibT_eX]

Damon Pollard

Christopher Bolan

Proceedings of the 2010 International Conference on Security & Management, 2010

Intrinsic Contact Geometry of Protein Dynamics.

[BibT_eX]

Yosi Shibberu

Mark Brandt

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.

[BibT_eX]

[DOI]

Ian N. Gregory

Int. J. Humanit. Arts Comput., 2009

2008

Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile.

[BibT_eX]

[DOI]

RFC, May, 2008

The certification of the Mondex electronic purse to ITSEC Level E6.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2008

Grammatical Inference Techniques and Their Application in Ground Investigation.

[BibT_eX]

[DOI]

Comput. Aided Civ. Infrastructure Eng., 2008

2007

Server-Based Certificate Validation Protocol (SCVP).

[BibT_eX]

[DOI]

RFC, December, 2007

2006

Engineering the Tokeneer Enclave Protection Software.

[BibT_eX]

Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006

E-Publishing Portal: A New Approach to Faculty Outreach.

[BibT_eX]

[DOI]

Nedelina Tchangalova

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.

[BibT_eX]

[DOI]

Samantha Lautieri

David Jackson

Proceedings of the Constituents of Modern System-safety Thinking, 2005

2004

A reduced complexity list single-wrong-turn (SWT) Viterbi decoding algorithm.

[BibT_eX]

[DOI]

Laolu Lijofi

Bahadir Canpolat

Proceedings of the IEEE 15th International Symposium on Personal, 2004

2000

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

[BibT_eX]

[DOI]

Digit. Creativity, 2000

Perceptually Smooth Timbral Guides by State-Space Analysis of Phase-Vocoder Parameters.

[BibT_eX]

[DOI]

Nick Bailey

Comput. Music. J., 2000

Formal Methods for Industrial Products.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Yonghuai Liu

Marcos A. Rodrigues

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.

[BibT_eX]

[DOI]

Yonghuai Liu

Marcos A. Rodrigues

Proceedings of the 15th International Conference on Pattern Recognition, 2000

Trans-Domain Mapping: A Real-time Interactive System for Motion Acquisition and Musical Mapping.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Computer Music Conference, 2000

President's information technology advisory committee (PITAC): subcommittee on transforming the government.

[BibT_eX]

[DOI]

Bo Ewald

Proceedings of the 2000 National Conference on Digital Government Research, 2000

1999

Embracing the Composer: Optical Recognition of Handwritten Manuscripts.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Computer Music Conference, 1999

1998

More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement.

[BibT_eX]

[DOI]

Jim Woodcock

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Studio Report of the University of Leeds Department of Music.

[BibT_eX]

[DOI]

Kia Ng

Proceedings of the 1998 International Computer Music Conference, 1998

1996

Leeds University Electronic Studio: Studio Report.

[BibT_eX]

[DOI]

Ewan Stefani

Kia Ng

Proceedings of the 1996 International Computer Music Conference, 1996

Handwritten Music Manuscript Recognition.

[BibT_eX]

[DOI]

Kia Ng

Roger Boyle

Proceedings of the 1996 International Computer Music Conference, 1996

1995

Z in practice.

[BibT_eX]

Rosalind Barden

BCS practitioner series, Prentice Hall, ISBN: 978-0-13-124934-9, 1995

1994

Reading the fine print: what benchmarks don't tell you.

[BibT_eX]

[DOI]

Proceedings of the 21th Annual Conference on Computer Graphics and Interactive Techniques, 1994

1993

Has classical music a fractal nature? - A reanalysis.

[BibT_eX]

[DOI]

Brian Henderson-Sellers

Comput. Humanit., 1993

1992

A survey of object orientation in Z.

[BibT_eX]

[DOI]

Rosalind Barden

Softw. Eng. J., 1992

1991

A Demonstrably Correct Compiler.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1991

The Use of Z.

[BibT_eX]

Rosalind Barden

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

1989

Educating Management in Z.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Inf. Process. Manag., 1984

1982

Text compression using variable-to fixed-length encodings.

[BibT_eX]

[DOI]

J. Am. Soc. Inf. Sci., 1982

1980

Compression of continuous prose texts using variety generation.

[BibT_eX]

[DOI]

J. Am. Soc. Inf. Sci., 1980

Sorting of textual data bases: A variety generation approach to distribution sorting.

[BibT_eX]

[DOI]

Mary E. Dicker

Inf. Process. Manag., 1980

1979

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

[BibT_eX]

[DOI]

J. Documentation, 1979

Compression of Wiswesser Line Notations Using Variety Generation.

[BibT_eX]

[DOI]