ePrints Repository

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

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Department | Type of Work | Date | No Grouping
Jump to: B | D | H | J | M | P | V
Number of items at this level: 17.


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


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.


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.


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


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.


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


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

This list was generated on Fri Dec 14 09:51:48 2018 GMT.