• Eigentaste

  • Referenced in 66 articles [sw12451]
  • ratings matrix. PCA facilitates dimensionality reduction for offline clustering of users and rapid computation ... appendix we use uniform and normal distribution models to derive analytic estimates of NMAE when ... Jester dataset, Eigentaste computes recommendations two orders of magnitude faster with no loss of accuracy...
  • Rebeca

  • Referenced in 9 articles [sw09422]
  • tool-set for model checking Rebeca models. Inherent characteristics of Rebeca are used to introduce ... order reduction techniques for reducing the state space. Simple message-driven object-based computational model...
  • BIONJ

  • Referenced in 30 articles [sw08301]
  • first-order model of the variances and covariances of evolutionary distance estimates. This model ... selection, from the class of admissible reductions, of the reduction which minimizes the variance...
  • BLAD

  • Referenced in 20 articles [sw08612]
  • related to parameter estimation and model reduction problems. In both cases, differential elimination ... least partly, sketched in this paper in order to put some light on the real...
  • Exp.Open

  • Referenced in 10 articles [sw07702]
  • implements on-the-fly partial order reductions to avoid the generation of irrelevant interleavings ... independent transitions.Fourth, Exp.Open 2.0 allows to export models towards other tools using interchange formats such...
  • LFR-toolbox

  • Referenced in 29 articles [sw04756]
  • uncertainty descriptions: continuous- and discrete-time uncertain models, regular and singular parametric expressions, more general ... numerically robust Fortran implementations of order reduction tools via mex-function interfaces. The new enhancements...
  • Stuttering Equivalence

  • Referenced in 1 article [sw28575]
  • verification techniques such as partial-order reduction for model checking. We formalize stuttering equivalence...
  • PMTBR

  • Referenced in 20 articles [sw02086]
  • family of approximate principal-components-like reduction algorithms We present a family of algorithms that ... properties, and possess simple error estimation and order control procedures. By tailoring the method ... have been obtained in several situations, meaning models of small order that retain acceptable accuracy...
  • MESS

  • Referenced in 30 articles [sw14886]
  • Lyapunov and Riccati equations, and do model reduction. Even though MESS has been implemented ... into the right perspective, Lyapunov equations of order 20000 were solved by MESS within...
  • SEL/HiFi

  • Referenced in 15 articles [sw22337]
  • spatial discretization method. The high-order spectral element macroscopic modeling code SEL/HiFi has been used ... number of elements results in exponential reduction of the numerical error. The alignment...
  • OFMC

  • Referenced in 28 articles [sw09466]
  • analysis, which extends the on-the-fly model checker (the previous OFMC). The native input ... search-reduction technique that integrates the lazy intruder with ideas from partial-order reduction. Moreover...
  • Boom

  • Referenced in 2 articles [sw01318]
  • programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements ... includes partial order reduction methods. Boom is intended for model checking system-level code...
  • DSCOVR

  • Referenced in 6 articles [sw28397]
  • model partitioning, and exploit its structure by doubly stochastic coordinate optimization with variance reduction (DSCOVR ... Compared with other first-order distributed algorithms, we show that DSCOVR may require less amount...
  • DPF

  • Referenced in 3 articles [sw12853]
  • model checker: stateful vs. stateless search, state storage and backtracking strategies, and dynamic partial-order ... reduction. In particular, we define independence relations at different granularity levels of the database ... show the effectiveness of dynamic partial-order reduction based on these relations.par We apply ... well-defined points, enabling our model checker to scale. We explore the performance implications...
  • rompy

  • Referenced in 2 articles [sw40385]
  • Python package for reduced-order modeling applications of parametrized problems for which their solutions ... complicated for invasively applying order-reduction methods...
  • slingshot

  • Referenced in 5 articles [sw36159]
  • Bioconductor/R package slingshot: Tools for ordering single-cell sequencing. Provides functions for inferring continuous, branching ... dimensional data. Slingshot was designed to model developmental trajectories in single-cell RNA sequencing data ... component in an analysis pipeline after dimensionality reduction and clustering. It is flexible enough...
  • OPTIMA-S

  • Referenced in 3 articles [sw04258]
  • optimizer is based on a behaviour model simulating structural properties. Various approximation schemes are available ... library. The inclusion of second order effects is prepared. This system is applied ... shape finding and resizing, weight and stress reduction. Beyond that also a shape redesign ... body is performed. Finally an adaptive behaviour model for optimization of structures exposing nonlinear behaviour...
  • sigma GTTM

  • Referenced in 2 articles [sw22132]
  • screen in order to analyze them properly. We reformalized the time-span reduction in GTTM ... based on a statistical model called probabilistic context-free grammar, which enables us to acquire...
  • COMBAT

  • Referenced in 4 articles [sw03242]
  • study, an integrated approach is applied in order to find the mixture of BATs ... emission reduction in some major pollutants. The developed multi-objective optimization model is addressed using ... followed by an interactive filtering process in order to select the most preferred Pareto optimal...