
mCRL
 Referenced in 31 articles
[sw29626]
 instantiator generates a labelled transition system (LTS) from an LPO (under the condition that ... finitestate), and the resulting LTS can be visualised, analysed and minimised...

LIBRA
 Referenced in 26 articles
[sw10553]
 multivariate location and covariance estimation (MCD), regression (LTS, MCDregression), Principal Component Analysis (RAPCA, ROBPCA...

FSDA
 Referenced in 16 articles
[sw11737]
 robust multivariate and regression techniques, including LMS, LTS, MCD, MVE, MM and S estimation...

PROGRESS
 Referenced in 9 articles
[sw26316]
 which also computes the least trimmed squares (LTS) method. We will discuss the various...

WiCcA
 Referenced in 2 articles
[sw09763]
 WiCcA: LTS generation tool for wire calculus. We introduce the WIre CalCulus Application (WiCcA ... generating and operating on labelled transition systems (LTS) that result from wirecalculus specifications...

ltsbase
 Referenced in 2 articles
[sw27788]
 ltsbase: Ridge and Liu Estimates based on LTS (Least Trimmed Squares) Method. This ... estimate Ridge and Liu estimators based on LTS method in multiple linear regression analysis...

galts
 Referenced in 1 article
[sw24525]
 galts: Genetic Algorithms and CSteps Based LTS (Least Trimmed Squares) Estimation. Includes the ga.lts ... function that estimates LTS (Least Trimmed Squares) parameters using genetic algorithms and Csteps. ga.lts ... calculate the cost value of the LTS criterion. OLS (Ordinary Least Squares) regression is known ... change the values of estimated parameters. LTS is a resistant estimator even the number...

SeVe
 Referenced in 2 articles
[sw06547]
 security protocols in the labeled transition system (LTS) semantics model, which embeds the knowledge...

ROBUSTREG
 Referenced in 2 articles
[sw12090]
 SAS/IML, acting as function calls. They are LTS, LMS, MCD, MVE, LAV, and MAD. These...

Manticore
 Referenced in 2 articles
[sw20009]
 mostly sequential semantics; a Lazy Tree Splitting (LTS) strategy for performancerobust workstealing...

CDMATH
 Referenced in 1 article
[sw18396]
 easiest to install on Ubuntu 14.04 LTS, on Debian Jessie, as well as on Fedora...

R
 Referenced in 8180 articles
[sw00771]
 R is a language and environment for statistical...

WSAT
 Referenced in 37 articles
[sw01022]
 This paper presents Web Service Analysis Tool (WSAT...

SYSTAT
 Referenced in 12 articles
[sw01115]
 SYSTAT hat alles, was Sie für die statistische...

MINITAB
 Referenced in 200 articles
[sw02865]
 Analyze your data and improve your products and...

SPLUS
 Referenced in 588 articles
[sw02892]
 SPLUS is a powerful environment for statistical...

SLAM
 Referenced in 151 articles
[sw03136]
 SLAM is a project for checking that software...

RODAS
 Referenced in 1522 articles
[sw04112]
 Rosenbrock method of order 4(3), for problems...

SPSS
 Referenced in 451 articles
[sw04269]
 SPSS is a computer program used for survey...

Walksat
 Referenced in 206 articles
[sw04328]
 GSAT and WalkSat are local search algorithms to...