• EasyCheck

  • Referenced in 12 articles [sw09735]
  • Free variables, nondeterminism and encapsulated search turn out to be elegant and powerful means...
  • BUDI

  • Referenced in 2 articles [sw02767]
  • search information. Many underlying search en- gines can be encapsulated by a common interface...
  • Bob++

  • Referenced in 5 articles [sw22243]
  • rare frameworks that allow implementation of various search methods (B&B, D&C (divide ... notion of global priority queue that encapsulates sequential data structures and load balancing strategies. This ... makes transparent the parallelizations of the search algorithms. To parallelize Bob++ library, we integrated...
  • rsatoolbox

  • Referenced in 1 article [sw32148]
  • stimuli. The representational distance matrix encapsulates what distinctions between stimuli are emphasized and what distinctions ... continuously map a measured brain volume in search of a neuronal population code with...
  • LAPACK

  • Referenced in 1607 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LSQR

  • Referenced in 353 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Mathematica

  • Referenced in 5823 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

  • Referenced in 47 articles [sw01580]
  • HiLog: A foundation for higher-order logic programming...
  • McEliece

  • Referenced in 214 articles [sw02076]
  • Practical power analysis attacks on software implementations of...
  • CLAIRE

  • Referenced in 34 articles [sw02583]
  • CLAIRE: Combining sets, search and rules to better...
  • SALSA

  • Referenced in 30 articles [sw02661]
  • Constraint Programming is recognized as an efficient technique...
  • KLIC

  • Referenced in 11 articles [sw03351]
  • Parallelization of PARI by the parallel logic language...
  • Haskell

  • Referenced in 841 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • Eiffel

  • Referenced in 290 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • The Mozart Programming System is an advanced development...
  • Oz

  • Referenced in 113 articles [sw06799]
  • Oz is a high-level programming language combining...
  • LISP

  • Referenced in 126 articles [sw07201]
  • Lisp (historically, LISP) is a family of computer...
  • NQTHM

  • Referenced in 146 articles [sw07543]
  • A computational logic handbook. This book is a...