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.
Algorithmic Game Theory [[electronic resource] ] : Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009, Proceedings / / edited by Marios Mavronicolas, Maria Papadoupoulou
| Algorithmic Game Theory [[electronic resource] ] : Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009, Proceedings / / edited by Marios Mavronicolas, Maria Papadoupoulou |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 359 p.) |
| Disciplina | 003.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer simulation
Application software Computers and civilization Electronic commerce Computer science Numerical analysis Computer Modelling Computer and Information Systems Applications Computers and Society e-Commerce and e-Business Models of Computation Numerical Analysis |
| ISBN | 3-642-04645-2 |
| Classificazione |
DAT 530f
MAT 920f SK 860 SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Monotonicity in Mechanism Design -- Computational Aspects of Equilibria -- A Modular Approach to Roberts’ Theorem -- Characterizing Incentive Compatibility for Convex Valuations -- Truthful Mechanisms for Selfish Routing and Two-Parameter Agents -- Partition Equilibrium -- Better with Byzantine: Manipulation-Optimal Mechanisms -- On the Planner’s Loss Due to Lack of Information in Bayesian Mechanism Design -- Sequential Pivotal Mechanisms for Public Project Problems -- Characterizing the Existence of Potential Functions in Weighted Congestion Games -- Free-Riding and Free-Labor in Combinatorial Agency -- The Cost of Stability in Coalitional Games -- Non-clairvoyant Scheduling Games -- The Balloon Popping Problem Revisited: Lower and Upper Bounds -- Anarchy, Stability, and Utopia: Creating Better Matchings -- Equilibria in Dynamic Selfish Routing -- Stochastic Stability in Internet Router Congestion Games -- Nash Dynamics in Constant Player and Bounded Jump Congestion Games -- Price of Stability in Survivable Network Design -- Games with Congestion-Averse Utilities -- A New Derandomization of Auctions -- The Computational Complexity of Weak Saddles -- Learning and Approximating the Optimal Strategy to Commit To -- Doing Good with Spam Is Hard -- On Profit-Maximizing Pricing for the Highway and Tollbooth Problems -- On the Complexity of Iterated Weak Dominance in Constant-Sum Games -- Swap Bribery -- Performances of One-Round Walks in Linear Congestion Games -- Nash Equilibria and the Price of Anarchy for Flows over Time -- Bayesian Auctions with Friends and Foes -- On Equilibria for ADM Minimization Games. |
| Record Nr. | UNINA-9910484630303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Architecture of Advanced Numerical Analysis Systems [[electronic resource] ] : Designing a Scientific Computing System using OCaml / / by Liang Wang, Jianxin Zhao
| Architecture of Advanced Numerical Analysis Systems [[electronic resource] ] : Designing a Scientific Computing System using OCaml / / by Liang Wang, Jianxin Zhao |
| Autore | Wang Liang |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 |
| Descrizione fisica | 1 electronic resource (472 p.) |
| Disciplina | 005.13 |
| Altri autori (Persone) | ZhaoJianxin |
| Soggetto topico |
Programming languages (Electronic computers)
Computer science Artificial intelligence—Data processing Programming Language Computer Science Data Science Models of Computation |
| ISBN | 1-4842-8853-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Introduction.-Chapter 2: Core Optimization -- Chapter 3: Algorithm Differentiation -- Chapter 4: Mathematical Optimization -- Chapter 5: Deep Neural Networks -- Chapter 6: Computation Graph -- Chapter 7: Performance Accelerators -- Chapter 8: Compiler Backends -- Chapter 9: Composition and Deployment -- Chapter 10: Distributed Computing -- Chapter 11: Testing Framework -- Appendix A: Basic Analytics Examples -- Appendix B: System Conventions -- Appendix C: Metric Systems and Constants -- Appendix D: AlgoDiff Module -- Appendix E: Neural Network Module -- Appendix F: Actor System for Distributed Computing -- Bibliography. |
| Record Nr. | UNINA-9910637747103321 |
Wang Liang
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bio-Inspired Systems: Computational and Ambient Intelligence [[electronic resource] ] : 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I / / edited by Joan Cabestany, Francisco Sandoval, Alberto Prieto, Juan Manuel Corchado Rodríguez
| Bio-Inspired Systems: Computational and Ambient Intelligence [[electronic resource] ] : 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I / / edited by Joan Cabestany, Francisco Sandoval, Alberto Prieto, Juan Manuel Corchado Rodríguez |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (LXVI, 1356 p.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Bioinformatics
Pattern recognition systems Artificial intelligence Data mining Computer science Computational and Systems Biology Automated Pattern Recognition Artificial Intelligence Data Mining and Knowledge Discovery Models of Computation |
| ISBN |
1-280-38305-4
9786613560964 3-642-02478-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theoretical Foundations and Models -- Learning and Adaptation -- Self-organizing Networks, Methods and Applications -- Fuzzy Systems -- Evolutionary Computation and Genetic Algoritms -- Pattern Recognition -- Formal Languages in Linguistics -- Agents and Multi-agent on Intelligent Systems -- Brain-Computer Interface (BCI) -- Multiobjetive Optimization -- Robotics -- Bioinformatics -- Biomedical Applications -- Ambient Assisted Living (AAL) and Ambient Intelligence (AI) -- Other Applications. |
| Record Nr. | UNISA-996465538303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Bio-Inspired Systems: Computational and Ambient Intelligence [[electronic resource] ] : 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I / / edited by Joan Cabestany, Francisco Sandoval, Alberto Prieto, Juan Manuel Corchado Rodríguez
| Bio-Inspired Systems: Computational and Ambient Intelligence [[electronic resource] ] : 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I / / edited by Joan Cabestany, Francisco Sandoval, Alberto Prieto, Juan Manuel Corchado Rodríguez |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (LXVI, 1356 p.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Bioinformatics
Pattern recognition systems Artificial intelligence Data mining Computer science Computational and Systems Biology Automated Pattern Recognition Artificial Intelligence Data Mining and Knowledge Discovery Models of Computation |
| ISBN |
1-280-38305-4
9786613560964 3-642-02478-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theoretical Foundations and Models -- Learning and Adaptation -- Self-organizing Networks, Methods and Applications -- Fuzzy Systems -- Evolutionary Computation and Genetic Algoritms -- Pattern Recognition -- Formal Languages in Linguistics -- Agents and Multi-agent on Intelligent Systems -- Brain-Computer Interface (BCI) -- Multiobjetive Optimization -- Robotics -- Bioinformatics -- Biomedical Applications -- Ambient Assisted Living (AAL) and Ambient Intelligence (AI) -- Other Applications. |
| Record Nr. | UNINA-9910484085703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bioinspired Optimization Methods and Their Applications [[electronic resource] ] : 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / / edited by Peter Korošec, Nouredine Melab, El-Ghazali Talbi
| Bioinspired Optimization Methods and Their Applications [[electronic resource] ] : 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / / edited by Peter Korošec, Nouredine Melab, El-Ghazali Talbi |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIII, 333 p. 103 illus.) |
| Disciplina | 006 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Artificial intelligence Algorithms Software engineering Computer engineering Computer networks Models of Computation Artificial Intelligence Software Engineering Computer Engineering and Networks |
| ISBN | 3-319-91641-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Optimization of Home Care Visits Schedule by Genetic Algorithm -- New Techniques for Inferring L-systems Using Genetic Algorithm -- An Adaptive Metaheuristic for Unconstrained Multimodal Numerical Optimization -- Scrum Task Allocation Based on Particle Swarm Optimization -- Cooperative Model for Nature-Inspired Algorithms in Solving Real-World Optimization Problems -- Collaborative Agent Teams (CAT): from the Paradigm to Implementation Guidelines -- A Bio-inspired Approach for Collaborative Exploration with Mobile Battery Recharging in Swarm Robotics -- Constructive Metaheuristics for the Set Covering Problem -- Single and multiobjective evolutionary algorithms for clustering biomedical information with unknown number of clusters -- Evolutionary algorithms for scheduling of crude oil preheating process under linear fouling -- Hybrid weighted barebones exploiting particle swarm optimization algorithm for time series representation -- Data-driven Preference-based Deep Statistical Ranking for Comparing -- sMulti-Objective Optimization Algorithms -- Construction of heuristic for protein structure optimization using deep reinforcement learning -- Comparing Boundary Control Methods for Firefly Algorithm -- A New Binary Encoding Scheme in Genetic Algorithm for Solving the Capacitated Vehicle Routing Problem -- Ensemble and Fuzzy techniques applied to Imbalanced Traffic Congestion Datasets: a Comparative Study -- Multi-Objective Design of Time-Constrained Bike Routes using Bio-inspired Meta-Heuristics -- Ensemble of Kriging with Multiple Kernel Functions for Engineering Design Optimization -- Path Planning Optimization Method Based on Genetic Algorithm for Mapping Toxic Environment -- Tuning Multi-Objective Optimization Algorithms for the Integration and Testing Order Problem -- Surrogate-Assisted Particle Swarm with Local Search for Expensive Constrained Optimization -- Indicator-based versus Aspect-based Selection in Multi- and Many-objective Biochemical Optimization -- An Approach for Recovering Distributed Systems from Disasters -- Population Diversity Analysis for the Chaotic based Selection of Individuals in Differential Evolution -- Robust Design with Surrogate-Assisted Evolutionary Algorithm: Does it work? -- How Distance based Parameter Adaptation Affects Population Diversity -- Collaborative Variable Neighborhood Search. |
| Record Nr. | UNISA-996465815603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Bioinspired Optimization Methods and Their Applications [[electronic resource] ] : 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / / edited by Peter Korošec, Nouredine Melab, El-Ghazali Talbi
| Bioinspired Optimization Methods and Their Applications [[electronic resource] ] : 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / / edited by Peter Korošec, Nouredine Melab, El-Ghazali Talbi |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIII, 333 p. 103 illus.) |
| Disciplina | 006 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Artificial intelligence Algorithms Software engineering Computer engineering Computer networks Models of Computation Artificial Intelligence Software Engineering Computer Engineering and Networks |
| ISBN | 3-319-91641-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Optimization of Home Care Visits Schedule by Genetic Algorithm -- New Techniques for Inferring L-systems Using Genetic Algorithm -- An Adaptive Metaheuristic for Unconstrained Multimodal Numerical Optimization -- Scrum Task Allocation Based on Particle Swarm Optimization -- Cooperative Model for Nature-Inspired Algorithms in Solving Real-World Optimization Problems -- Collaborative Agent Teams (CAT): from the Paradigm to Implementation Guidelines -- A Bio-inspired Approach for Collaborative Exploration with Mobile Battery Recharging in Swarm Robotics -- Constructive Metaheuristics for the Set Covering Problem -- Single and multiobjective evolutionary algorithms for clustering biomedical information with unknown number of clusters -- Evolutionary algorithms for scheduling of crude oil preheating process under linear fouling -- Hybrid weighted barebones exploiting particle swarm optimization algorithm for time series representation -- Data-driven Preference-based Deep Statistical Ranking for Comparing -- sMulti-Objective Optimization Algorithms -- Construction of heuristic for protein structure optimization using deep reinforcement learning -- Comparing Boundary Control Methods for Firefly Algorithm -- A New Binary Encoding Scheme in Genetic Algorithm for Solving the Capacitated Vehicle Routing Problem -- Ensemble and Fuzzy techniques applied to Imbalanced Traffic Congestion Datasets: a Comparative Study -- Multi-Objective Design of Time-Constrained Bike Routes using Bio-inspired Meta-Heuristics -- Ensemble of Kriging with Multiple Kernel Functions for Engineering Design Optimization -- Path Planning Optimization Method Based on Genetic Algorithm for Mapping Toxic Environment -- Tuning Multi-Objective Optimization Algorithms for the Integration and Testing Order Problem -- Surrogate-Assisted Particle Swarm with Local Search for Expensive Constrained Optimization -- Indicator-based versus Aspect-based Selection in Multi- and Many-objective Biochemical Optimization -- An Approach for Recovering Distributed Systems from Disasters -- Population Diversity Analysis for the Chaotic based Selection of Individuals in Differential Evolution -- Robust Design with Surrogate-Assisted Evolutionary Algorithm: Does it work? -- How Distance based Parameter Adaptation Affects Population Diversity -- Collaborative Variable Neighborhood Search. |
| Record Nr. | UNINA-9910349429003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CONCUR 2009 - Concurrency Theory [[electronic resource] ] : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings / / edited by Mario Bravetti, Gianluigi Zavattaro
| CONCUR 2009 - Concurrency Theory [[electronic resource] ] : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings / / edited by Mario Bravetti, Gianluigi Zavattaro |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIII, 638 p.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer programming Computer science—Mathematics Computer Science Logic and Foundations of Programming Programming Techniques Theory of Computation Models of Computation Mathematics of Computing |
| ISBN | 3-642-04081-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Perspectives on Transactional Memory -- The Effect of Tossing Coins in Omega-Automata -- Bigraphical Categories -- BlenX Static and Dynamic Semantics -- Contributed Papers -- Flow Policy Awareness for Distributed Mobile Code -- Volume and Entropy of Regular Timed Languages: Discretization Approach -- A Logical Interpretation of the ?-Calculus into the ?-Calculus, Preserving Spine Reduction and Types -- Encoding Asynchronous Interactions Using Open Petri Nets -- Distributed Asynchronous Automata -- Algebra for Infinite Forests with an Application to the Temporal Logic EF -- Deriving Syntax and Axioms for Quantitative Regular Behaviours -- Weighted Bisimulation in Linear Algebraic Form -- A Logic-Based Framework for Reasoning about Composite Data Structures -- Measuring Permissivity in Finite Games -- Contracts for Mobile Processes -- Power of Randomization in Automata on Infinite Strings -- Probabilistic Weighted Automata -- Partially-Commutative Context-Free Processes -- Testing Finitary Probabilistic Processes -- A Demonic Approach to Information in Probabilistic Systems -- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour -- Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs -- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers -- Model-Checking Games for Fixpoint Logics with Partial Order Models -- Reachability in Succinct and Parametric One-Counter Automata -- Winning Regions of Pushdown Parity Games: A Saturation Method -- Concurrent Kleene Algebra -- Concavely-Priced Probabilistic Timed Automata -- Compositional Control Synthesis for Partially Observable Systems -- Howe’s Method for Calculi with Passivation -- On the Relationship between ?-Calculus and Finite Place/Transition Petri Nets -- Modeling Radio Networks -- Time-Bounded Verification -- Secure Enforcement for Global Process Specifications -- On Convergence of Concurrent Systems under Regular Interactions -- Computing Stuttering Simulations -- Weak Time Petri Nets Strike Back! -- A General Testability Theory -- Counterexamples in Probabilistic LTL Model Checking for Markov Chains -- Query-Based Model Checking of Ad Hoc Network Protocols -- Strict Divergence for Probabilistic Timed Automata. |
| Record Nr. | UNISA-996465628903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
CONCUR 2009 - Concurrency Theory [[electronic resource] ] : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings / / edited by Mario Bravetti, Gianluigi Zavattaro
| CONCUR 2009 - Concurrency Theory [[electronic resource] ] : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings / / edited by Mario Bravetti, Gianluigi Zavattaro |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIII, 638 p.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer programming Computer science—Mathematics Computer Science Logic and Foundations of Programming Programming Techniques Theory of Computation Models of Computation Mathematics of Computing |
| ISBN | 3-642-04081-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Perspectives on Transactional Memory -- The Effect of Tossing Coins in Omega-Automata -- Bigraphical Categories -- BlenX Static and Dynamic Semantics -- Contributed Papers -- Flow Policy Awareness for Distributed Mobile Code -- Volume and Entropy of Regular Timed Languages: Discretization Approach -- A Logical Interpretation of the ?-Calculus into the ?-Calculus, Preserving Spine Reduction and Types -- Encoding Asynchronous Interactions Using Open Petri Nets -- Distributed Asynchronous Automata -- Algebra for Infinite Forests with an Application to the Temporal Logic EF -- Deriving Syntax and Axioms for Quantitative Regular Behaviours -- Weighted Bisimulation in Linear Algebraic Form -- A Logic-Based Framework for Reasoning about Composite Data Structures -- Measuring Permissivity in Finite Games -- Contracts for Mobile Processes -- Power of Randomization in Automata on Infinite Strings -- Probabilistic Weighted Automata -- Partially-Commutative Context-Free Processes -- Testing Finitary Probabilistic Processes -- A Demonic Approach to Information in Probabilistic Systems -- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour -- Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs -- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers -- Model-Checking Games for Fixpoint Logics with Partial Order Models -- Reachability in Succinct and Parametric One-Counter Automata -- Winning Regions of Pushdown Parity Games: A Saturation Method -- Concurrent Kleene Algebra -- Concavely-Priced Probabilistic Timed Automata -- Compositional Control Synthesis for Partially Observable Systems -- Howe’s Method for Calculi with Passivation -- On the Relationship between ?-Calculus and Finite Place/Transition Petri Nets -- Modeling Radio Networks -- Time-Bounded Verification -- Secure Enforcement for Global Process Specifications -- On Convergence of Concurrent Systems under Regular Interactions -- Computing Stuttering Simulations -- Weak Time Petri Nets Strike Back! -- A General Testability Theory -- Counterexamples in Probabilistic LTL Model Checking for Markov Chains -- Query-Based Model Checking of Ad Hoc Network Protocols -- Strict Divergence for Probabilistic Timed Automata. |
| Record Nr. | UNINA-9910483828403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Evolutionary Multi-Criterion Optimization [[electronic resource] ] : 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings / / edited by Hisao Ishibuchi, Qingfu Zhang, Ran Cheng, Ke Li, Hui Li, Handing Wang, Aimin Zhou
| Evolutionary Multi-Criterion Optimization [[electronic resource] ] : 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings / / edited by Hisao Ishibuchi, Qingfu Zhang, Ran Cheng, Ke Li, Hui Li, Handing Wang, Aimin Zhou |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (xvi, 781 pages) : illustrations |
| Disciplina | 620.82 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer science Artificial intelligence Computer science—Mathematics Design and Analysis of Algorithms Models of Computation Artificial Intelligence Mathematics of Computing |
| ISBN | 3-030-72062-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theory -- It Is Hard to Distinguish Between Dominance Resistant Solutions and Extremely Convex Pareto Optimal Solutions -- On Analysis of Irregular Pareto Front Shapes -- On Statistical Analysis of MOEAs with Multiple Performance Indicators -- Algorithms -- Population Sizing of Evolutionary Large-Scale Multiobjective Optimization -- Kernel Density Estimation for Reliable Biobjective Solution of Stochastic Problems -- Approximating Pareto Fronts in Evolutionary Multiobjective Optimization with Large Population Size -- Multitask Feature Selection for Objective Reduction -- Embedding a Repair Operator in Evolutionary Single and Multi-Objective Algorithms - An Exploitation-Exploration Perspective -- Combining User Knowledge and Online Innovization for Faster Solution to Multi-Objective Design Optimization Problems -- Improving the Efficiency of R2HCA-EMOA -- Pareto Front Estimation Using Unit Hyperplane -- Towards Multi-Objective Co-Evolutionary Problem Solving -- MOEA/D for Multiple Multi-Objective Optimization -- Using a Genetic Algorithm-Based Hyper-heuristic to Tune MOEA/D for a Set of Benchmark Test Problems -- Diversity-Driven Selection Operator for Combinatorial Optimization -- Dynamic Multi-Objective Optimization -- An Online Machine Learning-Based Prediction Strategy for Dynamic Evolutionary Multi-Objective Optimization -- Generalized Test Suite for Continuous Dynamic Multi-Objective Optimization -- A Special Point and Transfer Component Analysis based Dynamic Multi-Objective Optimization Algorithm -- Constrained Multi-Objective Optimization -- An Improved Two-Archive Evolutionary Algorithm for Constrained Multi-Objective Optimization -- An Improved Epsilon Method with M2M for Solving Imbalanced CMOPs with Simultaneous Convergence-Hard and Diversity-Hard Constraints -- Constrained Bi-objective Surrogate-Assisted Optimization of Problems with Heterogeneous Evaluation Times: Expensive Objectives and Inexpensive Constraints -- SAMO-COBRA: A Fast Surrogate Assisted Constrained Multi-Objective Optimization Algorithm -- A Fast Converging Evolutionary Algorithm for Constrained Multiobjective Portfolio Optimization -- Manifold Learning Inspired Mating Restriction for Evolutionary Constrained Multiobjective Optimization -- Multi-Modal Optimization -- Multi3: Optimizing Multimodal Single-Objective Continuous Problems in the Multi-Objective Space by Means of Multiobjectivization -- Niching Diversity Estimation for Multi-modal Multi-Objective Optimization -- Using Neighborhood-Based Density Measures for Multimodal Multi-Objective Optimization -- Many-Objective Optimization -- The (M-1)+1 Framework of Relaxed Pareto Dominance for Evolutionary Many-Objective Optimization -- Handling Priority Levels in Mixed Pareto-Lexicographic Many-Objective Optimization Problems -- Many-Objective Pathfinding based on Fréchet Similarity Metric -- The Influence of Swarm Topologies in Many-Objective Optimization Problems -- Performance Evaluations and Empirical Studies -- An Overview of Pair-Potential Functions for Multi-Objective Optimization -- On the Parameter Setting of the Penalty-Based Boundary Intersection Method in MOEA/D -- A Comparison Study of Evolutionary Algorithms on Large-Scale Sparse Multi-Objective Optimization Problems -- EMO and Machine Learning -- Discounted Sampling Policy Gradient for Robot Multi-Objective Visual Control -- Lexicographic Constrained Multicriteria Ordered Clustering -- Local Search is a Remarkably Strong Baseline for Neural Architecture Search -- A Study on Realtime Task Selection based on Credit Information Updating in Evolutionary Multitasking -- Multi-Objective Neural Architecture Search with Almost No Training -- On the Interaction Between Distance Functions and Clustering Criteria in Multi-objective Clustering -- Surrogate Modeling and Expensive Optimization -- Investigating normalization bounds for hypervolume-based infill criterion for expensive multiobjective optimization -- Pareto-Based Bi-indicator Infill Sampling Criterion for Expensive Multiobjective Optimization -- MOEA/D with Gradient-Enhanced Kriging for Multiobjective Optimization -- Exploring Constraint Handling Techniques in Real-world Problems on MOEA/D with Limited Budget of Evaluations -- Dimension Dropout for Evolutionary High-Dimensional Expensive Multiobjective Optimization -- Multiobjective Optimization with Fuzzy Classification-assisted Environmental Selection -- Surrogate-Assisted Multi-Objective Particle Swarm Optimization for Building Energy Saving Design -- Solving Large-Scale Multi-Objective Optimization via Probabilistic Prediction Model -- MCDM and Interactive EMO -- An Artificial Decision Maker for Comparing Reference Point Based Interactive Evolutionary Multiobjective Optimization Methods -- To Boldly Show What No One Has Seen Before: A Dashboard for Visualizing Multi-objective Landscapes -- Interpretable Self-Organizing Maps (iSOM) for Visualization of Pareto Front in Multiple Objective Optimization -- Applications -- An Investigation of Decomposition-based Metaheuristics for Resource-Constrained Multi-objective Feature Selection in Software Product Lines -- Operator-Adapted Evolutionary Large-Scale Multiobjective Optimization for Voltage Transformer Ratio Error Estimation -- Multi-Objective Reinforcement Learning based Multi-Microgrid System Optimisation Problem -- Pareto Optimization for Influence Maximization in Social Networks -- Parallel Algorithms for Multiobjective Virtual Network Function Placement Problem -- Using Multi-Objective Grammar-based Genetic Programming to Integrate Multiple Social Theories in Agent-based Modeling -- Change Detection in SAR Images based on Evolutionary Multiobjective Optimization and Superpixel Segmentation -- Multi-Objective Emergency Resource Dispatch Based on Coevolutionary Multiswarm Particle Swarm Optimization -- Prediction of Blast Furnace Temperature Based on Evolutionary Optimization -- Multiobjective Optimization Design of Broadband Dual-Polarized Base Station Antenna. |
| Record Nr. | UNINA-9910484675603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Evolutionary Multi-Criterion Optimization [[electronic resource] ] : 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings / / edited by Hisao Ishibuchi, Qingfu Zhang, Ran Cheng, Ke Li, Hui Li, Handing Wang, Aimin Zhou
| Evolutionary Multi-Criterion Optimization [[electronic resource] ] : 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings / / edited by Hisao Ishibuchi, Qingfu Zhang, Ran Cheng, Ke Li, Hui Li, Handing Wang, Aimin Zhou |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (xvi, 781 pages) : illustrations |
| Disciplina | 620.82 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer science Artificial intelligence Computer science—Mathematics Design and Analysis of Algorithms Models of Computation Artificial Intelligence Mathematics of Computing |
| ISBN | 3-030-72062-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theory -- It Is Hard to Distinguish Between Dominance Resistant Solutions and Extremely Convex Pareto Optimal Solutions -- On Analysis of Irregular Pareto Front Shapes -- On Statistical Analysis of MOEAs with Multiple Performance Indicators -- Algorithms -- Population Sizing of Evolutionary Large-Scale Multiobjective Optimization -- Kernel Density Estimation for Reliable Biobjective Solution of Stochastic Problems -- Approximating Pareto Fronts in Evolutionary Multiobjective Optimization with Large Population Size -- Multitask Feature Selection for Objective Reduction -- Embedding a Repair Operator in Evolutionary Single and Multi-Objective Algorithms - An Exploitation-Exploration Perspective -- Combining User Knowledge and Online Innovization for Faster Solution to Multi-Objective Design Optimization Problems -- Improving the Efficiency of R2HCA-EMOA -- Pareto Front Estimation Using Unit Hyperplane -- Towards Multi-Objective Co-Evolutionary Problem Solving -- MOEA/D for Multiple Multi-Objective Optimization -- Using a Genetic Algorithm-Based Hyper-heuristic to Tune MOEA/D for a Set of Benchmark Test Problems -- Diversity-Driven Selection Operator for Combinatorial Optimization -- Dynamic Multi-Objective Optimization -- An Online Machine Learning-Based Prediction Strategy for Dynamic Evolutionary Multi-Objective Optimization -- Generalized Test Suite for Continuous Dynamic Multi-Objective Optimization -- A Special Point and Transfer Component Analysis based Dynamic Multi-Objective Optimization Algorithm -- Constrained Multi-Objective Optimization -- An Improved Two-Archive Evolutionary Algorithm for Constrained Multi-Objective Optimization -- An Improved Epsilon Method with M2M for Solving Imbalanced CMOPs with Simultaneous Convergence-Hard and Diversity-Hard Constraints -- Constrained Bi-objective Surrogate-Assisted Optimization of Problems with Heterogeneous Evaluation Times: Expensive Objectives and Inexpensive Constraints -- SAMO-COBRA: A Fast Surrogate Assisted Constrained Multi-Objective Optimization Algorithm -- A Fast Converging Evolutionary Algorithm for Constrained Multiobjective Portfolio Optimization -- Manifold Learning Inspired Mating Restriction for Evolutionary Constrained Multiobjective Optimization -- Multi-Modal Optimization -- Multi3: Optimizing Multimodal Single-Objective Continuous Problems in the Multi-Objective Space by Means of Multiobjectivization -- Niching Diversity Estimation for Multi-modal Multi-Objective Optimization -- Using Neighborhood-Based Density Measures for Multimodal Multi-Objective Optimization -- Many-Objective Optimization -- The (M-1)+1 Framework of Relaxed Pareto Dominance for Evolutionary Many-Objective Optimization -- Handling Priority Levels in Mixed Pareto-Lexicographic Many-Objective Optimization Problems -- Many-Objective Pathfinding based on Fréchet Similarity Metric -- The Influence of Swarm Topologies in Many-Objective Optimization Problems -- Performance Evaluations and Empirical Studies -- An Overview of Pair-Potential Functions for Multi-Objective Optimization -- On the Parameter Setting of the Penalty-Based Boundary Intersection Method in MOEA/D -- A Comparison Study of Evolutionary Algorithms on Large-Scale Sparse Multi-Objective Optimization Problems -- EMO and Machine Learning -- Discounted Sampling Policy Gradient for Robot Multi-Objective Visual Control -- Lexicographic Constrained Multicriteria Ordered Clustering -- Local Search is a Remarkably Strong Baseline for Neural Architecture Search -- A Study on Realtime Task Selection based on Credit Information Updating in Evolutionary Multitasking -- Multi-Objective Neural Architecture Search with Almost No Training -- On the Interaction Between Distance Functions and Clustering Criteria in Multi-objective Clustering -- Surrogate Modeling and Expensive Optimization -- Investigating normalization bounds for hypervolume-based infill criterion for expensive multiobjective optimization -- Pareto-Based Bi-indicator Infill Sampling Criterion for Expensive Multiobjective Optimization -- MOEA/D with Gradient-Enhanced Kriging for Multiobjective Optimization -- Exploring Constraint Handling Techniques in Real-world Problems on MOEA/D with Limited Budget of Evaluations -- Dimension Dropout for Evolutionary High-Dimensional Expensive Multiobjective Optimization -- Multiobjective Optimization with Fuzzy Classification-assisted Environmental Selection -- Surrogate-Assisted Multi-Objective Particle Swarm Optimization for Building Energy Saving Design -- Solving Large-Scale Multi-Objective Optimization via Probabilistic Prediction Model -- MCDM and Interactive EMO -- An Artificial Decision Maker for Comparing Reference Point Based Interactive Evolutionary Multiobjective Optimization Methods -- To Boldly Show What No One Has Seen Before: A Dashboard for Visualizing Multi-objective Landscapes -- Interpretable Self-Organizing Maps (iSOM) for Visualization of Pareto Front in Multiple Objective Optimization -- Applications -- An Investigation of Decomposition-based Metaheuristics for Resource-Constrained Multi-objective Feature Selection in Software Product Lines -- Operator-Adapted Evolutionary Large-Scale Multiobjective Optimization for Voltage Transformer Ratio Error Estimation -- Multi-Objective Reinforcement Learning based Multi-Microgrid System Optimisation Problem -- Pareto Optimization for Influence Maximization in Social Networks -- Parallel Algorithms for Multiobjective Virtual Network Function Placement Problem -- Using Multi-Objective Grammar-based Genetic Programming to Integrate Multiple Social Theories in Agent-based Modeling -- Change Detection in SAR Images based on Evolutionary Multiobjective Optimization and Superpixel Segmentation -- Multi-Objective Emergency Resource Dispatch Based on Coevolutionary Multiswarm Particle Swarm Optimization -- Prediction of Blast Furnace Temperature Based on Evolutionary Optimization -- Multiobjective Optimization Design of Broadband Dual-Polarized Base Station Antenna. |
| Record Nr. | UNISA-996464383903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soggetto topico
- Computer science (95)
-
Models of Computation
(95)
- Artificial Intelligence (55)
- Artificial intelligence (55)
- Algorithms (32)