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.
Handbook of Parallel Constraint Reasoning / / edited by Youssef Hamadi, Lakhdar Sais
| Handbook of Parallel Constraint Reasoning / / edited by Youssef Hamadi, Lakhdar Sais |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (687 pages) |
| Disciplina | 006.3 |
| Soggetto topico |
Artificial intelligence
Computers Operations research Decision making Mathematical optimization Artificial Intelligence Theory of Computation Operations Research/Decision Theory Optimization |
| ISBN | 3-319-63516-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I, Theory and Algorithms -- Parallel Satisfiability -- Cube-and-Conquer for Satisfiability -- Parallel Maximum Satisfiability -- Parallel Solving of Quantified Boolean Formulas -- Parallel Satisfiability Modulo Theories -- Parallel Theorem Proving -- Parallel Answer Set Programming -- Parallel Solvers for Mixed Integer Linear Optimization -- Parallel Constraint Programming -- Parallel Local Search -- Parallel A* for State-Space Search -- Parallel Model Checking Algorithms for Linear-Time Temporal Logic -- Multi-core Decision Diagrams -- Parallel Model-Based Diagnosis -- Part II, Tools and Applications -- Selection and Configuration of Parallel Portfolios -- An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems -- Parallel Constraint-Based Local Search: An Application to Designing Resilient Long-Reach Passive Optical Networks. |
| Record Nr. | UNINA-9910299460303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Learning and Intelligent Optimization [[electronic resource] ] : 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers / / edited by Youssef Hamadi, Marc Schoenauer
| Learning and Intelligent Optimization [[electronic resource] ] : 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers / / edited by Youssef Hamadi, Marc Schoenauer |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XXIV, 514 p. 132 illus.) |
| Disciplina | 006.31015196 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Artificial intelligence Numerical analysis Computer science Computer science—Mathematics Discrete mathematics Application software Artificial Intelligence Numerical Analysis Theory of Computation Discrete Mathematics in Computer Science Computer and Information Systems Applications |
| ISBN | 3-642-34413-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Iterative-Deepening Search with On-Line Tree Size Prediction -- A Learning Optimization Algorithm in Graph Theory: Versatile Search for Extremal Graphs Using a Learning Algorithm -- A Math-Heuristic Dantzig-Wolfe Algorithm for the Capacitated Lot Sizing Problem -- Application of the Nested Rollout Policy Adaptation Algorithm to the Traveling Salesman Problem with Time Windows -- Parallel Algorithm Configuration -- Community Detection in Social and Biological Networks Using Differential Evolution -- A Study on Large Population MOEA Using Adaptive ε-Box Dominance and Neighborhood Recombination for Many -- Objective Optimization -- A Non-adaptive Stochastic Local Search Algorithm High-Dimensional Model-Based Optimization Based on Noisy Evaluations of Computer Games -- Pilot, Rollout and Monte Carlo Tree Search Methods for Job Shop Scheduling -- Minimizing Time When Applying Bootstrap to Contingency Tables Analysis of Genome-Wide Data -- Quantifying Homogeneity of Instance Sets for Algorithm Configuration -- Automatically Configuring Algorithms for Scaling Performance -- Upper Confidence Tree-Based Consistent Reactive Planning Application to MineSweeper -- Influence of the Migration Period in Parallel Distributed Gas for Dynamic Optimization -- A Hyper-Heuristic Inspired by Pearl Hunting -- Five Phase and Genetic Hive Hyper-Heuristics for the Cross-Domain Search -- Implicit Model Selection Based on Variable Transformations in Estimation of Distribution -- Improving the Exploration in Upper Confidence Trees -- Parallel GPU Implementation of Iterated Local Search for the Travelling Salesman Problem -- Evaluation of a Family of Reinforcement Learning Cross-Domain Optimization Heuristics.-Effect of SMS-EMOA Parameterizations on Hypervolume Decreases. - Effects of Speciation on Evolution of Neural Networks in Highly Dynamic Environments -- Natural Max-SAT Encoding of Min-SAT. A New Hyperheuristic Algorithm for Cross-Domain Search Problems -- Brain Cine-MRI Sequences Registration Using B-Spline Free-Form Deformations and MLSDO Dynamic Optimization Algorithm -- Global Optimization for Algebraic Geometry -- Clause Sharing in Parallel MaxSAT -- An Intelligent Hyper-Heuristic Framework for CHeSC 2011. . |
| Record Nr. | UNISA-996465672803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||