
Bebop
 Referenced in 74 articles
[sw08928]
 Bebop: A Symbolic Model Checker for Boolean Programs. We present the design, implementation and empirical ... evaluation of Bebop—a symbolic model checker for boolean programs. Bebop represents control flow explicitly ... variable scoping, Bebop is able to model check boolean programs with several thousand lines...

XPath
 Referenced in 373 articles
[sw15780]
 Data Model (Second Edition)]. The data model provides a tree representation of XML documents ... atomic values such as integers, strings, and booleans, and sequences that may contain both references ... generally, any sequence allowed by the data model. The name of the language derives from...

PolyBoRi
 Referenced in 48 articles
[sw00723]
 basis computations with Boolean polynomials. Boolean polynomials can be modelled in a rather simple ... lying in {0,1}. The ring of Boolean polynomials is, however, not a polynomial ring...

booleannet
 Referenced in 8 articles
[sw22019]
 Boolean network simulations for life scientists. Modern life sciences research increasingly relies on computational solutions ... theoretical modeling. Within the theoretical models Boolean networks occupy an increasing role as they ... mathematical formalism. The conceptual underpinnings of Boolean modeling are very accessible even without a background ... clear overview of the concepts used in Boolean simulations, present a software library that...

BIOCHAM
 Referenced in 43 articles
[sw09927]
 based language for modeling biochemical systems (compatible with SBML); several simulators (boolean, differential, stochastic ... properties of a biological system and validate models with respect to such specifications, unique features...

CGAL
 Referenced in 370 articles
[sw00118]
 graphics, scientific visualization, computer aided design and modeling, geographic information systems, molecular biology, medical imaging ... Voronoi diagrams, and segment Voronoi diagrams), polygons (Boolean operations, offsets, straight skeleton), polyhedra (Boolean operations...

Polynome
 Referenced in 6 articles
[sw12584]
 Parameter estimation for Boolean models of biological networks. Boolean networks have long been used ... models of molecular networks, and they play an increasingly important role in systems biology. This ... service, that helps users construct Boolean network models based on experimental data and biological input ... tool for reverseengineering of Boolean network models from experimental time course data...

clasp
 Referenced in 93 articles
[sw07095]
 logic programs. It combines the highlevel modeling capacities of answer set programming (ASP) with ... techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict...

REVEAL
 Referenced in 28 articles
[sw36999]
 using binary models of genetic networks. Trajectories, or state transition tables of Boolean nets, resemble ... synchronous Boolean networks, the algorithm is generalizable to include multistate models, essentially allowing direct...

LowRankModels
 Referenced in 27 articles
[sw27002]
 loss functions and regularizers to construct a model suitable for a particular data ... heterogeneous (eg, real, boolean, and ordinal columns); fitting the model to only some...

multi2boolean
 Referenced in 4 articles
[sw25069]
 preserving mapping from multilevel to Boolean dynamics. Many discrete models of biological networks rely exclusively ... available for analysis of strictly Boolean models. However, multilevel variables are often required to account ... conversion methods for multilevel to Boolean models. In particular, Van Ham’s method has been ... properties of logical models. Here, we propose a new multilevel to Boolean conversion method, with...

ADAM
 Referenced in 8 articles
[sw21957]
 discrete models, such as probabilistic Boolean networks, logical models, Petri nets, and agentbased models...

ProMoT
 Referenced in 5 articles
[sw02007]
 also for the visual construction of Boolean models that can be analyzed with CellNetAnalyzer...

UCLID
 Referenced in 25 articles
[sw04657]
 used to model and verify infinitestate systems with variables of integer, Boolean, function ... verifier, for termlevel bounded model checking, correspondence checking, deductive verification, and predicate abstractionbased...

Gecode
 Referenced in 64 articles
[sw06272]
 comprehensive set of features: constraints over integers, Booleans, sets, and floats (it implements more than ... Catalog and many more on top); C++ modeling layer; advanced branching heuristics (accumulated failure count...

RGeostats
 Referenced in 7 articles
[sw14639]
 develop prototypes for applying new models (examples: Boolean simulations, biplurigaussian simulations) or new methods...

semprop
 Referenced in 17 articles
[sw28383]
 Lemma and model caching in decision procedures for quantified Boolean formulas. The increasing role ... selection in semantic tree procedures for quantified Boolean formulas, learning methods are more important than ... techniques based on the caching of models, too. The theoretical effect of these improvements...

OHSUMED
 Referenced in 30 articles
[sw24649]
 space model, these physicians searched just as effectively as more experienced searchers using Boolean searching...

HySAT
 Referenced in 24 articles
[sw01980]
 this paper we present HySAT, a bounded model checker for linear hybrid systems, incorporating ... tight integration of a DPLLbased pseudoBoolean SAT solver and a linear programming routine ... optimizations that arise naturally in the bounded model checking context, e.g. isomorphic replication of learned...

RSat
 Referenced in 22 articles
[sw13117]
 complete Boolean satisfiability solver with an exhaustive search interface for applications such as model counting...