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.
Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection [[electronic resource] ] : 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings / / edited by Yves Demazeau, Tom Holvoet, Juan M. Corchado, Stefania Costantini
| Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection [[electronic resource] ] : 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings / / edited by Yves Demazeau, Tom Holvoet, Juan M. Corchado, Stefania Costantini |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (471 pages) : illustrations |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Computer organization Software engineering Coding theory Information theory Artificial Intelligence Information Systems Applications (incl. Internet) Computer Systems Organization and Communication Networks Software Engineering/Programming and Operating Systems Coding and Information Theory |
| ISBN | 3-030-49778-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Regular Papers -- An Interruptible Task Allocation Model : Application to a Honey Bee Colony Simulation -- RT-BDI: A Real-Time BDI Model -- Routing Model Evaluator -- The DigForSim Agent Based Simulator of People Movements in Crime Scenes -- Personal Data Privacy Semantics in Multi-Agent Systems Interactions -- Towards Real-time Crowd Simulation Under Uncertainty Using an Agent-Based Model and an Unscented Kalman Filter -- The JaCa-Android Framework for Programming BDI-based Personal Agents on Mobile Devices -- Assisted Parameter and Behavior Calibration in Agent-based Models with Distributed Optimization -- Fast and Efficient Partner Selection in Large Agents’ Communities: When Categories Overcome Direct Experience -- Multi-Agent Modelling and Simulation of Hospital Acquired Infection Propagation Dynamics by Contact Transmission in Hospital Wards -- Unsupervised Sleep Stages Classification Based On Physiological Signals -- Recommending Learning Videos for MOOCs and Flipped Classrooms -- Improving Sustainable Mobility with a Variable Incentive Model for Bike-Sharing Systems Based on Agent-based Social Simulation -- Decentralized Constraint Optimization in Composite Observation Task Allocation to Mobile Sensor Agents -- Comparing the Performance of Message Delivery Methods for Mobile Agents -- Application of Agent-based Modelling to Simulate Ribosome Translation -- Intent Recognition from Speech and Plan Recognition -- Planner-Guided Robot Swarms -- A MAS-based Approach for POI Group Recommendation in LBSN -- Agent Programmability Enhancement for Rambling over a Scientific Dataset -- Scalable Heterogeneous Multiagent Learning from Demonstration -- Multimodal Joke Generation and Paralinguistic Personalization for a Socially-Aware Robot -- A Framework for Verifying Autonomous Robotic Agents Against Environment Assumptions -- Impact of Trust and Reputation Based Brokerage on the CloudAnchor Platform -- Formal Verification of Autonomous UAV Behavior for Inspection Tasks Using the Knowledge Base System IDP -- Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B -- A Study on Automated Receptionists in a Real-world Scenario -- Navigation of Autonomous Swarm of Drones using Translational Coordinates -- Multi-agent Service Area Adaptation for Ride-Sharing Using Deep Reinforcement Learning -- Demo Papers -- MAXIM-GPRT: A Simulator of Local Schedulers, Negotiations, and Communication for Multi-Agent Systems in General-Purpose and Real-Time Scenarios -- Assisting Users on the Privacy Decision-Making Process in an OSN for Educational Purposes -- A Demonstration of the Routing Model Evaluator -- JADE/JaCaMo+2COMM: Programming Agent Interactions -- Agent-based Mixed Reality Environments in Healthcare: the Smart Shock Room Project -- Demo Paper: Monitoring and Evaluation of Ethical Behavior in Dialog Systems -- A Multi-Agent Simulator for Infection Spread in a Healthcare Environment -- SafeCity: A Platform for Safer and Smarter Cities -- AGADE Traffic 2.0 - A Knowledge-based Approach for Multi-agent Traffic Simulations -- PoVaBiA: a Multi-agent Decision-making Support Tool for Organic Waste Management -- Dedale : Demonstrating a Realistic Testbed for Decentralized Multi-agents Problems -- Agent-based Crowd Discussion Support System and its Societal Experiments -- Disaster Response Simulation -- Understandable Teams of Pepper Robots -- A Practical Demonstration of a Variable Incentive Model for Bike-sharing Systems Based on Agent-based Social Simulation -- Implementation of a Holonic Multi-agent System in Mixed or Augmented Reality for Large Scale Interactions -- A Multi-agent Evaluation of Traffic Light Models. |
| Record Nr. | UNISA-996418292703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection : 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings / / edited by Yves Demazeau, Tom Holvoet, Juan M. Corchado, Stefania Costantini
| Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection : 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings / / edited by Yves Demazeau, Tom Holvoet, Juan M. Corchado, Stefania Costantini |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (471 pages) : illustrations |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Computer organization Software engineering Coding theory Information theory Artificial Intelligence Information Systems Applications (incl. Internet) Computer Systems Organization and Communication Networks Software Engineering/Programming and Operating Systems Coding and Information Theory |
| ISBN | 3-030-49778-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Regular Papers -- An Interruptible Task Allocation Model : Application to a Honey Bee Colony Simulation -- RT-BDI: A Real-Time BDI Model -- Routing Model Evaluator -- The DigForSim Agent Based Simulator of People Movements in Crime Scenes -- Personal Data Privacy Semantics in Multi-Agent Systems Interactions -- Towards Real-time Crowd Simulation Under Uncertainty Using an Agent-Based Model and an Unscented Kalman Filter -- The JaCa-Android Framework for Programming BDI-based Personal Agents on Mobile Devices -- Assisted Parameter and Behavior Calibration in Agent-based Models with Distributed Optimization -- Fast and Efficient Partner Selection in Large Agents’ Communities: When Categories Overcome Direct Experience -- Multi-Agent Modelling and Simulation of Hospital Acquired Infection Propagation Dynamics by Contact Transmission in Hospital Wards -- Unsupervised Sleep Stages Classification Based On Physiological Signals -- Recommending Learning Videos for MOOCs and Flipped Classrooms -- Improving Sustainable Mobility with a Variable Incentive Model for Bike-Sharing Systems Based on Agent-based Social Simulation -- Decentralized Constraint Optimization in Composite Observation Task Allocation to Mobile Sensor Agents -- Comparing the Performance of Message Delivery Methods for Mobile Agents -- Application of Agent-based Modelling to Simulate Ribosome Translation -- Intent Recognition from Speech and Plan Recognition -- Planner-Guided Robot Swarms -- A MAS-based Approach for POI Group Recommendation in LBSN -- Agent Programmability Enhancement for Rambling over a Scientific Dataset -- Scalable Heterogeneous Multiagent Learning from Demonstration -- Multimodal Joke Generation and Paralinguistic Personalization for a Socially-Aware Robot -- A Framework for Verifying Autonomous Robotic Agents Against Environment Assumptions -- Impact of Trust and Reputation Based Brokerage on the CloudAnchor Platform -- Formal Verification of Autonomous UAV Behavior for Inspection Tasks Using the Knowledge Base System IDP -- Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B -- A Study on Automated Receptionists in a Real-world Scenario -- Navigation of Autonomous Swarm of Drones using Translational Coordinates -- Multi-agent Service Area Adaptation for Ride-Sharing Using Deep Reinforcement Learning -- Demo Papers -- MAXIM-GPRT: A Simulator of Local Schedulers, Negotiations, and Communication for Multi-Agent Systems in General-Purpose and Real-Time Scenarios -- Assisting Users on the Privacy Decision-Making Process in an OSN for Educational Purposes -- A Demonstration of the Routing Model Evaluator -- JADE/JaCaMo+2COMM: Programming Agent Interactions -- Agent-based Mixed Reality Environments in Healthcare: the Smart Shock Room Project -- Demo Paper: Monitoring and Evaluation of Ethical Behavior in Dialog Systems -- A Multi-Agent Simulator for Infection Spread in a Healthcare Environment -- SafeCity: A Platform for Safer and Smarter Cities -- AGADE Traffic 2.0 - A Knowledge-based Approach for Multi-agent Traffic Simulations -- PoVaBiA: a Multi-agent Decision-making Support Tool for Organic Waste Management -- Dedale : Demonstrating a Realistic Testbed for Decentralized Multi-agents Problems -- Agent-based Crowd Discussion Support System and its Societal Experiments -- Disaster Response Simulation -- Understandable Teams of Pepper Robots -- A Practical Demonstration of a Variable Incentive Model for Bike-sharing Systems Based on Agent-based Social Simulation -- Implementation of a Holonic Multi-agent System in Mixed or Augmented Reality for Large Scale Interactions -- A Multi-agent Evaluation of Traffic Light Models. |
| Record Nr. | UNINA-9910413448703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination Models and Languages [[electronic resource] ] : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / / edited by Tom Holvoet, Mirko Viroli
| Coordination Models and Languages [[electronic resource] ] : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / / edited by Tom Holvoet, Mirko Viroli |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 247 p. 76 illus.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Computer programming Programming languages (Electronic computers) Algorithms Software Engineering Logics and Meanings of Programs Programming Techniques Programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-19282-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Replica-Based High-Performance Tuple Space Computing -- Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems -- Logic Fragments: A Coordination Model Based on Logic Inference -- Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles -- Dynamic Choreographies: Safe Runtime Updates of Distributed Applications -- Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi -- A Fix point-Based Calculus for Graph-Shaped Computational Fields -- Take Command of Your Constraints! -- A Labelled Semantics for Soft Concurrent Constraint Programming -- Parallelisation and Application of AD3 as a Method for Solving Large Scale Combinatorial Auctions -- Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach -- Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions -- Klaim-DB: A Modeling Language for Distributed Database Applications -- Open Transactions on Shared Memory -- VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries. |
| Record Nr. | UNISA-996207292603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination Models and Languages : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / / edited by Tom Holvoet, Mirko Viroli
| Coordination Models and Languages : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / / edited by Tom Holvoet, Mirko Viroli |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 247 p. 76 illus.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Computer programming Programming languages (Electronic computers) Algorithms Software Engineering Logics and Meanings of Programs Programming Techniques Programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-19282-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Replica-Based High-Performance Tuple Space Computing -- Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems -- Logic Fragments: A Coordination Model Based on Logic Inference -- Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles -- Dynamic Choreographies: Safe Runtime Updates of Distributed Applications -- Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi -- A Fix point-Based Calculus for Graph-Shaped Computational Fields -- Take Command of Your Constraints! -- A Labelled Semantics for Soft Concurrent Constraint Programming -- Parallelisation and Application of AD3 as a Method for Solving Large Scale Combinatorial Auctions -- Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach -- Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions -- Klaim-DB: A Modeling Language for Distributed Database Applications -- Open Transactions on Shared Memory -- VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries. |
| Record Nr. | UNINA-9910484996903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering for Multi-Agent Systems IV [[electronic resource] ] : Research Issues and Practical Applications / / edited by Alessandro Garcia, Ricardo Choren, Carlos Lucena, Paolo Giorgini, Tom Holvoet, Alexander Romanovsky
| Software Engineering for Multi-Agent Systems IV [[electronic resource] ] : Research Issues and Practical Applications / / edited by Alessandro Garcia, Ricardo Choren, Carlos Lucena, Paolo Giorgini, Tom Holvoet, Alexander Romanovsky |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XIV, 255 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Computer programming User interfaces (Computer systems) Software Engineering/Programming and Operating Systems Software Engineering Artificial Intelligence Computer Communication Networks Programming Techniques User Interfaces and Human Computer Interaction |
| ISBN | 3-540-33583-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Context-Awareness and Coordination -- Policy-Driven Configuration and Management of Agent Based Distributed Systems -- Views: Middleware Abstractions for Context-Aware Applications in MANETs -- An Adaptive Distributed Layout for Multi-agent Applications -- Self-organizing Approaches for Large-Scale Spray Multiagent Systems -- Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research -- Modeling -- Analysis and Design of Physical and Social Contexts in Multi-agent Systems -- Engineering Organization-Based Multiagent Systems -- Developing and Evaluating a Generic Metamodel for MAS Work Products -- Agent Roles, Qua Individuals and the Counting Problem -- Requirements and Software Architecture -- A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems -- Characterization and Evaluation of Multi-agent System Architectural Styles -- Improving Flexibility and Robustness in Agent Interactions: Extending Prometheus with Hermes -- Patterns for Modelling Agent Systems with Tropos -- Dependability -- On the Use of Formal Specifications as Part of Running Programs -- Adaptive Replication of Large-Scale Multi-agent Systems – Towards a Fault-Tolerant Multi-agent Platform. |
| Record Nr. | UNISA-996466155903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering for Multi-Agent Systems IV : Research Issues and Practical Applications / / edited by Alessandro Garcia, Ricardo Choren, Carlos Lucena, Paolo Giorgini, Tom Holvoet, Alexander Romanovsky
| Software Engineering for Multi-Agent Systems IV : Research Issues and Practical Applications / / edited by Alessandro Garcia, Ricardo Choren, Carlos Lucena, Paolo Giorgini, Tom Holvoet, Alexander Romanovsky |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XIV, 255 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Computer programming User interfaces (Computer systems) Software Engineering/Programming and Operating Systems Software Engineering Artificial Intelligence Computer Communication Networks Programming Techniques User Interfaces and Human Computer Interaction |
| ISBN | 3-540-33583-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Context-Awareness and Coordination -- Policy-Driven Configuration and Management of Agent Based Distributed Systems -- Views: Middleware Abstractions for Context-Aware Applications in MANETs -- An Adaptive Distributed Layout for Multi-agent Applications -- Self-organizing Approaches for Large-Scale Spray Multiagent Systems -- Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research -- Modeling -- Analysis and Design of Physical and Social Contexts in Multi-agent Systems -- Engineering Organization-Based Multiagent Systems -- Developing and Evaluating a Generic Metamodel for MAS Work Products -- Agent Roles, Qua Individuals and the Counting Problem -- Requirements and Software Architecture -- A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems -- Characterization and Evaluation of Multi-agent System Architectural Styles -- Improving Flexibility and Robustness in Agent Interactions: Extending Prometheus with Hermes -- Patterns for Modelling Agent Systems with Tropos -- Dependability -- On the Use of Formal Specifications as Part of Running Programs -- Adaptive Replication of Large-Scale Multi-agent Systems – Towards a Fault-Tolerant Multi-agent Platform. |
| Record Nr. | UNINA-9910484098903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||