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.
Knowledge Discovery, Knowledge Engineering and Knowledge Management [[electronic resource] ] : Third International Joint Conference, IC3K 2011, Paris, France, October 26-29, 2011. Revised Selected Papers / / edited by Ana Fred, Jan Dietz, Kecheng Liu, Joaquim Filipe
| Knowledge Discovery, Knowledge Engineering and Knowledge Management [[electronic resource] ] : Third International Joint Conference, IC3K 2011, Paris, France, October 26-29, 2011. Revised Selected Papers / / edited by Ana Fred, Jan Dietz, Kecheng Liu, Joaquim Filipe |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVIII, 472 p. 132 illus.) |
| Disciplina | 025.04 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Information storage and retrieval
Artificial intelligence Data mining Database management Information Storage and Retrieval Artificial Intelligence Data Mining and Knowledge Discovery Database Management |
| ISBN | 3-642-37186-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge discovery and information retrieval -- knowledge engineering and ontology development -- knowledge management and information sharing. |
| Record Nr. | UNINA-9910741142803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Knowledge Discovery, Knowledge Engineering and Knowledge Management : Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers / / edited by Ana Fred, Jan Dietz, Kecheng Liu, Joaquim Filipe
| Knowledge Discovery, Knowledge Engineering and Knowledge Management : Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers / / edited by Ana Fred, Jan Dietz, Kecheng Liu, Joaquim Filipe |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 430 p. 149 illus.) |
| Disciplina | 005.7 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Application software
Computer communication systems Information storage and retrieval Software engineering User interfaces (Computer systems) Data mining Information Systems Applications (incl. Internet) Computer Communication Networks Information Storage and Retrieval Software Engineering User Interfaces and Human Computer Interaction Data Mining and Knowledge Discovery |
| ISBN | 3-642-29764-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910437590903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Driven Engineering and Software Development : Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers / / edited by Slimane Hammoudi, Luís Ferreira Pires, Joaquim Filipe, Rui César das Neves
| Model-Driven Engineering and Software Development : Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers / / edited by Slimane Hammoudi, Luís Ferreira Pires, Joaquim Filipe, Rui César das Neves |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 197 p. 77 illus. in color.) |
| Disciplina | 005.12 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computer simulation Software Engineering Simulation and Modeling |
| ISBN | 3-319-25156-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910299257003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Driven Engineering and Software Development : Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers / / edited by Philippe Desfray, Joaquim Filipe, Slimane Hammoudi, Luís Ferreira Pires
| Model-Driven Engineering and Software Development : Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers / / edited by Philippe Desfray, Joaquim Filipe, Slimane Hammoudi, Luís Ferreira Pires |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XV, 438 p. 237 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computer simulation Software Engineering Simulation and Modeling |
| ISBN | 3-319-27869-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Invited Paper -- Safety Case Development with SBVR-Based Controlled Language -- 1 Introduction -- 2 Background -- 2.1 Goal Structuring Notation -- 2.2 Semantics of Business Vocabulary and Rules -- 3 Methodology -- 3.1 Conceptual Phase: From Conceptual Model to SBVR Model -- 3.2 Vocabulary Phase: Creating Vocabulary with an SBVR Editor -- 3.3 Modeling Phase: Construct Safety Cases with Vocabulary -- 4 Case Study -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Modeling Languages, Tools and Architectures -- Realizing a Conceptual Framework to Integrate Model-Driven Engineering, Software Product Line Engineering, and Software Configuration Management -- 1 Introduction -- 2 The Conceptual Framework -- 2.1 Overview -- 2.2 Version Space -- 2.3 Product Space -- 3 Model-Driven Realization -- 3.1 Metamodels for the Repository -- 3.2 Workspace and Local Synchronization -- 3.3 Realization of Check-Out and Commit -- 4 Optimization -- 4.1 Hierarchical Evaluation of Visibilities -- 4.2 Visibility Forests -- 4.3 Substitution of Ambition Expressions -- 5 Related Work -- 6 Conclusion -- References -- Composition of Heterogeneous Modeling Languages -- 1 Introduction -- 2 Motivation -- 2.1 Software Architecture -- 2.2 Domain and Data Modeling -- 3 Language Integration Concepts -- 3.1 Language Aggregation -- 3.2 Language Embedding -- 3.3 Language Inheritance -- 3.4 Context Conditions -- 4 Language Integration Framework -- 4.1 Symbol Table Concepts -- 4.2 Symbol Table Components -- 4.3 Configuration of Language Compositions -- 5 Related Work -- 6 Conclusion -- References -- A Model-driven Approach for the Generation of Customizable Model Migrations -- 1 Introduction -- 2 Motivation -- 3 Formal Framework for Adaptable Model Migrations -- 3.1 Migration Specification Foundations.
3.2 Migration Specification Implementation -- 4 Experiment -- 5 Current and Related Works -- 6 Conclusion and Future Works -- References -- Parallel Application Development Using Architecture View Driven Model Transformations -- Abstract -- 1 Introduction -- 2 Preliminaries -- 2.1 Modeling Parallel Applications -- 2.2 Architecture Viewpoints for Modeling Parallel Applications -- 3 Architecture View Driven Transformations -- 3.1 Algorithm Decomposition Generator -- 3.2 Component Generator -- 3.3 Deployment Generator -- 3.4 Logical Configuration Generator -- 4 Implementation and Toolset -- 5 Related Work -- 6 Conclusion -- References -- Runtime Translation of Model-Level Queries to Persistence-Level -- 1 Introduction -- 2 MQT: Overview -- 2.1 Data-schema -- 2.2 Conceptual Model -- 3 MQT: EOL to SQL Translation -- 3.1 Query Model Elements -- 3.2 Element Filtering -- 3.3 Query Results (EDBObjectList) -- 3.4 Query Results (EDBObject) -- 4 Empirical Study -- 4.1 Results -- 5 Related Work -- 6 Conclusions and Further Work -- References -- Integration of Handwritten and Generated Object-Oriented Code -- 1 Introduction -- 2 Evaluation Criteria -- 3 Integration Mechanisms Based on Language Concepts -- 3.1 Generation Gap -- 3.2 Extended Generation Gap -- 3.3 Delegation -- 3.4 Include Mechanism -- 3.5 Partial Classes -- 3.6 Aspect-Oriented Programming -- 4 General Integration Mechanisms -- 4.1 PartMerger Mechanism -- 4.2 Protected Regions -- 5 Discussion -- 6 Related Work -- 7 Extend Generated Code with Action Languages -- 8 Conclusion -- References -- A Framework for Metamodel Composition and Adaptation with Conformance-Preserving Model Migration -- 1 Introduction -- 2 Motivating Example -- 3 Metamodel Adaptations -- 3.1 The Analysis Environment -- 3.2 The Adaptation Rules -- 3.3 Example Revisited -- 4 Conformance -- 4.1 Example Revisited -- 5 Related Work. 6 Conclusion and Future Work -- References -- A Textual Domain-Specific Language Based on the UML Testing Profile -- 1 Introduction -- 2 Related Work -- 3 Test Specification Language -- Ubtl -- 3.1 General -- 3.2 Applications -- 3.3 Software Architecture -- 3.4 Language Elements -- 4 Use Case -- 4.1 Context of the Use Case -- 4.2 System Under Test -- 4.3 Specifying Test Case -- 4.4 Transformation to Matlab Code -- 4.5 Resulting Matlab Script -- 5 Conclusion -- References -- Metamodel and Model Composition by Integration of Operational Semantics -- 1 Introduction -- 2 Definitions -- 3 Example -- 4 The Framework -- 4.1 Specification of Unification Model -- 4.2 Definition of Code Generators -- 4.3 Code Generation -- 4.4 Specification of Linking Model -- 4.5 Execution of Models -- 5 Evaluation -- 6 Related Work -- 7 Conclusion and Future Work -- References -- Computability Assurance for UML Template Binding -- Abstract -- 1 Introduction -- 2 An Introduction to UML Templates -- 3 Some Limitations of UML Templates -- 4 Functional Conformance -- 4.1 Type Conformance -- 4.2 Multiplicity Conformance -- 4.3 Contents Conformance -- 4.4 Staticity Conformance -- 4.5 Visibility Requirement -- 4.6 Computability Assurance -- 5 Related Work -- 6 Conclusions and Future Work -- 1 Appendix: OCL Formulation of Functional Conformance -- References -- Challenging a Transformation-Wise Architecture Framework in a Comparative Case Study -- 1 Introduction -- 2 Related Work and Motivation -- 3 Design Method in Short -- 3.1 Requirement Listing -- 3.2 Architecture Description and Transformations -- 3.3 A Transformational Approach -- 4 Case Study Protocol -- 4.1 Participants' Profiles -- 4.2 Initial Phase to Build Comparable Groups -- 4.3 Case Study Startup -- 4.4 Case Description -- 4.5 Evaluation Method -- 5 Case Study Results. 5.1 Functional Correctness and Quality of Deliverables -- 5.2 Paper-Based Survey -- 6 Discussion -- 6.1 Evaluation of the Approach -- 6.2 Threats to Validity -- 7 Conclusions -- References -- Meta Model Extensibility of BPMN: Current Limitations and Proposed Improvements -- 1 Introduction -- 2 Fundamentals -- 2.1 Extensibility of Conceptual Modeling Languages -- 2.2 Excursus: Extensibility of Programming Languages -- 3 BPMN Extensibility -- 3.1 Implicit Capabilities -- 3.2 Explicit Capabilities -- 3.3 Problematic Aspects of Extending the BPMN Meta Model -- 4 Profiling -- 4.1 Modus Operandi -- 4.2 Modeling Concepts -- 4.3 Application and Example -- 5 Under Specification (Hooking) -- 5.1 Modus Operandi -- 5.2 Modeling Concepts -- 5.3 Application and Example -- 6 Annotation (Plug-ins and Add-Ons) -- 6.1 Modus Operandi of Plug-Ins -- 6.2 Modus Operandi of Add-Ons -- 6.3 Modeling Concepts -- 6.4 Application and Example for Plug-Ins -- 6.5 Application and Example for Add-Ons -- 7 Comparison and Conclusion -- 7.1 Comparison of Extension Approaches -- 7.2 Conclusion and Further Research -- References -- An Approach to Define and Apply Collaboration Process Patterns for Software Development -- Abstract -- 1 Introduction -- 2 Modelling Collaborative Processes -- 2.1 Software Process Modelling -- 2.2 Collaboration in Software Process Modeling -- 2.3 Workflow Patterns -- 3 An Approach to Collaboration Patterns -- 3.1 Introduction -- 3.2 Pattern "Duplicate in Sequence with Multiple Actors" (DSMA) -- 3.3 Pattern "Duplicate in Parallel with Multiple Actors and Merge" (DPMAM) -- 3.4 Conclusion -- 4 Application of Collaboration Patterns -- 5 Realization and Case Study -- 5.1 Case Study -- 5.2 Supporting Tool Prototype -- 6 Conclusion -- References -- An Ontology-Based Process Editor for Generating Model Mapping in Tool Integration -- Abstract -- 1 Introduction. 2 Illustrating Example -- 3 iSPEM -- A Multilevels Process Modeling Language -- 3.1 SPEM 2.0 -- 3.2 Multi-level Process Elements -- 4 Combining Process Editor and Ontology -- 4.1 Reusable Process Ontology -- 4.2 Generation of Transformation Rules for a Tool Integration Point -- 5 iSPEM Process Editor -- 5.1 Implementation of iSPEM System -- 5.2 Case-Study -- 6 Conclusions -- References -- Using Model Driven Engineering to Support Multi-paradigms Security Analysis -- Abstract -- 1 Introduction -- 2 Background -- 2.1 EBIOS Method -- 2.2 Attack Tree Quantitative Method -- 2.3 Motivation -- 3 Model Driven Approach -- 3.1 Process Description -- 3.2 Model-Based Security Framework Description -- 4 Cyber-Power System Case Study -- 5 Related Work -- 6 Conclusion, Perspectives -- References -- Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec -- 1 Introduction -- 2 Impact of Attacks -- 3 The Fundamental Role of the System Architecture for Security -- 3.1 Software/Hardware Partitioning -- 3.2 Model-Driven Engineering -- 4 Specifying the Security Requirements -- 4.1 Security Goals and Threats -- 4.2 SysML-Sec: A SysML-Based Model-Oriented Approach -- 4.3 Methodology -- 4.4 Toolkit -- 5 Safety- and Security-Oriented Validations -- 5.1 Safety Properties -- 5.2 Security Properties -- 5.3 Safety and Security, Safety vs. Security -- 6 Example: Safety and Security Analysis of a Communicating Vehicle -- 6.1 Security Requirements -- 6.2 Threats and Attacks -- 6.3 Hardware/Software Partitioning -- 7 Conclusion and Future Work -- References -- Methodologies, Processes and Platforms -- Architecture Optimization with SysML Modeling: A Case Study Using Variability -- Abstract -- 1 Introduction -- 2 Methodology -- 2.1 Design Flow with MBSE -- 2.2 Our Proposal -- 3 SysML Modeling for Optimization -- 3.1 Case Study -- 3.2 Requirements Capture. 3.3 MDO Context and Objective Functions Definition. |
| Record Nr. | UNINA-9910298964903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Simulation and Modeling Methodologies, Technologies and Applications : International Conference, SIMULTECH 2015 Colmar, France, July 21-23, 2015 Revised Selected Papers / / edited by Mohammad S. Obaidat, Janusz Kacprzyk, Tuncer Ören, Joaquim Filipe
| Simulation and Modeling Methodologies, Technologies and Applications : International Conference, SIMULTECH 2015 Colmar, France, July 21-23, 2015 Revised Selected Papers / / edited by Mohammad S. Obaidat, Janusz Kacprzyk, Tuncer Ören, Joaquim Filipe |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIV, 175 p. 62 illus., 38 illus. in color.) |
| Disciplina | 003.3 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computer simulation Computational Intelligence Artificial Intelligence Simulation and Modeling |
| ISBN | 3-319-31295-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Numerical Assessment of Rubber Insulated Electric Cables Plants Eciency using Nitrogen and Steam Water as Curing Agents -- Simulation Driven Policy Recommendations for Code Diversity -- Multiple Runs in the Simulation of Stochastic Systems can Improve the Estimates of Equilibrium Expectations -- IoT Ecient Design using WCOMP Framework and Discrete Event Modeling and Simulation -- Comparison of System Dynamics and Discrete Event Simulation Approaches -- Applying Petri Nets to Coalition Formation Modeling -- Virtualization Guided Tsunami and Storm Surge Simulations for Lowc Power Architectures -- High Precision Temperature Control for Injector Components of a Free-Electron Laser -- Agent-based Wiki Page Simulation: A Conceptual Model -- Enabling Military Coalition Command and Control with Interoperating Simulations as a System of Systems. |
| Record Nr. | UNINA-9910254223503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Simulation and Modeling Methodologies, Technologies and Applications : International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers / / edited by Mohammad S. Obaidat, Tuncer Ören, Janusz Kacprzyk, Joaquim Filipe
| Simulation and Modeling Methodologies, Technologies and Applications : International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers / / edited by Mohammad S. Obaidat, Tuncer Ören, Janusz Kacprzyk, Joaquim Filipe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (363 p.) |
| Disciplina | 004 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Artificial intelligence
Computational intelligence Computer simulation Artificial Intelligence Computational Intelligence Computer Modelling |
| ISBN | 3-319-26470-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front Velocity Modeling Approach to Column Chromatographic Characterization and Evaluation of Ketamine Enantiomers Separation with Simulated Moving Bed -- Modeling Hybrid Systems with Petri Nets -- Automatic Tuning of Computational Models -- Enhanced Interior Gateway Routing Protocol with IPv4 and IPv6 Support for OMNeT++ -- Simulating LTE/LTE-advanced Networks with SimuLTE -- Sensitivity Estimation using Likelihood Ratio Method with Fixed-sample-Path Principle -- A System Dynamics Simulator for Decision Support in Risk-based IT Outsourcing Capabilities Management -- Analysis of Fractional-order Point Reactor Kinetics Model with Adiabatic Temperature Feedback for Nuclear Reactor with Subdiffusive Neutron Transport -- Analysis of Model Predictive Control for Fractional-order System -- CFD Modeling of a Mixed Mode Boosted GDI Engine and Performance Optimization for the Avoidance of Knocking -- Real-time Radar, Target and Environment Simulator -- Computationally-efficient EM-simulation-Driven Multi-objective Design of Compact Microwave Structures -- Simulation-based Optimization in Design-under-uncertainty Problems through Iterative Development of Metamodels in Augmented Design/random Variable Space -- Social Aggravation Estimation to Seismic Hazard Using Classical Fuzzy Methods. |
| Record Nr. | UNINA-9910299254803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Simulation and Modeling Methodologies, Technologies and Applications : International Conference, SIMULTECH 2011 Noordwijkerhout, The Netherlands, July 29-31, 2011 Revised Selected Papers / / edited by Nuno Pina, Janusz Kacprzyk, Joaquim Filipe
| Simulation and Modeling Methodologies, Technologies and Applications : International Conference, SIMULTECH 2011 Noordwijkerhout, The Netherlands, July 29-31, 2011 Revised Selected Papers / / edited by Nuno Pina, Janusz Kacprzyk, Joaquim Filipe |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (284 p.) |
| Disciplina | 006.3/3 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Statistics Computational Intelligence Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences |
| Soggetto genere / forma | Conference proceedings. |
| ISBN |
1-283-91036-5
3-642-34336-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Integration of Traffic Simulation and Propulsion Modeling to Estimate Energy Consumption for Battery Electric Vehicles -- Speeding Up the Evaluation of a Mathematical Model for VANETs using OpenMP -- The Stability Box for Minimizing Total Weighted Flow Time under Uncertain Data -- Numerical Modelling of Nonlinear Diffusion Phenomena on a Sphere -- Simulation, Parameter Estimation and Optimization of an Industrial-scale Evaporation System -- High Detailed Lava Flows Hazard Maps by a Cellular Automata Approach -- A Consistent Preliminary Design Process for Mechatronic Systems -- A Process based on the Model-driven Architecture to Enable the Definition of Platform-independent Simulation MODELS -- Dynamic Response of a Wind Farm Consisting of Doubly-fed Induction Generators to Network Disturbance -- Educational Simulators for Industrial Process Control -- Simulation-based Development of Safety Related Interlocks -- Modelling Molecular Processes by Individual-based Simulations Applied to Actin Polymerisation -- Marine Ecosystem Model Calibration through Enhanced Surrogate-based Optimization -- Hydrodynamic Shape Optimization of Axisymmetric Bodies using Multi-fidelity Modeling -- Analysis of Bulky Crash Simulation Results: Deterministic and Stochastic Aspects -- Integration of Optimization to the Design of Pulp & Paper Production Processes -- Variation-aware Circuit Macromodeling and Design based on Surrogate Models -- Analysis and Optimization of Bevel Gear Cutting Processes by Means of Manufacturing Simulation. |
| Record Nr. | UNINA-9910437890303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Computational Collective Intelligence XX [[electronic resource] /] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe
| Transactions on Computational Collective Intelligence XX [[electronic resource] /] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (IX, 259 p. 99 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Transactions on Computational Collective Intelligence |
| Soggetto topico |
Artificial intelligence
Computational intelligence Software engineering Computers Computer simulation Artificial Intelligence Computational Intelligence Software Engineering Computation by Abstract Devices Simulation and Modeling Information Systems and Communication Service |
| ISBN | 3-319-27543-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Developing Embodied Agents for Education Applications with Accurate Synchronization of Gesture and Speech -- Abstraction of Heterogeneous Supplier Models in Hierarchical Resource Allocation -- Shape Recognition through Tactile Contour Tracing - a simulation study -- Real-time tear film classification through cost-based feature selection -- Scalarized and Pareto Knowledge Gradient for Multi-objective Multi-armed Bandits -- Extensibility Based Multiagent Planner with Plan Diversity Metrics -- Concurrent and Distributed Shortest-Path Searches in Multiagent-based Transport Systems -- SAJaS: Enabling JADE-based Simulations -- Strategic Negotiation and Trust in Diplomacy -The DipBlue Approach -- Overcoming Limited Onboard Sensing in Swarm -- A Question of Balance: The Benefits of Pattern-Recognition when Solving Problems in a Complex Domain. |
| Record Nr. | UNISA-996466225703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Computational Collective Intelligence XX / / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe
| Transactions on Computational Collective Intelligence XX / / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (IX, 259 p. 99 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Transactions on Computational Collective Intelligence |
| Soggetto topico |
Artificial intelligence
Computational intelligence Software engineering Computers Computer simulation Artificial Intelligence Computational Intelligence Software Engineering Computation by Abstract Devices Simulation and Modeling Information Systems and Communication Service |
| ISBN | 3-319-27543-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Developing Embodied Agents for Education Applications with Accurate Synchronization of Gesture and Speech -- Abstraction of Heterogeneous Supplier Models in Hierarchical Resource Allocation -- Shape Recognition through Tactile Contour Tracing - a simulation study -- Real-time tear film classification through cost-based feature selection -- Scalarized and Pareto Knowledge Gradient for Multi-objective Multi-armed Bandits -- Extensibility Based Multiagent Planner with Plan Diversity Metrics -- Concurrent and Distributed Shortest-Path Searches in Multiagent-based Transport Systems -- SAJaS: Enabling JADE-based Simulations -- Strategic Negotiation and Trust in Diplomacy -The DipBlue Approach -- Overcoming Limited Onboard Sensing in Swarm -- A Question of Balance: The Benefits of Pattern-Recognition when Solving Problems in a Complex Domain. |
| Record Nr. | UNINA-9910484643603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Computational Collective Intelligence XXIV [[electronic resource] /] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Joaquim Filipe
| Transactions on Computational Collective Intelligence XXIV [[electronic resource] /] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Joaquim Filipe |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (IX, 169 p. 78 illus.) |
| Disciplina | 006.3 |
| Collana | Transactions on Computational Collective Intelligence |
| Soggetto topico |
Artificial intelligence
Computational intelligence Computers Computer simulation Computer communication systems Artificial Intelligence Computational Intelligence Information Systems and Communication Service Computation by Abstract Devices Simulation and Modeling Computer Communication Networks |
| ISBN | 3-662-53525-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Dynamic Topologies for Particle Swarms -- Evaluative Study of PSO/Snake Hybrid Algorithm and Gradient Path Labeling for Calculating Solar Differential Rotation -- The Uncertainty Quandary: A Study in the Context of the Evolutionary Optimization in Games and other Uncertain Environments -- Hybrid Single Node Genetic Programming for Symbolic Regression -- L2 Designer: A Tool for Genetic L-system Programming in Context of Generative Art -- Manifold Learning Approach toward Constructing State Representation for Robot Motion Generation -- The Existence of Two Variant Processes in Human Declarative Memory: Evidence Using Machine Learning Classification Techniques in Retrieval Tasks -- Divide and Conquer Ensemble Method for Time Series Forecasting -- Application areas of Ephemeral Computing: A survey. |
| Record Nr. | UNISA-996465411403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
