Results 1 to 20 of 50
Sort by:

  • CoNoteS2
  • Referenced in 2 articles [sw13833]
  • Second, we build on this theory to describe features of CoNoteS2 (a prototype electronic notebook ... learning. Our intent is to illustrate how contemporary learning theory can be used to drive...

  • anthem
  • Referenced in 4 articles [sw30423]
  • anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). In a recent paper ... stable models conforms with their intentions. If a formal specification for the program is available...

  • BIGHORN
  • Referenced in 1 article [sw31834]
  • BIGHORN Computational Fluid Dynamics Theory, Methodology, and Code Verification & Validation Benchmark Problems. This document presents ... validation benchmark test problems for BIGHORN. The intent for this suite of problems...

  • DensToolKit
  • Referenced in 0 articles [sw20061]
  • electron density, under the framework of Quantum Theory of Atoms in Molecules. DensToolKit also evaluates ... release the code with the intent of establishing an open-source collaborative project. The style...

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

  • TPS
  • Referenced in 75 articles [sw00973]
  • TPS and ETPS are, respectively, the Theorem Proving...

  • WordNet
  • Referenced in 410 articles [sw01777]
  • WordNet® is a large lexical database of English...

  • NEURON
  • Referenced in 189 articles [sw03059]
  • Parallel network simulations with NEURON. The NEURON simulation...

  • CPLEX
  • Referenced in 2804 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

  • Spec#
  • Referenced in 123 articles [sw04598]
  • The Spec# programming system is a new attempt...

  • HOL
  • Referenced in 594 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...

  • DELORES
  • Referenced in 26 articles [sw05546]
  • DELORES (DEfeasible LOgic REasoning System) is a forward...

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

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

  • MADM
  • Referenced in 134 articles [sw06484]
  • Decision Making in Manufacturing Environment Using Graph Theory...

  • METATEM
  • Referenced in 55 articles [sw06568]
  • MetateM: An introduction. A methodology for the use...

  • AGRAPH
  • Referenced in 1 article [sw06722]
  • The software AGRAPH, as presented at the Space...

  • Excel
  • Referenced in 786 articles [sw06848]
  • Microsoft Excel is a powerful spreadsheet application that...

  • EQS
  • Referenced in 140 articles [sw07678]
  • EQS - Structural Equation Modeling Software ...

  • GEPASI
  • Referenced in 34 articles [sw07916]
  • Gepasi is a software package for modeling biochemical...