Items where Division is "Schools (1998 to 2008) > School of Computer Science"

B

Bowers, Chris P. (2005) Formation of modules in a computational model of embryogeny. In: Congress on Evolutionary Computation.

D

Dearden, Richard W. and Saigol, Zeyn A. and Wyatt, Jeremy L. and Murton, Bramley J. (2007) Planning for AUVs: Dealing with a Continuous Partially-Observable Environment. In: ICAPS Workshop.

H

Hill, Gillian and Vickers, Steven (2005) A Language for Configuring Multi-level Specifications. Theoretical Computer Science, 351. pp. 146-166. ISSN 0304-3975

Hawes, Nick (2001) Anytime planning for agent behaviour. In: Proceedings of the Twelth Workshop of the UK Planning and Scheduling Special Interest Group.

J

Jung, Achim and Moshier, M.Andrew and Vickers, Steven (2008) Presenting dcpos and dcpo algebras. Electronic Notes in Theoretical Computer Science, 219. pp. 209-229. ISSN 1571-0661

M

Miconi, Thomas (2008) Evolution and complexity: the double-edged sword. Artificial Life, 14 (3). pp. 325-344.

Melhuish, Jonathan and Beale, Russell (2008) News not noise: socially aware information filtering. In: BCS HCI2008, Liverpool.

P

Palmgren, E and Vickers, Steven (2006) Partial Horn logic and cartesian categories. Annals of Pure and Applied Logic, 143 (3). pp. 314-353. ISSN 0168-0072

V

Vrevcko, Alen and Skovcaj, Danijel and Hawes, Nick and Leonardis, Aleš (2009) A Computer Vision Integration Model for a Multi-modal Cognitive System. In: Accepted at 2009 IEEE/RSJ International Conference on Intelligent RObots and Systems.

Vickers, Steven (2009) The connected Vietoris powerlocale. Topology and its Applications, 156. pp. 1886-1910. ISSN 0166-8641

Vickers, Steven (2008) A localic theory of lower and upper integrals. Mathematical Logic Quarterly, 54 (4). pp. 109-123. ISSN 0942-5616

Vickers, Steven (2007) Sublocales in formal topology. Journal of Symbolic Logic, 72 (2). pp. 463-482. ISSN 0022-4812

Vickers, Steven (2005) Compactness in locales and in formal topology. Annals of Pure and Applied Logic, 137 (1-3). pp. 413-438. ISSN 0168-0072

Vickers, Steven (2005) LOCALIC COMPLETION OF GENERALIZED METRIC SPACES I. Theory and Applications of Categories, 14 (15). pp. 328-356. ISSN 1201 - 561X

Vickers, Steven (2004) Entailment systems for stably locally compact locales. Theoretical Computer Science, 316 (1-3). pp. 259-296. ISSN 0304-3975

Vickers, Steven and Townsend, C.F (2004) A Universal Characterization of the Double Powerlocale. Theoretical Computer Science, 316 (1-3). pp. 297-321. ISSN 0304-3975

Vickers, Steven (2004) The double powerlocale and exponentiation: A case study in geometric logic. Theory and Applications of Categories, 12 (13). pp. 272-422. ISSN 1201-561X