top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Constraint-based reasoning / / edited by Eugene C. Freuder and Alan K. Mackworth
Constraint-based reasoning / / edited by Eugene C. Freuder and Alan K. Mackworth
Pubbl/distr/stampa Cambridge, Mass., : MIT Press, 1994
Descrizione fisica 1 online resource (403 pages) : illustrations
Disciplina 006.3
Altri autori (Persone) FreuderEugene C
MackworthAlan K
Soggetto topico Constraints (Artificial intelligence)
Reasoning
Soggetto non controllato COMPUTER SCIENCE/Artificial Intelligence
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910260644903321
Cambridge, Mass., : MIT Press, 1994
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Constraints
Constraints
Pubbl/distr/stampa [Dordrecht], : Kluwer Academic Publishers
Descrizione fisica 1 online resource
Disciplina 005.11
Soggetto topico Constraint programming (Computer science)
Constraints (Artificial intelligence)
Programmation par contraintes
Contraintes (Intelligence artificielle)
Computers
Soggetto genere / forma Periodicals.
Soggetto non controllato Computers
ISSN 1572-9354
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Altri titoli varianti Constraints (Boston)
Record Nr. UNISA-996208164003316
[Dordrecht], : Kluwer Academic Publishers
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Constraints
Constraints
Pubbl/distr/stampa [Dordrecht], : Kluwer Academic Publishers
Descrizione fisica 1 online resource
Disciplina 005.11
Soggetto topico Constraint programming (Computer science)
Constraints (Artificial intelligence)
Programmation par contraintes
Contraintes (Intelligence artificielle)
Computers
Informàtica
Raonament
Intel·ligència artificial
Soggetto genere / forma Periodicals.
Revistes electròniques.
ISSN 1572-9354
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Altri titoli varianti Constraints (Boston)
Record Nr. UNINA-9910142803903321
[Dordrecht], : Kluwer Academic Publishers
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Foundations of constraint satisfaction / Edward Tsang
Foundations of constraint satisfaction / Edward Tsang
Autore Tsang, Edward
Pubbl/distr/stampa London ; San Diego : Academic Press, c1993
Descrizione fisica xx, 320 p. : ill. ; 24 cm
Disciplina 006.33
Soggetto topico Constraints (Artificial intelligence)
ISBN 0127016104
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000891309707536
Tsang, Edward  
London ; San Diego : Academic Press, c1993
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui