• mCRL

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

  • Referenced in 26 articles [sw10553]
  • multivariate location and covariance estimation (MCD), regression (LTS, MCD-regression), 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 wire-calculus 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 C-Steps Based LTS (Least Trimmed Squares) Estimation. Includes the ga.lts ... function that estimates LTS (Least Trimmed Squares) parameters using genetic algorithms and C-steps. 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 performance-robust work-stealing...
  • 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...
  • S-PLUS

  • Referenced in 588 articles [sw02892]
  • S-PLUS 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...