
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 28 articles
[sw10553]
 multivariate location and covariance estimation (MCD), regression (LTS, MCDregression), Principal Component Analysis (RAPCA, ROBPCA...

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

PROGRESS
 Referenced in 10 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...

SBML2Julia
 Referenced in 1 article
[sw36528]
 Python API. Internally, SBML2Julia calls the Julia LTS release v1.0.5 for optimisation. All necessary dependencies...

R
 Referenced in 8728 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 201 articles
[sw02865]
 Analyze your data and improve your products and...

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

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

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

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