Sciweavers

AIME
2003
Springer
14 years 20 days ago
Constraint Reasoning in Deep Biomedical Models
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, g...
Jorge Cruz, Pedro Barahona