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.
Mathematical Foundations of Nature-Inspired Algorithms / Xin-She Yang, Xing-Shi He
| Mathematical Foundations of Nature-Inspired Algorithms / Xin-She Yang, Xing-Shi He |
| Autore | Yang, Xin-She |
| Pubbl/distr/stampa | Cham, : Springer, 2019 |
| Descrizione fisica | xi, 107 p. : ill. ; 24 cm |
| Altri autori (Persone) | He, Xing-Shi |
| Soggetto topico |
68Q25 - Analysis of algorithms and problem complexity [MSC 2020]
60J10 - Markov chains (discrete-time Markov processes on discrete state spaces) [MSC 2020] 90Cxx - Mathematical programming [MSC 2020] 46N10 - Applications of functional analysis in optimization, convex analysis, mathematical programming, economics [MSC 2020] 97N40 - Numerical analysis (educational aspects) [MSC 2020] 37N40 - Dynamical systems in optimization and economics [MSC 2020] 68W20 - Randomized algorithms [MSC 2020] 80M50 - Optimization problems in thermodynamics and heat transfer [MSC 2020] |
| Soggetto non controllato |
Algorithm Analysis
Ant Colony Optimization Bat Algorithm Bayesian Framework Bees-inspired Algorithms Cuckoo Search Essence of an Algorithm Filter Theory Firefly Algorithm General Formulation of Optimization Gradient-Based Optimization Techniques Gradient-Free Methods and Metaheuristics Hyper-Optimization Markov Chain Monte Carlo Nature-Inspired Algorithms Parameter Tuning and Control Particle Swarm Optimization Stability of an Algorithm Swarm Intelligence Unconstrained Optimization |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0126993 |
Yang, Xin-She
|
||
| Cham, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Foundations of Nature-Inspired Algorithms / Xin-She Yang, Xing-Shi He
| Mathematical Foundations of Nature-Inspired Algorithms / Xin-She Yang, Xing-Shi He |
| Autore | Yang, Xin-She |
| Pubbl/distr/stampa | Cham, : Springer, 2019 |
| Descrizione fisica | xi, 107 p. : ill. ; 24 cm |
| Altri autori (Persone) | He, Xing-Shi |
| Soggetto topico |
37N40 - Dynamical systems in optimization and economics [MSC 2020]
46N10 - Applications of functional analysis in optimization, convex analysis, mathematical programming, economics [MSC 2020] 60J10 - Markov chains (discrete-time Markov processes on discrete state spaces) [MSC 2020] 68Q25 - Analysis of algorithms and problem complexity [MSC 2020] 68W20 - Randomized algorithms [MSC 2020] 80M50 - Optimization problems in thermodynamics and heat transfer [MSC 2020] 90Cxx - Mathematical programming [MSC 2020] 97N40 - Numerical analysis (educational aspects) [MSC 2020] |
| Soggetto non controllato |
Algorithm Analysis
Ant Colony Optimization Bat Algorithm Bayesian Framework Bees-inspired Algorithms Cuckoo Search Essence of an Algorithm Filter Theory Firefly Algorithm General Formulation of Optimization Gradient-Based Optimization Techniques Gradient-Free Methods and Metaheuristics Hyper-Optimization Markov Chain Monte Carlo Nature-Inspired Algorithms Parameter Tuning and Control Particle Swarm Optimization Stability of an Algorithm Swarm Intelligence Unconstrained Optimization |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00126993 |
|
Yang, Xin-She
|
||
| Cham, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna
| The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna |
| Autore | Bradley, Aaron R. |
| Pubbl/distr/stampa | Berlin, : Springer, 2007 |
| Descrizione fisica | XV, 366 p. : ill. ; 25 cm |
| Altri autori (Persone) | Manna, Zohar |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] |
| Soggetto non controllato |
Algorithm Analysis
Algorithms Artificial Intelligence Computer Data structure Formal method Learning Logic Problem complexity Verification |
| ISBN | 978-35-407-4112-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0250684 |
|
Bradley, Aaron R.
|
||
| Berlin, : Springer, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna
| The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna |
| Autore | Bradley, Aaron R. |
| Pubbl/distr/stampa | Berlin, : Springer, 2007 |
| Descrizione fisica | XV, 366 p. : ill. ; 25 cm |
| Altri autori (Persone) | Manna, Zohar |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B25 - Decidability of theories and sets of sentences [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 68-XX - Computer science [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] 68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] |
| Soggetto non controllato |
Algorithm Analysis
Algorithms Artificial Intelligence Computer Data structure Formal method Learning Logic Problem complexity Verification |
| ISBN | 978-35-407-4112-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00250684 |
|
Bradley, Aaron R.
|
||
| Berlin, : Springer, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||