%{search_type} search results

• Human-Centered Design for Learner Acceptance, Engagement, and Performance
• Design Strategies and Guidelines for Adaptive Instructional Systems
• Individual Differences in Adaptive Learning
• Applications of Adaptive Instructional Systems

This book constitutes the refereed proceedings of the 5th International Conference, AIS 2023, held as part of the 25th International Conference, HCI International 2023, which was held virtually in Copenhagen, Denmark in July 2023. The total of 1578 papers and 396 posters included in the HCII 2023 proceedings was carefully reviewed and selected from 7472 submissions. The AIS 2023 proceeding helps to understand the theory and enhance the state-of-practice for a set of technologies (tools and methods) called adaptive instructional systems (AIS). AIS are defined as artificially intelligent, computer-based systems that guide learning experiences by tailoring instruction and recommendations based on the goals, needs, preferences, and interests of each individual learner or team in the context of domain learning objectives

• Classification and Case-Based Reasoning
• Computer Vision
• Decision Making
• E-Learning
• Information Fusion
• Knowledge Graph and Link Prediction
• Machine Learning Theory
• Pattern Recognition
• Industrial Applications
• Natural Language Processing
• Optimization
• Prediction
• Reinforcement Learning
• Security
• Various Applications

This double volume LNAI 13925-13926 constitutes the thoroughly refereed proceedings of the 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, held in Shanghai, China, in July 2023. The 50 full papers and 20 short papers presented were carefully reviewed and selected from 129 submissions. The IEA/AIE 2023 conference on applications of applied intelligent systems to solve real-life problems in all areas including business and finance, science, engineering, industry, cyberspace, bioinformatics, automation, robotics, medicine and biomedicine, and human-machine interactions

• PAAMS 2023 - MAIN TRACK
• Brain waves classification using a single-channel dry EEG headset: an application for controlling an intelligent wheelchair
• AJAN: An Engineering Framework for Semantic Web-Enabled Agents and Multi-Agent Systems
• Adaptive consumption by continuous negotiation
• When Extrinsic Payoffs meet Intrinsic Expectations
• Multi-Agent Reinforcement Learning for Structured Symbolic Music Generation
• A multi-level density-based crowd simulation architecture
• Resolving the Dilemma of Responsibility in Multi-Agent Flow Networks
• Lessons Learned on the Design of a Predictive Agent for LoRaWAN Network Planning
• A solution concept with an exploration bias for repeated stochastic coalitional games
• Governing online forum interactions with multi-agent system: A Reddit use case with the JaCaMo platform
• Fuzzy Hyperplane based Twin-KSVC and Its Applications to Stock Price Movement Direction Prediction Based on News Articles
• Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization
• A Decentralized Resource Allocation Protocol in Social Networks
• Multi-agent learning of causal networks in the Internet of Things
• Investigation of Integrating Solution Techniques for Lifelong MAPD Problem Considering Endpoints
• Towards Norm Entrepreneurship in Agent Societies
• Velluscinum: A Middleware for Using Digital Assets in Multi-Agent Systems
• Parking Problem with Multiple Gates
• UAV Swarm Control and Coordination Using Jason BDI Agents on top of ROS
• Traffic Assignment Optimization using Flow-based Multi-Maps
• A Monitoring Agent for Advancing Elderly Care through Mobile Health Technology
• Extrinsic Emotion Regulation by Intelligent Agents: A computational model based on Arousal-Valence dimensions
• Optimization of Complex Systems in Photonics by Multi-Agent Robotic Control
• GTG-CoL: A new Decentralized Federated Learning based on Consenssus for dynamic networks
• A novel framework for multi-agent knowledge-based federated learning systems
• Exploring Planner-Guided Swarms Running on Real Robots
• Integrating Policy Summaries with Reward Decomposition for Explaining Reinforcement Learning Agents
• A Multi-Agent Based Dynamic Network Slice Tarification Framework
• An IDE to Support the Development of Embedded Multi-Agent Systems. Bioinspired Artificial Cockroach Colony Strategy combined with 2-type Fuzzy Logic for the Priority-Based Sanitization of Railway Stations
• Embedding Autonomous Agents into Low-Power Wireless Sensor Networks
• Safe Autonomous Decision-Making with vGOAL
• PAAMS 2023 - DEMONSTRATIONS
• Towards Exception Handling in the SARL Agent Platform
• Multi-Agent Path Finding for Indoor Quadcopters
• Energy community integration of a smart home based on an open source multiagent system
• Cognitive Assistant for Enhanced eHealth Monitoring
• Extended Green Cloud - Modeling Cloud Infrastructure with Green Energy Sources

This book constitutes the proceedings of the 21st International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2023, held in Guimaraes, Portugal, in July 2023. The 32 full papers in this book were reviewed and selected from 70 submissions. 5 demonstration papers are also included in this volume. The papers deal with the application and validation of agent-based models, methods, and technologies in a number of key applications areas, including: advanced models and learning, agent-based programming, decision-making, education and social interactions, formal and theoretic models, health and safety, mobility and the city, swarms and task allocation

• Swarm Robotics and UAV A Blockchain-Based Service-Oriented Framework to Enable Cooperation of Swarm Robots
• Collective Behavior for Swarm Robots with Distributed Learning
• Exploration of Underwater Environments with a Swarm of Heterogeneous Surface Robots
• Integrating Reinforcement Learning and Optimization Task: Evaluating an agent to dynamically select PSO communication topology
• Filho Swarm Multi-agent Trapping Multi-target Control with Obstacle Avoidance
• A Novel Data Association Method for Multi-target Tracking Based on IACA
• MACT: Multi-agent Collision Avoidance with Continuous Transition Reinforcement Learning via Mixup
• Research on UAV Dynamic Target Tracking with Multi-sensor Position Feedback
• Multiple Unmanned Aerial Vehicles Path Planning Based on Collaborative Differential Evolution
• Design and Analysis of VLC-OCC-CDMA Rake System with Multiple Sources
• x Machine Learning Noise-tolerant Hardware-aware Pruning for Deep Neural Networks
• Nature Inspired Algorithm to Promoting Diversity in Recommender Systems
• Analysis of SIR Compartmental Model Results with Different Update Strategies
• Research on Location Selection of General Merchandise Store Based on Machine Learning
• CF-PMSS: Collaborative Filtering Based on Preference Model and Sparrow Search
• Asynchronous Federated Learning Framework Based on Dynamic Selective Transmission
• Data Mining Small Aerial Target Detection Algorithm Based on Improved YOLOv5
• Secondary Pulmonary Tuberculosis Lesions Detection Based on Improved YOLOv5 Networks
• Abnormal Traffic Detection based on a Fusion BiGRU Neural Network
• A Fabric Defect Detection Model Based on Feature Extraction of Weak Sample Scene
• Intrusion Detection Method Based on Complementary Adversarial Generation Network
• EEG-Based Subject-Independent Depression Detection Using Dynamic Convolution and Feature Adaptation
• Multi-label Ensemble Defense Scheme Based on Negative Correlation
• Analysis of the Impact of Mathematics Courses on Professional Courses in Science and Engineering Majors
• Intelligent of Clustering Algorithms to Sparseness of One Correlation Network
• Routing and Scheduling Problems Monte Carlo Tree Search with Adaptive Estimation for DAG Scheduling
• Resource Allocation in Heterogeneous Network with Supervised GNNs
• Petrosian Satellite downlink scheduling under breakpoint resume mode
• A Repetitive Grouping Max-Min Ant System for Multi-Depot Vehicle Routing Problem with Time Window
• Secure Access Method of Power Internet of things based on Zero Trust Architecture
• On the Complete Area Coverage Problem of Painting Robots
• Reachability Map-based Motion Planning for Robotic Excavation
• Reinforced Vision-and-Language Navigation Based on Historical BERT
• Stock Prediction and Portfolio Optimization Meta-heuristics for Portfolio Optimization: Part I – Review of Meta-heuristics
• Meta-heuristics for Portfolio Optimization: Part II - Empirical Analysis . Hierarchical Node Representation Learning for Stock Prediction
• Application of APSO-BP Neural Network Algorithm in Stock Price Prediction
• The Research in Credit Risk of Micro and Small Companies with Linear Regression Model
• Bo ICSI-Optimization Competition Deep-Layered Differential Evolution
• Dual-Population Differential Evolution L-NTADE for ICSI-OC’2023 Competition
• Group Simulated Annealing Algorithm for ICSI-OC

This two-volume set LNCS 13968 and 13969 constitutes the proceedings of the 14th International Conference on Advances in Swarm Intelligence, ICSI 2023, which took place in Shenzhen, China, China, in July 2023. The theme of this year’s conference was “Serving Life with Swarm Intelligence”. The 81 full papers presented were carefully reviewed and selected from 170 submissions. The papers are organized into 12 cohesive sections covering major topics of swarm intelligence research and its development and applications. The papers of the first part cover topics such as: Swarm Intelligence Computing; Swarm Intelligence Optimization Algorithms; Particle Swarm Optimization Algorithms; Genetic Algorithms; Optimization Computing Algorithms; Neural Network Search & Large-Scale Optimization; Multi-objective Optimization

• Swarm Robotics and UAV A Blockchain-Based Service-Oriented Framework to Enable Cooperation of Swarm Robots
• Collective Behavior for Swarm Robots with Distributed Learning
• Exploration of Underwater Environments with a Swarm of Heterogeneous Surface Robots
• Integrating Reinforcement Learning and Optimization Task: Evaluating an agent to dynamically select PSO communication topology
• Filho Swarm Multi-agent Trapping Multi-target Control with Obstacle Avoidance
• A Novel Data Association Method for Multi-target Tracking Based on IACA
• MACT: Multi-agent Collision Avoidance with Continuous Transition Reinforcement Learning via Mixup
• Research on UAV Dynamic Target Tracking with Multi-sensor Position Feedback
• Multiple Unmanned Aerial Vehicles Path Planning Based on Collaborative Differential Evolution
• Design and Analysis of VLC-OCC-CDMA Rake System with Multiple Sources
• x Machine Learning Noise-tolerant Hardware-aware Pruning for Deep Neural Networks
• Nature Inspired Algorithm to Promoting Diversity in Recommender Systems
• Analysis of SIR Compartmental Model Results with Different Update Strategies
• Research on Location Selection of General Merchandise Store Based on Machine Learning
• CF-PMSS: Collaborative Filtering Based on Preference Model and Sparrow Search
• Asynchronous Federated Learning Framework Based on Dynamic Selective Transmission
• Data Mining Small Aerial Target Detection Algorithm Based on Improved YOLOv5
• Secondary Pulmonary Tuberculosis Lesions Detection Based on Improved YOLOv5 Networks
• Abnormal Traffic Detection based on a Fusion BiGRU Neural Network
• A Fabric Defect Detection Model Based on Feature Extraction of Weak Sample Scene
• Intrusion Detection Method Based on Complementary Adversarial Generation Network
• EEG-Based Subject-Independent Depression Detection Using Dynamic Convolution and Feature Adaptation
• Multi-label Ensemble Defense Scheme Based on Negative Correlation
• Analysis of the Impact of Mathematics Courses on Professional Courses in Science and Engineering Majors
• Intelligent of Clustering Algorithms to Sparseness of One Correlation Network
• Routing and Scheduling Problems Monte Carlo Tree Search with Adaptive Estimation for DAG Scheduling
• Resource Allocation in Heterogeneous Network with Supervised GNNs
• Petrosian Satellite downlink scheduling under breakpoint resume mode
• A Repetitive Grouping Max-Min Ant System for Multi-Depot Vehicle Routing Problem with Time Window
• Secure Access Method of Power Internet of things based on Zero Trust Architecture
• On the Complete Area Coverage Problem of Painting Robots
• Reachability Map-based Motion Planning for Robotic Excavation
• Reinforced Vision-and-Language Navigation Based on Historical BERT
• Stock Prediction and Portfolio Optimization Meta-heuristics for Portfolio Optimization: Part I – Review of Meta-heuristics
• Meta-heuristics for Portfolio Optimization: Part II - Empirical Analysis . Hierarchical Node Representation Learning for Stock Prediction
• Application of APSO-BP Neural Network Algorithm in Stock Price Prediction
• The Research in Credit Risk of Micro and Small Companies with Linear Regression Model
• Bo ICSI-Optimization Competition Deep-Layered Differential Evolution
• Dual-Population Differential Evolution L-NTADE for ICSI-OC’2023 Competition
• Group Simulated Annealing Algorithm for ICSI-OC 2022

This two-volume set LNCS 13968 and 13969 constitutes the proceedings of the 14th International Conference on Advances in Swarm Intelligence, ICSI 2023, which took place in Shenzhen, China, China, in July 2023. The theme of this year’s conference was “Serving Life with Swarm Intelligence”. The 81 full papers presented were carefully reviewed and selected from 170 submissions. The papers are organized into 12 cohesive sections covering major topics of swarm intelligence research and its development and applications. The papers of the second part cover topics such as: Swarm Robotics and UAV; Machine Learning; Data Mining; Routing and Scheduling Problems; Stock Prediction and Portfolio Optimization; ICSI-Optimization Competition.

• Intro
• Preface
• Organization
• International Artificial Intelligence in Education Society
• Contents
• Full Papers
• Machine-Generated Questions Attract Instructors When Acquainted with Learning Objectives
• 1 Introduction
• 2 Related Work
• 3 Overview of Quadl
• 4 Evaluation Study
• 4.1 Model Implementation
• 4.2 Survey Study
• 5 Results
• 5.1 Instructor Survey
• 5.2 Accuracy of the Answer Prediction Model
• 5.3 Qualitative Analysis of Questions Generated by Quadl
• 6 Discussion
• 7 Conclusion
• References

• SmartPhone: Exploring Keyword Mnemonic with Auto-generated Verbal and Visual Cues
• 1 Introduction
• 2 Methodology
• 2.1 Pipeline for Auto-generating Verbal and Visual Cues
• 3 Experimental Evaluation
• 3.1 Experimental Design
• 3.2 Experimental Conditions
• 3.3 Evaluation Metrics
• 3.4 Results and Discussion
• 4 Conclusions and Future Work
• References
• Implementing and Evaluating ASSISTments Online Math Homework Support At large Scale over Two Years: Findings and Lessons Learned
• 1 Introduction
• 2 Background
• 2.1 The ASSISTments Program
• 2.2 Theoretical Framework

• 2.3 Research Design
• 3 Implementation of ASSISTments at Scale
• 3.1 Recruitment
• 3.2 Understanding School Context
• 3.3 Training and Continuous Support
• 3.4 Specifying a Use Model and Expectation
• 3.5 Monitoring Dosage and Evaluating Quality of Implementation
• 4 Data Collection
• 5 Analysis and Results
• 6 Conclusion
• References
• The Development of Multivariable Causality Strategy: Instruction or Simulation First?
• 1 Introduction
• 2 Literature Review
• 2.1 Learning Multivariable Causality Strategy with Interactive Simulation

• 2.2 Problem Solving Prior to Instruction Approach to Learning
• 3 Method
• 3.1 Participants
• 3.2 Design and Procedure
• 3.3 Materials
• 3.4 Data Sources and Analysis
• 4 Results
• 5 Discussion
• 6 Conclusions, Limitations, and Future Work
• References
• Content Matters: A Computational Investigation into the Effectiveness of Retrieval Practice and Worked Examples
• 1 Introduction
• 2 A Computational Model of Human Learning
• 3 Simulation Studies
• 3.1 Data
• 3.2 Method
• 4 Results
• 4.1 Pretest
• 4.2 Learning Gain
• 4.3 Error Type
• 5 General Discussion
• 6 Future Work

• 7 Conclusions
• References
• Investigating the Utility of Self-explanation Through Translation Activities with a Code-Tracing Tutor
• 1 Introduction
• 1.1 Code Tracing: Related Work
• 2 Current Study
• 2.1 Translation Tutor vs. Standard Tutor
• 2.2 Participants
• 2.3 Materials
• 2.4 Experimental Design and Procedure
• 3 Results
• 4 Discussion and Future Work
• References
• Reducing the Cost: Cross-Prompt Pre-finetuning for Short Answer Scoring
• 1 Introduction
• 2 Related Work
• 3 Preliminaries
• 3.1 Task Definition
• 3.2 Scoring Model
• 4 Method
• 5 Experiment
• 5.1 Dataset

This book constitutes the refereed proceedings of the 24th International Conference on Artificial Intelligence in Education, AIED 2023, held in Tokyo, Japan, during July 3-7, 2023. This event took place in hybrid mode. The 53 full papers and 26 short papers presented in this book were carefully reviewed and selected from 311 submissions. The papers present result in high-quality research on intelligent systems and the cognitive sciences for the improvement and advancement of education. The conference was hosted by the prestigious International Artificial Intelligence in Education Society, a global association of researchers and academics specializing in the many fields that comprise AIED, including, but not limited to, computer science, learning sciences, and education

• Human-Centered Artificial Intelligence
• Explainability, Transparency, and Trustworthiness
• Ethics and Fairness in Artificial Intelligence
• AI-Supported User Experience Design
• Artificial Intelligence for Language, Text, and Speech-Related Tasks
• Human-AI Collaboration
• Artificial Intelligence for Decision-Support and Perception Analysis
• Innovations in AI-Enabled Systems

This double volume book set constitutes the refereed proceedings of 4th International Conference, AI-HCI 2023, held as part of the 25th International Conference, HCI International 2023, which was held virtually in Copenhagen, Denmark in July 2023. The total of 1578 papers and 396 posters included in the HCII 2023 proceedings was carefully reviewed and selected from 7472 submissions. The first volume focuses on topics related to Human-Centered Artificial Intelligence, explainability, transparency and trustworthiness, ethics and fairness, as well as AI-supported user experience design. The second volume focuses on topics related to AI for language, text, and speech-related tasks, human-AI collaboration, AI for decision-support and perception analysis, and innovations in AI-enabled systems

• Human-Centered Artificial Intelligence
• Explainability, Transparency, and Trustworthiness
• Ethics and Fairness in Artificial Intelligence
• AI-Supported User Experience Design
• Artificial Intelligence for Language, Text, and Speech-Related Tasks
• Human-AI Collaboration
• Artificial Intelligence for Decision-Support and Perception Analysis
• Innovations in AI-Enabled Systems

This double volume book set constitutes the refereed proceedings of 4th International Conference, AI-HCI 2023, held as part of the 25th International Conference, HCI International 2023, which was held virtually in Copenhagen, Denmark in July 2023. The total of 1578 papers and 396 posters included in the HCII 2023 proceedings was carefully reviewed and selected from 7472 submissions. The first volume focuses on topics related to Human-Centered Artificial Intelligence, explainability, transparency and trustworthiness, ethics and fairness, as well as AI-supported user experience design. The second volume focuses on topics related to AI for language, text, and speech-related tasks, human-AI collaboration, AI for decision-support and perception analysis, and innovations in AI-enabled systems

• Brain-Computer Interfaces and Neurotechnolgy
• Neuroergonomics, Physiological Measurement, and Human Performance
• Augmented Cognition: Evolving Theory and Practice
• Augmented and Virtual Reality for Augmented Cognition
• Understanding Human Cognition and Performance in IT Security

This book constitutes the refereed proceedings of 17th International Conference, AC 2023, held as part of the 25th International Conference, HCI International 2023, which was held virtually in Copenhagen, Denmark in July 2023. The total of 1578 papers and 396 posters included in the HCII 2023 proceedings was carefully reviewed and selected from 7472 submissions. The AC 2023 conference focuses on topics related to Brain-Computer Interfaces and neurotechnology; neuroergonomics, physiological measurements, and human performance; evolving theory and practice of AC; Augmented and Virtual Reality for AC; as well as understanding human cognition and performance in IT security

• Intro
• Preface
• Organization
• Contents - Part I
• Contents - Part II
• Analysis of Molecular Dynamics Data in Proteomics
• Recognition of Conformational States of a G Protein-Coupled Receptor from Molecular Dynamic Simulations Using Sampling Techniques
• 1 Introduction
• 2 Materials and Methods
• 2.1 Class Imbalance Correction Methods
• 2.2 Experimental Setup
• 2.3 Evaluation Metrics for Imbalanced Data Problems
• 3 Results and Discussion
• 3.1 Interpretation Results
• 4 Conclusions
• References

• Identification of InhA-Inhibitors Interaction Fingerprints that Affect Residence Time
• 1 Introduction
• 1.1 Ligand-Receptor Binding Kinetics
• 1.2 Computer Methods to Determine Binding Kinetic Parameters
• 1.3 Research Objective
• 2 Mycobacterium Enoyl Acyl Carrier Protein Reductase (InhA)
• 3 Methods
• 4 Results
• 4.1 Ligand Similarity
• 4.2 Drug-Like Ligand Properties that Affect Residence Time
• 5 Discussion and Conclusions
• References
• Bioinformatics
• Validation of Height-for-Age and BMI-for-Age Z-scores Assessment Using Android-Based Mobile Apps
• 1 Introduction

• 2 Methods
• 2.1 Subjects
• 2.2 Anthropometric Measurements
• 2.3 Z-score Calculation
• 2.4 Statistical Analysis
• 3 Outcomes
• 4 Discussion
• 5 Conclusion
• 6 Limitations
• References
• An Algorithm for Pairwise DNA Sequences Alignment
• 1 Introduction
• 2 Related Work
• 3 An Algorithm for Pairwise DNA Sequences Alignment Based on the Proposed CAT Method
• 4 Experimental Results and Analysis
• 4.1 Implementation of the Proposed Method CAT for Sequences Alignment
• 4.2 Collision Analysis
• 4.3 Performance Analysis
• 5 Conclusion
• References

• Multiallelic Maximal Perfect Haplotype Blocks with Wildcards via PBWT
• 1 Introduction
• 2 Finding Maximal Blocks with Wildcards
• 3 The Algorithm
• 3.1 Positional BWT Extended to Wildcards
• 3.2 Building the Extended PBWT
• 3.3 Computing the Maximal Blocks
• 4 Experimental Results
• 5 Conclusions
• References
• GPU Cloud Architectures for Bioinformatic Applications
• 1 Introduction
• 2 GPU Usage in Bioinformatics
• 3 Processing Outsourcing
• 4 GPU Virtualisation in Cloud Architectures
• 5 Architecture Characteristics
• 6 Experiments
• 7 Conclusions
• References

• Biomarker Identification
• Novel Gene Signature for Bladder Cancer Stage Identification
• 1 Introduction
• 2 Data Description
• 3 Metodology
• 3.1 Differential Expressed Genes Extraction and Visualization
• 3.2 Development of Classification Models
• 4 Results and Discussion
• 4.1 Gene Enrichment
• 5 Conclusions
• References
• Predicting Cancer Stage from Circulating microRNA: A Comparative Analysis of Machine Learning Algorithms
• 1 Introduction
• 2 Materials and Methods
• 2.1 Study Cohort
• 2.2 Algorithms
• 2.3 Evaluation Metrics
• 2.4 Experimental Design

This volume constitutes the proceedings of the 10th International Work-Conference on IWBBIO 2023, held in Meloneras, Gran Canaria, Spain, during July 12-14, 2022. The total of 79 papers presented in the proceedings, was carefully reviewed and selected from 209 submissions. The papers cove the latest ideas and realizations in the foundations, theory, models, and applications for interdisciplinary and multidisciplinary research encompassing disciplines of computer science, mathematics, statistics, biology, bioinformatics, and biomedicine

• Intro
• Preface
• Organization
• Contents - Part II
• Contents - Part I
• Feature Selection, Extraction, and Data Mining in Bioinformatics
• Agent Based Modeling of Fish Shoal Behavior
• 1 Introduction
• 2 Modeling
• 3 Methods
• 3.1 Multi agents Based Modeling and Simulation
• 4 Results and Discussion
• References
• Entropy Approach of Processing for Fish Acoustic Telemetry Data to Detect Atypical Behavior During Welfare Evaluation
• 1 Introduction
• 1.1 Biotelemetry
• 1.2 Fish Welfare
• 2 Dataset
• 3 Methods
• 4 Results
• 5 Conclusion
• References

• Determining HPV Status in Patients with Oropharyngeal Cancer from 3D CT Images Using Radiomics: Effect of Sampling Methods
• 1 Introduction
• 2 Material and Methods
• 2.1 Data Set
• 2.2 Image Pre-processing
• 2.3 Feature Extraction
• 2.4 Data Pre-processing and Resampling
• 2.5 Feature Selection
• 2.6 Model Training and Evaluation
• 3 Results
• 3.1 Data Pre-processing and Resampling
• 3.2 Feature Extraction
• 3.3 Feature Selection
• 3.4 Performance Evaluation
• 4 Discussion
• 5 Conclusion
• References
• MetaLLM: Residue-Wise Metal Ion Prediction Using Deep Transformer Model

• 1 Introduction
• 2 Methodology
• 2.1 MetaLLM: Residue-Wise Metal Ion Prediction
• 3 Experiments and Results
• 3.1 Experimental Details
• 3.2 Result Analysis
• 4 Conclusion
• References
• Genome-Phenome Analysis
• Prediction of Functional Effects of Protein Amino Acid Mutations
• 1 Introduction
• 2 Methods
• 2.1 nsSNV Datasets
• 2.2 Protein Mutation Prediction Methodology: The Holdout- nsSNV Algorithm
• 2.3 Consensus Holdout Training and Selection
• 2.4 Extreme Learning Machine
• 2.5 Random Forests
• 3 Results
• 4 Conclusions and Future Directions
• References

• Optimizing Variant Calling for Human Genome Analysis: A Comprehensive Pipeline Approach
• 1 Introduction
• 2 Background
• 3 Methods
• 3.1 Reference
• 3.2 Dataset
• 3.3 Quality and Control
• 3.4 Pipeline
• 3.5 Workflow Management and Reproducibility
• 3.6 Benchmarking
• 3.7 Computational Resources
• 4 Results
• 4.1 Different Methods Performance
• 4.2 Computational Time
• 5 Discussion
• 6 Conclusion
• References
• Healthcare and Diseases
• Improving Fetal Health Monitoring: A Review of the Latest Developments and Future Directions
• 1 Introduction
• 2 Methods
• 2.1 Study Design

• 2.2 Search Strategy
• 2.3 Inclusion Criteria
• 2.4 Selection of Studies
• 2.5 Data Analysis
• 3 Result
• 4 Discussion
• 4.1 The Development of Monitoring Devices for Fetal Well-Being
• 4.2 Algorithm for More Accurate Maternal-Fetal FHR Filtering
• 4.3 Fetal Well-Being Indicators
• 4.4 Target Users
• 5 Conclusion
• References
• Deep Learning for Parkinson's Disease Severity Stage Prediction Using a New Dataset
• 1 Introduction
• 2 Related Work
• 3 Materials and Methods
• 3.1 Data Acquisition
• 3.2 Dataset Construction
• 3.3 Data Pre-processing
• 3.4 Proposed LSTM Model

This volume constitutes the proceedings of the 10th International Work-Conference on IWBBIO 2023, held in Meloneras, Gran Canaria, Spain, during July 12-14, 2022. The total of 79 papers presented in the proceedings, was carefully reviewed and selected from 209 submissions. The papers cove the latest ideas and realizations in the foundations, theory, models, and applications for interdisciplinary and multidisciplinary research encompassing disciplines of computer science, mathematics, statistics, biology, bioinformatics, and biomedicine

• Keynotes
• Teachers’ readiness for adopting online merge offline learning in digital
• Agile-blended Learning as a Metropolitan Teaching Approach
• Collaborative approaches to research-informed practice in tertiary education
• The power of rotation: Investigating the impact of the RST model on students' deep Learning
• Smart Classroom and Digital Literacy
• Investigating the Influence of Seating Factors on Perception of the Learning Environment in Smart Classroom
• Study on the influencing factors of junior high school students’ learning engagement under the smart classroom environment
• Integrating Digital Citizenship into a Primary School Course “Ethics and the Rule of Law”: Necessity, Strategies and a Pilot Study
• From ICT Utilization to Student Learning Achievement: Mediation Effects of Digital Literacy and Problem- solving Ability
• Online and Distant Learning
• The Effect of Corpus-based Writing Practices on EFL learners' Lexical Diversity and Lexical Sophistication
• On the Reflection of Online Distance Instruction into Blended Teaching and Learning
• Camera shy in online synchronous class: A qualitative study in college students
• Investigating Demographics and Behavioral Engagement Associated with Online Learning Performance
• Content and Pedagogy Development for Blended Learning
• Content Development of 'Literary Tourism' within Blended Learning Concept – Case Study
• Using WPBL to Improve Engineering Undergraduates’ Computational Thinking Performance in Flipped Classroom
• Cultivating Students’ Creative Thinking Using Visual Narrative in an Agile Blended Learning Environment
• Key Complexities Inhibiting Design and Implementation of Adaptive-Inclusive Learning Environments
• Gamification and Interactive Learning Environment
• Research on the Practice of VR Entering the Classroom – Taking City University Students of Macau as an Example
• How Can Teachers Facilitate Computer-Supported Collaborative Learning? A Literature Review of Teacher Intervention in CSCL
• Assessing Secondary Students’ Digital Literacy Using an Evidence-Centered Game Design Approach
• Museum Blended Learning through Digital Learning Platform: The Case of Smithsonian Learning Lab
• Learning Analytics and Big Data in Education
• Research on Dynamic Learning Intervention Driven by Data
• Predictive analytics for university student admission: A literature review
• Construction and Implementation of the Data-driven Flexible Teaching Model of University Courses
• Design and Effect of Guided and Adaptive Tutoring Tips for Helping School Mathematics Problems Solving

This book constitutes the refereed proceedings of the 16th International Conference on Blended Learning, ICBL 2023, held in Hong Kong, China, on July 17-20, 2023. The 24 papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections named: smart classroom and digital literacy; online and distant learning; content and pedagogy development for blended learning; gamification and lnteractive learning snvironment; learning analytics and big data in education

• Classifying the Post-Duplication Fate of Paralogous Genes
• Inferring clusters of orthologous and paralogous transcripts
• On the class of double distance problems
• The Floor is Lava - Halving Genomes with Viaducts, Piers and Pontoons
• Two strikes against the phage recombination problem
• Physical mapping of two nested fixed inversions in the X chromosome of the malaria mosquito Anopheles messeae
• Gene order phylogeny via ancestral genome reconstruction under Dollo
• Prior Density Learning in Variational Bayesian Phylogenetic Parameters Inference
• The Asymmetric Cluster Affinity Cost
• The k-RF Measures for Labeled Trees
• Bounding the Number of Reticulations in a Tree-Child Network That Displays a Set of Trees
• Finding agreement cherry-reduced subnetworks in level-1 networks
• CONSULT-II: Taxonomic identification using Locality Sensitive Hashing
• MAGE: Strain Level Profiling of Metagenome Samples
• MoTERNN: Classifying the Mode of Cancer Evolution Using Recursive Neural Networks

This book constitutes the refereed proceedings of the 20th Annual RECOMB Satellite Workshop on Comparative Genomics, RECOMB-CG 2023 which took place in Istanbul, Turkey, in April 2023. The 15 full papers included in this book were carefully reviewed and selected from 25 submissions. The papers present cutting edge research in comparative genomics, with an emphasis on computational approaches and novel experimental results. Chapters "Inferring Clusters of Orthologous and Paralogous Transcripts" and "Gene Order Phylogeny via Ancestral Genome Reconstruction under Dollo" are published Open Access under Creative Commons Attribution license (CC BY 4.0).

• Intro
• Preface
• Organization
• Contents - Part I
• ICCS 2023 Main Track Full Papers
• Improving the Resiliency of Decentralized Crowdsourced Blockchain Oracles
• 1 Introduction
• 2 Related Work
• 3 Proposed Model
• 3.1 System Overview
• 3.2 Agents
• 3.3 Reputation
• 3.4 Threat Models
• 3.5 Rewards
• 3.6 Evaluation
• 4 Experiments and Simulation
• 4.1 Simulation Settings
• 4.2 Participation Control
• 4.3 Weighted Voting
• 4.4 Stratified Voting
• 5 Discussion
• 6 Conclusion
• References
• Characterization of Pedestrian Contact Interaction Trajectories
• 1 Introduction

• 2 Datasets
• 3 Data Analysis
• 4 Conclusion
• References
• Siamese Autoencoder-Based Approach for Missing Data Imputation
• 1 Introduction
• 2 Related Work
• 3 Siamese Autoencoder-Based Approach for Imputation
• 3.1 Deep Autoencoder Architecture
• 3.2 Custom Loss Function
• 3.3 Custom Triplet Mining
• 4 Experimental Setup
• 5 Results
• 6 Conclusions
• References
• An Intelligent Transportation System for Tsunamis Combining CEP, CPN and Fuzzy Logic
• 1 Introduction
• 2 Related Work
• 3 Application Scenario
• 4 The CEP Event Patterns
• 5 The Fuzzy Inference System
• 6 CPN Model

• 7 Conclusions and Future Work
• References
• Downscaling WRF-Chem: Analyzing Urban Air Quality in Barcelona City
• 1 Introduction
• 2 Data, Materials and Methods
• 2.1 Case Study
• 2.2 Model Description, Chemistry and Physics Schemes
• 3 Experimental Results
• 3.1 Meteorology Results
• 3.2 Air Quality Results
• 4 Conclusions
• References
• Influence of Activation Functions on the Convergence of Physics-Informed Neural Networks for 1D Wave Equation
• 1 Introduction
• 2 Wave Equation
• 3 Training
• 4 Numerical Results
• 5 Experiments
• 5.1 Parameters Tuning

• 5.2 Activation Functions
• 6 Results
• 7 Conclusions and Future Work
• References
• Accelerating Multivariate Functional Approximation Computation with Domain Decomposition Techniques
• 1 Introduction
• 1.1 Related Work
• 2 Approach
• 2.1 Numerical Background
• 2.2 Shared Knot Spans at Subdomain Interfaces
• 2.3 Solver Workflow
• 2.4 Implementation
• 3 Results
• 3.1 Error Convergence Analysis
• 3.2 Real Simulation Datasets
• 3.3 Parallel Scalability
• 4 Summary
• References
• User Popularity Preference Aware Sequential Recommendation
• 1 Introduction
• 2 Related Works

• 2.1 Sequential Recommendation
• 2.2 Popularity Aware Recommendation
• 2.3 Contrastive Learning
• 3 Proposed Method
• 3.1 Problem Statement
• 3.2 Basic Model
• 3.3 Sequential Popularity Perception Module
• 3.4 Popularity Contrastive Learning Module
• 3.5 Network Training
• 4 Experiment
• 4.1 Datasets
• 4.2 Baselines
• 4.3 Implementation Details and Evaluation Metrics
• 4.4 Performance Comparison
• 4.5 Performance on Particular Users
• 4.6 Ablation Study
• 5 Conclusion
• References
• Data Heterogeneity Differential Privacy: From Theory to Algorithm
• 1 Introduction

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023, "Computation at the Cutting Edge of Science", highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational and systems biology, environmental systems, finance, and others

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023, "Computation at the Cutting Edge of Science", highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational and systems biology, environmental systems, finance, and others

• Intro
• Preface
• Organization
• Contents - Part V
• Quantum Computing
• Searching B-Smooth Numbers Using Quantum Annealing: Applications to Factorization and Discrete Logarithm Problem
• 1 Introduction
• 2 Classical Methods for Integer Factorization and Discrete Logarithm
• 2.1 Quadratic Sieve Method
• 2.2 Index Calculus Method
• 3 Hybrid Methods
• 3.1 Known Results and Previous Work
• 3.2 Our Result
• Factorization by Quantum Annealing as a Subroutine
• 3.3 Quantum Annealing Stage
• Summary
• 4 Experiments
• 4.1 Results for Integer Factorization

• 4.2 Results for Discrete Logarithm Problem over Prime Field
• 5 Summary
• References
• Classification of Hybrid Quantum-Classical Computing
• 1 Introduction
• 2 Literature
• 3 Types of Hybrid Computing
• 3.1 Vertical Hybrid Quantum Computing
• 3.2 Horizontal Hybrid Quantum Computing
• 4 Application
• 5 Conclusions
• References
• Solving (Max) 3-SAT via Quadratic Unconstrained Binary Optimization
• 1 Introduction
• 2 Foundations
• 2.1 Satisfiability Problems
• 2.2 Quadratic Unconstrained Binary Optimization
• 3 Related Work
• 3.1 Chancellorn+m
• 3.2 Choi3m
• 4 Approaches

• 4.1 A 2n + m Approach
• 4.2 An n + m Approach
• 5 Empirical Evaluation
• 6 Conclusion and Future Work
• References
• Black Box Optimization Using QUBO and the Cross Entropy Method
• 1 Introduction
• 2 Background
• 2.1 MAX-SAT
• 2.2 Feedback Vertex Set (FVS)
• 2.3 MaxClique
• 2.4 Quadratic Unconstrained Binary Optimization (QUBO)
• 2.5 Cross-Entropy Method
• 3 Related Work
• 4 Black Box Optimization with Cross Entropy and QUBO (BOX-QUBO)
• 5 Experiments
• 6 Conclusion and Future Work
• References
• Sub-exponential ML Algorithm for Predicting Ground State Properties

• 1 Introduction
• 2 Preliminaries and Related Work
• 2.1 Formulation
• 2.2 Classical Shadows
• 2.3 Predicting Ground States of Quantum Many-Body Systems
• 3 Proposed Method
• 3.1 Idea
• 3.2 Algorithm Details
• 4 Conclusion
• References
• Quantum Factory Method: A Software Engineering Approach to Deal with Incompatibilities in Quantum Libraries
• 1 Introduction
• 2 State of the Art
• 2.1 Quantum Software Engineering
• 2.2 OpenQASM: A Not-so-Standard Standard
• 3 Proposal
• 3.1 Design Patterns
• 3.2 Application
• 4 Examples
• 4.1 Building Simple Circuits

• 4.2 Building Quantum Rule-Based Systems
• 4.3 Experiments and Results
• 5 Discussion and Conclusions
• References
• A Polynomial Size Model with Implicit SWAP Gate Counting for Exact Qubit Reordering
• 1 Introduction
• 2 Background
• 2.1 Building Blocks of QC
• 2.2 Decomposing Multi-qubit Gates
• 3 Problem Definition
• 4 Mathematical Model
• 5 Experimental Results
• 5.1 Experimental Setup
• 5.2 Results
• 6 Conclusion
• References
• Translating Constraints into QUBOs for the Quadratic Knapsack Problem
• 1 Introduction
• 2 Background
• 2.1 Quantum and Simulated Annealing

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023, "Computation at the Cutting Edge of Science", highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational and systems biology, environmental systems, finance, and others

This open access proceedings set constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023

• Collective Adaptive Systems and Aggregate Computing
• Cyber-Physical Systems
• Verification and Testing
• Languages and Processes
• Run-Time Changes

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 12 regular papers and 2 short paper presented in this book were carefully reviewed and selected from 27 submissions. The papers deal with the following topics: Collective Adaptive Systems and Aggregate Computing; Cyber-Physical Systems; Verification and Testing; Languages and Processes; and Run-Time Changes

• Intro
• Foreword
• HCI International 2023 Thematic Areas and Affiliated Conferences
• List of Conference Proceedings Volumes Appearing Before the Conference
• Preface
• 15th International Conference on Cross-Cultural Design (CCD 2023)
• HCI International 2024 Conference
• Contents - Part I
• Contents - Part II
• Contents - Part III
• Service and Product Design for Cultural Innovation
• A Study on the Innovative Design of Fuzhou "FU" Cultural Tourism Products Based on Design Heuristics
• 1 Introduction
• 2 Literature Review
• 2.1 Cultural and Creative Products
• 2.2 "Fu" Culture

• 2.3 Design Heuristics
• 3 Development of "FU" Cultural Tourism Product Design Heuristics
• 3.1 Search of Keywords
• 3.2 Pre-processing Data
• 3.3 Discovering Design Heuristics Using the Kawakita Jiro (KJ) Method
• 4 Conclusion
• References
• From Pattern to Imagery Correlation: An Evaluation Method for the Redesign of Liangzhu Patterns Based on GRA-TOPSIS*-1pc
• 1 Introduction
• 1.1 Background
• 1.2 Overview of Liangzhu Culture
• 2 Research Process
• 2.1 Research Process
• 2.2 Selection of Experimental Samples
• 2.3 Cultural Imagery Modeling of Liangzhu Jade Cong

• 3 Visual Cognition of Patterns
• 3.1 Visual Cognition
• 3.2 Eye Movement Experiment Evaluation and Preference Measures Model
• 3.3 Eye Movement Experiment
• 4 Analysis of Cultural Imagery Based on Grey Correlation Analysis
• 4.1 Method
• 4.2 Specific Process
• 5 GRA-TOPSIS Comprehensive Evaluation
• 5.1 AHP Method
• 5.2 GRA-TOPSIS Evaluation Method
• 5.3 Evaluation Process
• 6 Dissusion
• References
• Construction and Design Application of Taohuawu New Year Woodblock Prints Color Database
• 1 Introduction
• 2 Study on the Importance of Cultural Elements of Cultural Products

• 2.1 Taohuawu New Year Woodblock Prints Culture
• 2.2 Continuous Fuzzy Kano Model
• 2.3 Experiment on User Satisfaction of Taohuawu New Year Woodblock Prints Elements
• 2.4 Analysis of Experimental Results
• 3 Determination of the Color Image of Taohuawu New Year Woodblock Prints
• 3.1 Color Element Extraction of Taohuawu New Year Woodblock Prints
• 3.2 Coding of Experimental Color Objects for Taohuawu New Year Woodblock Prints
• 4 Experiment on Color Design Image of Taohuawu New Year Woodblock Prints
• 4.1 Selection of Color Image Vocabulary for Taohuawu New Year Woodblock Prints

• 4.2 Quantitative Analysis of Color Elements and Users Kansei Image in Taohuawu New Year Woodblock Prints
• 5 Design Practice and Verification
• 5.1 Design Positioning and Solution Display
• 5.2 Design Evaluation
• 6 Conclusion
• References
• Gaze Interaction Design for Displaying Characters of Taiwanese Glove Puppetry
• 1 Introduction
• 2 Method
• 2.1 Element Design of Puppet Character
• 2.2 Development of Gaze-Based Puppet Display Interface
• 3 Results
• 4 Discussion
• References
• Study on the Application of "White and Black" Concept to Ceramic Luminaire Design
• 1 Introduction

This three-volume set of CCD 2023, constitutes the refereed proceedings of the 25th International Conference on Cross-Cultural Design, CCD 2023, held as Part of the 24th International Conference, HCI International 2023, which took place in July 2023 in Copenhagen, Denmark. The total of 1578 papers and 396 posters included in the HCII 2023 proceedings volumes was carefully reviewed and selected from 7472 submissions. The papers of CCD 2023, Part I address topics related to service and product design for cultural innovation, design for social change and development, sustainable design methods and practices, and cross-cultural perspectives on design and consumer behavior