
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 structurebased approaches have been developed...

BoolSi
 Referenced in 1 article
[sw36097]
 Distributed Simulations and Analysis of Boolean Networks. We present BoolSi, an opensource crossplatform ... 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 semiquantitative 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 casestudies 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 highthroughput 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 highthroughput biochemical...

BoolFilter
 Referenced in 2 articles
[sw22774]
 estimation as well as network inference of PartiallyObserved 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 pseudoboolean 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 lowerlevel attack consequences ... using Snort’s alerts, can protect large networks for which attackresponse 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 areaefficient FPGAbased 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 safetyrelated 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 BDDbased 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...