• 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 reverse-engineering of Boolean network models from experimental time course data...
  • clasp

  • Referenced in 93 articles [sw07095]
  • logic programs. It combines the high-level 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 multi-state 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 agent-based 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 infinite-state systems with variables of integer, Boolean, function ... verifier, for term-level bounded model checking, correspondence checking, deductive verification, and predicate abstraction-based...
  • 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, bi-plurigaussian 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 DPLL-based pseudo-Boolean 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...