Constraint reasoning for differential models [[electronic resource] /] / Jorge Cruz
| Constraint reasoning for differential models [[electronic resource] /] / Jorge Cruz |
| Autore | Cruz Jorge |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2005 |
| Descrizione fisica | 1 online resource (244 p.) |
| Disciplina | 006.3 |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Constraints (Artificial intelligence)
Differential equations Interval analysis (Mathematics) Biophysics - Mathematical models |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-24343-0
9786610243433 1-4237-9924-0 1-60750-121-X 600-00-0376-5 1-60129-102-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Table of Contents; Introduction; Interval Constraints; Constraint Satisfaction Problems; Interval Analysis; Constraint Propagation; Partial Consistencies; Global Hull-Consistency; Local Search; Experimental Results; Interval Constraints for Differential Equations; Ordinary Differential Equations; Constraint Satisfaction Differential Problems; Solving a CSDP; Biomedical Decision Support with ODEs; Conclusions and Future Work; References; Appendix A: Interval Analysis Theorems; Appendix B: Constraint Propagation Theorems |
| Record Nr. | UNINA-9910449786603321 |
Cruz Jorge
|
||
| Amsterdam ; ; Washington, D.C., : IOS Press, c2005 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constraint reasoning for differential models [[electronic resource] /] / Jorge Cruz
| Constraint reasoning for differential models [[electronic resource] /] / Jorge Cruz |
| Autore | Cruz Jorge |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2005 |
| Descrizione fisica | 1 online resource (244 p.) |
| Disciplina | 006.3 |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Constraints (Artificial intelligence)
Differential equations Interval analysis (Mathematics) Biophysics - Mathematical models |
| ISBN |
1-280-24343-0
9786610243433 1-4237-9924-0 1-60750-121-X 600-00-0376-5 1-60129-102-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Table of Contents; Introduction; Interval Constraints; Constraint Satisfaction Problems; Interval Analysis; Constraint Propagation; Partial Consistencies; Global Hull-Consistency; Local Search; Experimental Results; Interval Constraints for Differential Equations; Ordinary Differential Equations; Constraint Satisfaction Differential Problems; Solving a CSDP; Biomedical Decision Support with ODEs; Conclusions and Future Work; References; Appendix A: Interval Analysis Theorems; Appendix B: Constraint Propagation Theorems |
| Record Nr. | UNINA-9910783420503321 |
Cruz Jorge
|
||
| Amsterdam ; ; Washington, D.C., : IOS Press, c2005 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||