%{search_type} search results

This book constitutes the proceedings of the 6th International Workshop on Chatbot Research and Design, CONVERSATIONS 2022, which was held during November 2022. The 12 papers included in this volume were carefully reviewed and selected from a total of 27 submissions. They were organized in topical sections named: chatbot users and user experience; chatbot design and applications.
(source: Nielsen Book Data)

• Fast Auto-Differentiable Digitally Reconstructed Radiographs for Solving Inverse Problems in Intraoperative Imaging.- Multi-channel Residual Neural Network Based on Squeeze-and Excitation for Osteoporosis Diagnosis.- Machine Learning Based Approach for Motion Detection andEstimation in Routinely Acquired Low Resolution Near Infrared Fluorescence Optical Imaging.- Automatic Landmark Identification on IntraOralScans.- STAU-Net: A Spatial Structure Attention Network for 3D Coronary Artery Segmentation.- Convolutional Redistribution Network for Multi-View Medical Image Diagnosis.- Feature Patch Based Attention Model for Dental Caries Classification.- Conditional Domain Adaptation Based on Initial Distribution Discrepancy for EEG Emotion Recognition.- Automated Cone and Vessel Analysis in Adaptive Optics like RetinalImages for Clinical Diagnostics Support.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 11th Workshop on Clinical Image-Based Procedures, CLIP 2022, which was held in conjunction with MICCAI 2022, in Singapore in September 2022. The 9 full papers included in this book were carefully reviewed and selected from 12 submissions. They focus on the applicability of basic research methods in the clinical practice by creating holistic patient models as an important step towards personalized healthcare. .
(source: Nielsen Book Data)

• Performance Evaluation of Modified Best First Decreasing Algorithms for Dynamic Virtual Machine Placement in Cloud Computing.- Towards an Efficient Client Selection for Federated Learning.- Hestia: A cost-effective multi-dimensional resource utilization for microservices execution in the cloud.- Optimizing Cache Accesses with Tensor Memory Format Search for Transformers in TVM.- Improving Few-Shot Image Classification with Self-Supervised Learning.- New Commonsense Views Inspired by Infants and Its Implications for Artificial Intelligence.- Data Micro-governance in Full Lifecycle Management of The Leased Assets.- How to build an effective/efficient data team.- A Novel Unsupervised Anomaly Detection Approach using Neural Transformation in Cloud Environment.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 15th International Conference on Cloud Computing, CLOUD 2022, held as part of the Services Conference Federation, SCF 2022, held in Honolulu, HI, USA, in December 2022. The 8 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 15 submissions. The International Conference on Cloud Computing (CLOUD) has been a prime international forum for both researchers and industry practitioners to exchange the latest fundamental advances in the state of the art and practice of cloud computing, identify emerging research topics, and define the future of cloud computing. All topics regarding cloud computing align with the theme of CLOUD.
(source: Nielsen Book Data)

• Invited Paper.- Digital Geometry and Topology.- Picture Languages.- Theory and Applications.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 201st International Workshop on Combinatorial Image Analysis, IWCIA 2022, held in Messina, Italy, in July 2022.The 20 full papers presented were carefully reviewed and selected from 24 submissions. The papers are grouped into four sections. The first one consists of one invited talk. The second section contains seven papers devoted to digital geometry and topology. The third part consists of six papers discussing picture languages. The last part, including six papers, is devoted to various applications. We believe that many of these papers would be of interest to a broader audience, including researchers in scientific areas such as computer vision, shape modeling, pattern analysis and recognition, and computer graphics.
(source: Nielsen Book Data)

• Machine Learning and Prediction.- Incorporating Neighborhood Information and Sentence Embedding Similarity into a Repost Prediction Model in Social Media Networks.- Driving factors of polarization on Twitter during protests against COVID19 mitigation measures in Vienna.- Categorizing Memes about the Ukraine Conflict.- Analyzing Scientometric Indicators of Journals and Chief Editors: A Case Study in Articial Intelligence (AI) Domain.- Link Prediction of Complex Networks based on Local Path and Closeness Centrality.- The influence of color on prices of abstract paintings.- ELA: A Time-Series Forecasting Model for LinerShipping Based on EMD-LSTM and Attention.- Knowledge transfer via word alignment and its application to Vietnamese POS tagging.- A group clustering recommendation approach based on energy distance.- Security and Blockchain.- An Implementation and Evaluation of Layer 2 for Ethereum with zkRollup.- Targeted Attack of the Air Transportation Network Global Component.- Measuring Cryptocurrency Mining in Public Cloud Services: A Security Perspective.- Do Content Management Systems Impact the Security of Free Content Websites?.- Fact-checking, Fake News, and Hate Speech.- BNnetXtreme: An enhanced methodology for Bangla fake news detection online.- Heuristic Gradient Optimization Approach to Controlling Susceptibility to Manipulation in Online Social Networks.- Identifying Targeted and Generalized Offensive Speech from Anti-Asian Social Media Conversations.- US News and Social Media Framing around Vaping.- Network Analysis.- Social Network Analysis of the Caste-Based Reservation System in India.- Structure, stability, persistence and entropy of stock networks during financial crises.- A Community Detection Algorithm using Random Walk.- Learning Heuristics for the Maximum Clique Enumeration Problem Using Low Dimensional Representations.- Optimization.- Competitive influence maximisation with nonlinear allocations.- Frank Wolfe Algorithm for Nonmonotone One-sided Smooth Function Maximization Problem.- Non-monotone $k$-submodular function maximization with individual size constraints.- A Heuristic Algorithm for Student-Project Allocation Problem.- Online File Caching on Multiple Caches in Latency-Sensitive Systems.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 11th International Conference on Computational Data and Social Networks, CSoNet 2022, held as a Virtual Event, during December 5-7, 2022. The 17 full papers and 7 short papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Machine Learning and Prediction, Security and Blockchain, Fact-checking, Fake News, and Hate Speech, Network Analysis, Optimization.
(source: Nielsen Book Data)

• Author profiling and authorship attribution, social network analysis
• Information retrieval, information extraction
• Lexical resources
• Best Paper Award, Third Place
• Machine translation
• Morphology, Syntax
• Best Paper Award, Second Place
• Semantics and text similarity
• Sentiment analysis
• Syntax and parsing
• Text categorization and clustering
• Best Paper Award, First Place
• Text generation
• Text mining.

The two-volume set LNCS 13396 and 13397 constitutes revised selected papers from the CICLing 2018 conference which took place in Hanoi, Vietnam, in March 2018. The total of 68 papers presented in the two volumes was carefully reviewed and selected from 181 submissions. The focus of the conference was on following topics such as computational linguistics and intelligent text and speech processing and others. The papers are organized in the following topical sections: General, Author profiling and authorship attribution, social network analysis, Information retrieval, information extraction, Lexical resources, Machine translation, Morphology, syntax, Semantics and text similarity, Sentiment analysis, Syntax and parsing, Text categorization and clustering, Text generation, and Text mining.

• Author profiling and authorship attribution, social network analysis
• Information retrieval, information extraction
• Lexical resources
• Best Paper Award, Third Place
• Machine translation
• Morphology, Syntax
• Best Paper Award, Second Place
• Semantics and text similarity
• Sentiment analysis
• Syntax and parsing
• Text categorization and clustering
• Best Paper Award, First Place
• Text generation
• Text mining.

The two-volume set LNCS 13396 and 13397 constitutes revised selected papers from the CICLing 2018 conference which took place in Hanoi, Vietnam, in March 2018. The total of 68 papers presented in the two volumes was carefully reviewed and selected from 181 submissions. The focus of the conference was on following topics such as computational linguistics and intelligent text and speech processing and others. The papers are organized in the following topical sections: General, Author profiling and authorship attribution, social network analysis, Information retrieval, information extraction, Lexical resources, Machine translation, Morphology, syntax, Semantics and text similarity, Sentiment analysis, Syntax and parsing, Text categorization and clustering, Text generation, and Text mining.

• Artificial intelligence
• Natural language processing
• Information extraction
• Lexical semantics
• Natural language generation
• Language resources
• Phonology
• Morphology
• Discourse
• Dialogue and pragmatics.

The two-volume set LNCS 13451 and 13452 constitutes revised selected papers from the CICLing 2019 conference which took place in La Rochelle, France, April 2019. The total of 95 papers presented in the two volumes was carefully reviewed and selected from 335 submissions. The book also contains 3 invited papers. The papers are organized in the following topical sections: General, Information extraction, Information retrieval, Language modeling, Lexical resources, Machine translation, Morphology, sintax, parsing, Name entity recognition, Semantics and text similarity, Sentiment analysis, Speech processing, Text categorization, Text generation, and Text mining.

• 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

• Theory of Mind
• Operationalizing Theories of Theory of Mind: A Survey.- Knowledge of Self and Other Within a Broader Commonsense Setting.- Constructivist Approaches for Computational Emotions: A Systematic Survey.- Methodological Advances.- Social Cognition Paradigms ex Machinas.- Evaluating Artificial Social Intelligence in an Urban Search and Rescue Task Environment.- Modular Procedural Generation for Voxel Maps.- Task Complexity and Performance in Individuals and Groups Without Communication.- Development of Emergent Leadership Measurement: Implications for Human-Machine Teams.- Translating and Modeling Human Theory of Mind for ASI.- Should Agents Have Two Systems to Track Beliefs and Belief-Like States?.- Sequential Theory of Mind Modeling in Team Search and Rescue Tasks.- Integrating Machine Learning and Cognitive Modeling of Decision Making.- Overgenerality from Inference in Perspective-Taking.- Tools for Improving ASI.- Using Features at Multiple Temporal and Spatial Resolutions to Predict Human Behavior in Real Time.- Route Optimization in Service of a Search and Rescue Artificial Social Intelligence Agent.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the First International Symposium, ToM for Teams 2021, held in Washington, DC, USA, during November 4-6, 2021, Each chapter in this section tackles a different aspect of AI representing the thoughts and beliefs of human agents. The work presented herein represents our collective efforts to better understand ToM, develop AI with ToM capabilities (ASI), and study how to integrate such systems into human teams.
(source: Nielsen Book Data)

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

• Systems Theory and Applications.- Transdisciplinary Software Development for Early Crisis Detection.- Uncertainty and Ambiguity: Challenging Layers in Model Construction.- George J. Boole. A Nineteenth Century Man for the Modern Digital Era.- Improvement of Electromagnetic Systems by Werner Von Siemens.- Improvement of Electromagnetic Systems by Werner Von Siemens.- Theory and Applications of Metaheuristic Algorithms.- Multi-criteria Optimization of Workflow-based Assembly Tasks in Manufacturing.- Lightweight Interpolation-Based SurroImproving the Flexibility of Shape-Constrained Symbolic Regression with Extended Constraints.- gate Modelling for MultiObjective Continuous Optimisation.- Analysis and Handling of Dynamic Problem Changes in OpenEnded Optimization.- Dynamic Vehicle Routing with Time-Linkage: From Problem States to Algorithm Performance.- Dynamic Fitness Landscape Analysis.- A Relative Value Function Based Learning Beam Search for Longest Common Subsequence Problem.- Multi-day Container Drayage Problem with Active and Passive Vehicles.- On Discovering Optimal Trade-Offs when Introducing New Routes in Existing Multi-Modal Public Transport Systems.- A Mathematical Model and GRASP for a Tourist Trip Design Problem.- A Large Neighborhood Search for Battery Swapping Station Location Planning for Electric Scooters.- Shapley Value based Variable Interaction Networks for Data Stream Analysis.- Symbolic Regression with Fast Function Extraction and Nonlinear Least Squares Optimization.- Comparing Shape-Constrained Regression Algorithms for Data Validation.- Shape-constrained Symbolic Regression with NSGA-III.- Using Explainable Artificial Intelligence for Data Based Detection of Complications in Records of Patient Treatments.- Identifying Differential Equations to predict Blood Glucose using Sparse Identification of Nonlinear Systems.-Obtaining Difference Equations for Glucose Prediction by Structured Grammatical Evolution and sparse identification.- Model-Based System Design, Verification and Simulation.- Modeling Approaches for Cyber Attacks on Energy Infrastructure.- Simulation setup for a closed-loop regulation of neuro-muscular blockade.- Textile In The Loop as Automated Verification Tool for Smart Textiles Applications.- Orchestrating Digital Twins for Distributed Manufacturing Execution Systems.- Automata with Bounded Repetition in RE2.- Integrating OSLC Services into Eclipse.- Developing an Application in the Forest for New Tourism Post COVID-19.- GPU-Accelerated Synthesis of Probabilistic Programs.- Static Deadlock Detection in Low-Level C Code.- Applications of Signal Processing Technology.- 3D Ultrasound Fingertip Tracking.- An Artificial Skin from Conductive Rubber.- Neural Network Based Single-Carrier Frequency Domain Equalization.- Smooth Step Detection.- Optical Preprocessing and Digital Signal Processing for the Measurement of Strain in Thin Specimen.- Lower Limbs Gesture Recognition Approach to Control a Medical Treatment Bed.- Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility.- JKU-ITS Automobile for Research on Autonomous Vehicles.- Development of a ROS-based Architecture for Intelligent Autonomous on Demand Last Mile Delivery.- Contrastive Learning for Simulation-to-Real Domain Adaptation of LiDAR data.- Deep Learning Data Association Applied to Multi-Object Tracking Systems.- A Methodology to Consider Explicitly Emissions in Dynamic User Equilibrium Assignment.- Sensitivity Analysis for A Cooperative Adaptive Cruise Control Car Following Model: Preliminary Findings.- On Smart Mobility and Data Stream Mining.- Smart Vehicle Inspection.- Computer Vision, Machine Learning for Image Analysis and Applications.- Impact of the Region of Analysis on the Performance of the Automatic Epiretinal Membrane Segmentation in OCT Images.- Performance Analysis of GAN approaches in the Portable Chest X-ray synthetic image generation for COVID-19 screening.- Clinical Decision Support tool for the Identification of Pathological Structures Associated with Age-related Macular Degeneration.- Deep Features-based approaches for Phytoplankton Classification in Microscopy Images.- Robust Deep Learning-based Approach for Retinal layer Segmentation in Optical Coherence Tomography Images.- Impact of increased centerline weight on the Joint segmentation and classification of arteries and veins in color fundus images.- Rating the Severity of Diabetic Retinopathy on a Highly Imbalanced Dataset.- Gait Recognition using 3D View-Transformation Model.- Segmentation and Multi-Facet Classification of Individual Logs in Wooden Piles.- Drone Detection Using Deep Learning: A Benchmark Study.- Computer and Systems Based Methods and Electronic Technologies in Medicine.- Continuous Time Normalized Signal Trains for a Better Classification of Myoelectric Signals.- A Comparison of Covariate Shift Detection Methods on Medical Datasets.- Towards a Method to Provide Tactile Feedback in Minimally Invasive Robotic Surgery.- Reference Datasets for Analysis of Traditional Japanese and German Martial Arts.- A Novel Approach to Continuous Heart Rhythm Monitoring for Arrhythmia Detection.- Indoor Positioning Framework for Training Rescue Operations Procedures at the Site of a Mass Incident or Disaster.- Designing sightseeing support system in Oku-Nikko using BLE beacon.- Systems in Industrial Robotics, Automation and IoT.- Mixed Reality HMI for Collaborative Robots.- A Digital Twin Demonstrator for Research and Teaching in Universities.- Robot System as a Testbed for AI Optimizations.- An Architecture for Deploying Reinforcement Learning in Industrial Environments.- Ck-continuous Spline Approximation with TensorFlow Gradient Descent Optimizers.- Stepwise Sample Generation.- Optimising Manufacturing Process with Bayesian Learning and Knowledge Graphs.- Representing Technical Standards as Knowledge Graph to Guide the Design of Industrial Systems.- Improvements for mlrose Applied to the Traveling Salesperson Problem.- Survey on Radar Odometry.- Systems Thinking. Relevance for Technology, Science and Management Professionals.- Systems Thinking. Relevance for Technology, Science and Management Professionals.- Crisis Management in a Federation - Cybernetic Lessons from a Pandemic.- Using Archetypes to Teach Systems Thinking in an Engineering Master's Course.- Collecting vs Sharing of Personal Data: Examining the Implications to the Society.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 18th International Conference on Computer-Aided Systems Theory, EUROCAST 2022, held in Las Palmas de Gran Canaria, Spain, during February 20-25, 2022. The 77 full papers included in this book were carefully reviewed and selected from 110 submissions. They were organized in topical sections as follows: Systems Theory and Applications, Theory and Applications of Metaheuristic Algorithms, Model-Based System Design, Verification and Simulation, Applications of Signal Processing Technology, Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility, Computer Vision, Machine Learning for Image Analysis and Applications, Computer and Systems Based Methods and Electronic Technologies in Medicine, Systems in Industrial Robotics, Automation and IoT, Systems Thinking. Relevance for Technology, Science and Management Professionals.
(source: Nielsen Book Data)

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

The 7-volume set of LNCS 13841-13847 constitutes the proceedings of the 16th Asian Conference on Computer Vision, ACCV 2022, held in Macao, China, December 2022. The total of 277 contributions included in the proceedings set was carefully reviewed and selected from 836 submissions during two rounds of reviewing and improvement. The papers focus on the following topics: Part I: 3D computer vision; optimization methods; Part II: applications of computer vision, vision for X; computational photography, sensing, and display; Part III: low-level vision, image processing; Part IV: face and gesture; pose and action; video analysis and event recognition; vision and language; biometrics; Part V: recognition: feature detection, indexing, matching, and shape representation; datasets and performance analysis; Part VI: biomedical image analysis; deep learning for computer vision; Part VII: generative models for computer vision; segmentation and grouping; motion and tracking; document image analysis; big data, large scale methods.

The 8-volume set, comprising the LNCS books 13801 until 13809, constitutes the refereed proceedings of 38 out of the 60 workshops held at the 17th European Conference on Computer Vision, ECCV 2022. The conference took place in Tel Aviv, Israel, during October 23-27, 2022; the workshops were held hybrid or online.The 367 full papers included in this volume set were carefully reviewed and selected for inclusion in the ECCV 2022 workshop proceedings. They were organized in individual parts as follows: Part I: W01 - AI for Space; W02 - Vision for Art; W03 - Adversarial Robustness in the Real World; W04 - Autonomous Vehicle Vision Part II: W05 - Learning With Limited and Imperfect Data; W06 - Advances in Image Manipulation; Part III: W07 - Medical Computer Vision; W08 - Computer Vision for Metaverse; W09 - Self-Supervised Learning: What Is Next?; Part IV: W10 - Self-Supervised Learning for Next-Generation Industry-Level Autonomous Driving; W11 - ISIC Skin Image Analysis; W12 - Cross-Modal Human-Robot Interaction; W13 - Text in Everything; W14 - BioImage Computing; W15 - Visual Object-Oriented Learning Meets Interaction: Discovery, Representations, and Applications; W16 - AI for Creative Video Editing and Understanding; W17 - Visual Inductive Priors for Data-Efficient Deep Learning; W18 - Mobile Intelligent Photography and Imaging; Part V: W19 - People Analysis: From Face, Body and Fashion to 3D Virtual Avatars; W20 - Safe Artificial Intelligence for Automated Driving; W21 - Real-World Surveillance: Applications and Challenges; W22 - Affective Behavior Analysis In-the-Wild; Part VI: W23 - Visual Perception for Navigation in Human Environments: The JackRabbot Human Body Pose Dataset and Benchmark; W24 - Distributed Smart Cameras; W25 - Causality in Vision; W26 - In-Vehicle Sensing and Monitorization; W27 - Assistive Computer Vision and Robotics; W28 - Computational Aspects of Deep Learning; Part VII: W29 - Computer Vision for Civil and Infrastructure Engineering; W30 - AI-Enabled Medical Image Analysis: Digital Pathology and Radiology/COVID19; W31 - Compositional and Multimodal Perception; Part VIII: W32 - Uncertainty Quantification for Computer Vision; W33 - Recovering 6D Object Pose; W34 - Drawings and Abstract Imagery: Representation and Analysis; W35 - Sign Language Understanding; W36 - A Challenge for Out-of-Distribution Generalization in Computer Vision; W37 - Vision With Biased or Scarce Data; W38 - Visual Object Tracking Challenge. .
(source: Nielsen Book Data)

• A stochastic algorithm for non-monotone DR-submodular maximziation over a convex set.- Flow shop scheduling problems with transportation constraints revisited.- LotterySampling: A Randomized Algorithm for the Heavy Hitters and Top-k Problems in Data Streams.- Approximation Algorithms for the Min-Max Mixed Rural Postmen Cover Problem and Its Variants.- Large k-gons in a 1.5D Terrain.- Nondeterministic Auxiliary Depth-Bounded Storage Automata and Semi-Unbounded Fan-in Cascading Circuits (Extended Abstract).-Analysis of Approximate sorting in I/O model.-Two Generalizations of Proper Coloring: Hardness and Approximability.-Approximation Algorithms for Capacitated Assignment with Budget Constraints and Applications in Transportation Systems.-On the Complexity of Minimum Maximal Acyclic Matchings.-Online non-monotone DR-submodular maximization: 1/4 approximation ratio and sublinear regret.-Fair Division with Minimal Withheld Information in Social Networks.- Facility Location Games with Ordinal Preferences.-Fully Dynamic $k$-Center Clustering with Outliers.-Refutation of Spectral Graph Theory Conjectures with Monte Carlo Search.-Online one-sided smooth function maximization.-Revisiting Maximum Satisfiability and Related Problems in Data Streams.-Turing Machines with Two-level Memory: A Deep Look into the Input/Output Complexity.- A quantum version of Pollard's Rho of which Shor's Algorithm is a particular case.-Single machine scheduling with rejection to minimize the $k$-th power of the makespan.- Escape from the Room.- Algorithms for hard-constraint point processes via discretization.-Space Limited Graph Algorithms on Big Data Counting Cycles on Planar Graphs in Subexponential Time.-Semi-strict chordal digraphs.- Reallocation Problems with Minimum Completion Time.-The bound coverage problem by aligned disks in L1 metric.-Facility Location Games with Group Externalities.- Some New Results on Gallai Theorem and Perfect Matching for k-Uniform Hypergraphs.- Refined Computational Complexities of Hospitals/Residents Problem with Regional Caps.- Customizable Hub Labeling: Properties and Algorithms Linear-Time Algorithm for Paired-Domination on Distance-Hereditary Graphs.-Bounding the Number of Eulerian Tours in Undirected Graphs.- A Probabilistic Model Revealing Shortcomings in Lua's Hybrid Tables.- A 4-Space Bounded.- Approximation Algorithm \\for Online Bin Packing Problem.-Generalized Sweeping Line Spanners.- Rooting Gene Trees via Phylogenetic Networks.- An evolving network model from clique extension.- Online semi-matching problem with two heterogeneous sensors in a metric space.- Two-Stage BP Maximization under $p$-matroid Constraint.- The Hamiltonian Path Graph is Connected for Simple $s, t$ Paths in Rectangular Grid Graphs.- An $O(n^3)$-Time Algorithm for the Min-Gap.- Unit-Length Job Scheduling Problem.- Approximation Schemes for k-Facility Location.- Improved Deterministic Algorithms for Non-monotone Submodular Maximization.- Distributed Dominating Sets in Interval Graphs.- Optimal Window Queries on Line Segments using the Trapezoidal Search DAG.- On Rotation Distance, Transpositions and Rank Bounded Trees.- Hitting Geometric Objects Online via Points in $\mathbb{Z}^d$.- Capacitated Facility Location with Outliers/Penalties Improved Separated Red Blue Center Clustering.- Proper colorability of segment intersection graphs.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 28th International Conference on Computing and Combinatorics, COCOON 2022, held in Shenzhen, China, in October 2022.The 39 full papers together with 12 short papers presented in this volume were carefully reviewed and selected from 101 submissions. The papers focus on subjects such as Algorithmica, Theoretical Computer Science, Journal of Combinatorial Optimization and others.
(source: Nielsen Book Data)

• 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