• Tabu search

  • Referenced in 1053 articles [sw08556]
  • useful aspects of tabu search is the ability to adapt a rudimentary prototype implementation ... discrete optimization problems to illustrate the strategic concerns of tabu search, and to show...
  • i*

  • Referenced in 15 articles [sw04447]
  • goals, beliefs, abilities, commitments) to each other and reason about strategic relationships. Dependencies between agents...
  • SilviLab

  • Referenced in 2 articles [sw26946]
  • used by all actors involved in the strategic forest planning. Silvilab provides a graphical representation ... system, the strength of Silvilab is the ability to assess the impact of forest planning ... application can assess the impact of existing strategic plans but also produce a new plan...
  • Matlab

  • Referenced in 12477 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8728 articles [sw00771]
  • R is a language and environment for statistical...
  • PRISM

  • Referenced in 417 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • LINDO

  • Referenced in 539 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • LINGO

  • Referenced in 302 articles [sw04942]
  • LINGO is a comprehensive tool designed to make...
  • Stata

  • Referenced in 812 articles [sw06029]
  • Stata is a complete, integrated statistical package that...
  • Jason

  • Referenced in 62 articles [sw06187]
  • Programming multi-agent systems in AgentSpeak using Jason...
  • SAS

  • Referenced in 1513 articles [sw06377]
  • SAS (Statistical Analysis System) is an integrated system...
  • PORGY

  • Referenced in 13 articles [sw06923]
  • PORGY aims at designing relevant graphical representations and...
  • OEIS

  • Referenced in 3522 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • MCMAS

  • Referenced in 72 articles [sw09463]
  • MCMAS: A Model Checker for the Verification of...
  • MCK

  • Referenced in 30 articles [sw09465]
  • MCK: Model checking knowledge. MCK is a model...
  • Z-Tree

  • Referenced in 610 articles [sw11707]
  • Z-Tree: Zurich Toolbox for ready-made economic...
  • ORSEE

  • Referenced in 154 articles [sw11710]
  • ORSEE is a web-based Online Recruitment System...
  • MOCHA

  • Referenced in 91 articles [sw12935]
  • MOCHA: Modularity in Model Checking. MOCHA is a...
  • jMocha

  • Referenced in 3 articles [sw24777]
  • jMocha: a model checking tool that exploits design...