• 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 Boolean-tree-based 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...
  • expansion-network

  • Referenced in 1 article [sw34481]
  • Boolean network model into a “cis-regulatory” 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 bit-vectors...
  • 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...