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.
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 | ||
| ||
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 | ||
| ||
Global smooth solutions for the inviscid SQG equation / / Angel Castro, Diego Córdoba, Javier Gómez-Serrano
| 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] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Global smooth solutions for the inviscid SQG equation / / Angel Castro, Diego Córdoba, Javier Gómez-Serrano
| 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] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Global smooth solutions for the inviscid SQG equation / / Angel Castro, Diego Córdoba, Javier Gómez-Serrano
| 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] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEEE Std 1788-2015 : IEEE standard for interval arithmetic / / Institute of Electrical and Electronics Engineers
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEEE Std 1788-2015 : IEEE standard for interval arithmetic / / Institute of Electrical and Electronics Engineers
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
IEEE Std 1788.1-2017: : IEEE Standard for Interval Arithmetic (Simplified) / / IEEE
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEEE Std 1788.1-2017: : IEEE Standard for Interval Arithmetic (Simplified) / / IEEE
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Interval analysis : and automatic result verification / / Günter Mayer
| Interval analysis : and automatic result verification / / Günter Mayer |
| Autore | Mayer Günter |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2017 |
| Descrizione fisica | 1 online resource (518 pages) |
| Disciplina | 511.42 |
| Collana | De Gruyter Studies in Mathematics |
| Soggetto topico | Interval analysis (Mathematics) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
3-11-049805-7
3-11-049946-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- 1. Preliminaries -- 2. Real intervals -- 3. Interval vectors, interval matrices -- 4. Expressions, P-contraction, ε-inflation -- 5. Linear systems of equations -- 6. Nonlinear systems of equations -- 7. Eigenvalue problems and related ones -- 8. Automatic differentiation -- 9. Complex intervals -- Final Remarks -- Appendix -- A. Proof of the Jordan normal form -- B. Two elementary proofs of Brouwer's fixed point theorem -- C. Proof of the Newton-Kantorovich Theorem -- D. Convergence proof of the row cyclic Jacobi method -- E. The CORDIC algorithm -- F. The symmetric solution set - a proof of Theorem 5.2.6 -- G. A short introduction to INTLAB -- Bibliography -- Symbol Index -- Author Index -- Subject Index |
| Record Nr. | UNINA-9910466001203321 |
|
Mayer Günter
|
||
| Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
