This document provides details about dierent mathematical techniques for modelling space and time. It rst describes a classication of space modelling techniques, covering two time-based approaches and one space-only approach, that of topological and metric spaces. It then goes into detail about discrete space approaches providing basic denitions and considering how such techniques have been used in the ecology, biology, epidemiological and networking literature. Following this, continuous space techniques are considered.

Review of time-based techniques for modelling space

Massink M;
2014

Abstract

This document provides details about dierent mathematical techniques for modelling space and time. It rst describes a classication of space modelling techniques, covering two time-based approaches and one space-only approach, that of topological and metric spaces. It then goes into detail about discrete space approaches providing basic denitions and considering how such techniques have been used in the ecology, biology, epidemiological and networking literature. Following this, continuous space techniques are considered.
2014
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
PDE
Population CTMC
Specifying and verifying and reasoning about programs
File in questo prodotto:
File Dimensione Formato  
prod_362775-doc_119496.pdf

solo utenti autorizzati

Descrizione: Review of time-based techniques for modelling space
Dimensione 536.72 kB
Formato Adobe PDF
536.72 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/319968
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact