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 |
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 | ||
|
Constraint reasoning for differential models [[electronic resource] /] / Jorge Cruz |
Autore | Cruz Jorge |
Edizione | [1st ed.] |
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-9910821280203321 |
Cruz Jorge
![]() |
||
Amsterdam ; ; Washington, D.C., : IOS Press, c2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Global smooth solutions for the inviscid SQG equation / / Angel Castro, Diego Córdoba, Javier Gómez-Serrano |
Autore | Castro Angel <1982-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2020] |
Descrizione fisica | 1 online resource (102 pages) |
Disciplina | 620.1064 |
Soggetto topico |
Fluid dynamics - Mathematical models
Inviscid flow Flows (Differentiable dynamical systems) Fluid mechanics Smoothness of functions Geostrophic currents - Mathematical models Interval analysis (Mathematics) Differential equations, Nonlinear - Numerical solutions |
Soggetto genere / forma | Electronic books. |
ISBN | 1-4704-6247-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910480436503321 |
Castro Angel <1982->
![]() |
||
Providence, Rhode Island : , : American Mathematical Society, , [2020] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Global smooth solutions for the inviscid SQG equation / / Angel Castro, Diego Córdoba, Javier Gómez-Serrano |
Autore | Castro Angel <1982-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2020] |
Descrizione fisica | 1 online resource (102 pages) |
Disciplina | 620.1064 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Fluid dynamics - Mathematical models
Inviscid flow Flows (Differentiable dynamical systems) Fluid mechanics Smoothness of functions Geostrophic currents - Mathematical models Interval analysis (Mathematics) Differential equations, Nonlinear - Numerical solutions |
ISBN | 1-4704-6247-8 |
Classificazione | 35Q3565G3076B03 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The equations -- Main theorem and Crandall-Rabinowitz (C-R) theorem -- Checking the hypotheses of the C-R theorem for the equation 2.7. |
Record Nr. | UNINA-9910794343603321 |
Castro Angel <1982->
![]() |
||
Providence, Rhode Island : , : American Mathematical Society, , [2020] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Global smooth solutions for the inviscid SQG equation / / Angel Castro, Diego Córdoba, Javier Gómez-Serrano |
Autore | Castro Angel <1982-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2020] |
Descrizione fisica | 1 online resource (102 pages) |
Disciplina | 620.1064 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Fluid dynamics - Mathematical models
Inviscid flow Flows (Differentiable dynamical systems) Fluid mechanics Smoothness of functions Geostrophic currents - Mathematical models Interval analysis (Mathematics) Differential equations, Nonlinear - Numerical solutions |
ISBN | 1-4704-6247-8 |
Classificazione | 35Q3565G3076B03 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The equations -- Main theorem and Crandall-Rabinowitz (C-R) theorem -- Checking the hypotheses of the C-R theorem for the equation 2.7. |
Record Nr. | UNINA-9910813553903321 |
Castro Angel <1982->
![]() |
||
Providence, Rhode Island : , : American Mathematical Society, , [2020] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
IEEE Std 1788-2015 : IEEE standard for interval arithmetic / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | New York, New York : , : IEEE, , 2015 |
Descrizione fisica | 1 online resource (xiv, 79 pages) |
Disciplina | 511.42 |
Soggetto topico | Interval analysis (Mathematics) |
ISBN | 0-7381-9720-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | IEEE Std 1788-2015: IEEE Standard for Interval Arithmetic |
Record Nr. | UNINA-9910135519703321 |
New York, New York : , : IEEE, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
IEEE Std 1788-2015 : IEEE standard for interval arithmetic / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | New York, New York : , : IEEE, , 2015 |
Descrizione fisica | 1 online resource (xiv, 79 pages) |
Disciplina | 511.42 |
Soggetto topico | Interval analysis (Mathematics) |
ISBN | 0-7381-9720-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | IEEE Std 1788-2015: IEEE Standard for Interval Arithmetic |
Record Nr. | UNISA-996278295303316 |
New York, New York : , : IEEE, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
IEEE Std 1788.1-2017: : IEEE Standard for Interval Arithmetic (Simplified) / / IEEE |
Pubbl/distr/stampa | New York, USA : , : IEEE, , 2018 |
Descrizione fisica | 1 online resource (38 pages) |
Disciplina | 511.42 |
Soggetto topico | Interval analysis (Mathematics) |
ISBN | 1-5044-4602-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
1788.1-2017 - IEEE Standard for Interval Arithmetic
IEEE Std 1788.1-2017 |
Record Nr. | UNINA-9910255436303321 |
New York, USA : , : IEEE, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
IEEE Std 1788.1-2017: : IEEE Standard for Interval Arithmetic (Simplified) / / IEEE |
Pubbl/distr/stampa | New York, USA : , : IEEE, , 2018 |
Descrizione fisica | 1 online resource (38 pages) |
Disciplina | 511.42 |
Soggetto topico | Interval analysis (Mathematics) |
ISBN | 1-5044-4602-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
1788.1-2017 - IEEE Standard for Interval Arithmetic
IEEE Std 1788.1-2017 |
Record Nr. | UNISA-996280251103316 |
New York, USA : , : IEEE, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|