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.
Extended Selected Papers of the 14th International Conference on Information, Intelligence, Systems, and Applications : Iisa2023
| Extended Selected Papers of the 14th International Conference on Information, Intelligence, Systems, and Applications : Iisa2023 |
| Autore | Bourbakis Nikolaos |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer, , 2024 |
| Descrizione fisica | 1 online resource (439 pages) |
| Altri autori (Persone) |
TsihrintzisGeorge A
VirvouMaria JainLakhmi C |
| Collana | Lecture Notes in Networks and Systems Series |
| ISBN | 9783031674266 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Foreword -- Contents -- Introduction to Advances in Information, Intelligence, Systems and Applications -- 1 Editorial Note -- 2 Book Summary and Future Volumes -- References -- Novelties in Theory and Advanced Methodologies -- A Multi-dimensional Survey on Learning from Imbalanced Data -- 1 Introduction -- 2 Methodology and Organization -- 3 Application-Based Organization -- 3.1 Cybersecurity -- 3.2 Bioinformatics and Medical Sciences -- 3.3 Natural Language Processing (NLP) -- 3.4 Computer Vision -- 4 Technique-Based Organization -- 4.1 Data Preprocessing and Algorithm Centered Approaches -- 4.2 Cost-Sensitive Learning -- 5 Classifier-Based Organization -- 6 Surveys and Overviews -- 7 Conclusions -- References -- An Expert System for Decision Making in the Face of Imprecise, Inconsistent and Paracomplete Data - Metaverse Security Application Using DLP -- 1 Introduction -- 1.1 Understanding Inconsistency in Expert Systems -- 1.2 Consequences of Inconsistency -- 2 Backgrounds -- 2.1 An Analysis of the Logic Underlying AI Theory -- 2.2 Paraconsistent Logic -- 2.3 AI and Paraconsistency -- 2.4 Paraconsistent Annotated Evidential Logic Eτ -- 2.5 Para-Analyzer Algorithm -- 2.6 An Expert System Based on Logic Eτ -- 3 Application: Metaverse Security Application Using DLP -- 3.1 Metaverse -- 3.2 DLP - Data Loss Prevention -- 3.3 Optimisation of Metaverse Security -- 4 Analysis by the Proposed Expert System -- 5 Conclusion -- References -- Machine Learning and Human Unlearning -- 1 Introduction -- 2 Artificial Intelligence and Machine Learning: Sets and Subsets -- 3 Contextualizing the Generation of Metrics -- 4 Breaking Down the Main Components of the Measurement and Descriptive Statistics -- 5 Statistics, Metrics and Attributes -- 6 The Formation of a Deltoid Structure for Heuristic Evaluation.
7 Radial Network and Hypothetical Failures of "Intelligent Algorithms" -- 8 User Experiments: Tasks, Strategies and Management -- 9 Results of Heuristic Evaluation -- 10 Towards to Data and Information Quality Vademecum for ML -- 11 Lessons Learned -- 12 Conclusions -- Appendix #1 -- Appendix #2 -- Appendix #3 -- Appendix #4 -- Appendix #5 -- References -- Novel Applications -- Circumstance Evaluation Using Extreme Value Analysis on Charging Station Data: The Case of DEI Blue in Greece -- 1 Introduction -- 2 Theory and Application Highlights of Extreme Value Analysis -- 3 Materials and Methods -- 4 Results -- 5 Conclusions and Future Works -- References -- Explainability Spectrum Analysis of Weather Sequences in Short-Term Load Forecasting -- 1 Introduction -- 2 Dataset and Preprocessing -- 3 Materials and Methods -- 3.1 Interpretable Estimators -- 3.2 Explainability Frameworks and Feature Importance -- 3.3 Explainability Analysis Metrics -- 4 Explainability Spectrum Analysis and Results -- 5 Behavioral Overview of Structural Explainability -- 6 Discussion -- 7 Conclusions and Future Work -- References -- Machine Learning and Thermal Imaging in Precision Agriculture -- 1 Introduction -- 2 Methodology -- 3 Background Knowledge -- 3.1 Machine Learning -- 3.2 Computer Vision -- 3.3 Thermal Imaging -- 3.4 ML and CV for Precision Agriculture -- 3.5 Related Works -- 4 Analysis -- 4.1 Crop Monitoring -- 4.2 Irrigation Management -- 4.3 Pest and Disease Detection -- 5 Challenges and Opportunities of Using TI in Agriculture -- 5.1 Challenges -- 5.2 Opportunities -- 6 Conclusion -- References -- Reinforcement Learning Agents in Precision Agriculture -- 1 Introduction -- 2 Background -- 2.1 Precision Agriculture -- 2.2 Reinforcement Learning -- 2.3 Multi-agent Reinforcement Learning -- 3 Reinforcement Learning in Agriculture -- 3.1 Crop Management. 3.2 Water Management -- 3.3 Robot Control -- 3.4 Other -- 4 Discussion -- 5 A General Framework -- 5.1 Simulation Challenges -- 5.2 Research Challenges -- 6 Conclusions -- References -- Inductive Machine Learning for Classifying Breast Lesions from Imbalanced MRI-B Data -- 1 Introduction -- 2 Brief Literature Review -- 3 Materials - Initial Data Set Presentation -- 4 Methodology -- 4.1 Data Pre-processing -- 4.2 Classification Process -- 4.3 Validation Process -- 5 Results -- 5.1 Pre-processing Results -- 5.2 Classification Results -- 5.3 Validation Results -- 6 Conclusion -- References -- Fuzzy Clustering SMOTE and Fuzzy Classifiers for Hidden Disease Predictions -- 1 Introduction -- 2 Fuzzy-C-Means SMOTE -- 3 Fuzzy Classifiers -- 3.1 Fuzzy KNN -- 3.2 Fuzzy Decision Tree -- 4 Experiments -- 4.1 Datasets -- 4.2 Metrics -- 4.3 Visualization of the Synthetic Samples -- 4.4 Comparison Results -- 4.5 Ranking -- 5 Conclusion -- References -- Digitization of Forensic Engineering: Overview, Perspectives and New Challenges -- 1 Introduction -- 2 Preliminaries -- 2.1 Digitization Procedure -- 2.2 Forensic Science -- 2.3 Digital Forensics -- 2.4 Digital Structural Forensics -- 3 The Digital Forensics Process -- 3.1 Collection -- 3.2 Examination -- 3.3 Analysis -- 4 Discussion and Current Limitations -- 5 Future Research Directions -- 6 Conclusive Considerations -- References -- Supporting the Maintenance Process of Healthcare Pervasive Devices -- 1 Introduction -- 2 Motivation -- 3 Background and Related Work -- 4 The COSYMA Project -- 4.1 Smart Maintenance -- 5 The Overall Architecture -- 6 Technical Discussion -- 6.1 The Data Monitoring and Collection -- 6.2 Model-Driven Methods -- 6.3 Data-Driven Methods -- 6.4 Innovative Instruments for Maintenance -- 7 Conclusions and Open Challenges -- References. Integrating OpenAI Chat-GPT in a University Department of Education: Main Types of Use and Preliminary Assessment Results -- 1 Introduction -- 2 Related Work -- 2.1 AI in Education -- 2.2 Internet Tools in Education -- 3 Chat-GPT Uses in a University Department -- 3.1 General Uses of Chat-GPT -- 3.2 Uses of Chat-GPT Involving Students -- 3.3 Uses of Chat-GPT Involving Tutors -- 3.4 Uses of Chat-GPT for Specific Types of Students -- 3.5 Uses of Chat-GPT in Distance Learning -- 4 Examples of Queries to Chat-GPT and Indicative Replies -- 5 Research Study in Progress About Chat-GPT -- 6 Discussion and Analysis of Preliminary Results -- 7 Conclusions -- References -- TravelTheLake: Promoting Sustainable Lake Development Using Augmented Reality -- 1 Introduction -- 2 Related Work -- 3 AR-Based Application -- 4 Implementation of the Application -- 4.1 Navigation Step by Step -- 4.2 Implementation Details -- 5 Evaluation Setup and Task Description -- 5.1 Results of Usability Assessment -- 5.2 Assessment of the Value of the Application in Real Aspects of Life -- 5.3 Suggestions for Improvements -- 6 Conclusions/Future Work -- References -- Few-Shot 1/a Anomalies Feedback: Damage Vision Mining Opportunity and Embedding Feature Imbalance -- 1 Introduction -- 1.1 Related Works for Imbalanced Vision Data -- 1.2 Imbalanced Anomaly Detection Application for Damage Vision Inspection -- 2 Imbalanced Anomaly Detection Application -- 2.1 One-Class Classification Using Deeper FCDDs -- 2.2 Damage-Mark Heatmap Upsampling -- 3 Applied Results -- 3.1 Class Imbalanced Vision Data -- 3.2 Blood Infection -- 3.3 Lung Infection -- 3.4 Driving Distraction -- 3.5 Wooden Deterioration -- 3.6 Concrete Crack -- 3.7 River Sludge -- 3.8 Disaster Damage -- 3.9 Hurricane Damage -- 4 Concluding Remarks -- 4.1 Anomaly Detection for Class Imbalance. 4.2 Limitation and Robustness for Unseen Damage -- References -- Traffic Congestion Prediction: A Machine Learning Approach -- 1 Introduction -- 2 Background -- 2.1 Smart Cities -- 2.2 Traffic Data Sources -- 2.3 Traffic Models -- 2.4 Evaluation Metrics -- 2.5 Traffic Prediction Related Work -- 3 Methodology -- 3.1 Data Collection and Engineering -- 3.2 Univariable Approach -- 3.3 High Correlated Crosses Approach -- 3.4 Multivariable Approach -- 4 Results -- 4.1 Univariable Approach -- 4.2 High Correlated Crosses Approach -- 4.3 Multivariable Approach -- 5 Conclusion -- 5.1 Discussion -- 5.2 Threats to Validity -- 5.3 Future Work -- References -- Software Defect Detection Using Machine Learning on Data from Open-Source Programs -- 1 Introduction -- 2 Background -- 2.1 Data Mining Techniques for Software Defect Detection -- 3 Methodology -- 3.1 Research Questions -- 3.2 Data Preparation -- 3.3 Modelling -- 4 Results -- 4.1 Results of the Notepad++ dataset -- 4.2 Results of the JuCi++ dataset -- 5 Discussion -- 6 Conclusions -- 7 Future Work -- References -- Author Index. |
| Record Nr. | UNINA-9910879585203321 |
Bourbakis Nikolaos
|
||
| Cham : , : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook on artificial intelligence-empowered applied software engineering . Volume 1 Novel methodologies to engineering smart software systems / / Maria Virvou [and three others] editors
| Handbook on artificial intelligence-empowered applied software engineering . Volume 1 Novel methodologies to engineering smart software systems / / Maria Virvou [and three others] editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (342 pages) |
| Disciplina | 006.3 |
| Collana | Artificial intelligence-enhanced software and systems engineering |
| Soggetto topico |
Artificial intelligence - Industrial applications
Software engineering |
| ISBN | 3-031-08202-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Foreword -- Preface -- Contents -- 1 Introduction to Handbook on Artificial Intelligence-Empowered Applied Software Engineering-VOL.1: Novel Methodologies to Engineering Smart Software Systems -- 1.1 Editorial Note -- 1.2 Book Summary and Future Volumes -- Bibliography for Further Reading -- Part I Survey of Recent Relevant Literature -- 2 Synergies Between Artificial Intelligence and Software Engineering: Evolution and Trends -- 2.1 Introduction -- 2.2 Methodology -- 2.3 The Evolution of AI in Software Engineering -- 2.4 Top Authors and Topics -- 2.5 Trends in AI Applications to Software Engineering -- 2.5.1 Machine Learning and Data Mining -- 2.5.2 Knowledge Representation and Reasoning -- 2.5.3 Search and Optimisation -- 2.5.4 Communication and Perception -- 2.5.5 Cross-Disciplinary Topics -- 2.6 AI-Based Tools -- 2.7 Conclusion -- References -- Part II Artificial Intelligence-Assisted Software Development -- 3 Towards Software Co-Engineering by AI and Developers -- 3.1 Introduction -- 3.2 Software Development Support and Automation Level by Machine Learning -- 3.2.1 Project Planning: Team Composition -- 3.2.2 Requirements Engineering: Data-Driven Persona -- 3.2.3 Design: Detection of Design Patterns -- 3.2.4 Categorization of Initiative and Level of Automation -- 3.3 Quality of AI Application Systems and Software -- 3.3.1 Metamorphic Testing -- 3.3.2 Improving Explainability -- 3.3.3 Systems and Software Architecture -- 3.3.4 Integration of Goals, Strategies, and Data -- 3.4 Towards Software Co-Engineering by AI and Developers -- 3.5 Conclusion -- References -- 4 Generalizing Software Defect Estimation Using Size and Two Interaction Variables -- 4.1 Introduction -- 4.2 Background -- 4.3 A Proposed Approach -- 4.3.1 Selection of Sample Projects -- 4.3.2 Data Collection -- 4.3.3 The Scope and Decision to Go with 'Interaction' Variables.
4.3.4 Data Analysis and Results Discussion -- 4.3.5 The Turning Point -- 4.3.6 Models Performance-Outside Sample -- 4.4 Conclusion and Limitations -- 4.5 Future Research Directions -- 4.6 Annexure-Model Work/Details -- References -- 5 Building of an Application Reviews Classifier by BERT and Its Evaluation -- 5.1 Background -- 5.2 The Process of Building a Machine Learning Model -- 5.3 Dataset -- 5.4 Preprocessing -- 5.5 Feature Engineering -- 5.5.1 Bag of Words (BoW) [4] -- 5.5.2 FastText [5, 6] -- 5.5.3 Bidirectional Encoder Representations from Transformers (BERT) Embedding [7] -- 5.6 Machine-Learning Algorithms -- 5.6.1 Naive Bayes -- 5.6.2 Logistic Regression -- 5.6.3 BERT -- 5.7 Training and Evaluation Methods -- 5.8 Results -- 5.9 Discussion -- 5.9.1 Comparison of Classifier Performances -- 5.9.2 Performance of the Naive Bayes Classifiers -- 5.9.3 Performance of the Logistic Regression Classifiers -- 5.9.4 Visualization of Classifier Attention Using the BERT -- 5.10 Threats to Validity -- 5.10.1 Labeling Dataset -- 5.10.2 Parameter Tuning -- 5.11 Summary -- References -- 6 Harmony Search-Enhanced Software Architecture Reconstruction -- 6.1 Introduction -- 6.2 Related Work -- 6.3 HS Enhanced SAR -- 6.3.1 SAR Problem -- 6.3.2 HS Algorithm -- 6.3.3 Proposed Approach -- 6.4 Experimentation -- 6.4.1 Test Problems -- 6.4.2 Competitor approaches -- 6.5 Results and Discussion -- 6.6 Conclusion and Future Work -- References -- 7 Enterprise Architecture-Based Project Model for AI Service System Development -- 7.1 Introduction -- 7.2 Related Work -- 7.3 AI Servie System and Enterprise Architecture -- 7.3.1 AI Service System -- 7.3.2 Enterprise Architecture and AI Service System -- 7.4 Modeling Business IT Alignment for AI Service System -- 7.4.1 Generic Business-AI Alignment Model -- 7.4.2 Comparison with Project Canvas Model. 7.5 Business Analysis Method for Constructing Domain Specific Business-AI Alignment Model -- 7.5.1 Business Analysis Tables -- 7.5.2 Model Construction Method -- 7.6 Practice -- 7.6.1 Subject Project -- 7.6.2 Result -- 7.7 Discussion -- 7.8 Conclusion -- References -- Part III Software Engineering Tools to Develop Artificial Intelligence Applications -- 8 Requirements Engineering Processes for Multi-agent Systems -- 8.1 Introduction -- 8.2 Background -- 8.2.1 Agents, Multiagent Systems, and the BDI Model -- 8.2.2 Requirements Engineering -- 8.3 Techniques and Process of Requirements Engineering for Multiagent Systems -- 8.3.1 Elicitation Requirements Techniques for Multiagent Systems -- 8.3.2 Requirements Engineering Processes for Multiagent Systems -- 8.3.3 Requirements Validation -- 8.4 Conclusion -- References -- 9 Specific UML-Derived Languages for Modeling Multi-agent Systems -- 9.1 Introduction -- 9.2 Backgroud -- 9.2.1 UML -- 9.2.2 Agents, Multiagent Systems, and the BDI Model -- 9.2.3 BDI Models -- 9.3 AUML-Agent UML -- 9.4 AORML-Agent-Object-Relationship Modeling Language -- 9.4.1 Considerations About AORML -- 9.5 AML-Agent Modeling Language -- 9.5.1 Considerations About AML -- 9.6 MAS-ML-Multiagent System Modeling Language -- 9.6.1 Considerations About MAS-ML -- 9.7 SEA-ML-Semantic Web Enabled Agent Modeling Language -- 9.7.1 Considerations -- 9.8 MASRML-A Domain-Specific Modeling Language for Multi-agent Systems Requirements -- 9.8.1 Considerations -- References -- 10 Methods for Ensuring the Overall Safety of Machine Learning Systems -- 10.1 Introduction -- 10.2 Related Work -- 10.2.1 Safety of Machine Learning Systems -- 10.2.2 Conventional Safety Model -- 10.2.3 STAMP and Its Related Methods -- 10.2.4 Standards for Software Lifecycle Processes and System Lifecycle Processes -- 10.2.5 Social Technology Systems and Software Engineering. 10.2.6 Software Layer Architecture -- 10.2.7 Assurance Case -- 10.2.8 Autonomous Driving -- 10.3 Safety Issues in Machine Learning Systems -- 10.3.1 Eleven Reasons Why We Cannot Release Autonomous Driving Cars -- 10.3.2 Elicitation Method -- 10.3.3 Eleven Problems on Safety Assessment for Autonomous Driving Car Products -- 10.3.4 Validity to Threats -- 10.3.5 Safety Issues of Automatic Operation -- 10.3.6 Task Classification -- 10.3.7 Unclear Assurance Scope -- 10.3.8 Safety Assurance of the Entire System -- 10.3.9 Machine Learning and Systems -- 10.4 STAMP S& -- S Method -- 10.4.1 Significance of Layered Modeling of Complex Systems -- 10.4.2 STAMP S& -- S and Five Layers -- 10.4.3 Scenario -- 10.4.4 Specification and Standard -- 10.5 CC-Case -- 10.5.1 Definition of CC-Case -- 10.5.2 Technical Elements of CC-Case -- 10.6 Measures for Autonomous Driving -- 10.6.1 Relationship Between Issues and Measures Shown in This Section -- 10.6.2 Measure 1: Analyze Various Quality Attributes in Control Action Units -- 10.6.3 Measure 2: Modeling the Entire System -- 10.6.4 Measure 3: Scenario Analysis and Specification -- 10.6.5 Measure 4: Socio-Technical System -- 10.7 Considerations in Level 3 Autonomous Driving -- 10.7.1 Example of Autonomous Driving with the 5-layered Model of STAMP S& -- S -- 10.8 Conclusion -- References -- 11 MEAU: A Method for the Evaluation of the Artificial Unintelligence -- 11.1 Introduction -- 11.2 Machine Learning and Online Unintelligence: Improvisation or Programming? -- 11.3 The New Paradigm of Information from Digital Media and Social Networks -- 11.4 Numbers, Images and Texts: Sources of Errors, Misinformation and Unintelligence -- 11.5 MEAU: A Method for the Evaluation of the Artificial Unintelligence -- 11.6 Results -- 11.7 Lessons Learned -- 11.8 Conclusions -- Appendix 1 -- Appendix 2 -- Appendix 3 -- Appendix 4. References -- 12 Quantum Computing Meets Artificial Intelligence: Innovations and Challenges -- 12.1 Introduction -- 12.1.1 Benefits of Quantum Computing for AI -- 12.2 Quantum Computing Motivations -- 12.2.1 What Does ``Quantum'' Mean? -- 12.2.2 The Wave-Particle Duality -- 12.2.3 Qubit Definition -- 12.2.4 The Schrödinger Equation -- 12.2.5 Superposition -- 12.2.6 Interference -- 12.2.7 Entanglement -- 12.2.8 Gate-Based Quantum Computing -- 12.3 Quantum Machine Learning -- 12.3.1 Variational Quantum Algorithms -- 12.3.2 Data Encoding -- 12.3.3 Quantum Neural Networks -- 12.3.4 Quantum Support Vector Machine -- 12.3.5 Variational Quantum Generator -- 12.4 Quantum Computing Limitations and Challenges -- 12.4.1 Scalability and Connectivity -- 12.4.2 Decoherence -- 12.4.3 Error Correction -- 12.4.4 Qubit Control -- 12.5 Quantum AI Software Engineering -- 12.5.1 Hybrid Quantum-Classical Frameworks -- 12.5.2 Friction-Less Development Environment -- 12.5.3 Quantum AI Software Life Cycle -- 12.6 A new Problem Solving Approach -- 12.6.1 Use Case 1: Automation and Transportation Sector -- 12.6.2 Use Case 2: Food for the Future World -- 12.6.3 Use Case 3: Cheaper Reliable Batteries -- 12.6.4 Use Case 4: Cleaner Air to Breathe -- 12.6.5 Use Case 5: AI-Driven Financial Solutions -- 12.7 Summary and Conclusion -- References. |
| Record Nr. | UNINA-9910591037803321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook on artificial intelligence-empowered applied software engineering : smart software applications in cyber-physical systems. / / edited by Maria Virvou, [and three others]
| Handbook on artificial intelligence-empowered applied software engineering : smart software applications in cyber-physical systems. / / edited by Maria Virvou, [and three others] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (209 pages) |
| Disciplina | 929.605 |
| Collana | Artificial Intelligence-Enhanced Software and Systems Engineering |
| Soggetto topico | Cooperating objects (Computer systems) |
| ISBN | 3-031-07650-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Foreword -- Preface -- Contents -- 1 Introduction to Handbook on Artificial Intelligence-Empowered Applied Software Engineering-Vol. 2: Smart Software Applications in Cyber-Physical Systems -- 1.1 Editorial Note -- 1.2 Book Summary and Future Volumes -- Bibliography for Further Reading -- Part I Smart Software Applications in Scientific Document Processing -- 2 Detection, Extraction and SPN Representation of Pseudo-Algorithms in Scientific Documents -- 2.1 Introduction -- 2.2 Visual Detection of Pseudo-Codes in Documents -- 2.2.1 Extraction of Different Text Blocks in Documents -- 2.2.2 Pyramidal Image Representation -- 2.2.3 Decomposition and Classification of the Pseudo Code Sections -- 2.3 Learning -- 2.3.1 The Dataset -- 2.3.2 Evaluation of Learning Process -- 2.4 Translation of Algorithms to Graphs and SPNs -- 2.4.1 Generation of a Graph -- 2.4.2 Stochastic Petri Net Representation -- 2.5 Conclusion and Future Work -- References -- 3 A Recommender Engine for Scientific Paper Peer-Reviewing System -- 3.1 Introduction -- 3.2 Related Works -- 3.3 Dataset and Feature -- 3.4 Methodology -- 3.4.1 Create Training Dataset -- 3.4.2 The Architecture of Recommender Engine -- 3.4.3 Final Recommendation Section -- 3.5 Result and Analysis -- 3.6 Conclusion(s) -- References -- Part II Smart Software Applications in Enterprise Modeling -- 4 Visualization of Digital-Enhanced Enterprise Modeling -- 4.1 Introduction -- 4.2 A Meta Model for Describing Value of Digital Service -- 4.3 Visualization Patterns -- 4.3.1 Service Definition Pattern -- 4.3.2 Value Proposition Pattern -- 4.3.3 Use Process Refinement pattern -- 4.4 Application Example -- 4.4.1 Healthcare Example -- 4.4.2 Application of Visualization Patterns -- 4.5 Discussions -- 4.5.1 Effectiveness -- 4.5.2 Novelty -- 4.5.3 Mapping to BMC -- 4.5.4 Limitation -- 4.6 Related Work -- 4.7 Conclusion.
References -- 5 Know-linking: When Machine Learning Meets Organizational Tools Analysis to Generate Shared Knowledge in Large Companies -- 5.1 Introduction -- 5.2 State of the Art -- 5.2.1 Profiling -- 5.2.2 Organizational Tools Analysis -- 5.2.3 Indexing -- 5.3 Related Works -- 5.4 Know-linking Approach -- 5.4.1 Presentation -- 5.5 Environment Study -- 5.6 Know-linking in Aerospace Manufacturer -- 5.6.1 Technical Audit -- 5.6.2 Extracting Profiles -- 5.6.3 Generating Semantic Models for Each Profile -- 5.6.4 Hidden Semantic Links Between Profiles -- 5.6.5 Indexing Based Profiles -- 5.7 Conclusion and Future Work -- References -- 6 Changes in Human Resources Management with Artificial Intelligence -- 6.1 Introduction -- 6.2 The Effect of AI in Human Resources Management -- 6.2.1 Recruitment Process with AI -- 6.2.2 Training Process with AI -- 6.2.3 Performance Assessment Process with AI -- 6.2.4 Talent Management Process with AI -- 6.2.5 Salary Management Process with AI -- 6.3 Conclusion -- References -- Part III Smart Software Applications in Education -- 7 Promoting Reading Among Teens: Analyzing the Emotional Preferences of Teenage Readers -- 7.1 Introduction -- 7.2 Related Works -- 7.3 Our Emotion Trait Analysis Approach -- 7.3.1 Processing a Book Description -- 7.3.2 Calculating an Emotion Vector -- 7.3.3 Emotion Trait -- 7.3.4 Partitioning Books by Average Ratings -- 7.3.5 Reducing Objective Values by Comparing Synonyms -- 7.3.6 Implementation -- 7.4 Conclusions and Future Works -- References -- 8 A Multi-institutional Analysis of CS1 Students' Common Misconceptions of Key Programming Concepts -- 8.1 Introduction -- 8.2 Literature Review -- 8.3 Study Design -- 8.3.1 Research Objective -- 8.3.2 Research Questions -- 8.3.3 Data Collection -- 8.3.4 Reliability of Pre-post-test Instrument -- 8.3.5 Study Procedure -- 8.4 Experimental Results. 8.5 Discussion of Results -- 8.6 Conclusion -- References -- Part IV Smart Software Applications in Healthcare and Medicine -- 9 Clustering-Based Scaling for Healthcare Data -- 9.1 Introduction -- 9.2 Fuzzy Clustering -- 9.3 Fuzzy Clustering for 3-Way Data -- 9.4 Fuzzy Cluster-Scaled Regression Analysis -- 9.5 Numerical Examples -- 9.6 Conclusions -- References -- 10 Normative and Fuzzy Components of Medical AI Applications -- 10.1 Preliminaries -- 10.2 Normative Issues -- 10.3 Fuzziness and Norms -- 10.4 Conclusions -- References -- Part V Smart Software Applications in Infrastructure Monitoring -- 11 Adaptive Structural Learning of Deep Belief Network and Its Application to Real Time Crack Detection of Concrete Structure Using Drone -- 11.1 Introduction -- 11.2 Adaptive Learning Method of Deep Belief Network -- 11.2.1 Restricted Boltzmann Machine and Deep Belief Network -- 11.2.2 Neuron Generation and Annihilation Algorithm of RBM -- 11.2.3 Layer Generation Algorithm of DBN -- 11.3 SDNET 2018 -- 11.3.1 Data Description -- 11.3.2 The Classification Results -- 11.4 Crack Detection for Japanese Concrete Structure -- 11.4.1 Data Collection -- 11.4.2 Detection Results -- 11.5 Real-Time Detection and Visualization System Using Drone -- 11.5.1 Embedded System -- 11.5.2 Demonstration Experiment -- 11.6 Conclusion -- References. |
| Record Nr. | UNINA-9910619283303321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Computing Systems : Emerging Application Areas / / edited by George A. Tsihrintzis, Maria Virvou, Lakhmi C. Jain
| Intelligent Computing Systems : Emerging Application Areas / / edited by George A. Tsihrintzis, Maria Virvou, Lakhmi C. Jain |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (X, 368 p. 144 illus., 20 illus. in color.) |
| Disciplina | 620 |
| Collana | Studies in Computational Intelligence |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN | 3-662-49179-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Editorial -- Semantic tools; Their |
| Record Nr. | UNINA-9910253966703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Interactive Multimedia Systems and Services in Practice / / edited by George A. Tsihrintzis, Maria Virvou, Lakhmi C. Jain, Robert J. Howlett, Toyohide Watanabe
| Intelligent Interactive Multimedia Systems and Services in Practice / / edited by George A. Tsihrintzis, Maria Virvou, Lakhmi C. Jain, Robert J. Howlett, Toyohide Watanabe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (130 p.) |
| Disciplina | 006.7 |
| Collana | Smart Innovation, Systems and Technologies |
| Soggetto topico |
Computational intelligence
Computers Computational Intelligence Information Systems and Communication Service |
| ISBN | 3-319-17744-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intelligent Interactive Multimedia Systems in Practice: An Introduction -- On the Use of Multi-attribute Decision Making for Combining Audio-Lingual and Visual-Facial Modalities in Emotion Recognition -- Cooperative Learning Assisted by Automatic Classification within Social Networking Services -- Improving Peer-to-Peer Communication in e-Learning by Development of an Advanced Messaging System -- Fuzzy-based Digital Video Stabilization in Static Scenes -- Development of Architecture, Information Archive and Multimedia Formats for Digital e-Libraries -- Layered Ontological Image for Intelligent Interaction to extend User Capabilities on Multimedia Systems in a Folksonomy Driven Environment. |
| Record Nr. | UNINA-9910299821703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Knowledge-Based Software Engineering : 2022 : Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Larnaca, Cyprus, August 22-24, 2022 / / Maria Virvou, Takuya Saruwatari, and Lakhmi C. Jain, editors
| Knowledge-Based Software Engineering : 2022 : Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Larnaca, Cyprus, August 22-24, 2022 / / Maria Virvou, Takuya Saruwatari, and Lakhmi C. Jain, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (219 pages) |
| Disciplina | 005.1 |
| Collana | Learning and Analytics in Intelligent Systems Series |
| Soggetto topico | Software engineering |
| ISBN | 3-031-17583-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Proposal of a Middleware to Support Development of IoT Firmware Analysis Tools -- Chapter 2: Feature-Based Cloud Provisioning for Rehosting -- Chapter 3: Pattern to Improve Reusability of Numerical Simulation -- Chapter 4: SpiderTailed: A Tool for Detecting Presentation Failures Using Screenshots and DOM Extraction. |
| Record Nr. | UNINA-9910672445503321 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Knowledge-based software engineering : proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26, 2020 / / edited by Maria Virvou, Hiroyuki Nakagawa, Lakhmi C. Jain
| Knowledge-based software engineering : proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26, 2020 / / edited by Maria Virvou, Hiroyuki Nakagawa, Lakhmi C. Jain |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVI, 194 pages) : 104 illus., 73 illus. in color |
| Disciplina | 929.605 |
| Collana | Learning and Analytics in Intelligent Systems |
| Soggetto topico | Software engineering |
| ISBN | 3-030-53949-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Architectures for knowledge-based shells -- Chapter 2: Automating software design and synthesis -- Chapter 3: Decision support methods for software engineering -- Chapter 4: Development of multi-modal interfaces -- Chapter 5:Development of user models -- Chapter 6: Development processes for knowledge-based applications -- Chapter 7: Empirical /evaluation studies for knowledge-based applications -- Chapter 8: Intelligent user interfaces and human-machine interaction -- Chapter 9: Internet-based interactive applications -- Chapter 10: Knowledge acquisition -- Chapter 11: Knowledge engineering for process management and project management. |
| Record Nr. | UNINA-9910416083503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Knowledge-based software engineering : proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26, 2020 / / edited by Maria Virvou, Hiroyuki Nakagawa, Lakhmi C. Jain
| Knowledge-based software engineering : proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26, 2020 / / edited by Maria Virvou, Hiroyuki Nakagawa, Lakhmi C. Jain |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVI, 194 pages) : 104 illus., 73 illus. in color |
| Disciplina | 929.605 |
| Collana | Learning and Analytics in Intelligent Systems |
| Soggetto topico | Software engineering |
| ISBN | 3-030-53949-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Architectures for knowledge-based shells -- Chapter 2: Automating software design and synthesis -- Chapter 3: Decision support methods for software engineering -- Chapter 4: Development of multi-modal interfaces -- Chapter 5:Development of user models -- Chapter 6: Development processes for knowledge-based applications -- Chapter 7: Empirical /evaluation studies for knowledge-based applications -- Chapter 8: Intelligent user interfaces and human-machine interaction -- Chapter 9: Internet-based interactive applications -- Chapter 10: Knowledge acquisition -- Chapter 11: Knowledge engineering for process management and project management. |
| Record Nr. | UNISA-996465357603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Knowledge-based software engineering [[electronic resource] ] : proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering / / edited by Maria Virvou and Saeko Matsuura
| Knowledge-based software engineering [[electronic resource] ] : proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering / / edited by Maria Virvou and Saeko Matsuura |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : Ios Press, c2012 |
| Descrizione fisica | 1 online resource (340 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
VirvouMaria
MatsuuraSaeko |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Expert systems (Computer science)
Software engineering |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-299-33325-7
1-61499-094-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; Preface; Contents; A Verification Method of the Correctness of Requirements Ontology; Question Answering System Using Web Relevance Score and Translation Probability; Problems of a Method for Estimating SEAC and EAC by Earned Value Analysis; Proposal of Analysis Method Using Conceptual Data Modeling and Theory of Constraints; A Review Method Based on a Matrix Interpretation of GSN; Artificial Immune System-Based Music Piece Recommendation; A Concept-Based Image Acquisition System with User-Driven Classification; Markerless Human Motion Tracking: A Survey
Evaluation of an Assurance Case Development Method (d*)System Prototype Generation Tool for Requirements Review; Validating Quality Requirements Considerations in a Design Document Using Spectrum Analysis; An Evaluation of a Quality Model for a High Quality Procurement Specification; A Metamodel for Design Review Derived from Design Specification Templates; Full-Text Retrieval System for Humanities Researches; A Preliminary Study on Formalization of Motivation Process in Personal Software Process Course; Evaluation of End User Accessibility Support Using Link Content Analysis Evaluation of a Representation System of Quality IndicatorsToward Dynamic Assurance Cases; An Automatic Approach for Detecting Early Indicators of Design Anti-Patterns; Goal-Oriented Robustness Analysis; A Review Method of Requirements Analysis Model in UML with Prototyping; Development of Requirement Specification Editor with Semantic Information; Consistent GUI Arrangements by Analyzing Existing Windows; Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model; Killing Mutants Effectively - A Search Based Approach A Mutation Test Based Approach to Evaluating Test Suites for Web ApplicationsDetecting API Usage Patterns from Software Repositories Using Method Categorization; Computer-Aided Diagnosis and Access on Peoples' Health Status Using Web Technology and Mobile Devices; Using Fuzzy Cognitive Maps for the Domain Knowledge Representation of an Adaptive e-Learning System; Error Diagnosis in Computer-Supported Collaborative Multiple Language Learning Using User Classification; Motivated Agents in Virtual Worlds; Knowledge Acquisition for the Further Development of e-Government Macro and Micro Patterns in the Software Design ActivityFinding Cross-Browser JavaScript Codes Using Sequential Pattern Mining; Multi-Level Human Robot Interaction by Aligning Different Ontologies; Subject Index; Author Index |
| Record Nr. | UNINA-9910462293203321 |
| Amsterdam ; ; Washington, D.C., : Ios Press, c2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Knowledge-based software engineering [[electronic resource] ] : proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering / / edited by Maria Virvou and Saeko Matsuura
| Knowledge-based software engineering [[electronic resource] ] : proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering / / edited by Maria Virvou and Saeko Matsuura |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : Ios Press, c2012 |
| Descrizione fisica | 1 online resource (340 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
VirvouMaria
MatsuuraSaeko |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Expert systems (Computer science)
Software engineering |
| ISBN |
1-299-33325-7
1-61499-094-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; Preface; Contents; A Verification Method of the Correctness of Requirements Ontology; Question Answering System Using Web Relevance Score and Translation Probability; Problems of a Method for Estimating SEAC and EAC by Earned Value Analysis; Proposal of Analysis Method Using Conceptual Data Modeling and Theory of Constraints; A Review Method Based on a Matrix Interpretation of GSN; Artificial Immune System-Based Music Piece Recommendation; A Concept-Based Image Acquisition System with User-Driven Classification; Markerless Human Motion Tracking: A Survey
Evaluation of an Assurance Case Development Method (d*)System Prototype Generation Tool for Requirements Review; Validating Quality Requirements Considerations in a Design Document Using Spectrum Analysis; An Evaluation of a Quality Model for a High Quality Procurement Specification; A Metamodel for Design Review Derived from Design Specification Templates; Full-Text Retrieval System for Humanities Researches; A Preliminary Study on Formalization of Motivation Process in Personal Software Process Course; Evaluation of End User Accessibility Support Using Link Content Analysis Evaluation of a Representation System of Quality IndicatorsToward Dynamic Assurance Cases; An Automatic Approach for Detecting Early Indicators of Design Anti-Patterns; Goal-Oriented Robustness Analysis; A Review Method of Requirements Analysis Model in UML with Prototyping; Development of Requirement Specification Editor with Semantic Information; Consistent GUI Arrangements by Analyzing Existing Windows; Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model; Killing Mutants Effectively - A Search Based Approach A Mutation Test Based Approach to Evaluating Test Suites for Web ApplicationsDetecting API Usage Patterns from Software Repositories Using Method Categorization; Computer-Aided Diagnosis and Access on Peoples' Health Status Using Web Technology and Mobile Devices; Using Fuzzy Cognitive Maps for the Domain Knowledge Representation of an Adaptive e-Learning System; Error Diagnosis in Computer-Supported Collaborative Multiple Language Learning Using User Classification; Motivated Agents in Virtual Worlds; Knowledge Acquisition for the Further Development of e-Government Macro and Micro Patterns in the Software Design ActivityFinding Cross-Browser JavaScript Codes Using Sequential Pattern Mining; Multi-Level Human Robot Interaction by Aligning Different Ontologies; Subject Index; Author Index |
| Record Nr. | UNINA-9910785995603321 |
| Amsterdam ; ; Washington, D.C., : Ios Press, c2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
