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.
A passo d'uomo [[electronic resource] ] : modelli e strumenti di intervento per la mobilità pedonale / / a cura di Stefania Bandini, Giuseppe Vizzari
| A passo d'uomo [[electronic resource] ] : modelli e strumenti di intervento per la mobilità pedonale / / a cura di Stefania Bandini, Giuseppe Vizzari |
| Edizione | [1. ed.] |
| Pubbl/distr/stampa | Milano, : Guerini studio, 2008 |
| Descrizione fisica | 170 p. : ill |
| Disciplina | 620 |
| Altri autori (Persone) |
BandiniStefania
VizzariGiuseppe |
| Collana | Quasi |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Altri titoli varianti |
Passo d'uomo
A passo d'uomo |
| Record Nr. | UNINA-9910130621903321 |
| Milano, : Guerini studio, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
AIxIA 2016 advances in artificial intelligence : 20th International Conference of the Italian Association for Artificial Intelligence, virtual event, December 1-3, 2021, revised selected papers / / Stefania Bandini [and four others] editors
| AIxIA 2016 advances in artificial intelligence : 20th International Conference of the Italian Association for Artificial Intelligence, virtual event, December 1-3, 2021, revised selected papers / / Stefania Bandini [and four others] editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (720 pages) |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-031-08421-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910585770103321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
AIxIA 2016 advances in artificial intelligence : 20th International Conference of the Italian Association for Artificial Intelligence, virtual event, December 1-3, 2021, revised selected papers / / Stefania Bandini [and four others] editors
| AIxIA 2016 advances in artificial intelligence : 20th International Conference of the Italian Association for Artificial Intelligence, virtual event, December 1-3, 2021, revised selected papers / / Stefania Bandini [and four others] editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (720 pages) |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-031-08421-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996483159803316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
AIxIA 2020 - advances in artificial intelligence : XIXth international conference of the Italian association for artificial intelligence, virtual event, November 25-27, 2020, revised selected papers / / editors, Matteo Baldoni, Stefania Bandini
| AIxIA 2020 - advances in artificial intelligence : XIXth international conference of the Italian association for artificial intelligence, virtual event, November 25-27, 2020, revised selected papers / / editors, Matteo Baldoni, Stefania Bandini |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (467 pages) |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-030-77091-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Explainable Artificial Intelligence -- Exploring Contextual Importance and Utility in Explaining Affect Detection -- 1 Introduction -- 2 Background -- 3 Contextual Importance and Contextual Utility -- 4 Dataset Description and Preprocessing -- 5 Outcome Explanations -- 5.1 Generated Explanation on WESAD -- 5.2 Generated Explanation on MAHNOB-HCI -- 6 Conclusion and Future Works -- References -- Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming -- 1 Introduction -- 2 Explanation: Meaning and Roles -- 3 Logic Techniques for XAI -- 3.1 Why Logic? -- 3.2 User Requirements for XAI -- 3.3 Logic Approaches and Technologies Involved for XAI -- 4 System Architecture -- 4.1 Main Enabling Technologies -- 5 Preliminary Investigation: Examples -- 6 Related Works and Discussion -- 7 Conclusion -- References -- Understanding Automatic Pneumonia Classification Using Chest X-Ray Images -- 1 Introduction -- 2 Related Work -- 3 Proposed Approach -- 3.1 Classification -- 3.2 Visual Explanations -- 4 Experimental Protocol -- 4.1 Dataset Description -- 4.2 Training Phase -- 4.3 Performance Metrics -- 5 Results and Discussion -- 5.1 Classification Performance -- 5.2 Assessing Explanations from GradCAM -- 6 Conclusion -- References -- SeXAI: A Semantic Explainable Artificial Intelligence Framework -- 1 Introduction -- 2 Related Work -- 3 The Framework -- 4 SeXAI in Action -- 4.1 Quantitative Evaluation -- 4.2 Discussion -- 5 Conclusions -- References -- Explainable Attentional Neural Recommendations for Personalized Social Learning -- 1 Introduction -- 2 WhoTeach -- 3 Main Concepts and Definitions -- 4 GAT Models -- 5 Numerical Experiments -- 6 Expected Results for XAM -- 7 Conclusions and Future Works -- References -- Evolutionary and Population-Based.
Evolutionary Optimization of Graphs with GraphEA -- 1 Introduction and Related Works -- 2 GraphEA -- 2.1 Representation -- 2.2 Evolutionary Algorithm -- 3 Experimental Evaluation -- 3.1 Regression -- 3.2 Text Extraction -- 3.3 Robotic Controller Optimization -- 4 Concluding Remarks -- References -- Where the Local Search Affects Best in an Immune Algorithm -- 1 Introduction -- 2 The Hybrid Immune Algorithm -- 2.1 Hybrid-IA for the Community Detection -- 3 Experimental Results -- 3.1 Functional Sensitivity Analysis -- 4 Conclusions -- References -- Advances in Argumentation in Artificial Intelligence -- An Efficient Algorithm for Semi-stable Extensions -- 1 Introduction -- 2 Argumentation Framework and Complete Labelling Encodings -- 3 Overview of AASExts -- 4 Experimental Assessment of Encodings -- 5 Evaluation of AASExts -- 5.1 Experimental Setup -- 5.2 Experimental Results -- 6 Conclusion -- References -- Introducing General Argumentation Frameworks and Their Use -- 1 Introduction -- 2 Basics and Related Work -- 3 The Generalized Argumentation Framework -- 3.1 Mapping from Existing Frameworks -- 3.2 Mapping to Existing Frameworks -- 4 Sample Extensions of GAFs -- 4.1 Adding User and Topic Information -- 4.2 Expressing Evidence and Necessity -- 5 Matrix Representation and Examples -- 6 Conclusion -- References -- Towards an Implementation of a Concurrent Language for Argumentation -- 1 Introduction -- 2 Abstract Argumentation Frameworks -- 3 A Four-State Labelling Semantics -- 4 A Concurrent Argumentation Language -- 4.1 Semantics of Failure -- 4.2 Belief Revision and the AGM Framework -- 5 Implementation -- 6 Related Work -- 7 Conclusion and Future Work -- References -- Planning and Scheduling -- A Fault-Tolerant Automated Flight Path Planning System for an Ultralight Aircraft -- 1 Introduction -- 1.1 Related Work -- 1.2 System Description. 2 Flight Path Planning System -- 2.1 Flight Path Planning in PDDL+ -- 2.2 Trajectory Planning Under Non-nominal Conditions -- 3 System Validation and Results -- 3.1 Test Scenarios -- 3.2 Test Results and Discussion -- 4 Conclusion and Future Work -- References -- In Defence of Design Patterns for AI Planning Knowledge Models -- 1 Introduction -- 2 A Knowledge Engineering (Historical) Perspective -- 3 Beyond Knowledge Encoding: Explainability -- 4 Example: The Mobile Design Pattern -- 5 Functionalities of the Centralised Repository -- 6 Discussion on Languages for Planning Knowledge Models -- 7 Conclusion -- References -- Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming -- 1 Introduction -- 2 Answer Set Programming -- 3 Problem Description -- 3.1 Informal Description -- 3.2 Mathematical Formulation -- 4 ASP Encoding for ORS with Surgical Teams -- 4.1 Data Model -- 4.2 Encoding -- 5 Experimental Results -- 5.1 Benchmarks -- 5.2 Results -- 5.3 Extended Analysis -- 6 Related Work -- 7 Conclusions -- References -- Artificial Intelligence and Robotics -- Optimal Control of Point-to-Point Navigation in Turbulent Time Dependent Flows Using Reinforcement Learning -- 1 Introduction -- 2 Methods -- 3 Results (Time-Independent Flows) -- 3.1 Shortest Time, No Energy Constraints -- 3.2 Minimal Energy Consumption -- 4 Results (Time-Dependent Flow) -- 5 Conclusions -- References -- Brain-Driven Telepresence Robots: A Fusion of User's Commands with Robot's Intelligence -- 1 Introduction -- 2 Taxonomy of Shared Approaches -- 3 Shared Autonomy Approaches Based on Pre-coded Behaviors -- 4 Shared Intelligence Approach Based on Policies -- 5 ROS-Neuro: A Common Framework for Developing Neurorobotics Applications -- 6 Conclusion -- References. Knowledge-Driven Conversation for Social Robots: Exploring Crowdsourcing Mechanisms for Improving the System Capabilities -- 1 Introduction -- 2 Knowledge-Driven Conversation -- 3 Crowdsourcing Mechanisms for the Run-Time Expansion of the Knowledge Base -- 4 Recognition of Relevant Concepts -- 4.1 Dialogflow: Agents and Intents -- 4.2 Dialogflow Agent Training -- 5 Experiment and Discussion -- 6 Conclusions -- References -- Natural Language for Artificial Intelligence -- Grounding Dialogue History: Strengths and Weaknesses of Pre-trained Transformers -- 1 Introduction -- 2 Related Work -- 3 Dataset -- 4 Models -- 4.1 Language-Only Encoders -- 4.2 Multimodal Encoders -- 5 Experiments -- 5.1 Task Success -- 5.2 Are Models Sensitive to the Strategy Seen During Training? -- 5.3 The Role of the Last Question -- 5.4 How Attention Is Distributed Across Turns -- 5.5 Qualitative Evaluation -- 5.6 Details for Reproducibility -- 6 Conclusion -- References -- Breaking Down High-Level Robot Path-Finding Abstractions in Natural Language Programming -- 1 Introduction -- 2 Previous Work -- 3 Problem Formulation and System Design -- 3.1 High-Level to Low-Level (HL2LL) System Overview -- 3.2 Map Representation -- 3.3 Lee's Algorithm and Its Adaption -- 3.4 Path Information Extraction for NLPr -- 3.5 Path to Low-Level Sentence -- 3.6 Generating Code from NL Specifications Using the NLPr System -- 3.7 Formal Validation Using HFSM -- 4 Experimental Results -- 4.1 Case Study -- 5 Future Work -- 6 Conclusion -- References -- Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion -- Interleaving Levels of Consistency Enforcement for Singleton Arc Consistency in CSPs, with a New Best (N)SAC Algorithm -- 1 Introduction -- 2 Background -- 2.1 General Concepts -- 2.2 (N)SAC Algorithms -- 3 To Interleave or Not: Some (N)SAC Variants. 4 (N)SAC with and Without AC: Initial Experiments -- 5 (N)SAC with and Without AC: More Extended Tests -- 6 Comparisons with an AC4-Style Interleaving Algorithm -- 7 Other Kinds of Interleaving -- 8 Conclusions -- References -- Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints -- 1 Introduction -- 2 Preliminaries -- 3 Avoiding Crossings -- 4 The Collected Data -- 5 Machine Learning the Goodness of Constraint Propagators -- 6 Experiments -- 6.1 Results of the Machine Learning Step -- 6.2 Results of the Overall Euclidean TSP Solver -- 7 Related Work -- 8 Conclusions and Future Work -- References -- From Contrastive to Abductive Explanations and Back Again -- 1 Introduction -- 2 Preliminaries -- 3 Contrastive vs. Abductive Explanations -- 3.1 Defining Abductive Explanations (AXps) -- 3.2 Defining Contrastive Explanations (CXps) -- 3.3 Relating Abductive and Contrastive Explanations -- 4 Extracting and Enumerating Explanations -- 5 Experimental Evaluation -- 5.1 Enumeration of CXps -- 5.2 Enumeration of CXps and AXps -- 6 Conclusions -- References -- Artificial Intelligence for an Ageing Society -- Towards Positive Artificial Intelligence -- 1 Introduction -- 2 Positive Psychology -- 3 Positive Technologies -- 4 Intelligent Agents -- 5 Positive Artificial Intelligence -- 5.1 Illustrative Scenario I: Improvements in Walking Experience for Elderly Pedestrians in Urban Roads -- 5.2 Illustrative Scenario II: Extended Interaction with Medical Devices for Treatment of Noncommunicable Diseases -- 6 Conclusion -- References -- Management at the Edge of Situation Awareness During Patient Telemonitoring -- 1 Introduction -- 2 Background and Related Work -- 3 Edge Computing Cognitive Architecture -- 3.1 System Architecture -- 3.2 CPAC: The Clinical Pathway Adherence Checker Module. 3.3 CPAD: The Clinical Pathway Anomaly Detection Module. |
| Record Nr. | UNISA-996464528703316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
AIxIA 2020 - advances in artificial intelligence : XIXth international conference of the Italian association for artificial intelligence, virtual event, November 25-27, 2020, revised selected papers / / editors, Matteo Baldoni, Stefania Bandini
| AIxIA 2020 - advances in artificial intelligence : XIXth international conference of the Italian association for artificial intelligence, virtual event, November 25-27, 2020, revised selected papers / / editors, Matteo Baldoni, Stefania Bandini |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (467 pages) |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-030-77091-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Explainable Artificial Intelligence -- Exploring Contextual Importance and Utility in Explaining Affect Detection -- 1 Introduction -- 2 Background -- 3 Contextual Importance and Contextual Utility -- 4 Dataset Description and Preprocessing -- 5 Outcome Explanations -- 5.1 Generated Explanation on WESAD -- 5.2 Generated Explanation on MAHNOB-HCI -- 6 Conclusion and Future Works -- References -- Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming -- 1 Introduction -- 2 Explanation: Meaning and Roles -- 3 Logic Techniques for XAI -- 3.1 Why Logic? -- 3.2 User Requirements for XAI -- 3.3 Logic Approaches and Technologies Involved for XAI -- 4 System Architecture -- 4.1 Main Enabling Technologies -- 5 Preliminary Investigation: Examples -- 6 Related Works and Discussion -- 7 Conclusion -- References -- Understanding Automatic Pneumonia Classification Using Chest X-Ray Images -- 1 Introduction -- 2 Related Work -- 3 Proposed Approach -- 3.1 Classification -- 3.2 Visual Explanations -- 4 Experimental Protocol -- 4.1 Dataset Description -- 4.2 Training Phase -- 4.3 Performance Metrics -- 5 Results and Discussion -- 5.1 Classification Performance -- 5.2 Assessing Explanations from GradCAM -- 6 Conclusion -- References -- SeXAI: A Semantic Explainable Artificial Intelligence Framework -- 1 Introduction -- 2 Related Work -- 3 The Framework -- 4 SeXAI in Action -- 4.1 Quantitative Evaluation -- 4.2 Discussion -- 5 Conclusions -- References -- Explainable Attentional Neural Recommendations for Personalized Social Learning -- 1 Introduction -- 2 WhoTeach -- 3 Main Concepts and Definitions -- 4 GAT Models -- 5 Numerical Experiments -- 6 Expected Results for XAM -- 7 Conclusions and Future Works -- References -- Evolutionary and Population-Based.
Evolutionary Optimization of Graphs with GraphEA -- 1 Introduction and Related Works -- 2 GraphEA -- 2.1 Representation -- 2.2 Evolutionary Algorithm -- 3 Experimental Evaluation -- 3.1 Regression -- 3.2 Text Extraction -- 3.3 Robotic Controller Optimization -- 4 Concluding Remarks -- References -- Where the Local Search Affects Best in an Immune Algorithm -- 1 Introduction -- 2 The Hybrid Immune Algorithm -- 2.1 Hybrid-IA for the Community Detection -- 3 Experimental Results -- 3.1 Functional Sensitivity Analysis -- 4 Conclusions -- References -- Advances in Argumentation in Artificial Intelligence -- An Efficient Algorithm for Semi-stable Extensions -- 1 Introduction -- 2 Argumentation Framework and Complete Labelling Encodings -- 3 Overview of AASExts -- 4 Experimental Assessment of Encodings -- 5 Evaluation of AASExts -- 5.1 Experimental Setup -- 5.2 Experimental Results -- 6 Conclusion -- References -- Introducing General Argumentation Frameworks and Their Use -- 1 Introduction -- 2 Basics and Related Work -- 3 The Generalized Argumentation Framework -- 3.1 Mapping from Existing Frameworks -- 3.2 Mapping to Existing Frameworks -- 4 Sample Extensions of GAFs -- 4.1 Adding User and Topic Information -- 4.2 Expressing Evidence and Necessity -- 5 Matrix Representation and Examples -- 6 Conclusion -- References -- Towards an Implementation of a Concurrent Language for Argumentation -- 1 Introduction -- 2 Abstract Argumentation Frameworks -- 3 A Four-State Labelling Semantics -- 4 A Concurrent Argumentation Language -- 4.1 Semantics of Failure -- 4.2 Belief Revision and the AGM Framework -- 5 Implementation -- 6 Related Work -- 7 Conclusion and Future Work -- References -- Planning and Scheduling -- A Fault-Tolerant Automated Flight Path Planning System for an Ultralight Aircraft -- 1 Introduction -- 1.1 Related Work -- 1.2 System Description. 2 Flight Path Planning System -- 2.1 Flight Path Planning in PDDL+ -- 2.2 Trajectory Planning Under Non-nominal Conditions -- 3 System Validation and Results -- 3.1 Test Scenarios -- 3.2 Test Results and Discussion -- 4 Conclusion and Future Work -- References -- In Defence of Design Patterns for AI Planning Knowledge Models -- 1 Introduction -- 2 A Knowledge Engineering (Historical) Perspective -- 3 Beyond Knowledge Encoding: Explainability -- 4 Example: The Mobile Design Pattern -- 5 Functionalities of the Centralised Repository -- 6 Discussion on Languages for Planning Knowledge Models -- 7 Conclusion -- References -- Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming -- 1 Introduction -- 2 Answer Set Programming -- 3 Problem Description -- 3.1 Informal Description -- 3.2 Mathematical Formulation -- 4 ASP Encoding for ORS with Surgical Teams -- 4.1 Data Model -- 4.2 Encoding -- 5 Experimental Results -- 5.1 Benchmarks -- 5.2 Results -- 5.3 Extended Analysis -- 6 Related Work -- 7 Conclusions -- References -- Artificial Intelligence and Robotics -- Optimal Control of Point-to-Point Navigation in Turbulent Time Dependent Flows Using Reinforcement Learning -- 1 Introduction -- 2 Methods -- 3 Results (Time-Independent Flows) -- 3.1 Shortest Time, No Energy Constraints -- 3.2 Minimal Energy Consumption -- 4 Results (Time-Dependent Flow) -- 5 Conclusions -- References -- Brain-Driven Telepresence Robots: A Fusion of User's Commands with Robot's Intelligence -- 1 Introduction -- 2 Taxonomy of Shared Approaches -- 3 Shared Autonomy Approaches Based on Pre-coded Behaviors -- 4 Shared Intelligence Approach Based on Policies -- 5 ROS-Neuro: A Common Framework for Developing Neurorobotics Applications -- 6 Conclusion -- References. Knowledge-Driven Conversation for Social Robots: Exploring Crowdsourcing Mechanisms for Improving the System Capabilities -- 1 Introduction -- 2 Knowledge-Driven Conversation -- 3 Crowdsourcing Mechanisms for the Run-Time Expansion of the Knowledge Base -- 4 Recognition of Relevant Concepts -- 4.1 Dialogflow: Agents and Intents -- 4.2 Dialogflow Agent Training -- 5 Experiment and Discussion -- 6 Conclusions -- References -- Natural Language for Artificial Intelligence -- Grounding Dialogue History: Strengths and Weaknesses of Pre-trained Transformers -- 1 Introduction -- 2 Related Work -- 3 Dataset -- 4 Models -- 4.1 Language-Only Encoders -- 4.2 Multimodal Encoders -- 5 Experiments -- 5.1 Task Success -- 5.2 Are Models Sensitive to the Strategy Seen During Training? -- 5.3 The Role of the Last Question -- 5.4 How Attention Is Distributed Across Turns -- 5.5 Qualitative Evaluation -- 5.6 Details for Reproducibility -- 6 Conclusion -- References -- Breaking Down High-Level Robot Path-Finding Abstractions in Natural Language Programming -- 1 Introduction -- 2 Previous Work -- 3 Problem Formulation and System Design -- 3.1 High-Level to Low-Level (HL2LL) System Overview -- 3.2 Map Representation -- 3.3 Lee's Algorithm and Its Adaption -- 3.4 Path Information Extraction for NLPr -- 3.5 Path to Low-Level Sentence -- 3.6 Generating Code from NL Specifications Using the NLPr System -- 3.7 Formal Validation Using HFSM -- 4 Experimental Results -- 4.1 Case Study -- 5 Future Work -- 6 Conclusion -- References -- Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion -- Interleaving Levels of Consistency Enforcement for Singleton Arc Consistency in CSPs, with a New Best (N)SAC Algorithm -- 1 Introduction -- 2 Background -- 2.1 General Concepts -- 2.2 (N)SAC Algorithms -- 3 To Interleave or Not: Some (N)SAC Variants. 4 (N)SAC with and Without AC: Initial Experiments -- 5 (N)SAC with and Without AC: More Extended Tests -- 6 Comparisons with an AC4-Style Interleaving Algorithm -- 7 Other Kinds of Interleaving -- 8 Conclusions -- References -- Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints -- 1 Introduction -- 2 Preliminaries -- 3 Avoiding Crossings -- 4 The Collected Data -- 5 Machine Learning the Goodness of Constraint Propagators -- 6 Experiments -- 6.1 Results of the Machine Learning Step -- 6.2 Results of the Overall Euclidean TSP Solver -- 7 Related Work -- 8 Conclusions and Future Work -- References -- From Contrastive to Abductive Explanations and Back Again -- 1 Introduction -- 2 Preliminaries -- 3 Contrastive vs. Abductive Explanations -- 3.1 Defining Abductive Explanations (AXps) -- 3.2 Defining Contrastive Explanations (CXps) -- 3.3 Relating Abductive and Contrastive Explanations -- 4 Extracting and Enumerating Explanations -- 5 Experimental Evaluation -- 5.1 Enumeration of CXps -- 5.2 Enumeration of CXps and AXps -- 6 Conclusions -- References -- Artificial Intelligence for an Ageing Society -- Towards Positive Artificial Intelligence -- 1 Introduction -- 2 Positive Psychology -- 3 Positive Technologies -- 4 Intelligent Agents -- 5 Positive Artificial Intelligence -- 5.1 Illustrative Scenario I: Improvements in Walking Experience for Elderly Pedestrians in Urban Roads -- 5.2 Illustrative Scenario II: Extended Interaction with Medical Devices for Treatment of Noncommunicable Diseases -- 6 Conclusion -- References -- Management at the Edge of Situation Awareness During Patient Telemonitoring -- 1 Introduction -- 2 Background and Related Work -- 3 Edge Computing Cognitive Architecture -- 3.1 System Architecture -- 3.2 CPAC: The Clinical Pathway Adherence Checker Module. 3.3 CPAD: The Clinical Pathway Anomaly Detection Module. |
| Record Nr. | UNINA-9910483466803321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cellular Automata : 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9–11, 2024, Proceedings / / edited by Franco Bagnoli, Jan Baetens, Stefania Bandini, Tommaso Matteuzzi
| Cellular Automata : 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9–11, 2024, Proceedings / / edited by Franco Bagnoli, Jan Baetens, Stefania Bandini, Tommaso Matteuzzi |
| Autore | Bagnoli Franco |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (292 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
BaetensJan
BandiniStefania MatteuzziTommaso |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Application software Computer engineering Computer networks Data structures (Computer science) Information theory Theory of Computation Computer and Information Systems Applications Computer Engineering and Networks Data Structures and Information Theory |
| ISBN | 3-031-71552-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Theory, mathematical and physical models. -- Theory of Cellular Automata: from the Past and Present to Some Path towards the Future. -- Are some family members harmful? – a study on Diploid Cellular Automata. -- Regional Controllability of Cellular Automata through Preimages. -- Pattern Formation by Collective Behavior of Competing Cellular Automata- based Agents. -- Effects of a Vanishing Noise on Elementary Cellular Automata Phase-Space Structure. -- A New Class of the Smallest 4-state Semi-symmetric FSSP Partial Solutions for 1D Arrays. -- Synchronization of chains of logistic maps. -- Fusing Different Cellular Automata Models for Surface Flows in SCURRI: Viscosity Extension Step. -- Chaos in a two-dimensional magneto-hydrodynamic system. -- Computational aspects and applications. -- Exploring Diverse Configurations of Cellular Automata Based S-Boxes Using Reinforcement Learning. -- Efficient simulation of non-uniform cellular automata with a convolutional neural network. -- A Scheme for Symmetric Cryptosystem using Large Cycle Reversible Cellular Automata. -- Reversible Decimal First Degree Cellular Automata For Data Classification. -- Sentiment Analysis for Code-Mixed Data using Cellular Automata with Deep Learning Models. -- Asynchronous Method of Generating Stream Ciphers in a Group of Robots Based on Cellular Automata with Active Cells. -- Controlling Desertification Using Cellular Automata and Genetic Algorithms. -- Desertification Control Strategies: A Hybrid Approach using Cellular Automata and Reinforcement Learning. -- Social and biological models. -- Global Analysis of a Lane Merging Strategy for Collaborative Autonomous and Connected vehicles. -- Binary Hiking Optimization Algorithm. -- A Spatial Daisyworld Model. -- A Reaction-Diffusion Cellular Automata Model for Mycelium-based Engineered Living Materials Evolution. -- Mycelium-based ELM Digital Twin Implemented in FPGA. |
| Record Nr. | UNINA-9910886072503321 |
Bagnoli Franco
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cellular Automata [[electronic resource] ] : 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings / / edited by Samira El Yacoubi, Jarosław Wąs, Stefania Bandini
| Cellular Automata [[electronic resource] ] : 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings / / edited by Samira El Yacoubi, Jarosław Wąs, Stefania Bandini |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXIII, 468 p. 208 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer simulation Computer networks Application software Theory of Computation Computer Modelling Computer Communication Networks Computer and Information Systems Applications |
| ISBN | 3-319-44365-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cellular Automata Theory and Implementation -- Cellular Automata Dynamics and Synchronization -- Asynchronous Cellular Automata and Asynchronous Discrete Models -- Crowds, Trac and Cellular Automata -- Agent-Based Simulation and Cellular Automata. |
| Record Nr. | UNISA-996465314403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Cellular Automata : 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings / / edited by Samira El Yacoubi, Jarosław Wąs, Stefania Bandini
| Cellular Automata : 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings / / edited by Samira El Yacoubi, Jarosław Wąs, Stefania Bandini |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXIII, 468 p. 208 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer simulation Computer networks Application software Theory of Computation Computer Modelling Computer Communication Networks Computer and Information Systems Applications |
| ISBN | 3-319-44365-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cellular Automata Theory and Implementation -- Cellular Automata Dynamics and Synchronization -- Asynchronous Cellular Automata and Asynchronous Discrete Models -- Crowds, Trac and Cellular Automata -- Agent-Based Simulation and Cellular Automata. |
| Record Nr. | UNINA-9910483093203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cellular Automata [[electronic resource] ] : 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings / / edited by Jaroslaw Was, Georgios Sirakoulis, Stefania Bandini
| Cellular Automata [[electronic resource] ] : 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings / / edited by Jaroslaw Was, Georgios Sirakoulis, Stefania Bandini |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XX, 713 p. 350 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer simulation Computer networks Application software Theory of Computation Computer Modelling Computer Communication Networks Computer and Information Systems Applications |
| ISBN | 3-319-11520-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Conductivity, Memristivity and Creativity in Cellular Automata -- Automata Formalism -- Towards a Comprehensive Understanding of Multi-state Cellular Automata -- Iterative Arrays with Set Storage -- Isotropic Cellular Automaton for Excitable Media with Random Neighbor Selection -- Power Spectral Analysis of the Computation Process by Rule 110 -- Cellular Automata and Formulae on Monoids -- A Scalable Method for Constructing Non-linear Cellular Automata with Period 2n − 1 -- Systolic Dissemination in the Arrowhead Family -- Cellular Automata Dynamics and Synchronization On the Dynamics of Multi-information in Cellular Automata -- Lyapunov Exponents of One-Dimensional, Binary Stochastic Cellular Automata -- Synthesis of Non-uniform Cellular Automata Having only Point Attractors -- Non Uniform Cellular Automata Description of Signed Partition Versions of Ice and Sand Pile Models -- Variable Entangling in a Quantum Battle of the Sexes Cellular Automaton -- Experimental Finitization of Infinite Field-Based Generalized FSSP Solution -- Cellular Automata (CA) Model for Primality Test -- Numerical Modelling of Fracture Based on Coupled Cellular Automata Finite Element Approach -- Two-Layer CA Model for Simulating Catalytic Reaction at Dynamically Varying Temperature -- Modelling Ordered Nanopourous Structures by Anodization via Cellular Automata -- Overview of Cellular Automaton Models for Corrosion -- Cellular Automata Finite Element Approach for Modelling Microstructure Evolution under Thermo-Mechanical Processing Conditions -- A Preliminary Cellular Model for Secondary Lahars and Simulation of 2005 Case of Vascun Valley, Ecuador -- Vulnerability and Protector Control: Cellular Automata Approach -- UNDATA: A Preliminary Cellular Automata Model for Tsunami Simulation -- Modeling Rainfall Features Dynamics in a DEM Satellite Image with Cellular Automata -- Cellular Automata Model with Game Theory for Power Management of Hybrid Renewable Energy Smart Grids -- A Novel Algorithm for Coarse-Graining of Cellular Automata -- Cellular Automata Model for Protein Structure Synthesis (PSS) -- The Basic Reproduction Number for Chagas Disease Transmission Using Cellular Automata -- Modelling Spatial Distribution of the Barents Sea Cod Fishery -- Training Cellular Automata to Simulate Urban Dynamics: A Computational Study Based on GPGPU and Swarm Intelligence -- Cellular Automaton Approach to Arching in Two-Dimensional Granular Media -- Modeling of Friction Dynamic Motion by Cellular Automata -- Agent Based Simulation of Spreading in Social-Systems of Temporarily Active Actors -- Cellular Automata for Modeling Language Change -- Sznajd Model with Memory -- Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics -- Cellular Automata-Based Hardware and Computing Direction-Reversible Self-Timed Cellular Automata for Delay-Insensitive Circuits -- Implementation of a Cellular Automaton with Globally Switchable Rules -- Highly Compact Automated Implementation of Linear CA on FPGAs -- Shortest Path Computing Using Memristor-Based Circuits and Cellular Automata -- Cryptography, Networks and Pattern Classification with Cellular Automata Generation of TPMACA for Pattern Classification -- Sharing Secrets by Computing Preimages of Bipermutive Cellular Automata -- Inapplicability of Fault Attacks against Trivium on a Cellular Automata Based Stream Cipher -- Cellular Automata Approach to Maximum Lifetime Coverage Problem in Wireless Sensor Networks -- C and CA - Int. Workshop on Crowds and Cellular Automata Application of NIST Technical Note 1822 to CA Crowd Dynamics Models Verification and Validation -- Effect of Group Behavior on Crowd Dynamics -- Effects of Boundary Conditions on Single-File Pedestrian Flow -- Simulation Study of the Spiral Motion of Pedestrians: A Cellular Automata Approach -- CA Crowd Modeling for a Retirement House Evacuation with Guidance -- Multiscale Simulation of Pedestrians for Faster Than Real Time Modeling in Large Events -- Cellular Automata Pedestrian Movement Model SIgMA.CA: Model Parameters as an Instrument to Regulate Movement Regimes -- Case Study of Phase Transition in Cellular Models of Pedestrian Flow -- Simulation of Public Opinion with Ideas of Cellular Automata -- Estimating Speeds of Pedestrians in Real-World Using Computer Vision -- Geometric Characterization of Hereditarily Bijective Boolean Networks -- Inner-Independent Radius-Dependent Totalistic Rule of Universal Asynchronous Cellular Automaton -- Bifurcations of Local Structure Maps as Predictors of Phase Transitions in Asynchronous Cellular Automata -- Computing Symbolic Steady States of Boolean Networks -- Equivalences in Multi-valued Asynchronous Models of Regulatory Networks -- Effective Parallelism Rate by Reversible PCA Dynamics -- Quick Convergence to a Fixed Point: A Note on Asynchronous Elementary Cellular Automata -- A Study of Aggregated Speed in Road Networks Using Cellular Automata -- A New Cellular Automaton Model with Spatiotemporal Process of Lane Changing Execution -- Cellular Automaton Model with Non-hypothetical Congested Steady State Reproducing the Three-Phase Traffic Flow Theory -- Asymmetric Lane Change Rules for a Microscopic Highway Traffic Model -- Interactions between Multiple Junctions -- Modeling Disruption and Recovery of Traffic in Road Networks -- Simulation of Pedestrians Behavior in a Shopping Mall -- How Agents Can Form a Specific Pattern -- An Integrated Model for the Simulation of Pedestrian Crossings -- Agent-Based Pedestrian Activity Simulation in Shopping Environments Using a Choice Network Approach -- Software Implementation of Population of Cognitive Agents Learning to Cross a Highway -- The Effects of Supraregional Innovation and Production Collaboration on Technology Development in a Multiregional World: A Spatial Agent-Based Model Study. |
| Record Nr. | UNISA-996199683103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Cellular Automata : 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings / / edited by Jaroslaw Was, Georgios Sirakoulis, Stefania Bandini
| Cellular Automata : 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings / / edited by Jaroslaw Was, Georgios Sirakoulis, Stefania Bandini |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XX, 713 p. 350 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer simulation Computer networks Application software Theory of Computation Computer Modelling Computer Communication Networks Computer and Information Systems Applications |
| ISBN | 3-319-11520-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Conductivity, Memristivity and Creativity in Cellular Automata -- Automata Formalism -- Towards a Comprehensive Understanding of Multi-state Cellular Automata -- Iterative Arrays with Set Storage -- Isotropic Cellular Automaton for Excitable Media with Random Neighbor Selection -- Power Spectral Analysis of the Computation Process by Rule 110 -- Cellular Automata and Formulae on Monoids -- A Scalable Method for Constructing Non-linear Cellular Automata with Period 2n − 1 -- Systolic Dissemination in the Arrowhead Family -- Cellular Automata Dynamics and Synchronization On the Dynamics of Multi-information in Cellular Automata -- Lyapunov Exponents of One-Dimensional, Binary Stochastic Cellular Automata -- Synthesis of Non-uniform Cellular Automata Having only Point Attractors -- Non Uniform Cellular Automata Description of Signed Partition Versions of Ice and Sand Pile Models -- Variable Entangling in a Quantum Battle of the Sexes Cellular Automaton -- Experimental Finitization of Infinite Field-Based Generalized FSSP Solution -- Cellular Automata (CA) Model for Primality Test -- Numerical Modelling of Fracture Based on Coupled Cellular Automata Finite Element Approach -- Two-Layer CA Model for Simulating Catalytic Reaction at Dynamically Varying Temperature -- Modelling Ordered Nanopourous Structures by Anodization via Cellular Automata -- Overview of Cellular Automaton Models for Corrosion -- Cellular Automata Finite Element Approach for Modelling Microstructure Evolution under Thermo-Mechanical Processing Conditions -- A Preliminary Cellular Model for Secondary Lahars and Simulation of 2005 Case of Vascun Valley, Ecuador -- Vulnerability and Protector Control: Cellular Automata Approach -- UNDATA: A Preliminary Cellular Automata Model for Tsunami Simulation -- Modeling Rainfall Features Dynamics in a DEM Satellite Image with Cellular Automata -- Cellular Automata Model with Game Theory for Power Management of Hybrid Renewable Energy Smart Grids -- A Novel Algorithm for Coarse-Graining of Cellular Automata -- Cellular Automata Model for Protein Structure Synthesis (PSS) -- The Basic Reproduction Number for Chagas Disease Transmission Using Cellular Automata -- Modelling Spatial Distribution of the Barents Sea Cod Fishery -- Training Cellular Automata to Simulate Urban Dynamics: A Computational Study Based on GPGPU and Swarm Intelligence -- Cellular Automaton Approach to Arching in Two-Dimensional Granular Media -- Modeling of Friction Dynamic Motion by Cellular Automata -- Agent Based Simulation of Spreading in Social-Systems of Temporarily Active Actors -- Cellular Automata for Modeling Language Change -- Sznajd Model with Memory -- Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics -- Cellular Automata-Based Hardware and Computing Direction-Reversible Self-Timed Cellular Automata for Delay-Insensitive Circuits -- Implementation of a Cellular Automaton with Globally Switchable Rules -- Highly Compact Automated Implementation of Linear CA on FPGAs -- Shortest Path Computing Using Memristor-Based Circuits and Cellular Automata -- Cryptography, Networks and Pattern Classification with Cellular Automata Generation of TPMACA for Pattern Classification -- Sharing Secrets by Computing Preimages of Bipermutive Cellular Automata -- Inapplicability of Fault Attacks against Trivium on a Cellular Automata Based Stream Cipher -- Cellular Automata Approach to Maximum Lifetime Coverage Problem in Wireless Sensor Networks -- C and CA - Int. Workshop on Crowds and Cellular Automata Application of NIST Technical Note 1822 to CA Crowd Dynamics Models Verification and Validation -- Effect of Group Behavior on Crowd Dynamics -- Effects of Boundary Conditions on Single-File Pedestrian Flow -- Simulation Study of the Spiral Motion of Pedestrians: A Cellular Automata Approach -- CA Crowd Modeling for a Retirement House Evacuation with Guidance -- Multiscale Simulation of Pedestrians for Faster Than Real Time Modeling in Large Events -- Cellular Automata Pedestrian Movement Model SIgMA.CA: Model Parameters as an Instrument to Regulate Movement Regimes -- Case Study of Phase Transition in Cellular Models of Pedestrian Flow -- Simulation of Public Opinion with Ideas of Cellular Automata -- Estimating Speeds of Pedestrians in Real-World Using Computer Vision -- Geometric Characterization of Hereditarily Bijective Boolean Networks -- Inner-Independent Radius-Dependent Totalistic Rule of Universal Asynchronous Cellular Automaton -- Bifurcations of Local Structure Maps as Predictors of Phase Transitions in Asynchronous Cellular Automata -- Computing Symbolic Steady States of Boolean Networks -- Equivalences in Multi-valued Asynchronous Models of Regulatory Networks -- Effective Parallelism Rate by Reversible PCA Dynamics -- Quick Convergence to a Fixed Point: A Note on Asynchronous Elementary Cellular Automata -- A Study of Aggregated Speed in Road Networks Using Cellular Automata -- A New Cellular Automaton Model with Spatiotemporal Process of Lane Changing Execution -- Cellular Automaton Model with Non-hypothetical Congested Steady State Reproducing the Three-Phase Traffic Flow Theory -- Asymmetric Lane Change Rules for a Microscopic Highway Traffic Model -- Interactions between Multiple Junctions -- Modeling Disruption and Recovery of Traffic in Road Networks -- Simulation of Pedestrians Behavior in a Shopping Mall -- How Agents Can Form a Specific Pattern -- An Integrated Model for the Simulation of Pedestrian Crossings -- Agent-Based Pedestrian Activity Simulation in Shopping Environments Using a Choice Network Approach -- Software Implementation of Population of Cognitive Agents Learning to Cross a Highway -- The Effects of Supraregional Innovation and Production Collaboration on Technology Development in a Multiregional World: A Spatial Agent-Based Model Study. |
| Record Nr. | UNINA-9910482957703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
