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.
Advanced Computing : 12th International Conference, IACC 2022, Hyderabad, India, December 16–17, 2022, Revised Selected Papers, Part II / / edited by Deepak Garg, V. A. Narayana, P. N. Suganthan, Jaume Anguera, Vijaya Kumar Koppula, Suneet Kumar Gupta
| Advanced Computing : 12th International Conference, IACC 2022, Hyderabad, India, December 16–17, 2022, Revised Selected Papers, Part II / / edited by Deepak Garg, V. A. Narayana, P. N. Suganthan, Jaume Anguera, Vijaya Kumar Koppula, Suneet Kumar Gupta |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (XXXIV, 476 p. 264 illus., 207 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Artificial intelligence
Computer engineering Computer networks Application software Education—Data processing Image processing—Digital techniques Computer vision Artificial Intelligence Computer Engineering and Networks Computer and Information Systems Applications Computers and Education Computer Imaging, Vision, Pattern Recognition and Graphics Intel·ligència artificial Enginyeria de programari Ensenyament assistit per ordinador Processament digital d'imatges |
| Soggetto genere / forma |
Llibres electrònics
Congressos |
| ISBN |
9783031356445
3031356446 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Innovations in AI -- System Security and communication using AI -- Use of AI in Human Psychology -- Use of AI in Music and Video Industries. |
| Record Nr. | UNINA-9910734854603321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Computing : 12th International Conference, IACC 2022, Hyderabad, India, December 16–17, 2022, Revised Selected Papers, Part I / / edited by Deepak Garg, V. A. Narayana, P. N. Suganthan, Jaume Anguera, Vijaya Kumar Koppula, Suneet Kumar Gupta
| Advanced Computing : 12th International Conference, IACC 2022, Hyderabad, India, December 16–17, 2022, Revised Selected Papers, Part I / / edited by Deepak Garg, V. A. Narayana, P. N. Suganthan, Jaume Anguera, Vijaya Kumar Koppula, Suneet Kumar Gupta |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (XXXIV, 506 p. 282 illus., 237 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Artificial intelligence
Computer engineering Computer networks Application software Education—Data processing Image processing—Digital techniques Computer vision Artificial Intelligence Computer Engineering and Networks Computer and Information Systems Applications Computers and Education Computer Imaging, Vision, Pattern Recognition and Graphics Intel·ligència artificial Intel·ligència artificial en medicina Enginyeria de programari Informàtica mèdica Innovacions tecnològiques Ensenyament assistit per ordinador |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031356414
3031356411 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | AI in Industrial Applications -- Application of AI for Disease Classification and Trend Analysis -- Design of agricultural applications using AI -- Disease Classification Using CNN. |
| Record Nr. | UNINA-9910734869303321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Information Systems Engineering : 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3–7, 2024, Proceedings / / edited by Giancarlo Guizzardi, Flavia Santoro, Haralambos Mouratidis, Pnina Soffer
| Advanced Information Systems Engineering : 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3–7, 2024, Proceedings / / edited by Giancarlo Guizzardi, Flavia Santoro, Haralambos Mouratidis, Pnina Soffer |
| Autore | Guizzardi Giancarlo |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (644 pages) |
| Disciplina | 005.3 |
| Altri autori (Persone) |
SantoroFlavia
MouratidisHaralambos SofferPnina |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Information technology - Management
Computers Software engineering Operating systems (Computers) Database management Computer science Computer Application in Administrative Data Processing Computing Milieux Software Engineering Operating Systems Database Management Theory of Computation Enginyeria de programari Gestió de bases de dades Sistemes operatius (Ordinadors) Teoria de la computació |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9783031610578
9783031610561 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Process alignment, comparison and discovery -- process discovery, monitoring and correction -- graphs and graph networks -- process modelling and management; prediction, monitoring and planning -- data preparation, sharing, and architecture -- requirements -- process and decision mining -- event and process discovery -- session trust, security and risk -- social aspects and LLMs -- model-driven engineering and quantum workflows. |
| Record Nr. | UNINA-9910865246403321 |
Guizzardi Giancarlo
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Information Systems Engineering Workshops : CAiSE 2024 International Workshops, Limassol, Cyprus, June 3–7, 2024, Proceedings / / edited by João Paulo A. Almeida, Claudio Di Ciccio, Christos Kalloniatis
| Advanced Information Systems Engineering Workshops : CAiSE 2024 International Workshops, Limassol, Cyprus, June 3–7, 2024, Proceedings / / edited by João Paulo A. Almeida, Claudio Di Ciccio, Christos Kalloniatis |
| Autore | Almeida João Paulo A |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (382 pages) |
| Disciplina | 005.3 |
| Altri autori (Persone) |
Di CiccioClaudio
KalloniatisChristos |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Application software
Business information services Data protection Artificial intelligence Software engineering Information technology - Management Computer and Information Systems Applications IT in Business Data and Information Security Artificial Intelligence Software Engineering Computer Application in Administrative Data Processing Programari d'aplicació Protecció de dades Intel·ligència artificial Enginyeria de programari |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9783031610035
9783031610028 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- BC4IS+B4TDS -- International Workshop on Blockchain for Information Systems (BC4IS) and Blockchain for Trusted Data Sharing (B4TDS) -- Organization -- BC4IS Workshop Co-chairs -- BC4IS Workshop Program Committee -- B4TDS Workshop Co-chairs -- B4TDS Workshop Program Committee -- Blockchain in E-Learning Platform to Enhance Trustworthy and Sharing of Micro-credentials -- 1 Introduction -- 2 Background, Related Work and Contribution -- 2.1 Micro-credentials -- 2.2 Blockchain -- 2.3 Related Work -- 2.4 Contribution -- 3 E-Learning Platform and Micro-credentials -- 4 Consortium Blockchain Within E-Learning Platforms -- 4.1 Institutions and Candidates Actions -- 5 Discussion -- 6 Conclusion -- References -- A Conceptual Model for Blockchain-Based Trust in Digital Ecosystems (Short Paper) -- 1 Introduction -- 2 Related Work -- 3 Conceptual model -- 3.1 N7: Running Example -- 3.2 Ontology of Trust in Digital ecosystems -- 3.3 The Problems of Third Parties and How Blockchain Can help -- 3.4 The Need for Capabilities Manifestation For Blockchain -- 4 Conclusion and Future work -- References -- High-Performance Confidentiality-Preserving Blockchain via GPU-Accelerated Fully Homomorphic Encryption -- 1 Introduction -- 2 Related Work -- 2.1 Confidentiality-Preserving Blockchains -- 2.2 GPU-Accelerated Fully Homomorphic Encryption -- 3 Overview -- 3.1 System Model -- 3.2 Threat Model -- 3.3 Gafe's Workflow Overview -- 4 Workflow Description -- 4.1 Client Key Generation -- 4.2 GPU-Accelerated Transaction Execution -- 5 Evaluation -- 5.1 Settings -- 5.2 End-to-End Performance -- 6 Conclusion -- References -- A Blockchain-Based Approach for Model Card Accountability and Regulatory Compliance -- 1 Introduction -- 2 Background -- 2.1 Model Cards -- 2.2 Tokenization of Model Cards -- 2.3 Motivating Scenario.
3 Proposed Approach: m-LUCE -- 3.1 Approach Overview -- 3.2 Modeling State Parameterization for Model Cards -- 4 Evaluation and Discussion -- 4.1 Functional Testing -- 4.2 Discussion -- 5 Conclusions and Future Work -- References -- HybridAIMS -- 2nd International Workshop on Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent Information Systems (HybridAIMS 2024) -- Organization -- Workshop Chairs -- Program Committee -- A Hierarchical Knowledge Framework for Digital Twins of Buildings and Their Energy Systems (Position Paper) -- 1 Introduction -- 2 BIM, BMS and EMS and Digital Twins -- 3 Physics-Based Simulation and Artificial Intelligence -- 4 From Data to Wisdom, a Paradigm for Digital Twins -- 4.1 The NEST Demonstrator -- 4.2 An Implementation of the DIKW for Buildings and Energy Systems -- 4.3 Analysis of a Specific Application -- 5 Conclusion and Outlook -- References -- Integrating Generative Artificial Intelligence into Supply Chain Management Education Using the SCOR Model -- 1 Introduction -- 2 Background -- 3 Case Study: A SCM University Course -- 3.1 Generative AI Course Companion Requirements and Goals -- 3.2 Introduction to Vertex AI Search -- 3.3 Setting up the Vertex AI Search -- 3.4 Evaluation -- 3.5 Results -- 3.6 Enhancement Strategies -- 4 Implications and Further Research -- References -- An Explanation User Interface for a Knowledge Graph-Based XAI Approach to Process Analysis -- 1 Research Background and Objective -- 2 Basics of Human Interactions for XAI -- 3 Design Catalog for Explanation User Interfaces -- 4 Demonstration and Evaluation of an XUI -- 4.1 Current State of KBXAI-PA -- 4.2 Designing and Demonstrating of an XUI for KBXAI-PA -- 4.3 Evaluating the XUI for KBXAI-PA Through Expert Interviews -- 5 Key Findings, Research Perspectives and Implications -- References. Enhancing Research Clarity: Ontology-Based Modeling of Argumentation in RPML -- 1 Introduction -- 2 Literature Review -- 2.1 Identification of a Research-Worthy Problem -- 2.2 Conceptual Modeling for Visualization of Research Problems -- 3 Methodology -- 4 An Ontological Metamodel for Research -- 5 Application of the Modelling Language -- 6 Conclusion -- References -- Student Performance Prediction Model Based on Course Description and Student Similarity -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 4 Data Set from Student Enrolment Process -- 5 Design and Development of the Prototypes -- 5.1 Course Description Similarity -- 5.2 Course Performance Similarity -- 5.3 Performance Prediction -- 6 Evaluation -- 7 Conclusion -- References -- Towards Explainable Public Sector AI: An Exploration of Neuro-Symbolic AI and Enterprise Modeling (Short Paper) -- 1 Introduction -- 2 XAI: The Imperative for Explainability in the Public Sector -- 3 Neuro-Symbolic AI (NSAI) for Enhanced Explainability -- 4 Enterprise Modeling (EM): Discovering Rules for the Symbolic AI -- 5 Integration: Exploring the Synergy of XAI, NSAI, and EM -- 6 Conclusion and Future Work -- References -- A Survey to Evaluate the Completeness and Correctness of a Morphological Box for AI Solutions -- 1 Introduction -- 2 Theoretical Background -- 2.1 Morphological Box for AI Solutions -- 2.2 Taxonomy Development -- 3 Research and Survey Design -- 4 Analysis of the Survey Results -- 4.1 Participants -- 4.2 Statistical Evaluation -- 4.3 Feature Analysis -- 4.4 Value Analysis -- 5 Discussion -- 5.1 Possible New Features -- 5.2 Possible New Values -- 5.3 Possible Reorganization of the Values -- 6 Summary and Future Research -- References -- KG4SDSE -- Preface: 2nd Workshop on Knowledge Graphs for Semantics-Driven Systems Engineering (KG4SDSE 2024) -- Organization -- Workshop Chairs. Web Chair -- Program Committee -- Understanding the Semantic SQL Transducer -- 1 Introduction -- 2 The Role of a Semantic SQL Transducer -- 3 Inside the Semantic SQL Transducer -- 4 Designing the Semantic SQL Transducer -- 5 Conclusions -- References -- Enhancing Complex Linguistic Tasks Resolution Through Fine-Tuning LLMs, RAG and Knowledge Graphs (Short Paper) -- 1 Introduction -- 2 Related Work -- 3 Proposed Pipeline -- 3.1 Enhancing LLMs with RAG and KGs -- 3.2 KGs Construction via Prompt Engineering -- 3.3 Guide Complex Tasks Resolution via Fine-Tuning -- 4 Conclusions and Future Work -- References -- Improving the Service Quality in Fitness Industry by Using a Knowledge Graph Based Modeling Toolkit -- 1 Introduction -- 2 Storytelling with Modeling Tools -- 3 Research Problem -- 3.1 Who -- 3.2 What -- 3.3 Why -- 3.4 How -- 3.5 Where -- 4 Conclusions -- References -- LLMs for Knowledge-Graphs Enhanced Task-Oriented Dialogue Systems: Challenges and Opportunities -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 3.1 Preliminary Questions for ChatGPT -- 3.2 Ontology -- 3.3 Setup Format -- 3.4 Prompting Techniques and Examples -- 4 Results and Discussion -- 4.1 ChatGPT on the Static KGC Task -- 4.2 ChatGPT on the Temporal KGC Task -- 4.3 ChatGPT on the KGR Task -- 5 Conclusion -- References -- Property Graphs at Scale: A Roadmap and Vision for the Future (Short Paper) -- 1 Introduction -- 2 Roadmap to the Future -- 2.1 Establishing a Declarative Query Language for PGs -- 2.2 Data Integration -- 2.3 Scalable Data Processing -- 3 Conclusions -- References -- Knowledge Graph for Reusing Research Knowledge on Related Work in Data Analytics -- 1 Introduction -- 2 Research Method -- 3 Analytics Project Ontology -- 4 Real Estate Analytics Knowledge Graph -- 5 Using Knowledge Graph Based Web Application -- 6 Conclusion -- References. An Ontology-Based Meta-modelling Approach for Semantic-Driven Building Management Systems -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 3.1 Focus Group Findings -- 4 The Ontology-Based Meta-modelling Approach for Building Management Systems -- 4.1 The Ontology Architecture -- 4.2 The Ontology-Based PID Language -- 5 Evaluation -- 6 Findings and Discussion -- 7 Conclusion -- References -- EOMAS -- 20 years of the EOMAS workshop -- Organization -- Steering Committee -- Customizing a Generic Digital Transformation Objectives Model onto a Telecommunication Company -- 1 Introduction -- 2 Research Approach and Method -- 3 Results -- 3.1 Preliminary Interview Round: Domain Knowledge Collection -- 3.2 Instantiated DT Strategic Objectives Representation -- 3.3 Post Interview Round: Evaluation and Validation of the Instantiated DT Objectives Representation -- 4 Discussion -- 5 Conclusion -- References -- Analyzing Customer Sentiments: A Comparative Evaluation of Large Language Models for Enhanced Business Intelligence -- 1 Introduction -- 2 Related Work -- 2.1 Customer Sentiment Analysis -- 2.2 Methods for Sentiment Analysis -- 2.3 Using Large Language Models for Sentiment Analysis -- 3 Methodology -- 3.1 Research Question Statement -- 3.2 Selection of Large Language Models -- 3.3 Dataset Preparation -- 3.4 Exploratory Phase -- 3.5 Focused Experiments -- 3.6 Observations Analysis -- 4 Observation Analysis -- 5 Discussion -- 6 Conclusions and Future Work -- References -- Conceptual Data Normalisation from the Practical View of Using Graph Databases -- 1 Introduction -- 2 Motivation -- 3 Attempts to Overcome the Limitations of Relational Databases -- 4 Object Class Normalisation - Ambler's Approach -- 5 Frisendal's Approach to the Graph Normalisation -- 6 Our Approach to the Graph Database Normalisation -- 7 Conclusion -- References. Deriving Object Oriented Normalisation from Conceptual Normalisation. |
| Record Nr. | UNINA-9910865248403321 |
|
Almeida João Paulo A
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Information Systems Engineering Workshops : CAiSE 2023 International Workshops, Zaragoza, Spain, June 12–16, 2023, Proceedings / / edited by Marcela Ruiz, Pnina Soffer
| Advanced Information Systems Engineering Workshops : CAiSE 2023 International Workshops, Zaragoza, Spain, June 12–16, 2023, Proceedings / / edited by Marcela Ruiz, Pnina Soffer |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (206 pages) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Application software
Information technology - Management Business information services Software engineering Data protection Computer and Information Systems Applications Computer Application in Administrative Data Processing IT in Business Software Engineering Data and Information Security Programari d'aplicació Procediments culinaris Enginyeria de programari Protecció de dades |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9783031349850
3031349857 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- HybridAIMS -- 1st International Workshop on Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent Information Systems (HybridAIMS'23) -- Organization -- HybridAIMS23 Workshop Co-chairs -- HybridAIMS23 Workshop Program Committee -- A Morphological Box for AI Solutions: Evaluation, Refinement and Application Potentials -- 1 Introduction -- 2 Theoretical Background and Related Work -- 2.1 Morphological Box for AI Solutions -- 2.2 AI Solution Development -- 3 Research Approach -- 4 Interview Planning and Conduction -- 5 Interview Findings -- 6 Analysis and Discussion -- 7 Application Potentials and Future Work -- References -- Enriching Enterprise Architecture Models with Healthcare Domain Knowledge -- 1 Introduction -- 2 Literature Review -- 2.1 Enterprise Modeling -- 2.2 Enterprise Modeling in Healthcare -- 2.3 Semantic Lifting of Enterprise Models -- 2.4 Medical Ontologies and Their Usage in Information Systems -- 2.5 Research Problem: Semantic Lifting of Enterprise Architecture Models in Healthcare -- 3 Research Method -- 4 Ontology-Based Enterprise Architecture Model Development -- 4.1 Domain Knowledge in Enterprise Architecture Model -- 4.2 Representation of Domain Knowledge as an Ontology -- 5 Ontology-Based Enterprise Architecture Model Implementation -- 6 Evaluation -- 7 Conclusion and Future Work -- References -- Supporting Reuse of Business Process Models by Semantic Annotation -- 1 Introduction -- 2 Literature Review -- 3 Research Method and Objective -- 4 Ontology Development for Model Reuse -- 5 Semantic Annotation Approach -- 6 Evaluation -- 7 Conclusion and Future Work -- References -- Position Paper - Hybrid Artificial Intelligence for Realizing a Leadership Assistant for Platform-Based Leadership Consulting -- 1 Introduction.
2 The Use Case - Development of a Platform-Based Digital Leadership Consulting -- 2.1 State-of-the-Art in Consulting 4.0 -- 2.2 Usage of Digital Platforms in Consulting -- 2.3 Challenges for Consultancies to Digitalize the Consulting Industry -- 2.4 Our Vision for Digital Leadership Consulting: The Leadership Assistant -- 3 The Need for Hybrid Artificial Intelligence -- 4 Conclusion and Outlook -- References -- Developing a Maturity Assessment Tool to Enable the Management of Artificial Intelligence for Organizations -- 1 Introduction -- 2 Research Approach -- 3 Development of the Maturity Assessment Tool -- 3.1 Objectives of the Maturity Assessment Tool -- 3.2 Design of the Horizontal User Interface Prototype -- 3.3 Demonstration and Evaluation of the Horizontal User Interface Prototype -- 3.4 Development of the Vertical Prototype -- 3.5 Demonstration and Evaluation of the Vertical Prototype -- 4 Conclusion -- References -- Mapping Time-Series Data on Process Patterns to Generate Synthetic Data -- 1 Introduction -- 2 Formalization of Control-Flow Patterns for Time-Series Data -- 2.1 Semantics of Activities -- 2.2 Sequence Pattern -- 2.3 Exclusive Choice -- 2.4 Simple Merge -- 2.5 Parallel Split -- 2.6 Synchronization -- 3 Application: Marine Time-Series Data -- 4 Implementation -- 5 Related Work -- 6 Conclusion -- References -- KG4SDSE -- 1st Workshop on Knowledge Graphs for Semantics-Driven Systems Engineering (KG4SDSE'23) -- Organization -- KG4SDSE Workshop Co-chairs -- KG4SDSE Workshop Program Committee -- Towards Crisis Response and Intervention Using Knowledge Graphs - CRISP Case Study -- 1 Introduction -- 2 CRISP Knowledge Graph -- 3 Crisis Management Model -- 4 Use Cases -- 4.1 Accessibility of Service Centers -- 4.2 Infrastructure Network Impact -- 5 Conclusions and Future Work -- References. The RAI Way: A Technical Analysis and Design Method for Building Enterprise Semantic Layers -- 1 Introduction -- 2 The RAI Way Method -- 2.1 Example of Use -- 2.2 Concept Reification -- 2.3 Data Weaving -- 3 Related Work -- 4 Summary and Future Work -- References -- Towards Recommendations for Knowledge-Graph-Based Requirements Management in Construction: A Report on the EU DigiChecks Project -- 1 Introduction -- 2 Background and Related Work -- 2.1 Current PRM Methods in the Construction Industry -- 2.2 Usage of Knowledge Graphs in Construction -- 3 The DigiChecks Framework Overview -- 3.1 The DigiChecks Architecture -- 3.2 Requirements for Automation in PRM -- 4 Requirements Management in DigiChecks -- 4.1 Requirements Explicitness and Automation Potential -- 4.2 First Explorations of Solutions -- 5 Conclusion and Future Work -- References -- Semantic Matching Through Knowledge Graphs: A Smart City Case -- 1 Introduction -- 2 Theoretical Background and Related Work -- 2.1 Conceptual Modeling and Domain-Specific Modeling Languages -- 2.2 Knowledge Graphs, RDF and Linked Open Data -- 2.3 Related Work -- 3 Semantic Matching Between Domain-Specific Modeling Methods and Linked Open Data -- 3.1 Semantic Matching Model -- 3.2 A Smart City Implementation Scenario -- 4 Conclusion and Evaluation -- 4.1 Summary -- 4.2 SWOT Evaluation -- References -- A Linked Data Based Advanced Credit Rationale -- 1 Introduction -- 2 Approach to Create a Linked Data Based Credit Rationale -- 3 Evaluation Methodology -- 4 Results of the Evaluation -- 5 Conclusion and Future Work -- References -- Interactive Machine Learning of Knowledge Graph-Based Explainable Process Analysis -- 1 Introduction -- 2 Terms, Definitions and Previous Work -- 2.1 Terms and Definitions -- 2.2 Knowledge Graph-Based Explainable Process Analysis -- 3 Interactive Machine Learning for a Knowledge Graph. 3.1 Design -- 3.2 Assigning Weights by Verifying Results -- 3.3 Demonstration and Evaluation by a Case Study -- 4 Résumé and Perspectives -- References -- A Weighted Knowledge Graph for Representing the Results of a Systematic Literature Review -- 1 Introduction -- 2 Literature Review as the Basis of a Knowledge Graph -- 3 The Results of the Literature Review as a Knowledge Graph -- 4 Related Work and Discussion -- 5 Conclusion -- References -- Knowledge Engineering Formalizing DECENT Meta Model -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Research Approach -- 4 DECENT Knowledge Engineering -- 5 Formalization of DECENT -- 6 Evaluation -- 7 Conclusion -- Acknowledgement -- References -- Using Knowledge Graphs for Record Linkage: Challenges and Opportunities -- 1 Introduction -- 2 Background and Related Work -- 3 Using KGs for Solving RL Tasks -- 4 Concluding Remarks -- References -- Employing Knowledge Graphs for Capturing Semantic Aspects of Robotic Process Automation -- 1 Introduction -- 2 Related Work -- 3 Problem Context, Statement and Treatment -- 4 Treatment Design and Implementation -- 5 Demonstration Scenario -- 6 Query-Based Competence Evaluation -- 7 Conclusion -- References -- BC4IS and DGD -- International Workshop on Blockchain and Decentralized Governance Design for Information Systems (BC4IS'23 and DGD'23) -- Organization -- BC4IS Workshop Co-chairs -- BC4IS Workshop Steering Committee -- BC4IS Workshop Program Committee -- DGD Workshop Co-chairs -- DGD Workshop Program Committee -- Regulation-Friendly Privacy-Preserving Blockchain Based on zk-SNARK -- 1 Introduction -- 2 Related Work -- 3 Overview -- 3.1 System Model -- 3.2 Basic Workflow -- 4 Design Details of Transaction Flow -- 4.1 Initialization -- 4.2 Transaction Construction -- 4.3 Transaction Execution -- 4.4 Transaction Audit -- 5 Performance Analysis. 5.1 Results and Discussion -- 5.2 Substrate Framework -- 6 Conclusion -- References -- Blockchain Governance Design a Computer Science Perspective -- 1 Introduction -- 2 Research Approach -- 3 Conceptual Modeling for Blockchain Governance Design -- 3.1 Blockchain Networks in DAO Design Philosophy -- 3.2 Conceptual Modeling Method -- 4 Conclusion -- References -- The MEV Saga: Can Regulation Illuminate the Dark Forest? -- 1 Introduction -- 2 MEV Basics: The Dark Forest and Flash Boys 2.0 -- 3 PBS: How Does It Work and Why is it Important -- 4 Can Regulation Illuminate the Dark Forest? -- 4.1 Front-Running in Traditional Finance vs. DeFi -- 4.2 Regulating Central Points in a Decentralized World -- 5 Conclusion -- References -- Author Index. |
| Record Nr. | UNINA-9910731476103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Information Systems Engineering Workshops : CAiSE 2022 International Workshops, Leuven, Belgium, June 6–10, 2022, Proceedings / / edited by Jennifer Horkoff, Estefania Serral, Jelena Zdravkovic
| Advanced Information Systems Engineering Workshops : CAiSE 2022 International Workshops, Leuven, Belgium, June 6–10, 2022, Proceedings / / edited by Jennifer Horkoff, Estefania Serral, Jelena Zdravkovic |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (143 pages) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Information technology - Management
Business information services Software engineering Data protection Computer Application in Administrative Data Processing IT in Business Software Engineering Data and Information Security Tecnologia de la informació Enginyeria de programari Enginyeria de sistemes |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-031-07478-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | BC4IS 2022 -- Improving the Effciency of a Blockchain-basedConfidential Registered e-Delivery Protocol -- Multi-authority decentralized attribute-based authorization framework -- ISESL 2022 -- Smart City Software: A Review of Development Methodologies and Modelling Languages -- Domain Ontology Construction with Activity Logs and Sensors Data – Case Study of Smart Home Activities -- Empirical Analysis of Technology Acceptance of Private Electric Vehicle Charging Infrastructure in Germany -- A sustainability matrix for smartphone application -- Representing Habits as Streams of Situational Contexts -- Robots and Choreography: a contribution to artificial sentience -- KET4DF 2022 -- Digital Twins for enhanced Resilience: Aerospace Manufacturing Scenario -- Supporting Zero Defect Manufacturing through Cloud Computing and Data Analytics: the Case Study of Electrospindle 4.0 -- Digital Twins Approach for Sustainable Industry. |
| Record Nr. | UNINA-9910574070703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Computational Intelligence. MICAI 2023 International Workshops : WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13–18, 2023, Proceedings / / edited by Hiram Calvo, Lourdes Martínez-Villaseñor, Hiram Ponce, Ramón Zatarain Cabada, Martín Montes Rivera, Efrén Mezura-Montes
| Advances in Computational Intelligence. MICAI 2023 International Workshops : WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13–18, 2023, Proceedings / / edited by Hiram Calvo, Lourdes Martínez-Villaseñor, Hiram Ponce, Ramón Zatarain Cabada, Martín Montes Rivera, Efrén Mezura-Montes |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (475 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer vision Computer science Data mining Application software Artificial Intelligence Software Engineering Computer Vision Theory of Computation Data Mining and Knowledge Discovery Computer and Information Systems Applications Intel·ligència artificial Aprenentatge automàtic Enginyeria de programari Informàtica tova |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-031-51940-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Artificial intelligence. - Knowledge representation and reasoning -- Planning and scheduling -- Control methods -- Philosophical/theoretical foundations of artificial intelligence -- Computer vision -- Machine learning -- Symbolic and algebraic manipulation -- Simulation theory -- Robots -- Evolutionary computation -- Intelligent systems -- Natural language processing -- Bioinformatics -- Medical applications using AI. |
| Record Nr. | UNINA-9910805570203321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Computer Science for Engineering and Education IV : (ICCSEEA2021) ; Kyiv, Ukraine, January 23-24, 2021 / / Zhengbing Hu, Sergey Petoukhov, Ivan Dychka, Matthew He, editors
| Advances in Computer Science for Engineering and Education IV : (ICCSEEA2021) ; Kyiv, Ukraine, January 23-24, 2021 / / Zhengbing Hu, Sergey Petoukhov, Ivan Dychka, Matthew He, editors |
| Autore | Hu Zhengbing |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2021 |
| Descrizione fisica | 1 online resource (473 pages) |
| Altri autori (Persone) |
PetoukhovSergey
DychkaIvan HeMatthew |
| Collana | Lecture Notes on Data Engineering and Communications Technologies |
| Soggetto topico |
Informàtica
Enginyeria de programari Intel·ligència artificial |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-030-80472-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910495168003321 |
|
Hu Zhengbing
|
||
| Cham : , : Springer International Publishing AG, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Computing : 16th Colombian Congress, CCC 2022, Armenia, Colombia, October 17–21, 2022, Revised Selected Papers / / edited by Vanessa Agredo-Delgado, Pablo H. Ruiz, Alexandra Ruiz Gaona, María Lili Villegas Ramírez, William Joseph Giraldo Orozco
| Advances in Computing : 16th Colombian Congress, CCC 2022, Armenia, Colombia, October 17–21, 2022, Revised Selected Papers / / edited by Vanessa Agredo-Delgado, Pablo H. Ruiz, Alexandra Ruiz Gaona, María Lili Villegas Ramírez, William Joseph Giraldo Orozco |
| Autore | Agredo-Delgado Vanessa |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (175 pages) |
| Disciplina |
005.1
004 |
| Altri autori (Persone) |
RuizPablo H
Ruiz GaonaAlexandra Villegas RamírezMaría Lili Giraldo OrozcoWilliam Joseph |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Computers, Special purpose Artificial intelligence Software Engineering Computer Engineering and Networks Special Purpose and Application-Based Systems Artificial Intelligence Enginyeria de programari Intel·ligència artificial Arquitectura d'ordinadors Seguretat informàtica Xarxes d'ordinadors |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9783031363573
3031363574 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | AlzRastreo: accompanying Alzheimer's patients and their caregivers -- Application of Artificial Intelligence Techniques for Cancer Data Analysis in Brazil -- Blockchain trends in education: a scientometric review -- Comparison of Deployment Options for Microservices in the Cloud -- Epymodel: A user-friendly web application for visualising COVID-19 projections for Paraguay including under-reporting and vaccination -- Expert System for Software Architecture Selection -- Gamified strategies to increase motivation in middle school programming learning: A Systematic mapping -- Google Cloud Vision and its application in image processing using a Raspberry Pi -- Human Development for the Brave: Supporting the Generation of Empathy, work in Progress -- Model for the evaluation of the quality of Open Data -- Time Model for the WellProdSim Agent-based Social Simulator -- World Model for the WellProdSim Agent-based Social Simulator. |
| Record Nr. | UNINA-9910734898103321 |
|
Agredo-Delgado Vanessa
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Computing : 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10–11, 2023, Revised Selected Papers / / edited by Marta Tabares, Paola Vallejo, Biviana Suarez, Marco Suarez, Oscar Ruiz, Jose Aguilar
| Advances in Computing : 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10–11, 2023, Revised Selected Papers / / edited by Marta Tabares, Paola Vallejo, Biviana Suarez, Marco Suarez, Oscar Ruiz, Jose Aguilar |
| Autore | Tabares Marta |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (440 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
VallejoPaola
SuarezBiviana SuarezMarco RuizOscar AguilarJose |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Artificial intelligence Computers, Special purpose Software Engineering Computer Engineering and Networks Artificial Intelligence Computer Communication Networks Special Purpose and Application-Based Systems Enginyeria de programari Enginyeria d'ordinadors Xarxes d'ordinadors Intel·ligència artificial |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9783031473722
3031473728 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine Learning based Plant Disease Detection using EfficientNet B7 -- Land Cover Classification Using Remote Sensing and Supervised Convolutional Neural Networks -- Fusion of optical and radar data by aggregation into a single feature space for LULC classification -- Computer room failure reporting system for a Higher Education Institution -- Recent Advances in Machine Learning for Differential Cryptanalysis -- Addressing the Diet Problem with Constraint Programming Enhanced with Machine Learning -- Assessing ChatGPT’s Proficiency in CS1-Level Problem Solving -- Clean Architecture: Impacto en el rendimiento y mantenibilidad de proyectos de Android nativos -- Evaluation of AI techniques to implement proactive container auto-scaling strategies -- Teaching strategy for enabling technologies of Industry 4.0 to high school students -- Automatic translation of text and audio to Colombian Sign Language -- Movement in video classification using structured data: Workout videos application -- Planning Navigation Routes in Unknown Environments -- Integration of Cyber-Physical System and Digital Twin for Controlling a Robotic Manipulator: An Industry 4.0 Approach -- Declarative Visual Programming with Invariant, Pre- and Post-conditions for Lattice Approximation of 3D Models -- Using Open Data for Training Deep Learning Models: A waste identification case study -- Instructional strategies for performance improvement in algebra: A systematic mapping -- Model for Fruit Tree Classification through Aerial Images -- Change Point Detection for Time Dependent Counts Using Extended MDL and Genetic Algorithms -- An Exploration of Genetic Algorithms Operators for the Detection of Multiple Change-points of Exceedances using Non-Homogeneous Poisson Processes and Bayesian Methods -- Synthetic Hyperspectral Data for Avocado Maturity Classification -- Fuzzy Model for Risk Characterization in Avocado Crops for Index Insurance Configuration -- Safety Verification of the Raft Leader Election Algorithm using Athena -- Modeling Detecting Plant Diseases in Precision Agriculture: A NDVI Analysis for Early and Accurate Diagnosis -- Towards the construction of an emotion analysis model in university students using images taken in classrooms -- Cloud-native architecture for distributed systems that facilitates integration with AIOps platforms -- Comparing Three Agent-Based Models Implementations of Vector-Borne Disease Transmission Dynamics -- Towards a Predictive Model that supports the achievement of more assertive commercial KPIs Case: Wood Trading Company -- BDI Peasants Model for the WellProdSim Agent-based Social Simulator -- Discovering Key Aspects to Reduce Employee Turnover using a Predictive Model -- Findby: An Application for Accessibility and Inclusive Exploration -- Tracing the visual path: Gaze direction in the 360 video experience -- UsingVirtual Reality to Detect Memory Loss: An Exploratory Study. . |
| Record Nr. | UNINA-9910763600603321 |
|
Tabares Marta
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
