• LowRankModels

  • Referenced in 27 articles [sw27002]
  • particular, it supports: using different loss functions for different columns of the data array, which ... when data types are heterogeneous (eg, real, boolean, and ordinal columns); fitting the model...
  • MathSAT5

  • Referenced in 45 articles [sw09569]
  • theories and their combinations, and provides many functionalities (like e.g., unsat cores, interpolation, AllSMT). MathSAT5 ... floating point; third, sound SAT-style Boolean formula preprocessing for SMT formulae; finally, a framework...
  • VBFlib

  • Referenced in 1 article [sw20677]
  • VBFlib. VBF: Vector Boolean Functions Library: User Manual and Analysis of Cryptanalytic Algorithm...
  • libapn

  • Referenced in 1 article [sw30919]
  • library developed to study vectorial Boolean functions including but not limited to APN functions...
  • BDD2Implement

  • Referenced in 1 article [sw30631]
  • files encodes the controller dynamics as boolean functions. If the provided controller is not determinized...
  • ConfigChecker

  • Referenced in 1 article [sw28842]
  • semantics of access control policies with Boolean functions using binary decision diagrams (BDDs). We then...
  • REVEAL

  • Referenced in 28 articles [sw36999]
  • disease, we seek computational methods to maximize functional inference from such large data sets ... networks. Trajectories, or state transition tables of Boolean nets, resemble time series of gene expression...
  • CSIsat

  • Referenced in 15 articles [sw11407]
  • rational linear arithmetic and equality with uninterpreted function symbols. Our implementation combines the efficiency ... solver to reason about the boolean structure. We evaluate the efficiency of our tool...
  • Quantor

  • Referenced in 22 articles [sw28381]
  • algorithm has not changed except for extracting functional dependencies as also used in SATeLite. Self ... SATeLite. Quantor is a solver for quantified boolean formulas (QBF) in the QDIMACS format. Checking...
  • Boolean_Expression_Checkers

  • Referenced in 1 article [sw38023]
  • executable checkers for the following properties of boolean expressions: satisfiability, tautology and equivalence. Internally ... trees and are reasonably efficient (for purely functional algorithms...
  • ff

  • Referenced in 5 articles [sw23393]
  • large data on disk and fast access functions. The ff package provides data structures that ... integer’ and non-standard atomic types boolean (1 bit), quad (2 bit unsigned), nibble ... TRUE, FALSE and NA. Beyond basic access functions, the ff package also provides compatibility functions ... as.ram, as.ff, ffapply). ff interfaces closely with functionality from package ’bit’: chunked looping, fast...
  • medrxivr

  • Referenced in 1 article [sw35505]
  • using regular expressions and Boolean logic, as well as helper functions that allow users...
  • RGeostats

  • Referenced in 7 articles [sw14639]
  • access a wide range of geostatistics usual functionalities. It is also a platform allowing ... develop prototypes for applying new models (examples: Boolean simulations, bi-plurigaussian simulations) or new methods...
  • featsel

  • Referenced in 3 articles [sw30677]
  • functions. This framework allows the user to deal with the search space as a Boolean ... scripts to add new algorithms and/or cost functions, generate random instances, plot graphs and organize...
  • FOOL

  • Referenced in 3 articles [sw14287]
  • sort. Boolean terms are indistinguishable from formulas and can appear as arguments to functions ... introduce a new technique of dealing with Boolean sorts in superposition-based theorem provers. Finally...
  • TravMC2

  • Referenced in 4 articles [sw20008]
  • functional programs, and HORS model checkers play a similar role to checkers of Boolean programs...
  • GLIMPSE

  • Referenced in 9 articles [sw23326]
  • allows very flexible full-text retrieval including Boolean queries, approximate matching (i.e., allowing misspelling ... file systems, while preserving most of its functionality and simplicity. Query times are typically slower...
  • sns

  • Referenced in 4 articles [sw17406]
  • density functions (PDFs) where the proposal density function is a multivariate Gaussian resulting from ... Raphson step from the current point. A Boolean flag allows for switching from ... optimization (by choosing the mean of proposal function as next point). This can be used...
  • EVC

  • Referenced in 8 articles [sw13374]
  • logic of Equality with Uninterpreted Functions and Memories (EUFM). The logic expresses connectness of high ... which can then be evaluated by any Boolean satisfiability (SAT) procedure. EVC has been used...
  • Relation Algebra

  • Referenced in 6 articles [sw32202]
  • well as various notions associated to functions. Relation algebras are also expanded by a reflexive ... algebras and models of binary relations and Boolean matrices...