%{search_type} search results

• Systems Theory and Simulation: Formal Approaches.- Kolmogorov Stream Ciphers.- Morphotronic System (Theory).- Knowledge Discovery in Databases Using Multivalued Array Algebra.- Local Space-Time Systems Simulation of Linear and Non-linear Retinal Processes.- Analytical Representation of Intrinsic Directionality in Retinal Cells.- Linear Complexity Measures for Multi-valued Cryptographic Data Streams by Application of the Rissanen Partial Realization Method.- A Software Implementation of the Rissanen Method for Partial Linear Systems Realization.- New Frontiers in the Validation of Simulation Models-Structural Dominance Analysis.- Optimizing the Hardware Usage of Parallel FSMs.- SynPSL: Behavioral Synthesis of PSL Assertions.- Learning Autonomous Helicopter Flight with Evolutionary Reinforcement Learning.- Designing Communication Space in Wireless Sensor Network Based on Relational Attempt.- Boundary Scan Security Enhancements for a Cryptographic Hardware.- Automated Design of Totally Self-Checking Sequential Circuits.- A General Purpouse Control System.- Computation and Simulation in Modelling Biological Systems.- On the First Exit Time Problem for a Gompertz-Type Tumor Growth.- A Neuronal Model with Excitatory and Inhibitory Inputs Governed by a Birth-Death Process.- Diffusion Processes Subject to Catastrophes.- Automatic System Identification of Tissue Abnormalities Based on 2D B-Mode Ultrasound Images.- Vision-An Essay from a Computational View Point.- On a Generalized Leaky Integrate-and-Fire Model for Single Neuron Activity.- Mathematical and Computational Modeling of Neurons and Neuronal Ensembles.- Intelligent Information Processing.- The Foldl Operator as a Coequalizer Using Coq.- Algorithm for Testing the Leibniz Algebra Structure.- Automatic Drusen Detection from Digital Retinal Images: AMD Prevention.- A Study of Extracting Knowledge from Guideline Documents.- Modelling Differential Structures in Proof Assistants: The Graded Case.- Vascular Landmark Detection in Retinal Images.- Web Applications: A Proposal to Improve Response Time and Its Application to MOODLE.- Functional Disambiguation Using the Syntactic Structures Algorithm for Each Functional Interpretation for Spanish Language.- On Similarity in Case-Based Reasoning for Structural Health Monitoring.- A Distributed System for Massive Generation of Synthetic Video Using GPUs.- Using a Rank Fusion Technique to Improve Shot Boundary Detection Effectiveness.- Step-Guided Clinical Workflow Fulfilment Measure for Clinical Guidelines.- Debugging and Verification of Multi-Agent Systems.- Easing the Definition of N-Ary Relations for Supporting Spatio-Temporal Models in OWL.- Applied Formal Verification.- Separation of Transitions, Actions, and Exceptions in Model-Based Testing.- Automatic Test Generation for Coverage Analysis Using CBMC.- Self-healing Assurance Based on Bounded Model Checking.- Effective Bit-Width and Under-Approximation.- Observable Runtime Behavior for Defects Indicated by Automated Static Analysis.- Computer Vision and Image Processing.- Real-Time Vision-Based Vehicle Detection for Rear-End Collision Mitigation Systems.- Real-Time Hierarchical GPS Aided Visual SLAM on Urban Environments.- Tomographic Image Reconstruction Using Abstractions.- Unsupervised Clustering Using Diffusion Maps for Local Shape Modelling.- Sensibility Analysis of an Object Movement Forecast Approximation in Real Image Sequences.- Angular Contour Parameterization for Signature Identification.- Image Sequences Noise Reduction: An Optical Flow Based Approach.- Mobile and Autonomous Systems: Robots and Cars.- From Industrial to Ubiqitous Robots.- WiFi Localization System Using Fuzzy Rule-Based Classification.- Vehicle Detection Based on Laser Radar.- Biomimetic Controller for Situated Robots Based on State-Driven Behaviour.- Supporting Information Services for Travellers of Public Transport by Road.- Applying Reinforcement Learning to Multi-robot System Behavior Coordination.- Safe Crossroads via Vehicle to Vehicle Communication.- Cooperation Enforcement Schemes in Vehicular Ad-Hoc Networks.- Cooperative and Competitive Behaviors in a Multi-robot System for Surveillance Tasks.- Control Action Continuity on Situation-Based Obstacle Avoidance.- Simulation Based System Optimization.- Traffic Signals in Traffic Circles: Simulation and Optimization Based Efficiency Study.- Integrated System and Network Simulation of a 5.8GHz Local Positioning System.- Simulation Based Optimization of Vertex Packing Decoding Algorithms.- Diversity Order of Spatial Multiplexing with Transmit Antenna Correlation Based Precoding.- Software Simulator to Model an Energy Autonomous System.- Signal Processing Methods in Systems Design and Cybernetics.- On Stochastic Variation in Discrete Time Systems.- Convolution on Finite Groups and Fixed-Polarity Polynomial Expressions.- Reversible Synthesis through Shared Functional Decision Diagrams.- Ternary Haar-Like Transform and Its Application in Spectral Representation of Ternary-Valued Functions.- Complete Sets of Hamiltonian Circuits for Classification of Documents.- SPICE Simulation of Analog Filters: A Method for Designing Digital Filters.- A Heterogeneous Decision Diagram Package.- Walsh Matrices in the Design of Industrial Experiments.- Dynamic Behavior of Time-Domain Features for Prosthesis Control.- Decomposing Pattern Matching Circuit.- Hardware Approach to Artificial Hand Control Based on Selected DFT Points of Myopotential Signals.- System Approach to Complex Signal Processing Task.- Polynomial Models in Control System Design.- Symbolic Computations on Rings of Rational Functions and Applications in Control Engineering.- Nonlinear Systems: A Polynomial Approach.- Robust Control of a Two Tank System Using Algebraic Approach.- Comparing Algebraic and Constrained Pole Assignment Controllers for a Thermal System.- Nonlinear Controllers for a Fluid Tank System.- Pre-identification for Real-Time Control.- Realization of Continuous-Time Nonlinear Input-Output Equations: Polynomial Approach.- Heuristic Problem Solving.- Using Heuristic Optimization for Segmentation of Symbolic Music.- Fitting Rectangular Signals to Time Series Data by Metaheuristic Algorithms.- Virtual Sensors for Emissions of a Diesel Engine Produced by Evolutionary System Identification.- Solving the Euclidean Bounded Diameter Minimum Spanning Tree Problem by Clustering-Based (Meta-)Heuristics.- Solving the Rectangle Packing Problem by an Iterative Hybrid Heuristic.- New Approximation-Based Local Search Algorithms for the Probabilistic Traveling Salesman Problem.- Evolving 6-State Automata for Optimal Behaviors of Creatures Compared to Exhaustive Search.- Analysis of the Properties of the Harmony Search Algorithm Carried Out on the One Dimensional Binary Knapsack Problem.- An Algorithm of Schedule Planning for Tanker Drivers.- A Kruskal-Based Heuristic for the Rooted Delay-Constrained Minimum Spanning Tree Problem.- Applying Ant Colony Optimisation to Dynamic Pickup and Delivery.- Model Driven Rapid Prototyping of Heuristic Optimization Algorithms.- Heuristic Methods for Searching and Clustering Hierarchical Workflows.- Model Instability in Microarray Gene Expression Class Prediction Studies.- Conflict Resolution in Multiagent Systems Based on Wireless Sensor Networks.- Evolutionary Selection in Simulation-Based Optimization.- Feature Selection Based on Pairwise Classification Performance.- On the Influence of Selection Schemes on the Genetic Diversity in Genetic Algorithms.- Solving a Real-World FAP Using the Scatter Search Metaheuristic.- On the Success Rate of Crossover Operators for Genetic Programming with Offspring Selection.- On Structural Identification of 2D Regression Functions for Indoor Bluetooth Localization.- Grid-Enabled Mutation-Based Genetic Algorithm to Optimise Nuclear Fusion Devices.- Priority Rule Generation with a Genetic Algorithm to Minimize Sequence Dependent Setup Costs.- A GRASP-VNS Hybrid for the Fuzzy Vehicle Routing Problem with Time Windows.- Simulation and Formal Methods in Systems Design and Engineering.- Performance Modelling for Avionics Systems.- Object-Oriented Petri Nets-Based Modeling of Resources in Project Engineering.- Simulation Based Design of Control Systems Using DEVS and Petri Nets.- Transforming UML-Based System Descriptions into Simulation Models as Part of System Development Frameworks.- Model-Based Design and Verification of Reactive Systems.- Resonant Tunnelling Diode-Based Circuits: Simulation and Synthesis.- A Practical Methodology for Integration Testing.- Models of Co-operative Engineering Systems.- Safety Oriented Laparoscopic Surgery Training System.- Co-operative Extended Kohonen Mapping (EKM) for Wireless Sensor Networks.- Morphotronic System Applications.- SNIPER: A Wireless Sensor Network Simulator.- Embedded Fortress - Software Environment for Intellectual Property Protection in Embedded Systems.- Collaborative XML Document Versioning.- Parallel Distributed Genetic Algorithm for Expensive Multi-Objective Optimization Problems.
• (source: Nielsen Book Data)

The concept of CAST as Computer Aided Systems Theory was introduced by F. Pichler in the late 1980s to refer to computer theoretical and practical developments as tools for solving problems in system science. It was thought of as the third component (the other two being CAD and CAM) required to complete the path from computer and systems sciences to practical developments in science and engineering. Franz Pichler, of the University of Linz, organized the first CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scientific and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the first international meeting on CAST (Las Palmas, February 1989) under the name EUROCAST'89. This proved to be a very successful gathering of systems theorists, computer scientists and engineers from most European countries, North America and Japan. It was agreed that EUROCAST international conferences would be organized every two years, alternating between Las Palmas de Gran Canaria and a continental European location. From 2001 the conference has been held exclusively in Las Palmas. Thus, successive EUROCAST meetings took place in Krems (1991), Las Palmas (1993), In- bruck (1995), Las Palmas (1997), Vienna (1999), Las Palmas (2001), Las Palmas (2003) Las Palmas (2005) and Las Palmas (2007), in addition to an extra-European CAST c- ference in Ottawa in 1994.
(source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 17th Annual International Cryptology Conference, CRYPTO'97, held in Santa Barbara, California, USA, in August 1997 under the sponsorship of the International Association for Cryptologic Research (IACR). The volume presents 35 revised full papers selected from 160 submissions received. Also included are two invited presentations. The papers are organized in sections on complexity theory, cryptographic primitives, lattice-based cryptography, digital signatures, cryptanalysis of public-key cryptosystems, information theory, elliptic curve implementation, number-theoretic systems, distributed cryptography, hash functions, cryptanalysis of secret-key cryptosystems.

• How solid is solid modeling?
• Robustness issues in geometric algorithms
• Implementing geometric algorithms robustly
• Robustness in geometric algorithms
• Applications of computational geometry in mechanical engineering design and manufacture
• On some applications of computational geometry in manufacturing and virtual environments
• Visualizing geometric algorithms
• State of the art
• Geometric algorithm visualization, current status and future
• Position paper for panel discussion
• Designing the computational geometry algorithms library CGAL
• The computational geometry impact task force report: An executive summary
• Geometric manipulation of flexible ligands
• Ray-representation formalism for geometric computations on protein solid models
• Column-based strip packing using ordered and compliant containment
• Computing a flattest, undercut-free parting line for a convex polyhedron, with application to mold design
• Geometric problems in machine learning
• Matching convex polygons and polyhedra, allowing for occlusion
• Stably placing piecewise smooth objects
• A beam-tracing algorithm for prediction of indoor radio propagation
• Extracting geometric information from architectural drawings
• Using the visibility complex for radiosity computation
• The CGAL kernel: A basis for geometric computation
• Triangle: Engineering a 2D quality mesh generator and Delaunay triangulator.

Content Description #Anthology selected from contributions to the First ACM Workshop on Applied Computational Geometry.#Includes bibliographical references and index.

• 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

• IMAGE ANALYSIS & PROCESSING.- Multi-granularity feature attention Fusion network for Image-Text Sentiment Analysis.- Toward efficient image denoising: A lightweight network with retargeting supervision driven knowledge distillation.- A pig pose estimation model for measuring pig's body size.- Topology-aware Learning for Semi-supervised Cross-domain Retinal Artery/Vein Classification.- Face Super-Resolution with Better Semantics and More Efficient Guidance.- GRAPHS & NETWORKS.- Layout and Display of Network Graphs on a Sphere.- Joint Matrix Factorization and Structure Preserving for Domain Adaptation.- Graph Adversarial Network with Bottleneck Adapter Tuning for Sign Language Production.- ESTIMATION & FEATURE MATCHING.- Facial Landmarks based Region-Level Data Augmentation for Gaze Estimation.- An Efficient Dense Depth Map Estimation Algorithm Using Direct Stereo Matching For Ultra-wide-angle Images.- Ad-RMS: Adaptive Regional Motion Statistics for Feature Matching Filtering.- 3D RECONSTRUCTION.- Mobile Augmented Realty Based Visual Indoor Navigation.- Cost Volume Pyramid Network with Multi-strategies Range Searching for Multi-view Stereo.- Reconstructing the Surface Mesh Representation for Single Neuron.- WEmap: Weakness-enhancement mapping for 3D reconstruction with sparse image sequences.- RENDERING & ANIMATION.- Comparing Traditional Rendering Techniques to Deep Learning based Super-Resolution in Fire and Smoke Animations.- Real-Time Light Field Path Tracing.- Crowd Simulation with Detailed Body Motion and Interaction.- Towards Rendering the Style of 20th Century Cartoon Line Art in 3D Real-time.- DETECTION & RECOGNITION.- Face detection algorithm in classroom scene based on deep learning.- GRVT: Toward Effective Grocery Recognition via Vision Transformer.- A Transformer-based Cloth-irrelevant Patches Feature Extracting Method for Long-Term Cloth-Changing Person Re-identification.- Learning Unified Binary Feature Codes For Cross-illumination Palmprint Recognition.- COLORS, PAINTINGS & LAYOUT.- SemiPainter: Learning to draw semi-realistic paintings from the manga line drawings and flat shadow.- Hierarchical Bayesian Network Modeling and Layout of Huizhou Traditional Villages in Geographic Environment.- AE-GAN: Attention Embedded GAN For Irregular and Large-area Mask Face Image Inpainting.- SYNTHESIS & GENERATION.- Procedural Generation of Landscapes with Water Bodies Using Artificial Drainage Basins.- High-fidelity Dynamic Human Synthesis via UV-guided NeRF with Sparse Views.- Rec2Real: Semantics-Guided Photo-Realistic Image Synthesis Using Rough Urban Reconstruction Models.- 3D Digital City Structure Model Based on Image Modeling Technology.- AR & USER INTERFACES.- Augmented Reality-Based Home Interaction Layout and Evaluation.- LiteAR: A Framework to Estimate Lighting for Mixed Reality Sessions for Enhanced Realism.- Personalized User Interface Elements Recommendation System.- MEDICAL IMAGING.- A feature point extraction method for capsule endoscope localization.- Automated Diagnosis Of Retinal Neovascularization Pathologies From Color Retinal Fundus Images.- SEGMENTATION.- DDCNet: A lightweight network with variable receptive field for real-time portrait segmentation in complex environment.- A chromosome segmentation method based on corner detection and watershed algorithm.- Voxel-based 3D shape segmentation using deep volumetric convolutional neural networks.- OBJECT DETECTION.- Few-shot detection based on an enhanced prototype for outdoor small forbidden objects.- Research on real-time forestry pest detection based on improved YOLOv5.- Power Line Detection Based on Feature Fusion Deep Learning Network.- IMAGE ATTENTION & PERCEPTION.- Wider and Higher: Intensive Integration and Global Foreground Perception for Image Matting.- Authenticity Identification of Qi Baishi's Shrimp Painting with Dynamic Token Enhanced Visual Transformer.- MODELING & SIMULATION.- An Optimized Material Point Method for Soil-Water Coupled Simulation.- SlimFliud-Net: Fast Fluid Simulation Using Admm Pruning. .
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 39th Computer Graphics International Conference on Advances in Computer Graphics, CGI 2022, held Virtually, during September 12-16, 2022. The 45 full papers included in this book were carefully reviewed and selected from 139 submissions. They were organized in topical sections as follows: image analysis & processing; graphs & networks; estimation & feature matching; 3d reconstruction; rendering & animation; detection & recognition; colors, paintings & layout; synthesis & generation; ar & user interfaces; medical imaging; segmentation; object detection; image attention & perception; and modeling & simulation.
(source: Nielsen Book Data)

• Towards a Model-driven Approach for Big Data Analytics in the Genomics Field.- Conceptual Modeling-based Cardiopathies Data Management.- A Conceptual Model of Health Monitoring Systems Centered on ADLs Performance in Older Adults.- A Comparative Analysis of the completeness and concordance of data sources with cancer-associated information.- A Flexible Automated Pipeline Engine for Transcript-level Quantification from RNA-seq.- An Initial Empirical Assessment of an Ontological Model of the Human Genome.- Unsupervised factor extraction from pretrial detention decisions by Italian and Brazilian Supreme Courts.- Context-Aware Knowledge Extraction from Legal Documents through Zero-Shot Classification.- On the Lack of Legal Regulation in Conceptual Modeling Automated extraction and representation of citation network: a CJEU case-study.- A Rule 74 for Italian judges.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of three workshops symposia, held at the 41st International Conference on Conceptual Modeling, ER 2022, as a virtual event, in October 2022. The 11 papers deal with topics such as foundations; business information systems; advanced and cross-disciplinary applications, conceptual modeling, information systems and knowledge graphs; data/object management; engineering; and experience. The following workshops are included in this volume: Third International Workshop on Conceptual Modeling for Life Sciences (CMLS), 5th International Workshop on Empirical Methods in Conceptual Modeling (EmpER); and First International Workshop on Digital Justice, Digital Law and Conceptual Modeling (JUSMOD).
(source: Nielsen Book Data)

• 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.

This book constitutes the refereed proceedings of the 22nd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2022, which was held in October 2022. Due to COVID-19 pandemic the conference was held virtually. The 33 full papers and 10 short papers, presented were carefully reviewed and selected from 91 submissions. The papers cover many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems.
(source: Nielsen Book Data)

• Unifying Gathering Strategies for Swarms of Mobile Robots
• The Complexity of Secure RAMs
• Selected Combinatorial Problems Through the Prism of Random Intersection Graphs Models
• The power of the Binary Value Principle
• Independent Set under a Change Constraint from an Initial Solution
• Asynchronous Fully-Decentralized SGD in the Cluster-Based Model
• Non-Crossing Shortest Paths Lengths in Planar Graphs in Linear Time
• How Vulnerable is an Undirected Planar Graph with respect to Max Flow
• Maximum Flows in Parametric Graph Templates
• Dynamic Coloring on Restricted Graph Classes
• Enumeration of Minimal Tropical Connected Sets
• Dynamic Flows with Time-Dependent Capacities
• On One-Sided Testing Affine Subspaces
• Stable Scheduling in Transactional Memory
• Parameterizing Path Partitions
• Maintaining Triconnected Components under Node Expansion
• Approximating Power Node-Deletion Problems
• Phase transition in count approximation by Count-Min sketch with conservative updates
• Minimum-link $C$-Oriented Paths Visiting a Sequence of Regions in the Plane
• Grouped Domination Parameterized by Vertex Cover, Twin Cover, and Beyond
• Broadcasting in Split Graphs
• Partitioning Subclasses of Chordal Graphs with Few Deletions
• Complete Decomposition of Symmetric Tensors in Linear Time and Polylogarithmic Precision
• Improved Deterministic Leader Election in Diameter-Two Networks
• Fast Cauchy Sum Algorithms for Polynomial Zeros and Matrix Eigenvalues
• On the Parameterized Complexity of the Structure of Lineal Topologies (Depth-First Spanning Trees) of Finite Graphs: The Number of Leaves
• Efficiently Enumerating All Spanning Trees of a Plane 3-Tree
• Communication-Efficient Distributed Graph Clustering and Sparsification under Duplication Models.

This book constitutes the refereed proceedings of the 13th International Conference on Algorithms and Complexity, CIAC 2023, which took place in Larnaca, Cyprus, during June 1316, 2023. The 25 full papers included in this book were carefully reviewed and selected from 49 submissions. They cover all important areas of research on algorithms and complexity such as algorithm design and analysis; sequential, parallel and distributed algorithms; data structures; computational and structural complexity; lower bounds and limitations of algorithms; randomized and approximation algorithms; parameterized algorithms and parameterized complexity classes; smoothed analysis of algorithms; alternatives to the worst-case analysis of algorithms (e.g., algorithms with predictions), on-line computation and competitive analysis, streaming algorithms, quantum algorithms and complexity, algorithms in algebra, geometry, number theory and combinatorics, computational geometry, algorithmic game theory and mechanism design, algorithmic economics (including auctions and contests), computational learning theory, computational biology and bioinformatics, algorithmic issues in communication networks, algorithms for discrete optimization (including convex optimization) and algorithm engineering.

• Stable Approximation Schemes.- A whirlwind tour of intersection graph enumeration.- Graph modification problems with forbidden minors.- Algorithms & Optimization Efficient reductions and algorithms for Subset Product.- Optimal length cutting plane refutations of integer programs.- Fault-Tolerant Dispersion Resource management in device-to-device communications.- Computational Geometry Algorithms for k-Dispersion for Points in Convex Position in the Plane.- Arbitrary oriented color spanning region for line segments.- Games with a Simple Rectilinear Obstacle in Plane.- Diverse Fair Allocations: Complexity and Algorithms.- Graph Coloring New bounds and constructions for neighbor-locating colorings of graphs.- D K 5-list coloring toroidal 6-regular triangulations in linear time.- On Locally Identifying Coloring of Graphs.- On Structural Parameterizations of Star Coloring.- Reddy Perfectness of G-generalized join of graphs.- Coloring of a superclass of 2K2-free graphs.- The Weak (2,2)-Labelling Problem for graphs with forbidden induced structures.- Graph Connectivity Short cycles dictate dichotomy status of the Steiner tree problem on Bisplit graphs.- Some insights on dynamic maintenance of Gomory-Hu tree in cactus graphs and general graphs.- Monitoring edge-geodetic sets in graphs.- Cyclability, Connectivity and Circumference.- Graph Domination On three domination-based identification problems in block graphs.- Graph modification problems with forbidden minors.- Computational Aspects of Double Dominating Sequences in Graph.- Relation between broadcast domination and multipacking numbers on chordal graphs.- Pushing Cops and Robber on Oriented Graphs.- Mind the Gap: Edge Facility Location Problems in Theory and Practice.- Complexity Results on Cosecure Domination in Graphs.- Kusum and Arti Pandey Graph Matching Latin Hexahedra and Related Combinatorial Structures.- Minimum Maximal Acyclic Matching in Proper Interval Graphs.- Graph Partition & Graph Covering Transitivity on subclasses of chordal graphs.- Maximum subgraph problem for 3-regular Knoedel graphs and its wirelength.- Covering using Bounded Size Subgraphs.- Axiomatic characterization of the the toll walk function of some graph classes.- Structural Parameterization of Alliance Problems.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 9th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2023, which was held in Gandhinagar, India, during February 9-11, 2023.The 32 papers presented in this volume were carefully reviewed and selected from 67 submissions. The papers were organized in topical sections named: algorithms and optimization; computational geometry; game theory; graph coloring; graph connectivity; graph domination; graph matching; graph partition and graph covering.
(source: Nielsen Book Data)

• Architecture and System
• A Quantitative Analysis of OpenMP Task Runtime Systems
• EAIBench: An Energy Efficiency Benchmark for AI Training
• MSDBench: Understanding the Performance Impact of Isolation Domains on Microservice-based IoT Deployments
• Algorithm and Dataset
• ShoeMaster: A Benchmark for Sketch2Image Translation of Shoes
• Open Source Software Supply Chain Recommendation Based on Heterogeneous Information Network
• BasicTS: An Open Source Fair Multivariate Time Series Prediction Benchmark
• Benchmarking Object Detection Models with Mummy Nuts Datasets
• Network and Memory
• An Analysis of Long-tailed Network Latency Distribution and Background Traffic on Dragonfly+
• MCCBench: A C10M Benchmark Oriented to Interactive Network Services
• STAMP-Rust: Language and Performance Comparison to C on Transactional Benchmarks.

This book constitutes the refereed post-conference proceedings of the 14th BenchCouncil International Symposium on Benchmarking, Measuring, and Optimization, Bench 2022, held virtually in November 2022. The 10 revised full papers presented were carefully reviewed and selected from 20 submissions. The papers are organized in topical sections named: Architecture and System, Algorithm and Dataset, Network and Memory.

• 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

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

• 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 II
• User Experience Design in Emerging Technologies
• An Exploration of How Aesthetic Pleasure is Related in Lighting Design
• 1 Introduction
• 2 Literature Review
• 2.1 Aesthetic Pleasure and Product Appearance
• 2.2 Elements of Lighting Design that Bring Pleasure

• 2.3 From Rational Needs to Emotional Needs
• 3 Research Methodology
• 4 Results and Discussions
• 4.1 Conjoint Analysis for Relative Importance of Each Attribute of the Products
• 4.2 Correlation Between Pleasure and Happiness
• 5 Conclusions
• References
• Effect of Editing Photos by Application on Chinese Facial Impression Perception
• 1 Introduction
• 2 Method
• 2.1 Participants
• 2.2 Experimental Materials
• 2.3 Photo Rating Experiment
• 2.4 Data Analysis
• 3 Results and Discussion
• 4 Conclusion
• References

• Design Optimization of Adjustable Filter Rod Based on User Experience
• 1 Introduction
• 2 Literature Review
• 3 User Experience of Adjustable Filter Rod
• 4 Optimization Design Method of Adjustable Filter Rod Based on User Experience
• 4.1 Experimental Materials
• 4.2 Experimental Equipment
• 4.3 Participants
• 4.4 Experimental Process
• 5 Experimental Results and Analysis
• 5.1 Preliminary Scheme Design
• 5.2 Optimize Scheme Design
• 6 Conclusion
• References
• Lighting Cognition Predict Model From Physiological Signals
• A Pilot Study
• 1 Introduction
• 2 Methodology

• 2.1 Data Collection
• 2.2 Experiment Questionnaire Validation
• 2.3 Feature Extraction
• 2.4 Feature Analysis
• 3 Result and Discussion
• 3.1 Lighting Cognition
• 3.2 Physiological Feature Selection
• 4 Conclusion
• References
• Research on User Satisfaction of Gamification Elements in Short Video Applications: A Comprehensive Method Based on Kano Model
• 1 Introduction
• 2 Related Research on Gamification Elements
• 2.1 The Discussion of Gamification Elements
• 2.2 Characteristics and Categories of Gamification Elements
• 2.3 Gamification Elements in Short Video Applications

• 3 Design Method and Data Analysis
• 3.1 Satisfaction and Satisfaction Measurement
• 3.2 KANO Model
• 3.3 KANO Questionnaire Design and Definition of Characteristic Attributes
• 4 Results
• 4.1 KANO Model Analysis
• 4.2 Better-Worse Coefficient Analysis
• 4.3 Short Video Game Satisfaction Analysis
• 5 Discuss
• 6 Conclusion and Prospect
• Appendix 1 Classification of Gamification Elements in Short Videos
• Appendix 2 Questionnaire
• References
• Visual Attention Analytics for Individual Perception Differences and Task Load-Induced Inattentional Blindness
• 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 II address topics related to user experience design in emerging technologies, future-focused design, as well as culturally-informed design of automated and intelligent systems

• 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 III
• Cross-Cultural Design in Arts and Creative Industries
• A Study on the Emotional Awareness of Lacquer Art Dyeing Applied to Fan
• 1 Introduction
• 1.1 Research Background
• 1.2 Motivation and Purpose of the Study
• 2 Literature Review
• 2.1 Cultural Value of Lacquer Art

• 2.2 Emotional Awareness of Cultural and Creative Goods
• 2.3 Emotional Design Factors in Cultural and Creative Goods
• 3 Research Methods and Procedures
• 3.1 Research Methodology and Framework
• 3.2 Data Analysis Process
• 4 Research Results and Analysis
• 5 Results and Discussion
• References
• Viewer's Perceptual Difference in NFT Aesthetics - A Case Study of Popular NFT Avatars (PFPs) at the Opensea
• 1 Introduction
• 2 Theoretical Background and Literature Review
• 2.1 Style Features of NFT Avatars (PFPs)
• 2.2 Aesthetic Experience of Artwork

• 2.3 Viewer's Cognitive Process of the Artwork
• 3 Materials and Methods
• 3.1 Case Introduction
• 3.2 NFT Avatars (PFPs) Cognitive Model
• 3.3 Questionnaire Design
• 4 Results and Discussion
• 5 Conclusion
• References
• Preferences for Chinese TV Dramas and Purchase Intentions of Southeast Asian Audiences
• 1 Introduction
• 2 Literature Review
• 2.1 Preference Design of Chinese TV Dramas
• 2.2 Influence on Chinese Product Purchase Intentions
• 3 Research Framework and Questions
• 4 Methodology
• 4.1 Participants
• 4.2 Experiment Design
• 4.3 Materials
• 4.4 Procedure

• 5 Results
• 5.1 Perceived Preferences of Chinese TV Dramas
• 5.2 Purchase Intentions of Chinese Products
• 6 Discussion
• 6.1 Perceived Preferences of Chinese TV Dramas
• 6.2 Purchase Intentions of Chinese Products
• 7 Conclusion
• References
• Analysis of Perceived Preferences and National Images for Chinese TV Dramas in Southeast Asia
• 1 Introduction
• 2 Literature Review
• 2.1 Country Image
• 2.2 Characteristics of Southeast Asians
• 3 Research Framework and Hypotheses
• 4 Methodology
• 5 Results
• 5.1 Analysis of Perceived Preference
• 5.2 Perceived National Image

• 6 Discussion
• 6.1 Perceived Preference
• 6.2 Perceived National Image
• 7 Conclusion
• References
• The Application of Cross-Cultural Context Fusion Virtual Reality Technology in the Course of Film Art Creation
• 1 Introduction
• 2 Literature Review
• 2.1 Virtual Reality Technology
• 2.2 Curriculum and Teaching of Film Art Creation
• 3 Experiment Design
• 3.1 Participant
• 3.2 Measuring Tools
• 3.3 Experimental Process
• 4 Experimental Results
• 4.1 Analysis of Interest in Learning
• 4.2 Analysis of Confidence in Learning
• 5 Discussion and Conclusions
• References

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 III address topics related to cross-cultural design in arts and creative industries, in cultural heritage, in immersive and inclusive learning environments, as well as cross-cultural health and wellness design

• Advancements in Cultural Heritage Preservation
• Experience Design in Exhibitions and Public installations
• Creativity and Design in Arts and Architecture
• Culture and Technological Innovations
• Cross-Cultural Perspectives in Humanities and Technology

This book constitutes the refereed proceedings of the 11th International Conference on Culture and Computing, C&C 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 C&C 2023 proceeding focuses on preserving, disseminating, and creating cultural heritages via ICT (e.g., digital archives), to empower humanities research via ICT (i.e., digital humanities), to create art and expressions via ICT (i.e., media art), to support interactive cultural heritage experiences (e.g., rituals), and to understand new cultures born on the Internet (e.g., net culture, social media, games)

• Localhost Detour from Public to Private Networks
• Pseudo-Random Walk on Ideals: Practical Speed-Up in Relation Collection for Class Group Computation
• Efficient Extended GCD and Class Groups from Secure Integer Arithmetic
• On Distributed Randomness Generation in Blockchains
• Efficient Skip Connections Realization for Secure Inference on Encrypted Data
• Single Instance Self-Masking via Permutations A Fusion-Based Framework for Unsupervised Single Image Super-Resolution
• Generating One-Hot Maps under Encryption Building blocks for LSTM homomorphic evaluation with TFHE
• CANdito: Improving Payload-based Detection of Attacks on Controller Area Networks
• Using Machine Learning Models for Earthquake Magnitude Prediction in California, Japan and Israel
• A Bag of Tokens Neural Network to Predict Webpage Age
• Correlations Between (Nonlinear) Combiners of Input and Output of Random Functions and Permutations (Short Paper)
• PPAuth: A Privacy-Preserving Framework for Authentication of Digital Image
• Robust Group Testing-Based Multiple-Access Protocol for Massive MIMO
• The use of Performance-Counters to perform side-channel attacks
• HAMLET: A Transformer Based Approach for Money Laundering Detection
• Hollow-Pass: A Dual-View Pattern Password Against Shoulder-Surfing Attacks
• Practical Improvements on BKZ Algorithm
• Enhancing Ransomware Classification with Multi-Stage Feature Selection and Data Imbalance Correction
• Short Paper: A Desynchronization-Based Countermeasure Against Side-Channel Analysis of Neural Networks
• New Approach for Sine and Cosine in Secure Fixed-Point Arithmetic
• How Hardened is Your Hardware? Guiding ChatGPT to Generate Secure Hardware Resistant to CWEs
• Evaluating the Robustness of Automotive Intrusion Detection Systems against Evasion Attacks
• On adaptively secure prefix encryption under LWE SigML: Supervised Log Anomaly with Fully Homomorphic Encryption
• HBSS: (Simple) Hash-Based Stateless Signatures
• Hash all the way to the Rescue
• Improving Performance in Space-Hard Algorithms
• A survey of security challenges in Automatic Identification System (AIS) Protocol
• A new interpretation for the GHASH authenticator of AES-GCM
• Fast ORAM with Server-aided Preprocessing and Pragmatic Privacy-Efficiency Trade-off
• Improving Physical Layer Security of Ground Stations Against GEO Satellite Spoofing Attacks
• Midgame Attacks and Defense Against Them
• Deep Neural Networks for Encrypted Inference with TFHE
• On the existence of highly organized communities in networks of locally interacting agents
• Patch or Exploit? NVD Assisted Classification of Vulnerability-Related Github Pages

This book constitutes the refereed proceedings of the 7th International Symposium on Cyber Security, Cryptology, and Machine Learning, CSCML 2023, held in Be'er Sheva, Israel, in June 2023. The 21 full and 15 short papers were carefully reviewed and selected from 70 submissions. They deal with the theory, design, analysis, implementation, and application of cyber security, cryptography and machine learning systems and networks, and conceptually innovative topics in these research areas

• Privacy 1
• (Local) Differential Privacy has NO Disparate Impact on Fairness
• Building Quadtrees for Spatial Data under Local Differential Privacy
• Privacy-Preserving Genomic Statistical Analysis under Local Differential Privacy
• Secure Data Sharing
• New Results on Distributed Secret Sharing Protocols
• Probabilistic Fingerprinting Scheme for Correlated Data
• Optimized stream-cipher-based transciphering by means of functional-bootstrapping
• Applications 1
• Control is Nothing Without Trust: A First Look into Digital Identity Wallet Trends
• Impact of using a privacy model on smart buildings data for CO2 prediction
• Digital Twins for IoT Security Management
• Privacy 2
• Distribution Invariant Local Differential Privacy For Federated Learning
• On the utility gain of iterative bayesian update for locally differentially private protocols
• Differentially Private Streaming Data Release under Temporal Correlations via Post-processing
• Access Control and Vulnerability Assessment
• Assurance, Consent and Access Control for Privacy-Aware OIDC Deployments
• Maintain High-Quality Access Control Policies: An Academic and Practice-Driven Approach
• SMET: Semantic Mapping of CVE to ATT&CK and its Application to Cybersecurity
• Machine Learning
• Classification Auto-Encoder based Detector against Diverse Data Poisoning Attacks
• CodeGraphSMOTE - Data Augmentation for Vulnerability Discovery
• An Autoencoder-Based Image Anonymization Scheme for Privacy Enhanced Deep Learning
• Mobile Applications
• Security and Privacy of Digital Mental Health: An Analysis of Web Services and Mobile Applications
• Android Code Vulnerabilities Early Detection using AI-powered ACVED Plugin
• A Dynamic Approach to Defuse Logic Bombs in Android Applications
• Applications 2
• AMOE: a Tool to Automatically Extract and Assess Organizational Evidence for Continuous Cloud Audit
• Essential Information from Vulnerability Descriptions for CVSS Evaluation
• Hybrid Consensus in Blockchain Protocols for correctness and Progress

This volume LNCS 13942 constitutes the refereed proceedings of the 37th Annual IFIP WG 11.3 Conference, DBSec 2023, in Sophia-Antipolis, France, July 19-21, 2023. The 19 full papers presented together with 5 short papers were carefully reviewed and selected from 56 submissions. The conference focuses on secure data sharing; access control and vulnerability assessment; machine learning; and mobile applications

• DPM Workshop: Dierential Privacy and Data Analysis
• Enhancing Privacy in Federated Learning with Local Dierential Privacy for Email Classication
• Towards Measuring Fairness for Local Dierential Privacy
• Privacy-Preserving Link Prediction
• DPM Workshop: Regulation, Articial Intelligence, and Formal Verication
• An Email a Day Could Give Your Health Data Away
• Explanation of Black Box AI for GDPR related Privacy using Isabelle
• Secure Internet Exams Despite Coercion
• DPM Workshop: Leakage Quantication and Applications
• Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores
• A Parallel Privacy Preserving Shortest Path Protocol from a Path Algebra Problem
• A blockchain-based architecture to manage user privacy preferences on smart shared spaces privately
• No salvation from trackers: Privacy analysis of religious websites and mobile apps
• CBT Workshop: Bitcoin, Lightning Network and Scalability
• An empirical analysis of running a Bitcoin minimal wallet on an IoT device 160
• The Ticket Price Matters in Sharding Blockchain
• On the Routing Convergence Delay in the Lightning Network
• LightSwap: An Atomic Swap Does Not Require Timeouts At Both Blockchains
• CBT Workshop: Anonymity, Fault Tolerance and Governance
• Preserving Buyer-Privacy in Decentralized Supply Chain Marketplaces
• Grape: Ecient Hybrid Consensus Protocol Using DAG
• A Game-Theoretic Analysis of Delegation Incentives in Blockchain Governance
• CBT Workshop: Short Papers
• A Limitlessly Scalable Transaction System
• Migrating Blockchains Away From ECDSA for Post-Quantum Security: A Study of Impact on Users and Applications
• Veriable External Blockchain Calls: Towards Removing Oracle Input Intermediaries.

This book constitutes the refereed proceedings and revised selected papers from the ESORICS 2022 International Workshops on Data Privacy Management, Cryptocurrencies and Blockchain Technology, DPM 2022 and CBT 2022, which took place in Copenhagen, Denmark, during September 2630, 2022. For DPM 2022, 10 full papers out of 21 submissions have been accepted for inclusion in this book. They were organized in topical sections as follows: differential privacy and data analysis; regulation, artificial intelligence, and formal verification; and leakage quantification and applications. The CBT 2022 workshop accepted 7 full papers and 3 short papers from 18 submissions. The papers were organized in the following topical sections: Bitcoin, lightning network and scalability; and anonymity, fault tolerance and governance; and short papers.

• Deception in Security.- The Risk of Attacker Behavioral Learning: Can Attacker Fool Defender under Uncertainty? .-Casino Rationale: Countering attacker deception in zero-sum Stackelberg security games of bounded rationality.- Cyber Deception against Zero-day Attacks: A Game Theoretic Approach.- Planning and Learning in Dynamic Enviroments.- On Almost-Sure Intention Deception Planning that Exploits Imperfect Observers.- Using Deception in Markov Game to Understand Adversarial Behaviors through a Capture-The-Flag Environment.- Robust Moving Target Defense against Unknown Attacks: A Meta-Reinforcement Learning Approach.- Security Games.- Synchronization in Security Games.- Multiple Oracle Algorithm to Solve Continuous Games.- Optimal Pursuit of Surveilling Agents near a High Value Target.- Adversarial Learning and Optimization.- On Poisoned Wardrop Equilibrium in Congestion Games.- Reward Delay Attacks on Deep Reinforcement Learning.- An Exploration of Poisoning Attacks on Data-based Decision Making.- Novel Applications and new Game Models.- A Network Centrality Game for Epidemic Control.- Optimizing Intrusion Detection Systems Placement against Network Virus Spreading using a Partially Observable Stochastic Minimum-Threat Path Game.- Voting Games to Model Protocol Stability and Security of Proof-of-Work Cryptocurrencies.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 13th International Conference on Decision and Game Theory for Security, GameSec 2022, held in October 2022 in Pittsburgh, PA, USA. The 15 full papers presented were carefully reviewed and selected from 39 submissions. The papers are grouped thematically on: deception in security; planning and learning in dynamic environments; security games; adversarial learning and optimization; novel applications and new game models.
(source: Nielsen Book Data)

• Operational State Complexity Revisited: the Contribution of Monsters and Modifiers
• Hypercubes and Isometric Words based on Swap and Mismatch Distance
• Defying Gravity and Gadget Numerosity: The Complexity of the Hanano Puzzle
• Existential and Universal Width of Alternating Finite Automata
• On Jaffe's Pumping Lemma, Revisited
• Operational Complexity: NFA-to-DFA Trade-Off
• The Word Problem for Finitary Automaton Groups
• Separating Words Problem over Groups
• Complexity of Exclusive Nondeterministic Finite Automata
• Shortest Accepted Strings for Two-Way Finite Automata: Approaching the Lower Bound
• Pushdown and One-Counter Automata: Constant and Non-Constant Memory Usage
• Construction of a Bi-Infinite Power Free Word with a Given Factor and a Non-Recurrent Letter
• Merging two Hierarchies of External Contextual Grammars with Subregular Selection
• A Tight Upper Bound on the Length of Maximal Bordered Box Repetition-Free Words

This book constitutes the proceedings of the 25th International Conference on Descriptional Complexity of Format Systems, DCFS 2023, which took place in Potsdam, Germany, in July 2023. The 14 full papers, including one invited presentation as a full paper, presented in this volume were carefully reviewed and selected from 16 submissions. The conference focus on all aspects of descriptional complexity, including automata, grammars, languages, and other formal systems; various modes of operations and complexity measures

• Mobile User Experience and Interaction Design
• Design and Evaluation of Voice User Interfaces and Conversational AI
• Mobile Information Systems in Education, Healthcare, eCommerce and Beyond

This book constitutes the refereed proceedings of the 4th International Conference on Design, Operation and Evaluation of Mobile Communications, MOBILE 2023, held as part of the 25th International Conference, HCI International 2023, which was held in Copenhagen, Denmark, during July 23-28, 2022. The total of 1578 papers and 396 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 7472 submissions. The MOBILE 2023 proceedings were organized in the following topical sections: Mobile User Experience and Interaction Design; Design and Evaluation of Voice User Interfaces and Conversational AI; and Mobile Information Systems in Education, Healthcare, eCommerce and Beyond

• Intro
• Foreword
• HCI International 2023 Thematic Areas and Affiliated Conferences
• List of Conference Proceedings Volumes Appearing Before the Conference
• Preface
• 12th International Conference on Design, User Experience and Usability (DUXU 2023)
• HCI International 2024 Conference
• Contents - Part I
• Design Methods, Tools and Practices
• Desirability of Imagined Futures: Human-Centered Design and Analysis
• 1 Introduction
• 2 Futuristic Design and Approaches
• 2.1 Futuristic Methods and Tools
• 2.2 Strategic Foresight
• 2.3 Aspirational Futures

• 3 Human-Centered Design Methods
• 4 Methodology
• 5 Sample Guidance for Design and Impact Analysis of a Human-Centered Futuristic Smart Home System
• 5.1 Futures Modelling
• Environmental Assessment and Scenario Development
• 5.2 Futures Modelling
• Visioning and Audacious Goals Phase
• 5.3 Futures Modelling - Strategic Analysis
• 5.4 Human-Centered Modelling
• 5.5 Requirements Analysis
• 5.6 Impact Analysis
• 5.7 Design Analysis
• 6 Conclusions
• References

• How Can BOLE Identify, Cultivate, and Judge User Experience (UX) Talents? Inspiring and Designing the Playful Experience of Tomorrow
• 1 Introduction
• 2 Methodology
• 2.1 The Fourth Classroom
• 2.2 Design Thinking
• 2.3 The Corporate Partner
• 2.4 Transdisciplinary Student Teams
• 2.5 The Design Brief Assignments
• 3 Results
• 3.1 Team 1: Play for Generation Z
• 3.2 Team 2: Play for Generation Z
• 3.3 Team 3: Family Engagement
• 3.4 Team 4: Family Engagement
• 4 Discussion and Reflection
• 4.1 The Fourth Classroom
• 4.2 Transdisciplinary Learning
• 4.3 What if We Start All Over

• A Case Study in Organizational Adoption of User Personas: Assessing Perceptions, Awareness, and Hesitation to Adopt
• 1 Introduction
• 1.1 Generating B2B SaaS Personas
• 1.2 Assessing Organizational Adoption of Personas
• 2 Literature Review
• 2.1 Persona Creation
• 2.2 Persona Evaluation
• 2.3 Persona Use
• 2.4 Summary
• 3 Methodology
• 3.1 Survey
• 3.2 Interview
• 4 Results
• 4.1 Quantitative
• 4.2 Qualitative
• 5 Recommendations
• 6 Conclusion
• References
• Reflecting on Collaboration in Participatory Design Facilitation
• 1 Introduction

This 5-volume HCII-DUXU 2023 book set constitutes the refereed proceedings of the 12th International Conference on Design, User Experience, and Usability, DUXU 2023, held as part of the 24th International Conference, HCI International 2023, which took place in Copenhagen, Denmark, in July 2023. A total of 1578 papers and 396 posters have been accepted for publication in the HCII 2023 proceedings from a total of 7472 submissions. The papers included in this volume set were organized in topical sections as follows: Part I: Design methods, tools and practices; emotional and persuasive design; Part II: Design case studies; and creativity and design education; Part III: Evaluation methods and techniques; and usability, user experience and technology acceptance studies; Part IV: Designing learning experiences; and chatbots, conversational agents and robots: design and user experience; Part V: DUXU for cultural heritage; and DUXU for health and wellbeing