A Hybrid Hoare Logic for Gene Network Models.

Jonathan Behaegel Jean-Paul Comet Maxime Folschette

Published in: CoRR (2016)

Keyphrases

probabilistic model
gene networks
databases
statistical models
data sets
neural network
data mining
similarity measure
markov random field
model selection
computational models