• ADDPLAN

  • Referenced in 10 articles [sw09317]
  • planned clinical trial within a user-friendly interface. ADDPLAN is currently used by regulatory agencies...
  • SISTM

  • Referenced in 2 articles [sw18612]
  • Highways Agency can decide how the software fits in with their plans. SISTM consists ... many motorway studies, mostly for the Highways Agency, including setting of parameters for the Controlled...
  • EnergyPlus

  • Referenced in 12 articles [sw16969]
  • these tools. In 1996, a US federal agency began developing a new building energy simulation ... third party module and interface development. Other planned simulation capabilities include multizone airflow, and electric...
  • FAIS

  • Referenced in 2 articles [sw35605]
  • plans for system improvements and future development in the context of an expanded agency mission...
  • fireLib

  • Referenced in 2 articles [sw09226]
  • specialized in issues concerning wildland fire planning, behavior, fuel, weather, and effects. Here we post ... cooperation with various federal wildland fire management agencies. All items posted on this site...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • SQG

  • Referenced in 19 articles [sw00907]
  • This paper describes an implementation of a complementary...
  • GOLOG

  • Referenced in 173 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • MPFR

  • Referenced in 232 articles [sw03312]
  • The MPFR library is a C library for...
  • LINDO

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

  • Referenced in 78 articles [sw04925]
  • LIMDEP Version 10 is an integrated statistical package...
  • LINGO

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

  • Referenced in 102 articles [sw06186]
  • AgentSpeak is an agent-oriented programming language. It...
  • DIMACS

  • Referenced in 578 articles [sw08221]
  • The DIMACS Implementation Challenges address questions of determining...
  • NetLogo

  • Referenced in 117 articles [sw09150]
  • NetLogo, a Multi-agent Simulation Environment. NetLogo [Wilensky...
  • MYSTIQ

  • Referenced in 12 articles [sw09439]
  • MYSTIQ: a system for finding more answers by...
  • BayesDA

  • Referenced in 1310 articles [sw11008]
  • BayesDA: Functions and Datasets for the book ”Bayesian...
  • Z-Tree

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

  • Referenced in 1136 articles [sw19105]
  • R package bootstrap. bootstrap: Functions for the Book...
  • CLAM

  • Referenced in 41 articles [sw19619]
  • CLAM Proof Planner. OYSTER is an interactive proof...