ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
An introduction to the mathematics of biology: with computer algebra models
An introduction to the mathematics of biology: with computer algebra models
Handling Differential Equations with Constraints for Decision Support
FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
Optimal Pruning in Parametric Differential Equations
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
Consistency techniques for numeric CSPs
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Probabilistic constraints for reliability problems
Proceedings of the 2010 ACM Symposium on Applied Computing
Constraint propagation on quadratic constraints
Constraints
Including ordinary differential equations based constraints in the standard CP framework
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Hi-index | 0.00 |
Objective:: Deep biomedical models are often expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and make decisions, given their non-linearity and the important effects that the uncertainty on data may cause. The objective of this work is to propose a constraint reasoning framework to support safe decisions based on deep biomedical models. Method:: The methods used in our approach include the generic constraint propagation techniques for reducing the bounds of uncertainty of the numerical variables complemented with new constraint reasoning techniques that we developed to handle differential equations. Results:: The results of our approach are illustrated in biomedical models for the diagnosis of diabetes, tuning of drug design and epidemiology where it was a valuable decision-supporting tool notwithstanding the uncertainty on data. Conclusion:: The main conclusion that follows from the results is that, in biomedical decision support, constraint reasoning may be a worthwhile alternative to traditional simulation methods, especially when safe decisions are required.