
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 highlevel language and interactive...

HiLog
 Referenced in 47 articles
[sw01580]
 HiLog: A foundation for higherorder 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, generalpurpose purely functional...

Eiffel
 Referenced in 290 articles
[sw03522]
 Eiffel is an ISOstandardized, objectoriented programming...

SparseMatrix
 Referenced in 607 articles
[sw04629]
 The University of Florida Sparse Matrix Collection. We...

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

Oz
 Referenced in 113 articles
[sw06799]
 Oz is a highlevel 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...