• spacetime

  • Referenced in 19 articles [sw08291]
  • temporal selection and subsetting, as well as for spatial/temporal/spatio-temporal combining or aggregating, retrieving coordinates, print...
  • Aguri

  • Referenced in 1 article [sw18424]
  • volume flows into aggregates, and achieves temporal aggregation by creating a summary of summaries applying...
  • rstap

  • Referenced in 1 article [sw26996]
  • package rstap: Spatial Temporal Aggregated Predictor Models via ’stan’. Estimates previously compiled stap regression models...
  • LIBSVX

  • Referenced in 1 article [sw32971]
  • based (GBH), segmentation by weighted aggregation (SWA) and temporal superpixels (TSP) methods...
  • SOLOIST

  • Referenced in 1 article [sw16438]
  • temporal logic, extended with new temporal modalities that support aggregate operators for events occurring ... language can be reduced to linear temporal logic, paving the way for using SOLOIST with...
  • TimeSeriesClustering

  • Referenced in 2 articles [sw34951]
  • datasets. It provides functionality for clustering and aggregating, detecting motifs, and quantifying similarity between time ... software provides a type system for temporal data, and provides an implementation of the most ... methods and extreme value selection methods for temporal data. It provides simple integration of multi ... availability, and electricity demand) in a single aggregation process. The software is applicable to general...
  • APNN-Toolbox

  • Referenced in 11 articles [sw06976]
  • computational tree logic (CTL) and linear temporal logic (LTL) to consider more general properties ... steady state distributions, which are either aggregated to typical performance measures like distributions of token...
  • CCUBE

  • Referenced in 5 articles [sw17366]
  • temporal (CST) objects that may hold spatial, temporal or constraint data, conceptually represented by constraints ... which is a generalization of collection and aggregation types. The focal point of our work...
  • INSITE

  • Referenced in 3 articles [sw29649]
  • user participation, b) to generate individual and aggregate user profiles in real time ... execute a suite of queries (including temporal ones) and prove the utility of the captured...
  • PaxDb

  • Referenced in 1 article [sw29371]
  • Life. Although protein expression is regulated both temporally and spatially, most proteins have an intrinsic ... using a standardized spectral counting pipeline. By aggregating and averaging over the various samples, conditions...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CGAL

  • Referenced in 384 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Chaste

  • Referenced in 52 articles [sw00122]
  • Chaste: incorporating a novel multi-scale spatial and...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Gmsh

  • Referenced in 720 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1695 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 262 articles [sw00546]
  • MapReduce is a new parallel programming model initially...