• PRISM

  • Referenced in 454 articles [sw01186]
  • time Markov chains. Analysis is performed through model checking such systems against specifications written ... logics PCTL and CSL. The tool features three model checking engines: one symbolic, using BDDs...
  • Stata

  • Referenced in 845 articles [sw06029]
  • adds many new features such as structural equation modeling (SEM), contrasts, ARFIMA, business calendars, chained...
  • LINGO

  • Referenced in 321 articles [sw04942]
  • powerful language for expressing optimization models, a full featured environment for building and editing problems...
  • IFISS

  • Referenced in 258 articles [sw04398]
  • that arise in incompressible flow modelling. A unique feature of the package is its comprehensive...
  • MOD-DIST

  • Referenced in 256 articles [sw07504]
  • taxonomy of location problems and models is also presented. Featuring examples using the author ... theoretical and applied perspective on location models and algorithms -- An intuitive presentation of the uses...
  • MENU-OKF

  • Referenced in 256 articles [sw07505]
  • taxonomy of location problems and models is also presented. Featuring examples using the author ... theoretical and applied perspective on location models and algorithms -- An intuitive presentation of the uses...
  • SITATION

  • Referenced in 248 articles [sw07503]
  • taxonomy of location problems and models is also presented. Featuring examples using the author ... theoretical and applied perspective on location models and algorithms -- An intuitive presentation of the uses...
  • System Identification Toolbox

  • Referenced in 179 articles [sw05686]
  • state space or MISO polynomial model structures. A key feature of the software ... These include the estimation of non-linear models, the use of non-standard model parametrizations...
  • limma

  • Referenced in 61 articles [sw10458]
  • differential expression analyses using the linear modeling features of the limma package. The chapter starts ... control spots in conjunction with linear modelling is illustrated on the β7 data...
  • XPath

  • Referenced in 375 articles [sw15780]
  • data model. The name of the language derives from its most distinctive feature, the path...
  • Bio-PEPA

  • Referenced in 108 articles [sw01361]
  • PEPA, a process algebra for the modelling and the analysis of biochemical networks ... order to handle some features of biological models, suchas stoichiometry and the use of general...
  • ROME

  • Referenced in 124 articles [sw04733]
  • optimization problem. Through these modeling examples, we highlight the key features of ROME that allow...
  • Tabu search

  • Referenced in 1079 articles [sw08556]
  • tabu search. We describe the main features of tabu search, emphasizing a perspective for guiding ... rudimentary prototype implementation to encompass additional model elements, such as new types of constraints...
  • strucchange

  • Referenced in 62 articles [sw07118]
  • dating structural changes in (linear) regression models. strucchange features tests/methods from the generalized fluctuation test ... fluctuation processes. Finally, the breakpoints in regression models with structural changes can be estimated together...
  • PAT

  • Referenced in 38 articles [sw13258]
  • comes with user friendly interfaces, featured model editor and animated simulator. Most importantly, PAT implements...
  • MLwiN

  • Referenced in 108 articles [sw04837]
  • statistical software package for fitting multilevel models. It uses both maximum likelihood estimation and Markov ... well as other additional features)[1]. MLwiN represents multilevel models using mathematical notation including Greek...
  • BIOCHAM

  • Referenced in 45 articles [sw09927]
  • Biocham) is a modelling environment for systems biology, with some unique features for static analysis ... respect to such specifications, unique features for developing/correcting/completing/coupling models, including the inference of kinetic parameters...
  • SC Toolbox

  • Referenced in 208 articles [sw04462]
  • release supports new features, including an object-oriented command-line interface model, new algorithms...
  • DeepWalk

  • Referenced in 71 articles [sw39604]
  • generalizes recent advancements in language modeling and unsupervised feature learning (or deep learning) from sequences...
  • STP

  • Referenced in 44 articles [sw34795]
  • finders, cryptographic algorithms, intelligent fuzzers and model checkers. Features: Easy to embed or run standalone...