Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Number of items: 46.

Article

Hamilton-West, K.E. and Katona, C. and King, A. and Rowe, J and Coulton, S. and Milne, A.J. and Alaszewski, A.M. and Pinnock, H (2010) Improving Concordance in Older People with Type 2 Diabetes (ICOPE-D). Final Report to the National Institute for Health Research. Annex A: Concordance Therapy Manual [PB-PG-0906-10182] .

Kettle, N. and King, A. (2008) An anytime algorithm for generalized symmetry detection in ROBDDs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 27 (4). pp. 764-777. ISSN 0278-0070.

Preview

Genaim, S. and King, A. (2008) Inferring non-suspension conditions for logic programs with dynamic scheduling. Acm Transactions on Computational Logic, 9 (3). Article No 17. ISSN 1529-3785.

Preview

Mortier, A.M.J. and Serjeant, S. and Dunlop, J.S. and Scott, S.E. and Ade, P. and Alexander, D. and Almaini, O. and Aretxaga, I. and Baugh, C. and Benson, A.J. and Best, P.N. and Blain, A. and Bock, J. and Borys, C. and Bressan, A. and Carilli, C. and Chapin, E.L. and Chapman, S. and Clements, D.L. and Coppin, K. and Crawford, M. and Devlin, M. and Dicker, S. and Dunne, L. and Eales, S.A. and Edge, A.C. and Farrah, D. and Fox, M. and Frenk, C. and Gaztanaga, E. and Gear, W.K. and Gonzales-Solares, E. and Granato, G.L. and Greve, T.R. and Grimes, J.A. and Gundersen, J. and Halpern, M. and Hargrave, P. and Hughes, D.H. and Ivison, R.J. and Jarvis, M.J. and Jenness, T. and Jimenez, R. and van Kampen, E. and King, A. and Lacey, C. and Lawrence, A. and Lepage, K. and Mann, R.G. and Marsden, G. and Mauskopf, P. and Netterfield, B. and Oliver, S. and Olmi, L. and Page, M.J. and Peacock, J.A. and Pearson, C.P. and Percival, W.J. and Pope, A. and Priddey, R.S. and Rawlings, S. and Roche, N. and Robinson, M.R. and Scott, D. and Sekiguchi, K. and Seigar, M. and Silva, L. and Simpson, C. and Smail, I. and Stevens, J.A. and Takagi, T. and Tucker, G. and Vlahakis, C. and Waddington, I. and Wagg, J. and Watson, M. and Willott, C. and Vaccari, M. (2005) The SCUBA half-degree extragalactic survey - I. Survey motivation, design and data processing. Monthly Notices of the Royal Astronomical Society, 363 (2). pp. 563-580. ISSN 0035-8711. The full text of this publication is not available from this repository.

Hutchings, A. and Allen, P. and Fulop, N. and King, A. and Protopsaltis, G. and Normand, C. and Walters, R. (2003) The process and impact of trust mergers in the National Health Service: A financial perspective. Public Money & Management, 23 (2). pp. 103-112. ISSN 0954-0962 . The full text of this publication is not available from this repository.

Howe, J.M. and King, A. (2003) Efficient Groundness Analysis in Prolog. Theory and Practice of Logic Programming, 3 (1). pp. 95-124. ISSN 1471-0684. The full text of this publication is not available from this repository.

Howe, J.M. and King, A. (2003) Three Optimisations for Sharing. Theory and Practice of Logic Programming, 3 (2). pp. 243-257. ISSN 1471-0684. The full text of this publication is not available from this repository.

King, A. and Lu, L. (2002) A Backward Analysis for Constraint Logic Programs. Theory and Practice of Logic Programming, 2 (Part 1). pp. 517-542. ISSN 1471-0684.

Preview

Preview

Smaus, J.G. and Hill, P.M. and King, A. (2001) Verifying termination and error-freedom of logic programs with block declarations. Theory and Practice of Logic Programming, 1 (4). pp. 447-486.

Preview

Preview

King, A. (2000) Pair-sharing over rational trees. Journal of Logic Programming, 46 (1-2). pp. 139-155. ISSN 0743-1066.

Preview

Preview

Heaton, A. and Abo-Zaed, M. and Codish, M. and King, A. (2000) A Simple Polynomial Groundness Analysis for Logic Programs. Journal of Logic Programming, 45 (1-3). pp. 143-156. ISSN 0743-1066.

Preview

Preview

Howe, J.M. and King, A. (2000) Abstracting numeric constraints with Boolean functions. Information Processing Letters, 75 (1-2). pp. 17-23. ISSN 0020-0190.

Preview

Howe, J.M. and King, A. (2000) Implementing groundness analysis with definite Boolean functions. Lecture Notes in Computer Science, 1782 . pp. 200-214. ISSN 0302-9743.

Preview

Hill, P. and King, A. (1998) Detecting and Exploiting Determinacy in Logic Programs. Computational Logic Newsletter, 4 (1). pp. 100-101. The full text of this publication is not available from this repository.

King, A. (1994) High-Precision Sharing Analysis. Journal of Programming Languages, 2 (2). pp. 149-181. ISSN 0963-9306. The full text of this publication is not available from this repository.

Book section

King, A. (1994) A Framework for Freeness Analysis. In: Tick, E. and Succi, G., eds. Implementations of Logic Programming Systems. Implementations of Logic Programming Systems . Kluwer Academic Publishers, Dordrecht, pp. 137-149. The full text of this publication is not available from this repository.

Monograph

Jenkins, L.M. and King, A. and Brigden, C.L. (2012) Evaluation of the Stroke Association’s Life After Stroke Services in Eastern & Coastal Kent. UNSPECIFIED. Centre for Health Services Studies

Preview

Benoy, Florence and King, A. and Mesnard, F. (2002) Computing Convex Hulls with a Linear Solver. Technical report. Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK.

Preview

Preview

Genaim, S. and King, A. (2002) Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. Technical report. UKC, University of Kent, Canterbury, CT2 7NF, UK. The Computing Laboratory.

Preview

Preview

King, A. and Lu, L. (2001) A Backward Analysis for Constraint Logic Programs. Technical report. University of Kent, University of Kent at Canterbury, Kent, CT2 7NF, UK

Preview

Preview

Howe, J.M. and King, A. (2001) Efficient Groundness Analysis in Prolog. Technical report. university of kent

Preview

Preview

Heaton, A. and King, A. (2000) Abstracting Builtins for Groundness Analysis. Technical report. University of Kent, Computing Laboratory

Preview

Preview

Howe, J.M. and King, A. (1999) A Semantic Basis for Specialising Domain Constraints. Technical report. , Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK

Preview

Preview

Benoy, F. and King, A. (1999) An Isomorphism between Abstract Polyhedral Cones and Definite Boolean Functions. Technical report. , University of Kent

Preview

Preview

Smaus, J.G. and Hill, P.M. and King, A. (1998) Verification of Logic Programs with block Declarations Running in Several Modes. Technical report. University of Kent, Canterbury, CT2 7NF, United Kingdom

Preview

Preview

King, A. and Hill, P.M. and Smaus, J.G. (1998) Practical Dependency Analysis through a Share Quotient. Technical report. University of Kent

Preview

Preview

Codish, M. and Heaton, A. and King, A. and Abo-Zaed, M. and Hill, P.M. (1998) Widening Positive Boolean functions for Goal-dependent Groundness Analysis. Technical report. University of Kent

Preview

Preview

Smaus, J.G. and Hill, P.M. and King, A. (1997) Domain Construction for Mode Analysis of Typed Logic Programs. Technical report. University of Kent

Preview

Conference or workshop item

Lu, L. and King, A. (2002) Backward Type Inference Generalises Type Checking. In: Hermenegildo, M. and Puebla, G., eds. Static Analysis. Lecture Notes in Computer Science, 2477. Springer-Verlag, Berlin pp. 85-101. ISBN 978-3-540-44235-6.

Preview

Preview

Simon, A. and King, A. (2002) Analyzing String Buffers in C. In: International Conference on Algebraic Methodology and Software Technology, September 2002.

Preview

Preview

Howe, J.M. and King, A. (2001) Positive Boolean Functions as Multiheaded Clauses. In: International Conference on Logic Programming.

Preview

Preview

Howe, J.M. and King, A. (2000) Specialising Finite Domain Programs using Polyhedra. In: Bossi, A., ed. Lecture Notes In Computer Science. Lecture Notes in Computer Science, 1817. Springer-Verlag pp. 118-135. ISBN 978-3-540-67628-7.

Preview

Smaus, J.G. and Hill, P. and King, A. (2000) Mode Analysis Domains for Typed Logic Programs. In: 9th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR'99), Sep 22-24, 1999, Venice, Italy,.

Preview

Preview

Heaton, A. and Hill, P.M. and King, A. (2000) Abstract domains for universal and existential properties. In: Smolka, G., ed. Programming Languages and Systems. Lecture Notes in Computer Science, 1782. Springer-Verlag Berlin pp. 150-164. ISBN 3-540-67262-1.

Preview

Preview

Howe, J.M. and King, A. (1999) Specialising Finite Domain Programs using Polyhedra (Abstract). In: ECOOP’99 Workshops, Panels, and Posters, 14–18 June 1999 , Lisbon, Portugal. The full text of this publication is not available from this repository.

Smaus, J.G. and Hill, P. and King, A. (1999) Preventing instantiation errors and loops for logic programs with multiple modes using block declarations. In: 8th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR 98), Jun 15-19, 1998, Manchester, England.

Preview

Preview

King, A. and Smaus, J.G. and Hill, P. (1999) Quotienting share for dependency analysis. In: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99, March 22-28, 1999, Amsterdam, Netherlands.

Preview

Preview

Shen, K. and Costa, V.Santos and King, A. (1998) Distance: a New Metric for Controlling Granularity for Parallel Execution. In: Joint International Conference and Symposium on Logic Programming, Jun 15-19, 1998, Manchester, England, .

Preview

Smaus, J.G. and Hill, P.M. and King, A. (1998) Termination of Logic Programs with block Declarations Running in Several Modes. In: Palamidessi, C., ed. Proceedings of the 10th International Symposium on Principles of Declarative Programming. Lecture Notes in Computer Science, 1490. Springer-Verlag, see also http://www.springer.de/comp/lncs/index.html pp. 73-88. ISBN 3-540-65012-1 .

Preview

Preview

Kemp, B. and King, A. and Soper, P. (1994) Continuation Compilation for Concurrent Logic Programming. In: Proceedings of the Symposium on Artificial Intelligence in Real-time Control. The full text of this publication is not available from this repository.

King, A. and Soper, P. (1994) Depth-k Sharing and Freeness. In: 11th International Conference on Logic Programming, Jun 13-18, 1994, S Margherita Ligure, Italy. Access to this publication is restricted.

King, A. and Soper, P. (1992) Schedule Analysis of Concurrent Logic Programs. In: Joint International Conference and Symposium on Logic Programming, 1992, Washington,DC, USA.

Preview

King, A. and Soper, P. (1992) Serialisation Analysis of Concurrent Logic Programs. In: Algebraic and Logic Programming.

Preview

Preview

King, A. and Soper, P. (1991) Reducing Scheduling Overheads for Concurrent Logic Programs. In: Processing Declarative Knowledge. The full text of this publication is not available from this repository.

Book

Chamberlayne, P. and King, A. (2000) Cultures of care: Biographies of carers in Britain and the two Germanies. The Policy Press, Bristol, 240 pp. ISBN 9781861341808. The full text of this publication is not available from this repository.

Other

Smaus, J.G. and Hill, P.M. and King, A. (1998) Preventing Instantiation Errors and Loops for Logic Programs with Several Modes Using t block Declarations. University of Kent, University of Kent, Canterbury.

Preview

Preview

This list was generated on Wed Jun 19 18:37:27 2013 BST.