Results 1 to 20 of 3330
Sort by:

  • 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...