
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 SATstyle 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 nonstandard 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, biplurigaussian 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 superpositionbased 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 fulltext 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...