
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]
 toolset for model checking Rebeca models. Inherent characteristics of Rebeca are used to introduce ... order reduction techniques for reducing the state space. Simple messagedriven objectbased computational model...

BIONJ
 Referenced in 30 articles
[sw08301]
 firstorder 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 onthefly 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...

LFRtoolbox
 Referenced in 29 articles
[sw04756]
 uncertainty descriptions: continuous and discretetime uncertain models, regular and singular parametric expressions, more general ... numerically robust Fortran implementations of order reduction tools via mexfunction interfaces. The new enhancements...

Stuttering Equivalence
 Referenced in 1 article
[sw28575]
 verification techniques such as partialorder reduction for model checking. We formalize stuttering equivalence...

PMTBR
 Referenced in 20 articles
[sw02086]
 family of approximate principalcomponentslike 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 highorder 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 onthefly model checker (the previous OFMC). The native input ... searchreduction technique that integrates the lazy intruder with ideas from partialorder reduction. Moreover...

Boom
 Referenced in 2 articles
[sw01318]
 programs. We focus in this paper on modelchecking nonrecursive concurrent programs. Boom implements ... includes partial order reduction methods. Boom is intended for model checking systemlevel 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 firstorder 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 partialorder ... reduction. In particular, we define independence relations at different granularity levels of the database ... show the effectiveness of dynamic partialorder reduction based on these relations.par We apply ... welldefined points, enabling our model checker to scale. We explore the performance implications...

rompy
 Referenced in 2 articles
[sw40385]
 Python package for reducedorder modeling applications of parametrized problems for which their solutions ... complicated for invasively applying orderreduction methods...

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

OPTIMAS
 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 timespan reduction in GTTM ... based on a statistical model called probabilistic contextfree 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 multiobjective optimization model is addressed using ... followed by an interactive filtering process in order to select the most preferred Pareto optimal...