
PyCPX
 Referenced in 1 article
[sw22843]
 over real, boolean, and integer variables. PyCPX allows one to naturally express such programs using...

MathCheck
 Referenced in 13 articles
[sw13642]
 routines of modern SAT solvers, with the expressive power of CAS, thus complementing both ... efficient encoding of problems than a pure Boolean representation.{par}In this paper, we leverage...

WebGestalt
 Referenced in 7 articles
[sw17514]
 deletes gene sets, as well as performs Boolean operations to generate the unions, intersections ... various biological contexts, including Gene Ontology, tissue expression pattern, chromosome distribution, metabolic and signaling pathways...

ToyElim
 Referenced in 3 articles
[sw09900]
 without these operators. Tasks like elimination of Boolean quantifiers, computation of uniform interpolants, certain forms ... various semantics of logic programming can be expressed and integrated in this framework. The objective...

Jimena
 Referenced in 1 article
[sw29354]
 necessary. The high degree polynomial interpolation of Boolean genetic regulatory networks (GRNs) in cellular processes ... Many GRNs from literature or new gene expression experiments exceed those limitations ... simulation framework Jimena we introduce and setup Booleantreebased data structures; (ii) corresponding algorithms...

sns
 Referenced in 4 articles
[sw17406]
 Raphson step from the current point. A Boolean flag allows for switching from ... cycle. Numerical differentiation is available when analytical expressions for gradient and Hessian are not available...

p2b
 Referenced in 2 articles
[sw04983]
 research tool that translates Promela programs to boolean representations of the automata associated with them ... exhibit different performance on problems that are expressible within both frameworks. Hence we envisage that...

expansionnetwork
 Referenced in 1 article
[sw34481]
 Boolean network model into a “cisregulatory” Boolean network model. This expanded model explicitly defines ... expanded model can automatically be compared with expression data. And, for each node, a regulatory...

tkalc
 Referenced in 0 articles
[sw05327]
 network operators. Arbitrary arithmetic or logical expressions can be entered very quickly in a text ... hexadecimal, octal, binary, ASCII, IP address, and Boolean format. It accepts all number formats, operators...

PCC_Mutations
 Referenced in 1 article
[sw42849]
 later stage. We built a Boolean model to analyze the microenvironment of pancreatic cancer ... these nodes were found to be differentially expressed among pancreatic cancer patients in the TCGA...

Boolector
 Referenced in 32 articles
[sw00085]
 Boolector: an efficient SMT solver for bitvectors...

CGAL
 Referenced in 402 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

LANGAGE
 Referenced in 39 articles
[sw00501]
 LANGAGE: A Maple package for automaton characterization of...

LEDA
 Referenced in 264 articles
[sw00509]
 In the core computer science areas  data structures...

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3363 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

MapReduce
 Referenced in 267 articles
[sw00546]
 MapReduce is a new parallel programming model initially...