1 resultado para semigroup algebras
em Aston University Research Archive
Filtro por publicador
- KUPS-Datenbank - Universität zu Köln - Kölner UniversitätsPublikationsServer (1)
- Aberdeen University (13)
- Aberystwyth University Repository - Reino Unido (2)
- Academic Archive On-line (Stockholm University; Sweden) (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (1)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (5)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (7)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (1)
- Aston University Research Archive (1)
- Biblioteca de Teses e Dissertações da USP (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (29)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (64)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (22)
- Brock University, Canada (6)
- Brunel University (1)
- Bucknell University Digital Commons - Pensilvania - USA (2)
- Bulgarian Digital Mathematics Library at IMI-BAS (41)
- CaltechTHESIS (6)
- Cambridge University Engineering Department Publications Database (13)
- CentAUR: Central Archive University of Reading - UK (11)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (2)
- Cochin University of Science & Technology (CUSAT), India (5)
- Coffee Science - Universidade Federal de Lavras (1)
- Deakin Research Online - Australia (3)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- Digital Commons at Florida International University (1)
- DRUM (Digital Repository at the University of Maryland) (1)
- FUNDAJ - Fundação Joaquim Nabuco (1)
- Glasgow Theses Service (3)
- Greenwich Academic Literature Archive - UK (1)
- Helda - Digital Repository of University of Helsinki (1)
- Indian Institute of Science - Bangalore - Índia (41)
- Institutional Repository of Leibniz University Hannover (1)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (1)
- Memoria Académica - FaHCE, UNLP - Argentina (3)
- National Center for Biotechnology Information - NCBI (5)
- Nottingham eTheses (3)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (100)
- Queensland University of Technology - ePrints Archive (4)
- Repositório Científico da Universidade de Évora - Portugal (2)
- Repositório digital da Fundação Getúlio Vargas - FGV (1)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (3)
- Repositorio Institucional de la Universidad de Málaga (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (92)
- Repositorio Institucional Universidad de Medellín (1)
- Universidad de Alicante (1)
- Universidad Politécnica de Madrid (5)
- Universidade Complutense de Madrid (2)
- Universidade Federal do Rio Grande do Norte (UFRN) (4)
- Universita di Parma (1)
- Universitat de Girona, Spain (4)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (4)
- Université de Montréal (1)
- Université de Montréal, Canada (7)
- Université Laval Mémoires et thèses électroniques (1)
- University of Michigan (12)
- University of Queensland eSpace - Australia (20)
- University of Southampton, United Kingdom (2)
Resumo:
A spatial object consists of data assigned to points in a space. Spatial objects, such as memory states and three dimensional graphical scenes, are diverse and ubiquitous in computing. We develop a general theory of spatial objects by modelling abstract data types of spatial objects as topological algebras of functions. One useful algebra is that of continuous functions, with operations derived from operations on space and data, and equipped with the compact-open topology. Terms are used as abstract syntax for defining spatial objects and conditional equational specifications are used for reasoning. We pose a completeness problem: Given a selection of operations on spatial objects, do the terms approximate all the spatial objects to arbitrary accuracy? We give some general methods for solving the problem and consider their application to spatial objects with real number attributes. © 2011 British Computer Society.