Advances in Swarm Intelligence [[electronic resource] ] : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I / / edited by Ying Tan, Yuhui Shi, Ben Niu |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXVII, 657 p. 193 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Artificial intelligence Numerical analysis Computer science Data mining Computer simulation Artificial Intelligence Numerical Analysis Models of Computation Data Mining and Knowledge Discovery Computer Modelling |
ISBN | 3-319-41000-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Trend and models of swarm intelligence research -- Novel swarm-based optimization algorithms.-Swarming behaviour -- Some swarm intelligence algorithms and their applications -- Hybrid search optimization -- Particle swarm optimization -- PSO applications -- Ant colony optimization -- Brain storm optimization -- Fireworks algorithms -- Multi-objective optimization -- Large-scale global optimization -- Biometrics. |
Record Nr. | UNISA-996465793403316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in Swarm Intelligence : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II / / edited by Ying Tan, Yuhui Shi, Li Li |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXVII, 629 p. 260 illus.) |
Disciplina | 006.3824 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Artificial intelligence Numerical analysis Computer science Data mining Computer simulation Artificial Intelligence Numerical Analysis Models of Computation Data Mining and Knowledge Discovery Computer Modelling |
ISBN | 3-319-41009-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Scheduling and planning -- Machine learning methods -- Clustering algorithm -- Classification -- Image classification and encryption -- Data mining -- Sensor networks and social networks -- Neural networks -- Swarm intelligence in management decision making and operations research -- Robot control -- Swarm robotics -- Intelligent energy and communications systems -- Intelligent and interactive and tutoring systems. . |
Record Nr. | UNINA-9910483513103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Swarm Intelligence : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I / / edited by Ying Tan, Yuhui Shi, Ben Niu |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXVII, 657 p. 193 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Artificial intelligence Numerical analysis Computer science Data mining Computer simulation Artificial Intelligence Numerical Analysis Models of Computation Data Mining and Knowledge Discovery Computer Modelling |
ISBN | 3-319-41000-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Trend and models of swarm intelligence research -- Novel swarm-based optimization algorithms.-Swarming behaviour -- Some swarm intelligence algorithms and their applications -- Hybrid search optimization -- Particle swarm optimization -- PSO applications -- Ant colony optimization -- Brain storm optimization -- Fireworks algorithms -- Multi-objective optimization -- Large-scale global optimization -- Biometrics. |
Record Nr. | UNINA-9910483527303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebra and Coalgebra in Computer Science [[electronic resource] ] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings / / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XI, 420 pages) : 118 illustrations., 6 illustrations in color |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Models of Computation Theory of Computation |
ISBN | 3-642-22944-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | On the statistical thermodynamics of reversible communicating processes / Giorgio Bacci, Vincent Danos, Ohad Kammar -- Solving fixed-point equations by derivation tree analysis / Javier Esparza, Michael Luttenberger. |
Record Nr. | UNISA-996466054703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebra and Coalgebra in Computer Science [[electronic resource] ] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings / / edited by Alexander Kurz, Marina Lenisa |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XI, 457 p.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Models of Computation Theory of Computation |
ISBN | 3-642-03741-0 |
Classificazione |
DAT 500f
DAT 702f MAT 110f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algebraic Effects and Recursive Equations -- Adequacy for Infinitary Algebraic Effects (Abstract) -- Algebras for Parameterised Monads -- Kleene Monads: Handling Iteration in a Framework of Generic Effects -- Complete Iterativity for Algebras with Effects -- Semantics of Higher-Order Recursion Schemes -- Theory of Coalgebra -- Coalgebraic Components in a Many-Sorted Microcosm -- Complementation of Coalgebra Automata -- Characterising Behavioural Equivalence: Three Sides of One Coin -- Coinduction -- Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract) -- Circular Coinduction: A Proof Theoretical Foundation -- Bisimulation -- Approximating Labelled Markov Processes Again! -- Weak Bisimilarity Coalgebraically -- Coalgebraic Symbolic Semantics -- Relating Coalgebraic Notions of Bisimulation -- Traces, Executions and Schedulers, Coalgebraically -- Non-strongly Stable Orders Also Define Interesting Simulation Relations -- Stone Duality -- Stone Duality and the Recognisable Languages over an Algebra -- Free Heyting Algebras: Revisited -- Distributive Lattice-Structured Ontologies -- A Duality Theorem for Real C * Algebras -- Game Theory -- Conway Games, Coalgebraically -- A Semantical Approach to Equilibria and Rationality -- Graph Transformation -- Van Kampen Colimits as Bicolimits in Span -- Unfolding Grammars in Adhesive Categories -- Software Development Techniques -- Views on Behaviour Protocols and Their Semantic Foundation -- Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation -- Constructor-Based Institutions -- CALCO Tools Workshop -- DBtk: A Toolkit for Directed Bigraphs -- Constraint-Muse: A Soft-Constraint Based System for Music Therapy -- CIRC: A Behavioral Verification Tool Based on Circular Coinduction -- The Priced-Timed Maude Tool -- A Tool Proving Well-Definedness of Streams Using Termination Tools. |
Record Nr. | UNISA-996465311303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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. | UNISA-996465279503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Architecture of Advanced Numerical Analysis Systems : 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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Bioinspired Optimization Methods and Their Applications : 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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|