Bayesian model averaging (BMA) is the state of the art approach for overcoming model uncertainty. Yet, especially on small data sets, the results yielded by BMA might be sensitive to the prior over the models. Credal Model Averaging (CMA) addresses this problem by substituting the single prior over the models by a set of priors (credal set). Such approach solves the problem of how to choose the...

Aconitum, widely used to treat rheumatoid arthritis for thousands of years, is a toxic herb that can frequently cause fatal cardiac poisoning. Aconitum toxicity could be decreased by properly hydrolyzing diester-diterpene alkaloids into monoester-diterpene alkaloids. Monoester-diterpene alkaloids, including benzoylaconine (BAC), benzoylmesaconine (BMA), and benzoylhypaconine (BHA), are the prim...

BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for biologists with no previous knowledge in programming or formal methods. The current implementation analyzes systems to establish stabilization. The results of the analysis— whether they be proofs or counterexamples—are represented...