• multistatepdscontrol

  • Referenced in 2 articles [sw31987]
  • phenotype, what happens in cancer. If the network is represented by a mathematical model ... some other model types, such as Boolean networks, where structure-based approaches have been developed...
  • BoolSi

  • Referenced in 1 article [sw36097]
  • Distributed Simulations and Analysis of Boolean Networks. We present BoolSi, an open-source cross-platform ... tool for distributed simulations of synchronous Boolean networks. It uses MPI standard to support execution...
  • Jimena

  • Referenced in 1 article [sw29354]
  • identification for genetic regulatory networks. Background: Boolean networks capture switching behavior of many naturally occurring ... regulatory networks. For semi-quantitative modeling, interpolation between ON and OFF states is necessary ... high degree polynomial interpolation of Boolean genetic regulatory networks (GRNs) in cellular processes such ... models, but suffers from scaling problems for networks which contain nodes with more than...
  • multi2boolean

  • Referenced in 4 articles [sw25069]
  • Many discrete models of biological networks rely exclusively on Boolean variables and many tools...
  • Z34Bio

  • Referenced in 1 article [sw25444]
  • treatment of chemical reaction networks and Boolean networks. We present case-studies which we make...
  • Cellnoptr

  • Referenced in 5 articles [sw15114]
  • models of signal transduction networks using different logic formalisms (Boolean, Fuzzy, or differential equations). CellNOpt ... signaling pathways encoded as a Prior Knowledge Network, and trains it against high-throughput biochemical...
  • Pint

  • Referenced in 1 article [sw35163]
  • traces of automata networks, which encompass Boolean and discrete networks. Pint implements formal approximations...
  • CellNOpt

  • Referenced in 2 articles [sw19834]
  • models of signal transduction networks using different logic formalisms (Boolean, Fuzzy, or differential equations). CellNOpt ... signaling pathways encoded as a Prior Knowledge Network, and trains it against high-throughput biochemical...
  • BoolFilter

  • Referenced in 2 articles [sw22774]
  • estimation as well as network inference of Partially-Observed Boolean Dynamical Systems...
  • SMV

  • Referenced in 13 articles [sw04135]
  • synchronous Mealy machine or as an asynchronous network of abstract, nondeterministic processes. The language provides ... types in the language are finite ones. Booleans, scalars and fixed arrays. Static, structured data...
  • emba

  • Referenced in 1 article [sw35159]
  • ensemble of boolean models for biomarker discovery in cancer cell networks. The package allows ... that can be used to split a boolean model dataset to model groups with regards ... find the average activity difference per network node between all model group pairs. Thus, given ... general (performance biomarkers). Lastly, if the boolean models have a specific equation form and differ...
  • GraMoFoNe

  • Referenced in 3 articles [sw34237]
  • motif) of colored or uncolored network nodes. It uses an exact algorithm to perform this ... express our problem as a linear pseudo-boolean optimization problem (LPB), i.e. as a linear...
  • RRE

  • Referenced in 9 articles [sw22305]
  • engine. Preserving the availability and integrity of networked computing systems in the face of fast ... undesired security events and their countermeasures using Boolean logic to combine lower-level attack consequences ... using Snort’s alerts, can protect large networks for which attack-response trees have more...
  • PULCinella

  • Referenced in 7 articles [sw29878]
  • general tool for propagating uncertainty in valuation networks. We present PULCinella ... moment, Pulcinella can propagate probabilities, belief functions, Boolean values, and possibilities. Moreover, Pulcinella allows...
  • LUTNet

  • Referenced in 1 article [sw36421]
  • activations are quantized down to binary values. Network binarization on FPGAs greatly increases area efficiency ... XNOR: it can perform any K -input Boolean operation. Inspired by this observation, we propose ... construction of area-efficient FPGA-based neural network accelerators using the native LUTs as inference...
  • ConfigChecker

  • Referenced in 1 article [sw28842]
  • multicast packets. Our model represents the network as a state machine where the packet header ... semantics of access control policies with Boolean functions using binary decision diagrams (BDDs). We then ... past states of this packet in the network and verify network reachability and security requirements...
  • NeVer

  • Referenced in 2 articles [sw06592]
  • networks verification The adoption of artificial neural networks (ANNs) in safety-related applications is often ... ANNs into the problem of satisfying corresponding Boolean combinations of linear arithmetic constraints. We describe...
  • NLocalSAT

  • Referenced in 2 articles [sw40123]
  • Boosting Local Search with Solution Prediction. The Boolean satisfiability problem (SAT) is a famous ... changing initialization assignments with a neural network. We evaluated NLocalSAT on five SLS solvers (CCAnr...
  • CSGNet

  • Referenced in 1 article [sw41630]
  • solid geometry principles, i.e., a set of boolean operations on shape primitives defined recursively. Bottom ... contrast, our model uses a recurrent neural network that parses the input shape...
  • BDD2Implement

  • Referenced in 1 article [sw30631]
  • that generate BDD-based sysbolic controllers of (networked) general nonlinear dynamical systems, BDD2Implement completes missing ... files encodes the controller dynamics as boolean functions. If the provided controller is not determinized...