Results 1 to 20 of 51
Sort by:

  • CLARION
  • Referenced in 8 articles [sw30592]
  • CLARION is a unified, comprehensive theory of the mind based on a hybrid architecture able...

  • FAdo
  • Referenced in 16 articles [sw10335]
  • also in mind the construction of a pedagogical tool for teaching automata theory and formal...

  • GUItar
  • Referenced in 10 articles [sw10336]
  • also in mind the construction of a pedagogical tool for teaching automata theory and formal...

  • MatContM
  • Referenced in 8 articles [sw06061]
  • Numerical bifurcation analysis of maps. From theory to software. This book combines a comprehensive state ... mind and is an invaluable reference for practitioners. Part I focuses on theory, providing...

  • OCTBEC
  • Referenced in 7 articles [sw14253]
  • control theory (OCT), of Bose–Einstein condensates (BEC). The systems we have in mind...

  • CSparseJ
  • Referenced in 1 article [sw20193]
  • five goals in mind: they must embody much of the theory behind sparse matrix algorithms...

  • fzn2smt
  • Referenced in 4 articles [sw13501]
  • formula with respect to background theories --such as linear arithmetic, arrays, etc-- for which specialized ... fzn2smt was designed with the idea in mind of help testing the adequacy...

  • SCSV_IPS
  • Referenced in 1 article [sw37772]
  • that objective in mind, we built a mathematical model upon the Theory of Internal Angular...

  • CLTDSE
  • Referenced in 2 articles [sw17634]
  • strong field ab-initio simulations specifically in mind; CLTDSE. The code makes use of finite ... test system; Hydrogen. After introducing the standard theory, and specific quantities which are calculated...

  • Algorithm 1005
  • Referenced in 1 article [sw35923]
  • corresponding BLAS, in line with theory. The emphasis is on reverse mode because ... main application that we have in mind, numerical optimization. Two examples are presented, one dealing...

  • Maple DEtools
  • Referenced in 1 article [sw38755]
  • MAPLE is used with several purposes in mind. The authors are firm believers ... then synthesizes these experiments into a general theory. Projects based on the concept of writing...

  • SpectralNET
  • Referenced in 3 articles [sw26161]
  • spectral graph analysis and visualization. Graph theory provides a computational framework for modeling a variety ... analysis of graph-theoretic metrics in mind, a computational task not easily accessible using currently...

  • hsSim
  • Referenced in 1 article [sw36148]
  • tasks, and in mixed-criticality scenarios. Most theory and practice focuses on two-level hierarchies ... goal of openness, extensibility and interoperability in mind, due care was put into the design...

  • pSpatiocyte
  • Referenced in 0 articles [sw15003]
  • program called pSpatiocyte was created bearing in mind reaction networks in biological cells operating ... diffusion and reaction rates were validated by theory and another well-validated program...

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

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

  • ELLPACK
  • Referenced in 131 articles [sw01208]
  • Interactive ELLPACK: An interactive problem-solving environment for...

  • VESTA
  • Referenced in 10 articles [sw02978]
  • For substantial software systems (say, 500k source lines...

  • Gaigen
  • Referenced in 36 articles [sw04958]
  • Gaigen is a program which can generate implementations...

  • Miranda
  • Referenced in 153 articles [sw04986]
  • Miranda: A non-strict functional language with polymorphic...