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.
Computer Safety, Reliability, and Security [[electronic resource] ] : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings / / edited by António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira
| Computer Safety, Reliability, and Security [[electronic resource] ] : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings / / edited by António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXIII, 450 p. 251 illus., 78 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer organization
Artificial intelligence Software engineering Microprogramming Data encryption (Computer science) Computer security Computer Systems Organization and Communication Networks Artificial Intelligence Software Engineering/Programming and Operating Systems Control Structures and Microprogramming Cryptology Systems and Data Security |
| ISBN | 3-030-54549-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Safety Cases and Argumentation -- Synthesis of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities -- Systematic Evaluation of (Safety) Assurance Cases -- Just Enough Formality in Assurance Argument Structures -- Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems -- Formal Verification and Analysis -- A functional verification methodology for highly configurable, continuously operating safety-critical FPGA designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME) -- A Compositional Semantics for Repairable BDMPs -- Model-Based Safety Analysis of Mode Transitions -- Efficient Translation of Safety LTL to DFA using Symbolic Automata Learning and Inductive Inference -- Security Modelling and Methods -- Automated Attacker Synthesis for Distributed Protocols -- An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security -- Predicting Railway Signalling Commands using Neural Networks for Anomaly Detection -- Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach -- Assurance of Learning-enabled Systems -- Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings -- Safety-Aware Hardening of 3D Object Detection Neural Network Systems -- Model-Centered Assurance for Autonomous Systems -- A Safety Framework for Critical Systems Utilising Deep Neural Networks -- Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware -- Quantifying Assurance in Learning-enabled Systems -- Practical Experience and Tools -- Cyber Security of Neural Networks in Medical Devices -- FASTEN.Safe: A Model-driven Engineering Tool to Experiment with Checkable Assurance Cases -- Threat Analysis and Risk Mitigation -- On Validating Attack Trees with Attack Effects -- Safety meets Security: Using ISA-62443 for a Highly Automated Road Vehicle -- Threat Analysis Framework for Safety Architectures in SCDL -- Cyber-Physical Systems Security -- Efficient Load-Time Diversity for an Embedded Real-Time Operating System -- Towards an Automated Exploration of Secure IoT/CPS Design-Variants -- Securing Electric Vehicle Charging Systems through Component Binding -- Fault Injection and Fault Tolerance -- Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs -- On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study -- A Classification of Faults Covering the Human-Computer Interaction Loop. |
| Record Nr. | UNISA-996418299503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability, and Security : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings / / edited by António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira
| Computer Safety, Reliability, and Security : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings / / edited by António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXIII, 450 p. 251 illus., 78 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer organization
Artificial intelligence Software engineering Microprogramming Data encryption (Computer science) Computer security Computer Systems Organization and Communication Networks Artificial Intelligence Software Engineering/Programming and Operating Systems Control Structures and Microprogramming Cryptology Systems and Data Security |
| ISBN | 3-030-54549-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Safety Cases and Argumentation -- Synthesis of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities -- Systematic Evaluation of (Safety) Assurance Cases -- Just Enough Formality in Assurance Argument Structures -- Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems -- Formal Verification and Analysis -- A functional verification methodology for highly configurable, continuously operating safety-critical FPGA designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME) -- A Compositional Semantics for Repairable BDMPs -- Model-Based Safety Analysis of Mode Transitions -- Efficient Translation of Safety LTL to DFA using Symbolic Automata Learning and Inductive Inference -- Security Modelling and Methods -- Automated Attacker Synthesis for Distributed Protocols -- An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security -- Predicting Railway Signalling Commands using Neural Networks for Anomaly Detection -- Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach -- Assurance of Learning-enabled Systems -- Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings -- Safety-Aware Hardening of 3D Object Detection Neural Network Systems -- Model-Centered Assurance for Autonomous Systems -- A Safety Framework for Critical Systems Utilising Deep Neural Networks -- Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware -- Quantifying Assurance in Learning-enabled Systems -- Practical Experience and Tools -- Cyber Security of Neural Networks in Medical Devices -- FASTEN.Safe: A Model-driven Engineering Tool to Experiment with Checkable Assurance Cases -- Threat Analysis and Risk Mitigation -- On Validating Attack Trees with Attack Effects -- Safety meets Security: Using ISA-62443 for a Highly Automated Road Vehicle -- Threat Analysis Framework for Safety Architectures in SCDL -- Cyber-Physical Systems Security -- Efficient Load-Time Diversity for an Embedded Real-Time Operating System -- Towards an Automated Exploration of Secure IoT/CPS Design-Variants -- Securing Electric Vehicle Charging Systems through Component Binding -- Fault Injection and Fault Tolerance -- Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs -- On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study -- A Classification of Faults Covering the Human-Computer Interaction Loop. |
| Record Nr. | UNINA-9910416084903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops [[electronic resource] ] : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings / / edited by António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira
| Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops [[electronic resource] ] : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings / / edited by António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVI, 416 p. 46 illus.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer organization
Artificial intelligence Application software Data encryption (Computer science) Knowledge representation (Information theory) Computer Systems Organization and Communication Networks Artificial Intelligence Computer Applications Cryptology Knowledge based Systems |
| ISBN | 3-030-55583-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | DECSoS 2020: 15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems -- DepDevOps 2020: First International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems -- USDAI 2020: First International Workshop on Underpinnings for Safe Distributed AI -- WAISE 2020: Third International Workshop on Artificial Intelligence Safety Engineering. |
| Record Nr. | UNISA-996418301703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings / / edited by António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira
| Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings / / edited by António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVI, 416 p. 46 illus.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer organization
Artificial intelligence Application software Data encryption (Computer science) Knowledge representation (Information theory) Computer Systems Organization and Communication Networks Artificial Intelligence Computer Applications Cryptology Knowledge based Systems |
| ISBN | 3-030-55583-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | DECSoS 2020: 15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems -- DepDevOps 2020: First International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems -- USDAI 2020: First International Workshop on Underpinnings for Safe Distributed AI -- WAISE 2020: Third International Workshop on Artificial Intelligence Safety Engineering. |
| Record Nr. | UNINA-9910416084803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Technological innovation for applied AI systems : 12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, Costa de Caparica, Portugal, July 7-9, 2021 : proceedings / / Luis M. Camarinha-Matos, Pedro Ferreira, Guilherme Brito (editors)
| Technological innovation for applied AI systems : 12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, Costa de Caparica, Portugal, July 7-9, 2021 : proceedings / / Luis M. Camarinha-Matos, Pedro Ferreira, Guilherme Brito (editors) |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (358 pages) |
| Disciplina | 006.22 |
| Collana | IFIP Advances in Information and Communication Technology |
| Soggetto topico | Cooperating objects (Computer systems) |
| ISBN | 3-030-78288-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Reference -- Organization -- Contents -- Collaborative Networks -- AI and Simulation for Performance Assessment in Collaborative Business Ecosystems -- 1 Introduction -- 2 Relationship with Innovation in Artificial Intelligence Systems -- 3 The Simulation Model -- 3.1 Characterisation of the Data -- 3.2 Performance Assessment and Influence Mechanism -- 3.3 Model of the Agents -- 3.4 Simulation Results -- 4 Conclusions and Further Work -- References -- The Benefits of Applying Social Network Analysis to Identify Collaborative Risks -- 1 Introduction -- 2 Literature Review -- 2.1 Collaborative Risks -- 2.2 Social Network Analysis (SNA) -- 2.3 Organizational Business Intelligence Architecture (BI) -- 3 Model Development and Application -- 4 Application Case of the Proposed Model -- 5 Conclusions and Further Research -- References -- A Mixed Method for Assessing the Reliability of Shared Knowledge in Mass Collaborative Learning Community -- 1 Introduction -- 2 Relationship to Technological Innovation for Applied Artificial Intelligence Systems -- 3 Related Work -- 4 Proposed Mixed Method for Assessing the Reliability of Shared Knowledge or Information (MAM-MCL) -- 5 Discussion -- 6 Conclusion -- References -- Smart Manufacturing -- Characteristics of Adaptable Control of Production Systems and the Role of Self-organization Towards Smart Manufacturing -- 1 Introduction -- 2 Relation to Applied Artificial Intelligence Systems -- 3 Smart Manufacturing and Cyber-Physical Production Systems -- 3.1 Self-organization in Smart Manufacturing -- 4 Characteristics of Adaptable Production Systems Towards Smart Manufacturing -- 4.1 Characteristics Description -- 4.2 Self-adapting and Self-organizing Manufacturing Applications -- 4.3 The Role of Self-organization Towards Smart Manufacturing -- 5 Conclusions and Further Work -- References.
Predictive Manufacturing: Enabling Technologies, Frameworks and Applications -- 1 Introduction -- 2 Relation to Applied Artificial Intelligence Systems -- 3 Adopted Methodology -- 4 Results and Discussions -- 5 Conclusion -- References -- Control of Manufacturing Systems by HMS/EPS Paradigms Orchestrating I4.0 Components Based on Capabilities -- 1 Introduction -- 2 Relationship to Applied Artificial Intelligence Systems -- 3 Literature Review -- 3.1 Architectures to Orchestrate "Capabilities" -- 3.2 Ontology and Modeling's Approaches for Virtual Representation Using "Component I4.0" -- 4 Work Purpose -- 5 Results -- 6 Conclusion and Future Work -- References -- A Framework for Self-configuration in Manufacturing Production Systems -- 1 Introduction -- 2 Literature Review -- 2.1 Artificial Intelligence for Smart Production Systems -- 2.2 Self-concept in Manufacturing -- 2.3 Enabling Technologies for Self-configuration -- 3 Framework for Self-configuration in Production Systems -- 3.1 Sequence of Proposed Self-configuration Strategy -- 4 Implementation and Deployment to an Industrial Use-Case -- 5 Conclusion and Future Work -- References -- Cyber-Physical Systems and Digital Twins -- Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems -- 1 Introduction and Problem Formulation -- 2 Petri Nets in Applied Artificial Intelligence Systems -- 3 Definitions and Notations -- 4 The Idea of the Proposed Method -- 5 Experiments -- 6 Conclusions -- References -- Collaborative Cyber-Physical Systems Design Approach: Smart Home Use Case -- 1 Introduction -- 2 Contribution to Applied AI Systems -- 3 Research Approach -- 4 Smart Home Scenario -- 5 Conclusions -- References -- Digital Twin for Supply Chain Master Planning in Zero-Defect Manufacturing -- 1 Introduction. 2 Contribution to Applied Artificial Intelligence Systems -- 3 Literature Review -- 4 Proposal -- 5 Conclusions -- References -- Intelligent Decision Making -- Matheuristic Algorithms for Production Planning in Manufacturing Enterprises -- 1 Introduction -- 2 Matheuristics for Applied Artificial Intelligence Systems -- 3 Literature Review -- 4 Research Contribution and Innovation -- 5 Conclusions and Further Work -- References -- Assessment of Sentinel-2 Spectral Features to Estimate Forest Height with the New GEDI Data -- 1 Introduction -- 2 Relationship with Applied Artificial Intelligence Systems -- 3 Materials and Methods -- 3.1 Study Areas -- 3.2 Remote Sensing Data -- 3.3 Methods -- 4 Discussion and Results -- 5 Conclusions and Future Work -- References -- Assessing Normalization Techniques for TOPSIS Method -- 1 Introduction -- 2 Contribution to Applied Artificial Intelligence Systems -- 3 Assessment Framework for Evaluation of Normalization Techniques -- 4 Comparison of Normalization Techniques with an Illustrative Example for TOPSIS Method -- 5 Conclusions -- References -- How Can e-Grocers Use Artificial Intelligence Based on Technology Innovation to Improve Supply Chain Management? -- 1 Introduction -- 2 Contribution to Applied Artificial Intelligence Systems -- 3 A Systematic Literature Review -- 3.1 Material Collection -- 3.2 Descriptive Analysis -- 3.3 Category Selection -- 3.4 Material Evaluation -- 4 Research Contribution and Innovation -- 5 Conclusions and Future Work -- References -- A Conceptual Framework of Human-System Interaction Under Uncertainty-Based on Shadow System Perspective -- 1 Introduction -- 2 Relation to Applying AI -- 3 Literature Review -- 4 Shadow System Under Uncertainty -- 5 Human-System Interaction Obstacle -- 6 Human-System Interaction Obstacle -- 7 Conclusion and Research Challenge -- 8 Future Work. References -- A New Challenge for Machine Ethics Regarding Decision-Making in Manufacturing Systems -- 1 Introduction -- 2 Relationship to Technological Innovation for Applied AI Systems -- 3 Autonomy Role in Ethical Decision Making -- 4 What is Machine Ethics? -- 4.1 Why Machine Ethic is Important? -- 4.2 Challenges in Front of Machine Ethics -- 5 Can Machines Be Responsible? -- 5.1 Types of Human Ethical Responsibility, Can be Extended to Machines? -- 6 Research Approach -- 6.1 Sliding Decision Making Model -- 6.2 Methodology -- 7 Conclusion -- References -- Smart Energy Management -- Towards a Hybrid Model for the Diffusion of Innovation in Energy Communities -- 1 Introduction -- 2 Relationship with Applied Artificial Intelligence -- 3 Related Literature -- 4 Analysis of Base Models -- 4.1 Diffusion of Innovation Model (DIM) -- 4.2 The Transtheoretical Model (TTM) -- 4.3 Structural Comparison Between DIT and TTM -- 4.4 Contextual Comparison, Hybridization, and Redefinition -- 4.5 The Hybrid Transtheoretical and Diffusion of Innovation Model (HyTraIn) -- 5 Demonstration of the Modelling Technique -- 6 Application of Concepts to Energy Communities -- 7 Conclusion and Future Work -- References -- Towards Extension of Data Centre Modelling Toolbox with Parameters Estimation -- 1 Introduction -- 2 Related Works -- 3 Parameters Estimation -- 3.1 Regression-Based Estimation -- 3.2 Simulation-Based Optimisation -- 4 Results and Discussion -- 5 Conclusion -- References -- Power Transformer Design Resorting to Metaheuristics Techniques -- 1 Introduction -- 2 Relationship to Applied Artificial Intelligence Systems -- 3 Power Transformer Design Model -- 3.1 GA Operator's Characterization -- 3.2 Mutation with Genetic Compensation Effect -- 3.3 GA Parameters Definition -- 4 Case Study Analysis -- 5 Conclusions -- References -- Communications and Electronics. Detection of Signaling Vulnerabilities in Session Initiation Protocol -- 1 Introduction -- 1.1 Research Question and Contribution -- 1.2 Related Work -- 2 Applied Artificial Intelligence Systems -- 3 Modeling, Learning, and Classification -- 3.1 System Model -- 3.2 Deep Learning and Classification -- 3.3 Unknown SIP Dialogs' Detection -- 4 Performance Evaluation -- 5 Conclusions -- References -- Interference Power Characterization in Directional Networks and Full-Duplex Systems -- 1 Introduction -- 1.1 Motivation and Research Question -- 2 Relationship to Applied Artificial Intelligence Systems -- 3 System Model -- 4 Performance Analysis -- 5 Conclusions -- References -- FEM-Parameterized Sensorless Vector Control of PMSM Using High-Frequency Voltage Injection -- 1 Introduction -- 2 Analysis of PMSM -- 2.1 Finite Element Method Analysis -- 2.2 Finite Element Method Analysis -- 2.3 Mathematical Model of PMSM -- 3 High-Frequency Synchronous Injection -- 3.1 Mathematical Model -- 3.2 Mathematical Model -- 4 Drive Simulation -- 5 Conclusion -- References -- Classification Systems -- Deep Learning-Based Automated Detection of Inappropriate Face Image Attributes for ID Documents -- 1 Introduction -- 2 Contribution to Applied Artificial Intelligence Systems -- 3 Quality Analysis Pipeline -- 4 DL-Based Quality Analysis -- 4.1 Mouth-Open/Eyes-Closed Classification -- 4.2 Veil-Over-Face Classification -- 5 Experiments and Validation -- 5.1 Data Pipeline -- 5.2 Training Results -- 5.3 Model Testing and Evaluation Experiments -- 5.4 Pipeline Assessment -- 6 Conclusions -- References -- Automatic Cognitive Workload Classification Using Biosignals for Distance Learning Applications -- 1 Introduction -- 2 Relationship to Applied Artificial Intelligence Systems -- 3 Literature Review -- 4 Materials and Methods -- 4.1 Experimental Setup -- 4.2 Data Recording. 4.3 Signals Preprocessing and Features Extraction. |
| Record Nr. | UNINA-9910488715203321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Technological innovation for applied AI systems : 12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, Costa de Caparica, Portugal, July 7-9, 2021 : proceedings / / Luis M. Camarinha-Matos, Pedro Ferreira, Guilherme Brito (editors)
| Technological innovation for applied AI systems : 12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, Costa de Caparica, Portugal, July 7-9, 2021 : proceedings / / Luis M. Camarinha-Matos, Pedro Ferreira, Guilherme Brito (editors) |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (358 pages) |
| Disciplina | 006.22 |
| Collana | IFIP Advances in Information and Communication Technology |
| Soggetto topico | Cooperating objects (Computer systems) |
| ISBN | 3-030-78288-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Reference -- Organization -- Contents -- Collaborative Networks -- AI and Simulation for Performance Assessment in Collaborative Business Ecosystems -- 1 Introduction -- 2 Relationship with Innovation in Artificial Intelligence Systems -- 3 The Simulation Model -- 3.1 Characterisation of the Data -- 3.2 Performance Assessment and Influence Mechanism -- 3.3 Model of the Agents -- 3.4 Simulation Results -- 4 Conclusions and Further Work -- References -- The Benefits of Applying Social Network Analysis to Identify Collaborative Risks -- 1 Introduction -- 2 Literature Review -- 2.1 Collaborative Risks -- 2.2 Social Network Analysis (SNA) -- 2.3 Organizational Business Intelligence Architecture (BI) -- 3 Model Development and Application -- 4 Application Case of the Proposed Model -- 5 Conclusions and Further Research -- References -- A Mixed Method for Assessing the Reliability of Shared Knowledge in Mass Collaborative Learning Community -- 1 Introduction -- 2 Relationship to Technological Innovation for Applied Artificial Intelligence Systems -- 3 Related Work -- 4 Proposed Mixed Method for Assessing the Reliability of Shared Knowledge or Information (MAM-MCL) -- 5 Discussion -- 6 Conclusion -- References -- Smart Manufacturing -- Characteristics of Adaptable Control of Production Systems and the Role of Self-organization Towards Smart Manufacturing -- 1 Introduction -- 2 Relation to Applied Artificial Intelligence Systems -- 3 Smart Manufacturing and Cyber-Physical Production Systems -- 3.1 Self-organization in Smart Manufacturing -- 4 Characteristics of Adaptable Production Systems Towards Smart Manufacturing -- 4.1 Characteristics Description -- 4.2 Self-adapting and Self-organizing Manufacturing Applications -- 4.3 The Role of Self-organization Towards Smart Manufacturing -- 5 Conclusions and Further Work -- References.
Predictive Manufacturing: Enabling Technologies, Frameworks and Applications -- 1 Introduction -- 2 Relation to Applied Artificial Intelligence Systems -- 3 Adopted Methodology -- 4 Results and Discussions -- 5 Conclusion -- References -- Control of Manufacturing Systems by HMS/EPS Paradigms Orchestrating I4.0 Components Based on Capabilities -- 1 Introduction -- 2 Relationship to Applied Artificial Intelligence Systems -- 3 Literature Review -- 3.1 Architectures to Orchestrate "Capabilities" -- 3.2 Ontology and Modeling's Approaches for Virtual Representation Using "Component I4.0" -- 4 Work Purpose -- 5 Results -- 6 Conclusion and Future Work -- References -- A Framework for Self-configuration in Manufacturing Production Systems -- 1 Introduction -- 2 Literature Review -- 2.1 Artificial Intelligence for Smart Production Systems -- 2.2 Self-concept in Manufacturing -- 2.3 Enabling Technologies for Self-configuration -- 3 Framework for Self-configuration in Production Systems -- 3.1 Sequence of Proposed Self-configuration Strategy -- 4 Implementation and Deployment to an Industrial Use-Case -- 5 Conclusion and Future Work -- References -- Cyber-Physical Systems and Digital Twins -- Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems -- 1 Introduction and Problem Formulation -- 2 Petri Nets in Applied Artificial Intelligence Systems -- 3 Definitions and Notations -- 4 The Idea of the Proposed Method -- 5 Experiments -- 6 Conclusions -- References -- Collaborative Cyber-Physical Systems Design Approach: Smart Home Use Case -- 1 Introduction -- 2 Contribution to Applied AI Systems -- 3 Research Approach -- 4 Smart Home Scenario -- 5 Conclusions -- References -- Digital Twin for Supply Chain Master Planning in Zero-Defect Manufacturing -- 1 Introduction. 2 Contribution to Applied Artificial Intelligence Systems -- 3 Literature Review -- 4 Proposal -- 5 Conclusions -- References -- Intelligent Decision Making -- Matheuristic Algorithms for Production Planning in Manufacturing Enterprises -- 1 Introduction -- 2 Matheuristics for Applied Artificial Intelligence Systems -- 3 Literature Review -- 4 Research Contribution and Innovation -- 5 Conclusions and Further Work -- References -- Assessment of Sentinel-2 Spectral Features to Estimate Forest Height with the New GEDI Data -- 1 Introduction -- 2 Relationship with Applied Artificial Intelligence Systems -- 3 Materials and Methods -- 3.1 Study Areas -- 3.2 Remote Sensing Data -- 3.3 Methods -- 4 Discussion and Results -- 5 Conclusions and Future Work -- References -- Assessing Normalization Techniques for TOPSIS Method -- 1 Introduction -- 2 Contribution to Applied Artificial Intelligence Systems -- 3 Assessment Framework for Evaluation of Normalization Techniques -- 4 Comparison of Normalization Techniques with an Illustrative Example for TOPSIS Method -- 5 Conclusions -- References -- How Can e-Grocers Use Artificial Intelligence Based on Technology Innovation to Improve Supply Chain Management? -- 1 Introduction -- 2 Contribution to Applied Artificial Intelligence Systems -- 3 A Systematic Literature Review -- 3.1 Material Collection -- 3.2 Descriptive Analysis -- 3.3 Category Selection -- 3.4 Material Evaluation -- 4 Research Contribution and Innovation -- 5 Conclusions and Future Work -- References -- A Conceptual Framework of Human-System Interaction Under Uncertainty-Based on Shadow System Perspective -- 1 Introduction -- 2 Relation to Applying AI -- 3 Literature Review -- 4 Shadow System Under Uncertainty -- 5 Human-System Interaction Obstacle -- 6 Human-System Interaction Obstacle -- 7 Conclusion and Research Challenge -- 8 Future Work. References -- A New Challenge for Machine Ethics Regarding Decision-Making in Manufacturing Systems -- 1 Introduction -- 2 Relationship to Technological Innovation for Applied AI Systems -- 3 Autonomy Role in Ethical Decision Making -- 4 What is Machine Ethics? -- 4.1 Why Machine Ethic is Important? -- 4.2 Challenges in Front of Machine Ethics -- 5 Can Machines Be Responsible? -- 5.1 Types of Human Ethical Responsibility, Can be Extended to Machines? -- 6 Research Approach -- 6.1 Sliding Decision Making Model -- 6.2 Methodology -- 7 Conclusion -- References -- Smart Energy Management -- Towards a Hybrid Model for the Diffusion of Innovation in Energy Communities -- 1 Introduction -- 2 Relationship with Applied Artificial Intelligence -- 3 Related Literature -- 4 Analysis of Base Models -- 4.1 Diffusion of Innovation Model (DIM) -- 4.2 The Transtheoretical Model (TTM) -- 4.3 Structural Comparison Between DIT and TTM -- 4.4 Contextual Comparison, Hybridization, and Redefinition -- 4.5 The Hybrid Transtheoretical and Diffusion of Innovation Model (HyTraIn) -- 5 Demonstration of the Modelling Technique -- 6 Application of Concepts to Energy Communities -- 7 Conclusion and Future Work -- References -- Towards Extension of Data Centre Modelling Toolbox with Parameters Estimation -- 1 Introduction -- 2 Related Works -- 3 Parameters Estimation -- 3.1 Regression-Based Estimation -- 3.2 Simulation-Based Optimisation -- 4 Results and Discussion -- 5 Conclusion -- References -- Power Transformer Design Resorting to Metaheuristics Techniques -- 1 Introduction -- 2 Relationship to Applied Artificial Intelligence Systems -- 3 Power Transformer Design Model -- 3.1 GA Operator's Characterization -- 3.2 Mutation with Genetic Compensation Effect -- 3.3 GA Parameters Definition -- 4 Case Study Analysis -- 5 Conclusions -- References -- Communications and Electronics. Detection of Signaling Vulnerabilities in Session Initiation Protocol -- 1 Introduction -- 1.1 Research Question and Contribution -- 1.2 Related Work -- 2 Applied Artificial Intelligence Systems -- 3 Modeling, Learning, and Classification -- 3.1 System Model -- 3.2 Deep Learning and Classification -- 3.3 Unknown SIP Dialogs' Detection -- 4 Performance Evaluation -- 5 Conclusions -- References -- Interference Power Characterization in Directional Networks and Full-Duplex Systems -- 1 Introduction -- 1.1 Motivation and Research Question -- 2 Relationship to Applied Artificial Intelligence Systems -- 3 System Model -- 4 Performance Analysis -- 5 Conclusions -- References -- FEM-Parameterized Sensorless Vector Control of PMSM Using High-Frequency Voltage Injection -- 1 Introduction -- 2 Analysis of PMSM -- 2.1 Finite Element Method Analysis -- 2.2 Finite Element Method Analysis -- 2.3 Mathematical Model of PMSM -- 3 High-Frequency Synchronous Injection -- 3.1 Mathematical Model -- 3.2 Mathematical Model -- 4 Drive Simulation -- 5 Conclusion -- References -- Classification Systems -- Deep Learning-Based Automated Detection of Inappropriate Face Image Attributes for ID Documents -- 1 Introduction -- 2 Contribution to Applied Artificial Intelligence Systems -- 3 Quality Analysis Pipeline -- 4 DL-Based Quality Analysis -- 4.1 Mouth-Open/Eyes-Closed Classification -- 4.2 Veil-Over-Face Classification -- 5 Experiments and Validation -- 5.1 Data Pipeline -- 5.2 Training Results -- 5.3 Model Testing and Evaluation Experiments -- 5.4 Pipeline Assessment -- 6 Conclusions -- References -- Automatic Cognitive Workload Classification Using Biosignals for Distance Learning Applications -- 1 Introduction -- 2 Relationship to Applied Artificial Intelligence Systems -- 3 Literature Review -- 4 Materials and Methods -- 4.1 Experimental Setup -- 4.2 Data Recording. 4.3 Signals Preprocessing and Features Extraction. |
| Record Nr. | UNISA-996464495703316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||