Results 1 to 20 of 22
Sort by:

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