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.
Applied Parallel and Scientific Computing [[electronic resource] ] : 11th International Conference, PARA 2012, Helsinki, Finland / / edited by Pekka Manninen, Per Öster
| Applied Parallel and Scientific Computing [[electronic resource] ] : 11th International Conference, PARA 2012, Helsinki, Finland / / edited by Pekka Manninen, Per Öster |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 568 p. 186 illus.) |
| Disciplina | 004.6/185 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Numerical analysis
Algorithms Microprocessors Computer architecture Electronic digital computers—Evaluation Computer science—Mathematics Numerical Analysis Processor Architectures System Performance and Evaluation Mathematical Applications in Computer Science |
| ISBN | 3-642-36803-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computational Physics on Graphics Processing Units -- Preparing Scientific Application Software for Exascale Computing -- PRACE DECI (Distributed European Computing Initiative) Minisymposium -- Parallel Electronic Structure Calculations Using Multiple Graphics Processing Units -- An Environment for Service Composition, Execution and Resource Allocation -- Multicore and Accelerator Development for a Leadership-Class Stellar Astrophysics Code -- Steering and In-situ Visualization for Simulation of Seismic Wave Propagation on Graphics Cards -- PCJ - New Approach for Parallel Computations in Java -- Parallel Numerical Simulation of Seismic Waves Propagation with Intel Math Kernel Library -- Blocked Schur Algorithms for Computing the Matrix Square Root -- Distributed Evolutionary Computing System Based on Web Browsers with JavaScript -- Parallel Implementation of the Sherman-Morrison Matrix Inverse Algorithm -- Parallel Interval Newton Method on CUDA -- Heterogeneous Multi-agent Evolutionary System for Solving Parametric Interval Linear Systems -- Interval Finite Difference Method for Solving the One-Dimensional Heat Conduction Problem with Heat Sources -- Interval Arithmetic and Automatic Differentiation on GPU Using Open CL -- Tuning the Interval Algorithm for Seeking Pareto Sets of Multi-criteria Problems -- A Central-Backward Difference Interval Method for Solving the Wave Equation -- Using State-of-the-Art Sparse Matrix Optimizations for Accelerating the Performance of Multiphysics Simulations -- Schedule Optimisation for Interactive Parallel Structure Simulations -- Computational Chemistry Studies of LIGNOLs -- A Lightweight Task Graph Scheduler for Distributed High-Performance Scientific Computing. |
| Record Nr. | UNISA-996465675203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applied Parallel and Scientific Computing [[electronic resource] ] : 11th International Conference, PARA 2012, Helsinki, Finland / / edited by Pekka Manninen, Per Öster
| Applied Parallel and Scientific Computing [[electronic resource] ] : 11th International Conference, PARA 2012, Helsinki, Finland / / edited by Pekka Manninen, Per Öster |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 568 p. 186 illus.) |
| Disciplina | 004.6/185 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Numerical analysis
Algorithms Microprocessors Computer architecture Electronic digital computers—Evaluation Computer science—Mathematics Numerical Analysis Processor Architectures System Performance and Evaluation Mathematical Applications in Computer Science |
| ISBN | 3-642-36803-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computational Physics on Graphics Processing Units -- Preparing Scientific Application Software for Exascale Computing -- PRACE DECI (Distributed European Computing Initiative) Minisymposium -- Parallel Electronic Structure Calculations Using Multiple Graphics Processing Units -- An Environment for Service Composition, Execution and Resource Allocation -- Multicore and Accelerator Development for a Leadership-Class Stellar Astrophysics Code -- Steering and In-situ Visualization for Simulation of Seismic Wave Propagation on Graphics Cards -- PCJ - New Approach for Parallel Computations in Java -- Parallel Numerical Simulation of Seismic Waves Propagation with Intel Math Kernel Library -- Blocked Schur Algorithms for Computing the Matrix Square Root -- Distributed Evolutionary Computing System Based on Web Browsers with JavaScript -- Parallel Implementation of the Sherman-Morrison Matrix Inverse Algorithm -- Parallel Interval Newton Method on CUDA -- Heterogeneous Multi-agent Evolutionary System for Solving Parametric Interval Linear Systems -- Interval Finite Difference Method for Solving the One-Dimensional Heat Conduction Problem with Heat Sources -- Interval Arithmetic and Automatic Differentiation on GPU Using Open CL -- Tuning the Interval Algorithm for Seeking Pareto Sets of Multi-criteria Problems -- A Central-Backward Difference Interval Method for Solving the Wave Equation -- Using State-of-the-Art Sparse Matrix Optimizations for Accelerating the Performance of Multiphysics Simulations -- Schedule Optimisation for Interactive Parallel Structure Simulations -- Computational Chemistry Studies of LIGNOLs -- A Lightweight Task Graph Scheduler for Distributed High-Performance Scientific Computing. |
| Record Nr. | UNINA-9910484377703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applying Fuzzy Logic for the Digital Economy and Society [[electronic resource] /] / edited by Andreas Meier, Edy Portmann, Luis Terán
| Applying Fuzzy Logic for the Digital Economy and Society [[electronic resource] /] / edited by Andreas Meier, Edy Portmann, Luis Terán |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (217 pages) |
| Disciplina | 332.6 |
| Collana | Fuzzy Management Methods |
| Soggetto topico |
Information technology
Business—Data processing Data mining Computer science—Mathematics Computer mathematics Application software Operations research Decision making IT in Business Data Mining and Knowledge Discovery Mathematical Applications in Computer Science Information Systems Applications (incl. Internet) Operations Research/Decision Theory |
| ISBN | 3-030-03368-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Testing Hypotheses by Fuzzy Methods: A Comparison with the Classical Approach -- Interpolative Boolean Approach for Fuzzy Portfolio Selection -- A Fuzzy-Based Discounts Recommender System for Public Tax Payment -- Fuzzy Based Investment Portfolio Management -- Z-numbers Based TOPSIS Similarity Methodology for Company Performance Assessment in Malaysia -- Modeling Human Perceptions in e-Commerce Applications. A case Study on Business-to-Consumers Websites in the Textile and Fashion Sector -- Grey Number Based Methodology for Non-Homogeneous Preference Elicitation in Fuzzy Risk Analysis Management -- Fuzzy Bayesian Nets and Influence Diagrams with Cognitive Numerical Judgment of Imprecise Probabilities -- Oilfield Abandonment Decision by Applying a Fuzzy Pay-Off Method for Real Options -- A Fuzzy-Based Recommender System - Case Börsenspiel for Swiss Universities. |
| Record Nr. | UNINA-9910337791803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Arbres pour l’Algorithmique [[electronic resource] /] / by Brigitte Chauvin, Julien Clément, Danièle Gardy
| Arbres pour l’Algorithmique [[electronic resource] /] / by Brigitte Chauvin, Julien Clément, Danièle Gardy |
| Autore | Chauvin Brigitte |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXXI, 513 p. 223 ill., 51 ill. en couleurs.) |
| Disciplina | 004.0151 |
| Collana | Mathématiques et Applications |
| Soggetto topico |
Computer science—Mathematics
Computer mathematics Data structures (Computer science) Probabilities Algorithms Combinatorics Mathematical Applications in Computer Science Data Structures Probability Theory and Stochastic Processes Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-93725-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Nota di contenuto | Introduction -- Partie I Modèles -- 1.Botanique -- 2.Aléa sur les arbres -- 3.Arbres, algorithmes et données -- Partie II Analyses -- 4.Approche combinatoire -- 5.Approche probabiliste -- 6.Arbres binaires de recherche -- 7.Arbres digitaux -- 8.Arbres m-aires et quadrants -- 9.Urnes de Pólya et applications -- A.Rappels algorithmiques -- B.Rappels mathématiques : combinatoire -- C.Rappels mathématiques : probabilités -- D.Un peu d’histoire -- E.Rappel des notations utilisées -- References -- Index -- Liste des auteurs. |
| Record Nr. | UNINA-9910392742103321 |
Chauvin Brigitte
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Arithmetic of Finite Fields [[electronic resource] ] : 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers / / edited by Jean Claude Bajard, Alev Topuzoğlu
| Arithmetic of Finite Fields [[electronic resource] ] : 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers / / edited by Jean Claude Bajard, Alev Topuzoğlu |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XVIII, 273 p. 21 illus., 13 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Coding theory Information theory Numerical analysis Computer networks Cryptography Data encryption (Computer science) Symbolic and Algebraic Manipulation Coding and Information Theory Numerical Analysis Mathematical Applications in Computer Science Computer Communication Networks Cryptology |
| ISBN | 3-030-68869-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Finite Field Arithmetic -- Coding Theory -- Sequences -- Special Functions over Finite Fields -- Bases. . |
| Record Nr. | UNISA-996464517103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Arithmetic of Finite Fields [[electronic resource] ] : 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers / / edited by Jean Claude Bajard, Alev Topuzoğlu
| Arithmetic of Finite Fields [[electronic resource] ] : 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers / / edited by Jean Claude Bajard, Alev Topuzoğlu |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XVIII, 273 p. 21 illus., 13 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Coding theory Information theory Numerical analysis Computer networks Cryptography Data encryption (Computer science) Symbolic and Algebraic Manipulation Coding and Information Theory Numerical Analysis Mathematical Applications in Computer Science Computer Communication Networks Cryptology |
| ISBN | 3-030-68869-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Finite Field Arithmetic -- Coding Theory -- Sequences -- Special Functions over Finite Fields -- Bases. . |
| Record Nr. | UNINA-9910484454003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial Evolution [[electronic resource] ] : 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers / / edited by Evelyne Lutton, Pierrick Legrand, Pierre Parrend, Nicolas Monmarché, Marc Schoenauer
| Artificial Evolution [[electronic resource] ] : 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers / / edited by Evelyne Lutton, Pierrick Legrand, Pierre Parrend, Nicolas Monmarché, Marc Schoenauer |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 231 p. 77 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Algorithms Computer science—Mathematics Discrete mathematics Numerical analysis Artificial Intelligence Discrete Mathematics in Computer Science Numerical Analysis Mathematical Applications in Computer Science |
| ISBN | 3-319-78133-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Évolution Artificielle 2017 - EA 2017 -- Abstracts of Invited Talks -- The Cartography of Computational Search Spaces -- Progressive Data Analysis: A New Computation Paradigm for Scalability in Exploratory Data Analysis -- Contents -- On the Design of a Master-Worker Adaptive Algorithm Selection Framework -- 1 Introduction -- 2 Related Works -- 2.1 Sequential Adaptive Algorithm Selection -- 2.2 Parallel Adaptive Algorithm Selection -- 2.3 Benchmarks: The Fitness Cloud Model -- 3 M/W Framework Description -- 3.1 Aggregation of Local Reward Values -- 3.2 Homogeneous vs. Heterogeneous Adaptive Selection -- 4 Experimental Analysis -- 4.1 Overall Relative Performance -- 4.2 Analysis of the Reward Aggregation Functions -- 4.3 Analysis of the Heterogeneity Scenarios -- 5 Conclusions -- References -- Comparison of Acceptance Criteria in Randomized Local Searches -- 1 Introduction -- 2 Literature Review -- 3 Experimental Setup -- 4 Experiments on the Quadratic Assignment Problem -- 5 Experiments on the Permutation Flow-Shop Problem -- 6 Conclusions -- References -- A Fitness Landscape View on the Tuning of an Asynchronous Master-Worker EA for Nuclear Reactor Design -- 1 Introduction -- 2 Preliminaries -- 2.1 Evolutionary Optimization for Nuclear Energy Problems -- 2.2 Parallel Evolutionary Algorithms -- 2.3 Landscape Aware Parameter Tuning -- 3 Problem Definition -- 3.1 Description of the System -- 3.2 Criterion of Interest -- 4 Asynchronous Parallel EA -- 4.1 Algorithm Definition -- 4.2 Mutation Operator -- 5 Experimental Analysis -- 5.1 Baseline Parameters Setting -- 5.2 Impact of the Mutation Parameters -- 5.3 Fitness Landscape Analysis -- 6 Conclusions -- References -- Sampled Walk and Binary Fitness Landscapes Exploration -- 1 Introduction -- 2 Fitness Landscapes -- 3 Partial Neighborhood Local Searches.
4 Analysis on Binary Fitness Landscapes -- 4.1 Experimental Protocol -- 4.2 Results -- 4.3 Landscapes Ruggedness and Partial Neighborhood LS Efficiency -- 5 Conclusion -- References -- Semantics-Based Crossover for Program Synthesis in Genetic Programming -- 1 Introduction -- 2 Related Work -- 2.1 Semantics -- 2.2 Semantic Crossover -- 3 Semantics in Program Synthesis -- 3.1 Semantic Similarity Measure with Traces -- 3.2 Semantic Crossover for Program Synthesis -- 4 Experimental Setup -- 4.1 Benchmark Problems -- 5 Results -- 5.1 Successful Runs and Fitness -- 5.2 Parent Comparison -- 5.3 Types Selected for Similarity Measurement -- 6 Conclusion and Future Work -- References -- On the Use of Dynamic GP Fitness Cases in Static and Dynamic Optimisation Problems -- 1 Introduction -- 2 Related Work -- 2.1 Fitness Cases in Genetic Programming -- 2.2 Promoting and Maintaining Diversity -- 3 Proposed Approaches -- 3.1 Dynamic Fitness Cases -- 3.2 Kendall Tau Distance -- 4 Experimental Setup -- 5 Results and Discussion -- 5.1 Performance on a Static Setting -- 5.2 Performance on a Dynamic Setting -- 5.3 Analysis of the Number of Created Individuals -- 5.4 Size of GP Programs -- 6 Conclusions -- References -- MEMSA: A Robust Parisian EA for Multidimensional Multiple Sequence Alignment -- 1 Introduction -- 1.1 Multiple Sequence Alignment (MSA) -- 1.2 Evolutionary Algorithms for MSA -- 1.3 Parisian Evolution Approach -- 2 Genetic Algorithm with Parisian Approach for MSA -- 2.1 Individuals/Patches -- 2.2 Initialisation -- 2.3 Crossover -- 2.4 Mutator -- 2.5 Evaluation -- 2.6 Diversity Preservation -- 2.7 Selection of Individuals for the New Generation -- 2.8 Patchwork to Create an MSA -- 2.9 Run Parameters and Behaviour of the Algorithm -- 3 Experiments and Validation -- 4 Discussion and Conclusion -- References. Basic, Dual, Adaptive, and Directed Mutation Operators in the Fly Algorithm -- 1 Introduction -- 2 Problem Definition and Motivations -- 3 Overview of the Fly Algorithm for PET Reconstruction -- 4 Varying Mutation Operators in the Fly Algorithm -- 4.1 Basic Mutation -- 4.2 Adaptive Mutation Variance -- 4.3 Dual Mutation -- 4.4 Directed Mutation -- 5 Results -- 6 Conclusion -- References -- A New High-Level Relay Hybrid Metaheuristic for Black-Box Optimization Problems -- 1 Introduction -- 2 Presentation of the Hybridized Components -- 2.1 Overview of MLSDO Algorithm -- 2.2 Overview of SHADE Algorithm -- 2.3 Overview of SPSO2011 Algorithm -- 3 The Proposed Hybrid Algorithm -- 4 Experimental Protocol and Parameter Setting -- 4.1 The BBOB 2015 Benchmark -- 4.2 The Black Box Optimization Competition -- 4.3 Parameter Setting -- 5 Experimental Results and Discussion -- 5.1 Results for the BBOB 2015 Benchmark -- 5.2 Results at the Black Box Optimization Competition -- 6 Conclusion -- References -- Improved Hybrid Iterative Tabu Search for QAP Using Distance Cooperation -- 1 Introduction -- 2 Background -- 3 Distributed and Cooperative Algorithms -- 3.1 Distributed Hybrid Iterative Tabu Search -- 3.2 Distance Cooperation Hybrid Iterative Tabu Search -- 4 Experimental Results -- 4.1 Platform and Tests -- 4.2 Parameters -- 4.3 Experimentation -- 4.4 Literature Comparison -- 5 Conclusion and Perspectives -- References -- H-ACO: A Heterogeneous Ant Colony Optimisation Approach with Application to the Travelling Salesman Problem -- 1 Introduction -- 2 Ant Colony Optimization -- 3 Heterogeneous ACO -- 4 Methodology -- 4.1 Travelling Salesman Problem bib2 -- 5 Experimental Setup -- 6 Heterogeneous ACO Results -- 6.1 Exploring the Ranges of Alpha and Beta -- 6.2 Comparison with Base Algorithms -- 7 Discussion, Conclusion and Future Work -- References. Evolutionary Learning of Fire Fighting Strategies -- 1 Introduction -- 2 Fire Enclosement in a Discrete Grid Setting -- 2.1 A Goal Oriented Evolution Model -- 2.2 Evolutionary Algorithm -- 2.3 Experimental Results -- 2.4 Fire Enclosement Conclusion -- 3 Protection of a Highway -- 3.1 Evolution Models -- 3.2 Evolutionary Algorithm -- 3.3 Experimental Results -- 3.4 Highway Protection Conclusion -- 4 Future Work on Theoretical Threshold Questions -- References -- Evolutionary Optimization of Tone Mapped Image Quality Index -- 1 Introduction -- 2 Related Work -- 3 Algorithm -- 3.1 Tone Mapping -- 3.2 Evolutionary Optimization -- 4 Experimental Results -- 5 Conclusion -- References -- LIDeOGraM: An Interactive Evolutionary Modelling Tool -- 1 Introduction -- 2 Background -- 2.1 Food Complex Systems -- 2.2 Symbolic Regression -- 2.3 Production and Stabilisation Process of Lactic Acid Bacteria -- 3 Proposed Approach -- 4 Experimental Results -- 4.1 The Dataset -- 4.2 Search with Eureqa -- 4.3 Optimisation of the Global Model -- 5 Discussion -- 6 Conclusions -- References -- Automatic Configuration of GCC Using Irace -- 1 Introduction -- 2 Automatic Algorithm Configuration -- 3 Configuration Scenarios -- 4 GCC Configuration Scenarios Analysis -- 5 Experimental Results -- 6 Conclusion and Future Work -- References -- Offline Learning for Selection Hyper-heuristics with Elman Networks -- 1 Introduction -- 2 Methodology -- 2.1 HyFlex and the Offline Learning Database -- 2.2 Final Log Returns and the BEST Sequences -- 2.3 Elman Networks -- 2.4 Training Sets -- 2.5 The BLIND Hyper-heuristic -- 3 Results -- 3.1 Network Training -- 3.2 Evaluating the Elman Network Sequences -- 4 Conclusions -- References -- Author Index. |
| Record Nr. | UNISA-996465520903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial Evolution [[electronic resource] ] : 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers / / edited by Evelyne Lutton, Pierrick Legrand, Pierre Parrend, Nicolas Monmarché, Marc Schoenauer
| Artificial Evolution [[electronic resource] ] : 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers / / edited by Evelyne Lutton, Pierrick Legrand, Pierre Parrend, Nicolas Monmarché, Marc Schoenauer |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 231 p. 77 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Algorithms Computer science—Mathematics Discrete mathematics Numerical analysis Artificial Intelligence Discrete Mathematics in Computer Science Numerical Analysis Mathematical Applications in Computer Science |
| ISBN | 3-319-78133-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Évolution Artificielle 2017 - EA 2017 -- Abstracts of Invited Talks -- The Cartography of Computational Search Spaces -- Progressive Data Analysis: A New Computation Paradigm for Scalability in Exploratory Data Analysis -- Contents -- On the Design of a Master-Worker Adaptive Algorithm Selection Framework -- 1 Introduction -- 2 Related Works -- 2.1 Sequential Adaptive Algorithm Selection -- 2.2 Parallel Adaptive Algorithm Selection -- 2.3 Benchmarks: The Fitness Cloud Model -- 3 M/W Framework Description -- 3.1 Aggregation of Local Reward Values -- 3.2 Homogeneous vs. Heterogeneous Adaptive Selection -- 4 Experimental Analysis -- 4.1 Overall Relative Performance -- 4.2 Analysis of the Reward Aggregation Functions -- 4.3 Analysis of the Heterogeneity Scenarios -- 5 Conclusions -- References -- Comparison of Acceptance Criteria in Randomized Local Searches -- 1 Introduction -- 2 Literature Review -- 3 Experimental Setup -- 4 Experiments on the Quadratic Assignment Problem -- 5 Experiments on the Permutation Flow-Shop Problem -- 6 Conclusions -- References -- A Fitness Landscape View on the Tuning of an Asynchronous Master-Worker EA for Nuclear Reactor Design -- 1 Introduction -- 2 Preliminaries -- 2.1 Evolutionary Optimization for Nuclear Energy Problems -- 2.2 Parallel Evolutionary Algorithms -- 2.3 Landscape Aware Parameter Tuning -- 3 Problem Definition -- 3.1 Description of the System -- 3.2 Criterion of Interest -- 4 Asynchronous Parallel EA -- 4.1 Algorithm Definition -- 4.2 Mutation Operator -- 5 Experimental Analysis -- 5.1 Baseline Parameters Setting -- 5.2 Impact of the Mutation Parameters -- 5.3 Fitness Landscape Analysis -- 6 Conclusions -- References -- Sampled Walk and Binary Fitness Landscapes Exploration -- 1 Introduction -- 2 Fitness Landscapes -- 3 Partial Neighborhood Local Searches.
4 Analysis on Binary Fitness Landscapes -- 4.1 Experimental Protocol -- 4.2 Results -- 4.3 Landscapes Ruggedness and Partial Neighborhood LS Efficiency -- 5 Conclusion -- References -- Semantics-Based Crossover for Program Synthesis in Genetic Programming -- 1 Introduction -- 2 Related Work -- 2.1 Semantics -- 2.2 Semantic Crossover -- 3 Semantics in Program Synthesis -- 3.1 Semantic Similarity Measure with Traces -- 3.2 Semantic Crossover for Program Synthesis -- 4 Experimental Setup -- 4.1 Benchmark Problems -- 5 Results -- 5.1 Successful Runs and Fitness -- 5.2 Parent Comparison -- 5.3 Types Selected for Similarity Measurement -- 6 Conclusion and Future Work -- References -- On the Use of Dynamic GP Fitness Cases in Static and Dynamic Optimisation Problems -- 1 Introduction -- 2 Related Work -- 2.1 Fitness Cases in Genetic Programming -- 2.2 Promoting and Maintaining Diversity -- 3 Proposed Approaches -- 3.1 Dynamic Fitness Cases -- 3.2 Kendall Tau Distance -- 4 Experimental Setup -- 5 Results and Discussion -- 5.1 Performance on a Static Setting -- 5.2 Performance on a Dynamic Setting -- 5.3 Analysis of the Number of Created Individuals -- 5.4 Size of GP Programs -- 6 Conclusions -- References -- MEMSA: A Robust Parisian EA for Multidimensional Multiple Sequence Alignment -- 1 Introduction -- 1.1 Multiple Sequence Alignment (MSA) -- 1.2 Evolutionary Algorithms for MSA -- 1.3 Parisian Evolution Approach -- 2 Genetic Algorithm with Parisian Approach for MSA -- 2.1 Individuals/Patches -- 2.2 Initialisation -- 2.3 Crossover -- 2.4 Mutator -- 2.5 Evaluation -- 2.6 Diversity Preservation -- 2.7 Selection of Individuals for the New Generation -- 2.8 Patchwork to Create an MSA -- 2.9 Run Parameters and Behaviour of the Algorithm -- 3 Experiments and Validation -- 4 Discussion and Conclusion -- References. Basic, Dual, Adaptive, and Directed Mutation Operators in the Fly Algorithm -- 1 Introduction -- 2 Problem Definition and Motivations -- 3 Overview of the Fly Algorithm for PET Reconstruction -- 4 Varying Mutation Operators in the Fly Algorithm -- 4.1 Basic Mutation -- 4.2 Adaptive Mutation Variance -- 4.3 Dual Mutation -- 4.4 Directed Mutation -- 5 Results -- 6 Conclusion -- References -- A New High-Level Relay Hybrid Metaheuristic for Black-Box Optimization Problems -- 1 Introduction -- 2 Presentation of the Hybridized Components -- 2.1 Overview of MLSDO Algorithm -- 2.2 Overview of SHADE Algorithm -- 2.3 Overview of SPSO2011 Algorithm -- 3 The Proposed Hybrid Algorithm -- 4 Experimental Protocol and Parameter Setting -- 4.1 The BBOB 2015 Benchmark -- 4.2 The Black Box Optimization Competition -- 4.3 Parameter Setting -- 5 Experimental Results and Discussion -- 5.1 Results for the BBOB 2015 Benchmark -- 5.2 Results at the Black Box Optimization Competition -- 6 Conclusion -- References -- Improved Hybrid Iterative Tabu Search for QAP Using Distance Cooperation -- 1 Introduction -- 2 Background -- 3 Distributed and Cooperative Algorithms -- 3.1 Distributed Hybrid Iterative Tabu Search -- 3.2 Distance Cooperation Hybrid Iterative Tabu Search -- 4 Experimental Results -- 4.1 Platform and Tests -- 4.2 Parameters -- 4.3 Experimentation -- 4.4 Literature Comparison -- 5 Conclusion and Perspectives -- References -- H-ACO: A Heterogeneous Ant Colony Optimisation Approach with Application to the Travelling Salesman Problem -- 1 Introduction -- 2 Ant Colony Optimization -- 3 Heterogeneous ACO -- 4 Methodology -- 4.1 Travelling Salesman Problem bib2 -- 5 Experimental Setup -- 6 Heterogeneous ACO Results -- 6.1 Exploring the Ranges of Alpha and Beta -- 6.2 Comparison with Base Algorithms -- 7 Discussion, Conclusion and Future Work -- References. Evolutionary Learning of Fire Fighting Strategies -- 1 Introduction -- 2 Fire Enclosement in a Discrete Grid Setting -- 2.1 A Goal Oriented Evolution Model -- 2.2 Evolutionary Algorithm -- 2.3 Experimental Results -- 2.4 Fire Enclosement Conclusion -- 3 Protection of a Highway -- 3.1 Evolution Models -- 3.2 Evolutionary Algorithm -- 3.3 Experimental Results -- 3.4 Highway Protection Conclusion -- 4 Future Work on Theoretical Threshold Questions -- References -- Evolutionary Optimization of Tone Mapped Image Quality Index -- 1 Introduction -- 2 Related Work -- 3 Algorithm -- 3.1 Tone Mapping -- 3.2 Evolutionary Optimization -- 4 Experimental Results -- 5 Conclusion -- References -- LIDeOGraM: An Interactive Evolutionary Modelling Tool -- 1 Introduction -- 2 Background -- 2.1 Food Complex Systems -- 2.2 Symbolic Regression -- 2.3 Production and Stabilisation Process of Lactic Acid Bacteria -- 3 Proposed Approach -- 4 Experimental Results -- 4.1 The Dataset -- 4.2 Search with Eureqa -- 4.3 Optimisation of the Global Model -- 5 Discussion -- 6 Conclusions -- References -- Automatic Configuration of GCC Using Irace -- 1 Introduction -- 2 Automatic Algorithm Configuration -- 3 Configuration Scenarios -- 4 GCC Configuration Scenarios Analysis -- 5 Experimental Results -- 6 Conclusion and Future Work -- References -- Offline Learning for Selection Hyper-heuristics with Elman Networks -- 1 Introduction -- 2 Methodology -- 2.1 HyFlex and the Offline Learning Database -- 2.2 Final Log Returns and the BEST Sequences -- 2.3 Elman Networks -- 2.4 Training Sets -- 2.5 The BLIND Hyper-heuristic -- 3 Results -- 3.1 Network Training -- 3.2 Evaluating the Elman Network Sequences -- 4 Conclusions -- References -- Author Index. |
| Record Nr. | UNINA-9910349425603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automata, Universality, Computation [[electronic resource] ] : Tribute to Maurice Margenstern / / edited by Andrew Adamatzky
| Automata, Universality, Computation [[electronic resource] ] : Tribute to Maurice Margenstern / / edited by Andrew Adamatzky |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (421 p.) |
| Disciplina | 511.35 |
| Collana | Emergence, Complexity and Computation |
| Soggetto topico |
Computational complexity
Physics Computer science—Mathematics Computer mathematics Complexity Applications of Graph Theory and Complex Networks Mathematical Applications in Computer Science |
| ISBN | 3-319-09039-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The common structure of the curves having a same Gauss word -- Logical theory of the additive monoid of subsets of natural integers -- Some reflections on mathematics and its relation to computer Science -- Sampling a Two-way Finite Automaton -- Constructing reversible Turing machines by reversible logic element with memory -- The Grossone methodology perspective on Turing machines -- On Parallel Array P Systems -- Computational models based on splicing -- Linear Cellular Automata and Decidability -- Algorithms with Active Cells Modeled by Cellular Automata with Write-Access (CA-w) -- Broadcasting automata and patterns on Z2 -- Real-Time Prime Generators Implemented on Small-State Cellular Automata -- Phyllosilicate Automata. |
| Record Nr. | UNINA-9910299858003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Big Data Technologies and Applications [[electronic resource] /] / by Borko Furht, Flavio Villanustre
| Big Data Technologies and Applications [[electronic resource] /] / by Borko Furht, Flavio Villanustre |
| Autore | Furht Borko |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (xviii, 400 p.) : ill |
| Disciplina | 005.7 |
| Soggetto topico |
Computers
Software engineering Computer science—Mathematics Computer mathematics Information Systems and Communication Service Software Engineering Mathematical Applications in Computer Science |
| ISBN | 3-319-44550-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction to Big Data -- Big Data Analytics -- Transfer Learning Techniques -- Visualizing Big Data -- Deep Learning and Big Data -- The HPCC/ECL Platform for Big Data -- Scalable Automated Linking Technology for Big Data Computing -- Aggregated Data Analysis in HPCC Systems -- Models for Big Data -- Data Intensive Supercomputing Solutions -- Graph Processing with Massive Datasets: A KEL Primer -- HPCC Systems for Cyber Security Analytics -- Social Network Analytics: Hidden and Complex Fraud Schemes -- Modeling Ebola Spread and Using HPCC/KEL System -- Unsupervised Learning and Image Classification in High Performance Computing Cluster. |
| Record Nr. | UNINA-9910254991003321 |
|
Furht Borko
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
