• GMRFLib

  • Referenced in 213 articles [sw06641]
  • analysis of longitudinal and survival data, spatio-temporal models, graphical models, and semi-parametric statistics...
  • SIGNAL

  • Referenced in 48 articles [sw02915]
  • program modules in functional languages, temporal and data-flow invariants interface SIGNAL processes to their...
  • spacetime

  • Referenced in 13 articles [sw08291]
  • spacetime: classes and methods for spatio-temporal data. Classes and methods for spatio-temporal data ... simple trajectories; utility functions for plotting data as map sequences (lattice or animation) or multiple ... time series; methods for spatial and temporal selection and subsetting, as well as for spatial/temporal/spatio-temporal...
  • SaTScan

  • Referenced in 24 articles [sw14250]
  • free software that analyzes spatial, temporal and space-time data using the spatial, temporal...
  • DISTIL

  • Referenced in 4 articles [sw02436]
  • describe DISTIL (DIstributed design of SpaTIo-temporaL data), a web-based conceptual modeling prototype system ... help capture the semantics of spatio-temporal data. Via DISTIL, we describe an annotation-based ... capture and validate their spatio-temporal data requirements. Using DISTIL we demonstrate that the annotation...
  • STeP

  • Referenced in 29 articles [sw17948]
  • their temporal specification. Unlike most systems for temporal verification, STeP is not restricted to finite ... process) programs, and programs with infinite data domains...
  • FacetNet

  • Referenced in 12 articles [sw20426]
  • approach is inappropriate in applications with noisy data. In this paper, we propose FacetNet ... evolutions, they also are regularized by the temporal smoothness of evolutions. As a result, this ... observed data and the temporal evolution. Our approach relies on formulating the problem in terms...
  • AnalyzeFMRI

  • Referenced in 11 articles [sw19796]
  • Temporal and Spatial Independent Component Analysis for fMRI data sets embedded in a R package ... package. For fMRI data sets, spatial dimension being much greater than temporal dimension, spatial ... tractability of temporal ICA. We report several experiments on synthetic data and real MRI data...
  • JPAX

  • Referenced in 9 articles [sw09906]
  • user provided properties formulated in temporal logic. JPAX can in addition analyze the program ... concurrency errors such as deadlocks and data races. The concurrency analysis requires no user provided ... performing a specialized analysis, such as the temporal logic verification ... deadlock analysis and the data race analysis. Temporal logic specifications can be formulated...
  • CCUBE

  • Referenced in 5 articles [sw17366]
  • uniform way to represent diverse data capturing spatio-temporal behavior, complex modeling requirements, partial ... databases have recently emerged to deeply integrate data captured by constraints in databases. This paper ... data model for the constraint calculus is based on constraint spatio-temporal ... objects that may hold spatial, temporal or constraint data, conceptually represented by constraints...
  • spate

  • Referenced in 5 articles [sw12265]
  • package spate: Spatio-Temporal Modeling of Large Data Using a Spectral SPDE Approach. This package ... provides functionality for spatio-temporal modeling of large data sets. A Gaussian process in space ... traditional approach of using a spatio-temporal covariance function, the spectral SPDE approach is computationally ... modeling approaches. First, the SPDE based spatio-temporal model can be used as a component...
  • epiABC

  • Referenced in 3 articles [sw23334]
  • consider both non-temporal and temporal-data and illustrate the methods with a number...
  • momentuHMM

  • Referenced in 4 articles [sw21676]
  • probability distributions for an unlimited number of data streams and latent behavior states; 3) biased ... account for measurement error and temporally-irregular or missing data ... seamless integration of spatio-temporal covariate raster data; 7) cosinor and spline models for cyclical...
  • plotGoogleMaps

  • Referenced in 3 articles [sw24245]
  • package plotGoogleMaps: Plot Spatial or Spatio-Temporal Data Over Google Maps. Provides an interactive plot...
  • HMAP

  • Referenced in 3 articles [sw02723]
  • HMAP --- a temporal data model managing intervals with different granularities and indeterminacy from natural language...
  • Surveillance

  • Referenced in 23 articles [sw00932]
  • temporal visualization, modelling and monitoring of epidemic phenomena. This includes count, binary and categorical data...
  • LyriC

  • Referenced in 6 articles [sw17365]
  • Querying constraint objects. We propose a novel data model and its language for querying object ... where objects may hold spatial, temporal or constraint data, conceptually represented by linear equality...
  • FCLib

  • Referenced in 2 articles [sw00267]
  • data discovery in large scale spatio-temporal data. The toolkit is a C library...
  • GA-Coupling Analyzer

  • Referenced in 2 articles [sw16834]
  • analysis for multi-layer, multi-temporal geographic data. Aiming at the modeling and analysis ... multi-layer, multi-temporal geographical model simulation data, the geometric algebra ... introduced to design methods for data modeling, spatio-temporal queries and dynamic visualization. Algorithms, including ... system is demonstrated with the simulation data of Antarctic “Ice-Ocean-Land” coupled changes...
  • CARBayesdata

  • Referenced in 1 article [sw25015]
  • CARBayes and CARBayesST Packages. Spatio-temporal data from Scotland used in the vignettes accompanying ... CARBayesST (spatio-temporal modelling) packages. For the CARBayes vignette the data include the Scottish ... CARBayesST vignette the data include spatio-temporal data on property sales and respiratory hospitalisation...