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 | ||
![]() | ||
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 |
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] | ||
![]() | ||
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] |
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] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
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] | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|