1 - 100
Next
- International Conference on Computer Aided Systems Theory (12th : 2009 : Las Palmas de Gran Canaria, Spain)
- Berlin ; London : Springer, 2009.
- Description
- Book — 1 online resource
- Summary
-
- 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)
(source: Nielsen Book Data)
- International Symposium on Methodologies for Intelligent Systems (16th : 2006 : Bari, Italy)
- Berlin ; Heidelberg : Springer, c2006.
- Description
- Book — xviii, 767 p. : ill.
3. Advances in Cryptology - CRYPTO 1997 [1997]
- Springer Berlin / Heidelberg, 1997.
- Description
- Book — 1 online resource
- Summary
-
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.
4. Software engineering--ESEC/FSE ... [1997 - 2009]
- ESEC/FSE.
- Berlin ; New York : Springer
- Description
- Journal/Periodical — v. : ill. ; 24-28 cm.
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks
|
Request (opens in new tab) |
QA76.758 .E97 6TH 1997 | Available |
QA76.758 .E97 7TH 1999 | Available |
QA76.758 .E97 10TH 2005 | Available |
- Lin, Ming C., author.
- New York : Springer, Nov. 1996.
- Description
- Book — 1 online resource (viii, 223 pages)
- Summary
-
- 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.
6. Rewriting techniques and applications : ... international conference, RTA- ... : proceedings [1985 - 2004]
- International Conference on Rewriting Techniques and Applications.
- Berlin ; New York : Springer-Verlag, c1985-c2004.
- Description
- Journal/Periodical — v. : ill. ; 24 cm.
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks
|
Request (opens in new tab) |
QA267 .I555 1ST 1985 | Available |
QA267 .I555 2ND 1987 | Available |
QA267 .I555 3RD 1989 | Available |
QA267 .I555 4TH 1991 | Available |
QA267 .I555 5TH 1993 | Available |
QA267 .I555 6TH 1995 | Available |
QA267 .I555 7TH 1996 | Available |
QA267 .I555 8TH 1997 | Available |
QA267 .I555 9TH 1998 | Available |
QA267 .I555 10TH 1999 | Available |
QA267 .I555 12TH 2001 | Available |
QA267 .I555 13TH 2002 | Available |
QA267 .I555 14TH 2003 | Available |
QA267 .I555 15TH 2004 | Available |
7. Proceedings [- 1975]
- Sagamore Computer Conference on Parallel Processing.
- New York, Springer-Verlag [etc.]
- Description
- Journal/Periodical
SAL1&2 (on-campus shelving), SAL3 (off-campus storage)
SAL1&2 (on-campus shelving) | Status |
---|
SAL3 (off-campus storage) | Status |
---|---|
Stacks
|
Request (opens in new tab) |
QA76.6 .S24 1975 | Available |
QA76.6 .S24 1974 | Available |
QA76.6 .S24 1973 | Available |
QA76.6 .S24 1973 | Available |
8. Parallel scientific computing [1994 - 1994]
- PARA.
- Berlin ; New York : Springer-Verlag, c1994.
- Description
- Journal/Periodical — v. : ill. ; 24 cm.
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks
|
Request (opens in new tab) |
QA76.58 .P35 1ST 1994 | Available |
9. Proceedings of the ... International Conference on Information and Knowledge Management : CIKM ... [1993 - 2005]
- International Conference on Information and Knowledge Management.
- New York, N.Y. : ACM Press, c1993-
- Description
- Journal/Periodical — v. : ill. ; 28 cm.
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks
|
Request (opens in new tab) |
QA76.6 .D3 I5586 2ND 1993 | Available |
QA76.6 .D3 I5586 4TH 1995 | Available |
QA76.6 .D3 I5586 5TH 1996 | Available |
QA76.6 .D3 I5586 6TH 1997 | Available |
QA76.6 .D3 I5586 7TH 1998 | Available |
QA76.6 .D3 I5586 8TH 1999 | Available |
QA76.6 .D3 I5586 9TH 2000 | Available |
QA76.6 .D3 I5586 10TH 2001 | Available |
QA76.6 .D3 I5586 11TH 2002 | Available |
QA76.6 .D3 I5586 12TH 2003 | Available |
QA76.6 .D3 I5586 13TH 2004 | Available |
QA76.6 .D3 I5586 14TH 2005 | Available |
10. Foundations of genetic algorithms [1990 -]
- San Francisco, Calif. : Morgan Kaufmann, 1991-
- Description
- Journal/Periodical — v. : ill. ; 24 cm.
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks
Beginning with vol.8, individual vols. of this title also cataloged separately. |
Request (opens in new tab) |
QA402.5 .F686 1ST 1990 | Available |
QA402.5 .F686 2ND 1992 | Available |
QA402.5 .F686 3RD 1994 | Available |
QA402.5 .F686 4TH 1996 | Available |
QA402.5 .F686 5TH 1998 | Available |
QA402.5 .F686 6TH 2000 | Available |
QA402.5 .F686 7TH 2002 | Available |
- AIS (Conference : 2019- ) (5th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxi, 354 pages) : illustrations (chiefly color)
- Summary
-
- 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
- Computer Graphics International (39th : 2022 : Online)
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (550 pages) : illustrations
- Summary
-
- 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)
(source: Nielsen Book Data)
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (1 volume) : illustrations
- Summary
-
- 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)
(source: Nielsen Book Data)
- ICSI (Conference) (14th : 2023 : Shenzhen, China)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxiii, 492 pages) : illustrations (chiefly color)
- Summary
-
- 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
- ICSI (Conference) (14th : 2023 : Shenzhen, China)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxiv, 538 pages) : illustrations (chiefly color)
- Summary
-
- 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
- International Conference on Algorithms and Architectures for Parallel Processing (22nd : 2022 : Online)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xv, 803 pages) : illustrations (chiefly color). Digital: text file; PDF.
- Summary
-
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)
- International Conference on Algorithms and Complexity (13th : 2023 : Larnaca, Cyprus)
- Cham : Springer, 2023.
- Description
- Book — 1 online resource
- Summary
-
- 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.
- CALDAM (Conference) (9th : 2023 : Gāndhīnagar, India)
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (460 pages).
- Summary
-
- 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)
(source: Nielsen Book Data)
- International Symposium on Benchmarking, Measuring, and Optimization (14th : 2022 : Online)
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (170 pages).
- Summary
-
- 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.
- ICBL (Conference) (16th : 2023 : Hong Kong, China)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xv, 286 pages) : illustrations (some color)
- Summary
-
- 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
- CONVERSATIONS (Workshop) (6th : 2022 : Amsterdam, Netherlands).
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xii, 211 pages) : illustrations (some color).
- Summary
-
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)
- CLIP (Workshop) (11th : 2022 : Singapore)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (viii, 91 pages) : illustrations (chiefly color). Digital: text file; PDF.
- Summary
-
- 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)
(source: Nielsen Book Data)
- CLOUD (Conference : Cloud Computing) (15th : 2022 : Honolulu, Hawaii)
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (120 pages) : illustrations (black and white).
- Summary
-
- 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)
(source: Nielsen Book Data)
- International Workshop on Combinatorial Image Analysis (21st : 2022 : Messina, Italy)
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (1 volume.) : illustrations
- Summary
-
- Invited Paper.- Digital Geometry and Topology.- Picture Languages.- Theory and Applications.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- CSoNet (Conference) (11th : 2022 : Online)
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (292 pages) : illustrations (black and white).
- Summary
-
- 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)
(source: Nielsen Book Data)
- CICLing (Conference) (19th : 2023 : Hanoi, Vietnam)
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (300 pages)
- Summary
-
- 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.
- CICLing (Conference) (19th : 2023 : Hanoi, Vietnam)
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (300 pages)
- Summary
-
- 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.
- CICLing (Conference) (20th : 2019 : La Rochelle, France)
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (500 pages)
- Summary
-
- Artificial intelligence
- Natural language processing
- Information extraction
- Lexical semantics
- Natural language generation
- Language resources
- Phonology
- Morphology
- Discourse
- Dialogue and pragmatics.
- International Conference on Computational Science (23rd : 2023 : Prague, Czech Republic ; Online)
- Cham : Springer, 2023
- Description
- Book — 1 online resource (xxi, 699 pages) : illustrations (some color)
- Summary
-
- 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
- International Conference on Computational Science (23rd : 2023 : Prague, Czech Republic ; Online)
- Cham : Springer, 2023
- Description
- Book — 1 online resource (xxii, 687 pages) : illustrations (some color)
- Summary
-
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
- International Conference on Computational Science (23rd : 2023 : Prague, Czech Republic ; Online)
- Cham : Springer, 2023
- Description
- Book — 1 online resource (xxiii, 795 pages) : illustrations (some color)
- Summary
-
- 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
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (200 pages) : illustrations
- Summary
-
- 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)
(source: Nielsen Book Data)
- CAV (Conference) (35th : 2023 : Paris, France)
- Cham, Switzerland : Springer, 2023
- Description
- Book — 1 online resource (xxix, 488 pages) : illustrations (some color)
- Summary
-
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
- International Conference on Computer Aided Systems Theory (18th : 2022 : Las Palmas, Canary Islands)
- Cham : Springe, 2023.
- Description
- Book — 1 online resource (619 pages)
- Summary
-
- 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)
(source: Nielsen Book Data)
- CAV (Conference) (35th : 2023 : Paris, France)
- Cham, Switzerland : Springer, 2023
- Description
- Book — 1 online resource (xv, 502 pages) : illustrations (some color)
- Summary
-
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
- Asian Conference on Computer Vision (16th : 2022 : Macau, China)
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (658 pages)
- Summary
-
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.
- European Conference on Computer Vision (17th : 2022 : Tel Aviv, Israel ; Online)
- Cham, Switzerland : Springer, 2023.
- Description
- Book — 1 online resource (765 pages) : illustrations (black and white).
- Summary
-
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)
- COCOON (Conference) (28th : 2022 : Shenzen Shi, China)
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (1 volume) : illustrations
- Summary
-
- 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)
(source: Nielsen Book Data)
- COORDINATION (Conference) (25th : 2023 : Lisbon, Portugal)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xiv, 293 pages) : illustrations (some color)
- Summary
-
- Collective Adaptive Systems and Aggregate Computing
- Cyber-Physical Systems
- Verification and Testing
- Languages and Processes
- Run-Time Changes
- CCD (Conference) (15th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxxiii, 602 pages) : illustrations (chiefly color)
- Summary
-
- 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
- CCD (Conference) (15th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxii, 534 pages) : illustrations (chiefly color)
- Summary
-
- 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
- CCD (Conference) (15th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxiii, 574 pages) : illustrations (chiefly color)
- Summary
-
- 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
- International Conference on Culture and Computing (11th : 2023 : Copenhagen, Denmark)
- Cham, Switzerland : Springer, 2023
- Description
- Book — 1 online resource (xxiii, 620 pages) : illustrations (some color)
- Summary
-
- 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
- CSCML (Symposium) (7th : 2023 : Online)
- Cham : Springer, 2023
- Description
- Book — 1 online resource (xiv, 524 pages) : illustrations (some color)
- Summary
-
- 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
- Annual IFIP WG 11.3 Working Conference on Data and Applications Security (37th : 2023 : Sophia-Antipolis, France)
- Cham : Springer, 2023
- Description
- Book — 1 online resource (xiii, 414 pages) : illustrations (some color)
- Summary
-
- 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
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (310 pages) : illustrations (black and white).
- Summary
-
- 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.
- GameSec (Conference) (13th : 2022 : Pittsburgh, Pa. ; Online)
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (324 p.).
- Summary
-
- 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)
(source: Nielsen Book Data)
- DCFS (Workshop) (25th : 2023 : Potsdam, Germany)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xvi, 197 pages) : illustrations (some color)
- Summary
-
- 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
- MOBILE (Conference) (4th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxi, 336 pages) : illustrations (chiefly color)
- Summary
-
- 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
- DUXU (Conference) (12th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxiii, 681 pages) : illustrations (chiefly color)
- Summary
-
- 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
- DUXU (Conference) (12th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxiii, 592 pages) : illustrations (chiefly color)
- Summary
-
- 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 II
- Design Case Studies
- Design Specifications for Bidirectional Feedback on Indoor Environmental Quality
- 1 Introduction
- 2 Literature Review and Theoretical Framework
- 2.1 Parameter Granularity
- 2.2 Temporal Granularity
- 2.3 Data Granularity
- 2.4 Spatial Granularity
- 3 Method
- 3.1 Product Review
- 4 Results
- 4.1 Parameter Granularity
- 4.2 Data Granularity
- 4.3 Spatial Granularity
- 4.4 Temporal Granularity
- 5 Discussion
- 5.1 Best Practices for Parameter Granularity
- 5.2 Best Practices for Data Granularity
- 5.3 Best Practices for Spatial Granularity
- 5.4 Best Practices for Temporal Granularity
- 6 Conclusion
- References
- Digital Fabrication in the Industrial Sector in Middle East, General Overview
- 1 Introduction
- 2 Methodology
- 2.1 Literature Review on Current Application of Digital Fabrication in the Industrial Sector in Middle East
- 2.2 Current Application of Digital Fabrication in UAE/MATERIALS
- 2.3 Digital Fabrication of Complex Structures, Material Overview
- 3 Results
- 4 Conclusions and Discussion
- References
- Colour Accuracy in Fashion E-tail
- 1 Introduction
- 2 Theoretical Background
- 2.1 Fashion E-tail
- 2.2 Interaction Design as a Means to Improve UX
- 2.3 Light and Colour
- 3 Metamerism
- 4 Light, Colour, and Matter
- 5 Systematic Review
- 5.1 Carrying Out the Systematic Literature Review
- 6 Conclusion
- 7 Limitations
- References
- Ux in Immersive Reality: The Power of the Users
- 1 Introduction
- 2 Gamification and Ux Research
- 3 Game for Safety
- 4 Materials and Methods
- 5 Results and Discussion
- 6 Conclusion and Future Works
- References
- Applying Service Design Thinking to UX Research: A Case of Smart Campus Dance Experience Design
- 1 Introduction
- 1.1 Background
- 1.2 Service Design and UX Design
- 2 Design Process and UX Research
- 2.1 Double Diamond Design Process
- 2.2 Cycle 1: Experience Stories and User Needs
- 2.3 Cycle 2: Insights and Persona
- 2.4 Cycle 3: Design for Insights
- 2.5 Cycle 4: Develop Concept
- 3 Usability Testing
- 3.1 Lo-Fi Prototype
- 3.2 Usability Testing Process
- 3.3 Usability Testing Result
- 4 System Implement
- 4.1 Data Actuation
- 4.2 Service Blueprint
- 4.3 Hi-Fi Prototype
- 5 Conclusion and Discussion
- References
- Beyond Car Human-Machine Interface (HMI): Mapping Six Intelligent Modes into Future Cockpit Scenarios
- 1 Introduction
- 2 Methodology
- 2.1 The UX Foundation Course
- DUXU (Conference) (12th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxii, 462 pages) : illustrations (chiefly color)
- Summary
-
- 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 III
- Evaluation Methods and Techniques
- Usage and Application of Heatmap Visualizations on Usability User Testing: A Systematic Literature Review
- 1 Introduction
- 2 Background
- 2.1 User Experience
- 2.2 Usability
- 2.3 Usability Test
- 2.4 Heatmap
- 2.5 Eye Tracking
- 2.6 Data Visualization
- 2.7 User Experience Metric
- 3 Systematic Literature Review
- 3.1 Review Goal
- 3.2 Review Questions
- 3.3 Search Strategy
- 3.4 Search Results
- 3.5 Data Extraction
- 4 Data, Analysis, and Results
- 4.1 Answer to Review Question RQ1
- 4.2 Answer to Review Question RQ2
- 4.3 Answer to Review Question RQ3
- 5 Conclusion
- References
- A Comparison Between Performing a Heuristic Evaluation Based on a Formal Process Using a System and the Traditional Way: A Case Study
- 1 Introduction
- 2 Background
- 2.1 Usability
- 2.2 Heuristic Evaluation
- 2.3 Heuristic Evaluation Formal Process
- 3 Selecting a Heuristic Evaluation Formal Process and Developing a Software Product that Used It as the Basis
- 4 Elaboration of the Case Study
- 5 Execution and Results of the Case Study
- 6 Conclusions and Future Works
- References
- A Review of Usability Guidelines for E-Commerce Website Design
- 1 Introduction
- 2 Homepage or Landing Page
- 2.1 Establish Brand Identity
- 2.2 Minimize Content
- 2.3 Organise Content
- 3 Navigation
- 3.1 Make Navigating Easy
- 3.2 Primary Navigation
- 3.3 Breadcrumb Line or Progress Bar
- 4 Search Engine Effectiveness
- 5 Responsive Design
- 6 Make the Website Accessible
- 6.1 Follow WCAG Standards
- 7 Page Layout
- 7.1 Font Visibility
- 7.2 Creating a Visual Hierarchy
- 7.3 Readability
- 7.4 Website Patterns
- 8 Checkout Process
- 8.1 Simplify the Checkout Process
- 8.2 Have a Save Cart Function
- 8.3 Communicate Good Security
- 9 Trust and Credibility
- 10 Reviews and Feedback
- 11 Building a Positive Experience
- 12 Security and Accepted Payment Methods
- 13 Consistency with Existing Designs
- 14 Minimise Page Load Times
- 15 Marketing and Analytics
- 16 Usability Goals v Business Goals
- 17 Conclusion
- References
- User Generated Inverted Item Evaluation (UGIIE)
- 1 Introduction
- 2 Background
- 2.1 Understanding User Experience
- 2.2 Relationship of User Experience and Usability
- 3 User Generated Inverted Item Evaluation (UGIIE)
- 3.1 Classification
- 3.2 I. Briefing
- 3.3 II. Execution
- 3.4 III. Questioning
- 3.5 IV. Assembling Item List
- 3.6 V. Results Gathering
- 4 Evaluating UGIIE
- 4.1 Hypotheses
- 4.2 Methodology
- 4.3 Procedure
- 4.4 Task 1: Drone
- 4.5 Task 2: Unknown Smartphone App
- 4.6 Task 3: Projector
- DUXU (Conference) (12th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxi, 380 pages) : illustrations (chiefly color)
- Summary
-
- 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 IV
- Designing Learning Experiences
- The Attention of Students in the Metaverse: Practical Application
- 1 Introduction
- 2 Design, Ergonomics, and Teaching in the Metaverse
- 3 The Experiment
- 3.1 Technical Details
- 3.2 Activity Script
- 4 Results and Discussion
- 4.1 Avatar Movements
- 5 Conclusion
- References
- Interactive Design of Immersive First Aid Skills Teaching Based on Multimedia Devices
- 1 Introduction
- 1.1 Background of My Thesis
- 1.2 CPR and AED Bystander First Aid
- 1.3 Key Factors on AED Learning
- 1.4 Conclusion
- 2 Methods
- 2.1 Research Methods
- 2.2 Design Methods
- 2.3 Conclusion
- 3 Design Research
- 3.1 Current Situation of AED Learning
- 3.2 Market Research on AED Teaching Aid
- 3.3 Problems and Needs: Why Both Participants and Instructors Feel Inefficient?
- 3.4 Technical Feasibility
- 3.5 Conclusion
- 4 Product Design of Interactive Design of Immersive First Aid Skills Teaching
- 4.1 Prototype and Focus Group
- 4.2 Function Design of the Savebeats
- 4.3 Key Functions
- 4.4 Conclusion and Value
- References
- Interactive Video: Application in Narrative Competence Education of 1st to 3rd Grade Primary School Children
- 1 Research Motivation and Background
- 1.1 The Importance of the Development of Children's Narrative Ability
- 1.2 The Relationship and Impact of Interactive Video and Narrative Education
- 2 Core Concept Definition
- 2.1 Core Concept and Development Overview of Interactive Video
- 2.2 Core Concepts and Development of Interactive Movie Games
- 2.3 Relationship and Characteristics of Interactive Video and Interactive Movie Games
- 2.4 The Core Concept of Narrative Competence
- 2.5 Structure of Interactive Narratives Types
- 2.6 Comparison of Development of Video and Interactive Video for Children in China and Abroad
- 3 Experimental Details
- 3.1 Research Design
- 3.2 Research Questions
- 3.3 Research Hypothesis
- 3.4 Participants
- 3.5 Research Materials and Procedures
- 4 Research Conclusions and Educational Recommendations
- 4.1 Research Conclusions
- References
- Optimization Strategy of Guidance Methods of Online Education Information Transmission
- 1 Introduction
- 2 Theoretical Basis
- 2.1 Information Transmission in Online Education
- 2.2 Interaction Guidance
- 2.3 Digital Media Screen Size Difference
- 3 Research Method
- 3.1 Prior Knowledge
- 3.2 Learning Effect
- 3.3 Learning Satisfaction
- 3.4 Learning Engagement
- 4 Research Design
- 4.1 Experimental Materials
- 4.2 Experimental Procedures
- 5 Research Results
- DUXU (Conference) (12th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxii, 542 pages) : illustrations (chiefly color)
- Summary
-
- 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 V
- DUXU for Cultural Heritage
- Research on the Development of Spatial Model and Value Perceptions of Lingnan's "Water Cultural Heritage" in the Context of Generative Whole Theory
- 1 Introduction
- 2 Methods
- 2.1 Bibliometric Analysis of the Status of Hydrological Heritage Conservation
- 2.2 Digital Information Modeling Techniques and Methods of Heritage Landscape
- 3 Results
- 4 Discussion
- 5 Conclusion
- References
- Design of a Multi-user Collaborative Innovation Digital Resource Library for Miao Embroidery
- 1 Introduction
- 2 Current Status of Digital Resource Library for Traditional Handicrafts in China
- 2.1 Digital Resource Library are an Effective Way to Preserve Intangible Cultural Heritage
- 2.2 Necessity of the Construction of Miao Embroidery Digital Resource Library
- 2.3 Problem Analysis of Traditional Handicraft Digital Resource Library
- 3 Design of a Multi-user Collaborative Innovation Digital Resource Library for Miao Embroidery
- 3.1 Construction Concept
- 3.2 System Construction
- 3.3 Multi-user Role Positioning
- 4 Conclusion
- References
- Scenes, Interaction, Community and Values: A Service Experience Design Framework for Museum Public Space Based on the Theory of Experience Preference
- 1 Introduction
- 2 The Development Trend of Public Space Under the Transformation of Museums
- 2.1 Definition of Public Space in Museums
- 2.2 Experience Preference Theory Based on Museum Audience Experience
- 3 Insights into Opportunities to Intervene in the Audience Service Experience
- 3.1 Building a New Service Perception: The Palace Museum
- 3.2 Provide Multiple Experience Scenes: Nanjing Museum
- 3.3 Enhancing the Interactive Experience of Visitors: Suzhou Museum
- 3.4 A "Museum-Style" Consumer Space: Starbucks Workshop
- 4 SICV Service Experience Design Framework for Museum Public Space
- 4.1 Museum Embodied Scene and Space Construction
- 4.2 Character Interaction and Experience Optimization
- 4.3 Community Maintenance and Operational Segmentation
- 4.4 Value Transformation and Perception Empowerment
- 5 Conclusion
- References
- The Penta Model of Flow Experience: A Study on Service Design of Duan Inkstone Art Exhibition in Guangdong Museum
- 1 Introduction
- 2 Flow Experience Theory
- 3 The Construction of Penta-Model of Flow Experience in MPES
- 3.1 Goals and User Attraction
- 3.2 Challenges and User Involvement
- 3.3 Integration and Human-Computer/Objects Interaction
- 3.4 Feedback and Content Acquisition
- 3.5 Competence and Value Co-creation
- International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (20th : 2023 : Hamburg, Germany)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xii, 278 pages) : illustrations (chiefly color)
- Summary
-
This book constitutes the proceedings of the 20th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2023, held in Hamburg, Germany, in July 2023. The 12 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 43 submissions. The papers are organized in thematical sections named: Side Channels Attacks; Security and Machine Learning; Cyber Physical System Security; Security Issues when Dealing with Users; Analysis of Vulnerable Code; Flow Integrity and Security
- DFUC (Conference) (3rd : 2022 : Singapore)
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (125 pages) : illustrations (black and white, and colour).
- Summary
-
- Quantifying the Effect of Image Similarity on Diabetic Foot Ulcer Classification.- DFUC2022 Challenge Papers.- HarDNet-DFUS: Enhancing Backbone and Decoder of HarDNet-MSEGfor Diabetic Foot Ulcer Image Segmentation.- OCRNet For Diabetic Foot Ulcer Segmentation Combined with Edge Loss 30.- On the Optimal Combination of Cross-Entropy and Soft Dice Losses for Lesion Segmentation with Out-of-Distribution Robustness.- Capture the Devil in the Details via Partition-then-Ensemble on Higher Resolution Images.- Unconditionally Generated and Pseudo-Labeled Synthetic Images for Diabetic Foot Ulcer Segmentation Dataset Extension.-Post Challenge Paper.- Diabetic Foot Ulcer Segmentation Using Convolutional and Transformer-based Refined Mixup Augmentation for Diabetic Foot Ulcer Segmentation.- Organization IX DFU-Ens: End-to-End Diabetic Foot Ulcer Segmentation Framework with Vision Transformer Based Detection.- Summary Paper.- Diabetic Foot Ulcer Grand Challenge 2022 Summary.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- IWDW (Conference) (21st : 2022 : Guilin, China)
- Cham, Switzerland : Springer, 2023.
- Description
- Book — 1 online resource (206 pages) : illustrations (black and white).
- Summary
-
- Steganology.- High-Performance Steganographic Coding Based on Sub-Polarized Channel.- High-Capacity Adaptive Steganography Based on Transform Coefficient for HEVC.- Forensics and Security Analysis.- SE-ResNe
- t56: Robust Network Model for Deepfake Detection.- Voice Conversion Using Learnable Similarity-Guided Masked Autoencoder.- Visual Explanations for Exposing Potential Inconsistency of Deepfakes.- Improving the Transferability of Adversarial Attacks through Both Front and Rear Vector Method.- Manipulated Face Detection and Localization Based on Semantic Segmentation.- Deep Learning Image Age Approximation - What is more Relevant: Image Content or Age Information?.- Watermarking.- Physical Anti-Copying Semi-Robust Random Watermarking for QR Code.- Robust and Imperceptible Watermarking Scheme for GWAS Data Traceability.- Adaptive Robust Watermarking Method Based on Deep Neural Networks.- Adaptive Despread Spectrum-Based Image Watermarking for Fast Product Tracking.- Reversible Data Hiding via Arranging Blocks of Bit-Planes in Encrypted Images.- High Capacity Reversible Data Hiding for Encrypted 3D Mesh Models Based on Topology. .
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- DHM (Conference) (14th : 2023 : Copenhagen, Denmark)
- Cham : Springer, 2023
- Description
- Book — 1 online resource (xxix, 657 pages) : illustrations (some color)
- Summary
-
- Human Factors and Ergonomics
- Job Design and Human Productivity
- Interacting with Robots and Exoskeletons
- Digital Health
- IoT and AI in Medicine and Healthcare
- Modeling Complex Human Behavior and Phenomena
- DHM (Conference) (14th : 2023 : Copenhagen, Denmark)
- Cham : Springer, 2023
- Description
- Book — 1 online resource (xxix, 609 pages) : illustrations (some color)
- Summary
-
- Human Factors and Ergonomics
- Job Design and Human Productivity
- Interacting with Robots and Exoskeletons
- Digital Health
- IoT and AI in Medicine and Healthcare
- Modeling Complex Human Behavior and Phenomena
- DAPI (Conference) (11th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxvi, 407 pages) : illustrations (chiefly color)
- Summary
-
- Designing and Evaluating Intelligent Environments
- DeforVerFace: Modular Linear-Deformable Vertical Surface
- User-Developer Interaction in a Living Lab: A Case Study of an Exercise Support System for the Elderly
- Human-Computer-Building Interaction: An Integrated Experience of the Digital and Physical Environments
- Living Labs are the Silver Lining for Creating Sustainable Health and Care for the Future
- PURPOSE MODEL: A Visual Communication Tool for Mutual Understanding in Co-Creation Projects
- Study on the Identification of Disruptive Technology, Evidence from Nano Science
- Towards an Interaction Design Framework for IoT Healthcare Systems
- Guidelines for Practicing Responsible Innovation in HPC: A Sociotechnical Approach
- Experience Design for Multi-device Sharing Based on 3C Framework
- A Systematic and Innovative Six-in-one Evaluation Framework to Drive the Development of Future Hidden Champions
- Untapped Potential of Participatory Design - Citizen Centered Social Data Utilization for Smart Cities
- User Experience in Intelligent Environments
- Investigating the Psychological Impact of Emotion Visualization and Heart Rate Sharing in Online Communication
- Sustained Participation Motivation of Quantified Self for Personal Time Management
- Evaluating Students Experiences in VR Case-Studies of Information Systems Problem-based Teaching
- Assessing Lighting Experience Using Physiological Measures: A Review
- Advancing User Research in Naturalistic Gambling Environments through Behaviour Tracking. A Pilot Study
- Using the Experience Sampling Method to Find the Pattern of Individual Quality of Life Perceptions. -Mutual Recall Between Onomatopoeia and Motion Using Doll Play Corpus
- Understanding Avoidance Behaviors of users for Conversational AI
- How Remote-Controlled Avatars are Accepted in Hybrid Workplace
- Pervasive Data
- Ethical Considerations of High Performance Computing Access for Pervasive Computing
- A Taxonomy of Factors Influencing Data Quality
- Designing A Smart Standards Information Service: A Research Framework
- Estimation of Water Consumption in a Family Home using IOT Systems
- Development of Large-Scale Scientific Cyberinfrastructure and the Growing Opportunity to Democratize Access to Platforms and Data
- Understanding Regional Characteristics Through EC Data Analysis
- DAPI (Conference) (11th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xx, 487 pages) : illustrations (chiefly color)
- Summary
-
- Smart Cities and Environment Preservation
- Methodology for Functionalization of “Living lab” under Concept of Smart Cities - Case through Service Design Development Workshops Using Frailty Prevention AI Technology
- Toward Supporting Baggage-Free Walk-Arounds at Travel Destinations: Issues of the Hassle of Baggage during Travel
- Platform Urbanism for Sustainability
- Experiences with using Diverse Evaluation Methods for Extracting Insights via Experience Prototyping in Ambient and Civic Computing
- Opening up Smart Learning Cities - Building Knowledge, Interactions and Communities for Lifelong Learning and Urban Belonging
- Weather Forecasting Limitations in the Developing World
- Risk Framework for the Use of AI Services Driven by Citizens Themselves
- The Nurturing of Theory for Smart Environments and Spaces: The Case of Ambient Theory for Smart Cities
- Future Living Lab / Design Research Project to Explore Local Values for Infrastructure Services with the Participation of Residents
- AR-Enabled Interface for IoT Water Management Systems in Smart Cities
- An IoT Framework for Heterogeneous Multi-Layered Access in Smart Cities
- Applications of Bioacoustics Human Interface System for Wildlife Conservation in Nepal
- How Citizens Participation Begin and Continue in Developing Smart Cities
- Application of Digital Media Technology in the Display Design of Construction Sand Table Model
- Media, Art and Culture in Intelligent Environments
- A Clothing-type Wearable Device that Promotes a Sense of Unity for Viewers of Online Live Performances
- Research on the Integration of Stage Performance and Virtual Technology in the Digital Media Art Environment
- Dashcam Video Curation for Generating Memorial Movies on Tourism using Multiple Measures of "Tourist Spot Likeness
- On the Application and Influence of Interactive Installation in Urban Public Art
- An Analysis of the Origin, Integration and Development of Contemporary Music Composition and Artificial Intelligence and Human-Computer Interaction
- Research on the Application of the Ming Dynasty Clothing Element “ShiDiKe” in Home Fabric Design
- Analyzing the Design of Online VR Platforms for Accessing Cultural Heritage Resources and Services: Multiple Case Studies in European and American Countries
- Analysis of the Current Status of the NFT Industry Chain in China
- Research on Digital Communication of Chinese Traditional Garden
- Digital Inheritance of Straw Weaving in Laizhou, Shandong Province
- Supporting Health, Learning, Work and Everyday Life
- User-Centred Detection of Violent Conversations on Mobile Edge Devices
- The Tribrid-Meeting-Setup – Improving Hybrid Meetings using a Telepresence Robot
- Silent Delivery: Make Instant Delivery More Accessible for the DHH Delivery Workers through Sensory Substitution
- Augmented Reality Visual-Captions: Enhancing Captioning Experience for Real-Time Conversations
- Playful Learning: Promoting Immersive Learning Environment in Chinese Community
- Augmented Social Meal via Multi-Sensory Feedback Modulated by Bodily-in-Coordinated Measures
- Ambient Information Design for a Work Environment
- Card Type Device to Support Acquirement of Card Techniques
- E-Reminder: A Mindfulness-Based Interactive Eating Reminder Device to Improve Emotional Eating
- Detecting Hand Hygienic Behaviors In-the-wild Using a Microphone and Motion Sensor on a Smartwatch
- DAIS (Conference) (23rd : 2023 : Lisbon, Portugal)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xi, 129 pages) : illustrations (chiefly color)
- Summary
-
- Distributed algorithms and systems
- Data management
- Distributed architectures
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (440 pages) : illustrations
- Summary
-
- Computer and Communication Networks.- New Filtering Method to Reduce PAPR and OOBE of UFMC in 5G Communication System.- A Novel Technique for creating Optical Multi-Carrier Generation using Nested Electro-Absorption Modulators.- Discrete time Markov chain for drone's buffer data exchange in an autonomous swarm.- Construction and analysis of a queueing model with service prioritization for 5G systems with customizable network slice instances.- Spectrum and AI-based Analysis for a Flight Environment and Virtual Obstacles Avoidance Using Potential Field Method for Path Control.- Clusters of Exceedances for Evolving Random Graphs.- Estimation of the Tail Index of PageRanks in Random Graphs.- Optimization of the Code Division Process Using Multilayer Orthogonal Structures Based on M-sequences.- Research and development of data compression methods based on neural networks.- Anomaly electrocardiograms automatic detection with unsupervised deep learning methods.- Using Neural Networks for Channel Quality Prediction in Wireless 5G Networks.- Analysis and formalization of requirements of URLLC, mMTC, eMBB scenarios for the physical and data link layers of a 5G mobile transport network.- Traffic arrival model for millimeter wave 5G NR systems.- Model for Analyzing Impact of Path Loss on eMBB Bit Rate Degradation under Priority URLLC Transmission in 5G Network.- Firewall simulator development for performance evaluation of ranging a filtration rules set.- Analytical Modeling of Distributed Systems.- Performance Analysis for Tethered HAP Systems: An Analytical Approach.- Analysis of Power Management in a Tethered High Altitude Platform using MAP/PH[3]/1 Retrial Queueing Model.- Investigation of a finite-source retrial queueing system with two-way communication, catastrophic breakdown and impatient customers using simulation.- Analysis of Retrial Queuing System with Limited Processor Sharing Discipline and Changing Effective Bandwidth.- On the distribution of the number of consecutively lost customers in the BMAP/PH/1/N system.- Analysis of Tandem Retrial Queue with Common Orbit and MMPP Incoming Flow.- Average cost minimization in a multi-server retrial queueing system with a controllable reserve group of servers.- Verification of stability condition in unreliable two-class retrial system with constant retrial rates.- The queueing system with threshold-based direct and inverse general renovation mechanism.- Effective Algorithm of Estimation the Performance Measures of Group of Servers with Dependence of Call Repetition on the Type of Call Blocking.- Transient Behaviour of Finite-Source Single-Line Queueing Systems With Jumps of Network Traffic.- Probability Density of the Interval Duration between Events in the Generalized MAP with its Incomplete Observability.- Inventory Control with Returns and Controlled Markov Queueing Systems.- On Estimating the Average Response Time of High-Performance Computing Environments.- Exponential Splitting based Artificial Regeneration in Supercomputer Queueing Model.- Modeling And Analysis of Multi-Channel Queuing System Transient Behavior For Piecewise-Constant Rates.- On the reliability estimation of the Gaussian multi-phase degradation system.- On Steady State Reliability and Sensitivity Analysis of a k-out-of-n System under Full Repair Scenario.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- DaLí (International Workshop) (4th : 2022 : Online)
- Cham, Switzerland : Springer, 2023.
- Description
- Book — 1 online resource (xx, 155 pages) : illustrations.
- Summary
-
- First steps in updating knowing how.- Parametrized modal logic II: the unidimensional case.- Relating Kleene algebras.- Dynamic epistemic logic for budget-constrained agents.- Action models for coalition logic.- Quantum logic for observation of physical quantities.- Cautious distributed belief.- A STIT logic of intentionality.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- EDGE (Conference) (6th : 2022 : Honolulu, Hawaii)
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (107 pages)
- Summary
-
- Fast offloading of accelerator task over network with hardware assistance.- Fair Food Delivery Trading System Based on Edge Computing and Stackelberg Game.- Thoughts on the Development of Digital Employee.- The Application of Digital Employee in Finance.- The significance of a second-person perspective for the development of humanoid AI.- Sensor Sharing Marketplace.- Future Lies with Edge Computing.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- EMO (Conference) (12th : 2023 : Leiden, Netherlands)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xix, 636 pages) : illustrations (chiefly color).
- Summary
-
- Algorithm Design and Engineering
- Visual Exploration of the Effect of Constraint Handling in Multiobjective Optimization
- A Two-stage Algorithm for Integer Multiobjective Simulation Optimization
- RegEMO: Sacrificing Pareto-Optimality for Regularity in Multi-objective Problem-Solving
- Cooperative coevolutionary NSGA-II with Linkage Measurement Minimization for Large-scale Multi-objective Optimization
- Data-Driven Evolutionary Multi-Objective Optimization Based on Multiple-Gradient Descent for Disconnected Pareto Fronts
- Eliminating Non-dominated Sorting from NSGA-III
- Scalability of Multi-Objective Evolutionary Algorithms for Solving Real-World Complex Optimization Problems
- Machine Learning and Multi-criterion Optimization
- Multi-Objective Learning using HV Maximization
- Sparse Adversarial Attack via Bi-Objective Optimization
- Investigating Innovized Progress Operators with Different Machine Learning Methods
- End-to-End Pareto Set Prediction with Graph Neural Networks for Multi-objective Facility Location
- Online Learning Hyper-Heuristics in Multi-Objective Evolutionary Algorithms
- Surrogate-assisted Multi-objective Optimization via Genetic Programming based Symbolic Regression
- Learning to Predict Pareto-optimal Solutions From Pseudo-weights
- A Relation Surrogate Model for Expensive Multiobjective Continuous and Combinatorial Optimization
- Pareto Front Upconvert by Iterative Estimation Modeling and Solution Sampling
- Pareto Front Upconvert by Iterative Estimation Modeling and Solution Sampling
- Approximation of a Pareto Set Segment Using a Linear Model with Sharing Variables
- Feature-based Benchmarking of Distance-based Multi/Many-objective Optimisation Problems: A Machine Learning Perspective
- Benchmarking and Performance Assessment
- Partially Degenerate Multi-Objective Test Problems
- Peak-A-Boo! Generating Multi-Objective Multiple Peaks Benchmark Problems with Precise Pareto Sets
- MACO: A Real-world inspired Benchmark for Multi-objective Evolutionary Algorithms
- A scalable test suite for bi-objective multidisciplinary optimisation
- Performance Evaluation of Multi-Objective Evolutionary Algorithms using Artificial and Real-World Problems
- A Novel Performance Indicator based on the Linear Assignment Problem
- A Test Suite for Multi-objective Multi-fidelity Optimization
- Indicator Design and Complexity Analysis
- Diversity enhancement via magnitude
- Two-Stage Greedy Approximated Hypervolume Subset Selection for Large-Scale Problems
- Two-Stage Greedy Approximated Hypervolume Subset Selection for Large-Scale Problems
- On the Computational Complexity of Efficient Non-Dominated Sort using Binary Search
- Applications in Real World Domains
- Evolutionary Algorithms with Machine Learning Models for Multiobjective Optimization in Epidemics Control
- Joint Price Optimization across a Portfolio of Fashion E-commerce Products
- Improving MOEA/D with Knowledge Discovery. Application to a Bi-Objective Routing Problem
- The Prism-Net Search Space Representation for Multi-Objective Building Spatial Design
- Selection Strategies for a Balanced Multi- or Many-Objective Molecular Optimization and Genetic Diversity: a Comparative Study
- A Multi-objective Evolutionary Framework for Identifying Dengue Stage-Specific Differentially Co-expressed and Functionally Enriched Gene Modules
- A Multi-objective Evolutionary Framework for Identifying Dengue Stage-Specific Differentially Co-expressed and Functionally Enriched Gene Modules. -Multiobjective Optimization of Evolutionary Neural Networks for Animal Trade Movements Prediction
- Transfer of Multi-Objectively Tuned CMA-ES Parameters to a Vehicle Dynamics Problem
- Multi-Criteria Decision Making and Interactive Algorithms
- Preference-Based Nonlinear Normalization for Multiobjective Optimization
- Incorporating preference information interactively in NSGA-III by the adaptation of reference vectors
- A Systematic Way of Structuring Real-World Multiobjective Optimization Problems
- IK-EMOViz: An Interactive Knowledge-based Evolutionary Multi-objective Optimization Framework
- An Interactive Decision Tree-Based Evolutionary Multi-Objective Algorithm.
67. Formal methods : 25th Brazilian Symposium, SBMF 2022, Virtual event, December 6-9, 2022, Proceedings [2023]
- Brazilian Symposium on Formal Methods (25th : 2022 : Online)
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (154 p.).
- Summary
-
- Invited Talks.- Model Checking and Semantics.- Generation and Synthesis.- Verification and Solvers.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- FORTE Conference (43rd : 2023 : Lisbon, Portugal)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xiv, 225 pages) : illustrations (some color)
- Summary
-
- Concurrent programming
- Security
- Probabilities, time and other resources
- Model-based testing and petri nets
- FIMH (Conference) (12th : 2023 : Lyon, France)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxi, 723 pages) : illustrations (chiefly color)
- Summary
-
- Cardiac multiscale structure
- Cardiac electrophysiology modeling
- Image and shape analysis
- Cardiovascular hemodynamics and CFD
- Cardiac biomechanics
- Clinical applications
- GD (Symposium) (30th : 2022 : Tokyo, Japan ; Online)
- Cham, Switzerland : Springer, [2023]
- Description
- Book — 1 online resource (xxiv, 492 pages).
- Summary
-
- Properties of Drawings of Complete Graphs.- Stress-based Visualizations of Graphs.- Planar and Orthogonal Drawings.- Drawings and Properties of Directed Graphs.- Beyond Planarity.- Dynamic Graph Visualization.- Linear Layouts.- Contact and Visibility Graph Representations. .
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- ICGT (Conference) (16th : 2023 : Leicester, England)
- Cham, Switzerland : Springer, 2023
- Description
- Book — 1 online resource (x, 303 pages) : illustrations (some color)
- Summary
-
- Theoretical Advances
- Application Domains
- Tool Presentation
- Blue Skies
- HCI for Cybersecurity, Privacy and Trust (Conference) (5th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xviii, 702 pages) : illustrations (chiefly color)
- Summary
-
- Usable Security and Privacy
- Data Privacy, Sovereignty and Governance
- Cybersecurity Challenges and Approaches for Critical Infrastructure and Emerging Technologies
- User-Centered Perspectives on Privacy and Security in Digital Environments
- Human-Centric Cybersecurity: From Intrabody Signals to Incident Management
- HCI-Games (Conference) (5th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxv, 343 pages) : illustrations (chiefly color)
- Summary
-
- Intro
- Foreword
- HCI International 2023 Thematic Areas and Affiliated Conferences
- List of Conference Proceedings Volumes Appearing Before the Conference
- Preface
- 5th International Conference on HCI in Games (HCI-Games 2023)
- HCI International 2024 Conference
- Contents - Part II
- Contents - Part I
- Games for Learning
- Exploring Virtual Reality (VR) to Foster Attention in Math Practice
- Comparing a VR to a Non-VR Game
- 1 Introduction
- 2 Related Work
- 2.1 Connecting Prior Work
- 3 Method
- 3.1 Game Design
- 3.2 Experimental Setup
- 4 Results
- 4.1 Questionnaires
- 5 Conclusion and Discussion
- References
- Students' Learning Outcomes Influenced by Textbook Selection: A Gamification Method Using Eye-Tracking Technology
- 1 Introduction
- 2 Literature Review
- 2.1 Motivators for Students Learning Through E-Textbooks
- 2.2 Students Experience with E-Textbooks
- 2.3 Teacher's Perception and Experience with E-Textbooks
- 2.4 E-Text Designs and Features
- 2.5 Student Academic Performance with E-Text
- 3 Research Methodology
- 4 Pilot Study and Discussion
- 5 Conclusions
- References
- The Gaming World of Educational Robotics. A Review Study
- 1 Introduction
- 2 The Theoretical Framework of Educational Robotics
- 3 Empirical Studies with LEGO® Robots for Improving Cognitive and Social Skills
- 4 The Effectiveness of LEGO® Robots for Assessing and Enhancing Metacognition
- 5 The Effectiveness of LEGO® Robots for Assessing and Enhancing Executive Functions
- 6 Discussion and Conclusion
- References
- Skull Hunt: An Educational Game for Teaching Biology
- 1 Introduction
- 2 Skull Hunt: The Game
- 2.1 Game Design
- 2.2 Gameplay
- 3 Dashboard
- 3.1 Schools and Visits
- 3.2 Question Editor
- 4 Implementation
- 5 Conclusion
- HCI-Games (Conference) (5th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxv, 435 pages) : illustrations (chiefly color)
- Summary
-
- Intro
- Foreword
- HCI International 2023 Thematic Areas and Affiliated Conferences
- List of Conference Proceedings Volumes Appearing Before the Conference
- Preface
- 5th International Conference on HCI in Games (HCI-Games 2023)
- HCI International 2024 Conference
- Contents - Part I
- Contents - Part II
- Game Design and Development
- Stocks Investment Decision-Making: A Theoretical Model
- 1 Introduction
- 2 Background
- 2.1 Investment Motivations
- 2.2 Transaction Cost Economics (TCE)
- 2.3 Valuation Process
- 3 Theoretical Model
- 3.1 Perceived Value
- 3.2 Perceived Benefits
- 3.3 Perceived Transaction Costs
- 3.4 Uncertainty
- 3.5 Asset Specificity
- 3.6 Transaction Frequency
- 4 Discussion and Conclusion
- References
- Games as Cinematic Experiences: Discussing Filmic Modes and Ludic Elements in Video-Game Storytelling
- 1 Introduction
- 2 Video Games and Cinema: A Brief History and Current Trends
- 3 Film Aesthetics in Video Games
- 3.1 From the Long-Take Mise En Scene to Editing Techniques as Game Mechanics
- 3.2 Film Genre as a Framework for Open-World Games: Cinephilia, Genre and Materiality
- 3.3 Point of View and Characterization: Restricted and Immutable vs. Restricted and Mutable vs. Free
- 4 Narrative and Storytelling Aspects of Films and Games
- 4.1 Categories of Games and Players
- 4.2 Narrative Structures in Films and Video-Games
- 4.3 A Discussion of Narrative Theories and Practices in Game Development and Movie Production
- 5 Concluding Remarks
- References
- A Survey on Application of Game Design Element in Edutainment
- 1 Introduction
- 2 Game Design Principles
- 2.1 Gamification
- 2.2 Edutainment
- 2.3 Serious Game
- 3 Application and Significance Game Design Components
- 3.1 Education
- 3.2 Business
- 3.3 Medicine
- 3.4 Leisure Activities
- 4 Conclusion
- References
- Level Flow Patterns in Game Design
- 1 Introduction
- 1.1 Locked Door and Puzzle Model
- 1.2 Flow Within the Boundary
- 2 Research Method
- 2.1 Data Analysis
- 2.2 Equipment
- 2.3 Protocol Design
- 3 Level Flow Patterns in Level Boundaries
- 3.1 Linear Level Flow
- 3.2 Open Level Flow
- 3.3 Maze Level Flow
- 3.4 Random Level Flow
- 3.5 Backtrack Level Flow
- 3.6 Mixing Flows
- 4 Conclusion
- References
- Making the Digital Tangible Through Analog Games: Design Retrospective of Digital Literacy Games
- 1 Introduction
- 2 Literature Review
- 2.1 Digital Issues and Digital Literacy
- 2.2 Digital Literacy Videogames
- 2.3 Digital Literacy Analog Games
- 3 Method
- 4 Results
- 4.1 Cast Study 1: Reactile
- 4.2 Case Study 2: Lizards and Lies
- 5 Discussion
- 5.1 Materiality
- 5.2 Reflection
- 5.3 Limitations
- 6 Conclusion and Lingering Questions
- References
- GPU Based Position Based Dynamics for Surgical Simulators
- 1 Introduction
- 2 Methods
- 3 Results
- 4 Conclusion
- HCI in Mobility, Transport, and Automotive Systems (Conference) (5th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxv, 453 pages) : illustrations (chiefly color)
- Summary
-
- Autonomous and Assisted Driving
- Cooperative and Intelligent Transport Systems
- Urban Mobility
- Sustainable Mobility
- HCI in Mobility, Transport, and Automotive Systems (Conference) (5th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxvi, 315 pages) : illustrations (chiefly color)
- Summary
-
- Driver Behavior and Performance
- Designing Driver and Passenger User Experience
- Accessibility and Inclusive Mobility
- Cham, Switzerland : Springer, 2023.
- Description
- Book — 1 online resource (103 pages).
- Summary
-
- POLY 2022.- Privacy, Security and/or Policy Issues for Heterogeneous Data.- Ad-hoc Searches on Image Databases.- A Survey of Data Challenges across a Modernizing Bureaucracy: A New Perspective on Examining Old Government Problems.- Purpose Scan: A purpose-aware access method.- DMAH 2022.- Enabling Real-world Medicine with Data Lake Federation: a research perspective.- Towards Assessing Data Bias in Clinical Trials.- Clinical synthetic data generation to predict and identify risk factors for cardiovascular diseases.
- .
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- ITAP (Conference) (9th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxviii, 670 pages) : illustrations (chiefly color)
- Summary
-
- Designing and Assessing the Older Users' Experience
- Designing for Self-directed Learning: Co-creating a Demokit with Older Adults
- Text Readability of Smartphone in Dark Mode: Effects of Font Type, Font Weight and Color
- Human Factors Based New Media Design: Methodology and Assessment
- Increasing Quality of Life by Playing Chess: A Blended Care Approach for Elderly People
- Lessons from a COVID-Era Controlled Trial of Online Learning and Socializing with Older Participants: Benefits of Applying Consolidated Standards of Reporting Trials
- Older Adults’ Perceptions and Use of Digital Engagement Channels: In the Case of Automobile Insurance Services
- Promoting Positive Emotions in Older Adults: a Self-Help Relational Savoring e-Intervention
- The Relationship between Older Drivers’ Cognitive Ability and Takeover Performance in conditionally Automated Driving
- The After Effect of COVID-19 on Colour Perception in the Elderly
- QR Codes as a Method for Older Adults to Access a Mobile Survey
- The Effects of an Art Program on Older Adults’ Cognition and Satisfaction with Life
- College Students’ Perceptions and Preferences Regarding Intelligent Advisory Systems in Multi-Device Learning Environments
- Experimental Design and Design Methodology of Smart Screen Ageing based on Emotion Regulation
- Aging and Social Media
- Facebook Community Lurking and Non-participation: Sociotechnical Barriers among Older Adults in Online Participation
- Optimizing WeChat User Experience for Older Adults in China I Know How but I do not want to Discern Falsehoods: Older Adults' Self-Reported Inference Process to Identify and Share Short-Form Videos
- Using Media Literacy to Fight Digital Fake News in Later Life: A Mission Impossible?
- Older Persons Media Usage during a One Month Election Campaign: a Bulgarian Case Study
- Experimental Survey on Bridging the Digital Divide through Daily Text Chat Communication with Virtual Agents
- Credibility Judgment Against Online Health Misinformation Among Older Adults: Integrated View of Psychological Distance and Health Literacy
- Judging Online Health Misinformation: Effects of Cyberchondria and Age
- ICT Use and Loneliness during COVID-19 Pandemic: The Case of European Male and female Older Workers
- Voice Assistants and Chatbots
- Learnability Assessment of Speech-Based Intelligent Personal Assistants by Older Adults
- Voice Controlled Devices: A Comparative Study of Awareness, Ownership, Usage, and Reservations between Young and Older Adults
- LINE Chatbot for Recording Elderly Cognition to Screen Cognitive Impairmen
- “Hi, My Name is Robin” – Remotely Co-Designing an Embodied Conversational Agent for Empathy with Older Adults
- Learning with Pedagogical Agent: Effects of Transfer of Information Function
- Games and Exergames for Older People
- Develop Cognitive Games for Older People Based on Dynamic Difficulty Adjustment to Motivate Them to Train
- A Study of Interactive Design Games to Enhance the Fun of Muscle Strength Training for Older Adults
- From a Research Centre to a Mall: Bringing Virtual Reality and Digital Playing to a Living Lab for Community Dwelling Older Adults
- Research on the Design of Serious Games for the Elderly Cognitive Training based on Augmented Reality
- Development of Exergame-based Frailty Assessment and Management: An Older Adult-Centric Design
- “miPlay” as a Transmedia Strategy: Co-designing a Movie-based Digital Game for Older Adults
- Effects of Physical Functions on Mobile Casual Game Acceptance of Older Adults
- XR Experiences and Aging
- Detecting Stress in VR 360° Immersive Experiences for Older Adults through eye tracking and psychophysiological signals
- Immersive VR for Training Cognition in Seniors with Neurological Disorders
- A Framework to incentivize the Use of Augmented Reality in daily Lives of older Adults
- Development of the Train Therapy in a Nursing Home in Switzerland
- Applying Virtual Reality Technology and Physical Feedback on Aging in Spatial Orientation and Memory Ability
- Research on the Development of 3D Virtual Reality Fire Hazard Factor Identification Training System
- Virtual Reality Hippotherapy Simulator: A Model Proposal for Senior Citizens
- The Use of Immersive Technologies while Ageing in the Digitally Mediated Society
- Habituation to Simulator Sickness in Older Adults during a Chronic Back Pain Therapy Investigating the Mental Workload of Experiencing Virtual Reality on people with Mild Cognitive Impairment
- A Study of Junior High School Students' Willingness to Learn Table Tennis Using VR technology.
- ITAP (Conference) (9th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxiii, 546 pages) : illustrations (chiefly color)
- Summary
-
- Smart Homes and Aging in Place
- Research on Influencing Factors of Elderly User Experience of Smart Home Social Software based on Grounded Theory
- My Iliad: a Ludic Interface using Ambient Assistive Technology to Promote Aging in Place
- Visual Ambient Assisted Living Technologies for Different Daily Activities: Users’ Requirements and Data Handling Preferences
- Smart Home for the Elderly – A Comparative Study on Interaction Techniques
- Living in a Networked Home: Older Adults’ Expectations and Attitudes
- Data Privacy and Smart Home Technology Adoption: Older Adults’ Attitudes and Beliefs
- eHealth Applications for Older People and Health literacy
- Health Education Mobile Applications: Evaluation of Persuasion Strategies and Impact on Older Users
- Designing Intelligent Decision Assistants to Assist Seniors with Medicare Plan Decision-Making: An Application of Cognitive Response Theories
- Aging in Place Virtual Care Technology from the User Experience Perspective
- Privacy, Technology and Telehealth: Canadian Older Adults Voice their Concerns
- Paving the Way: Trust in Healthcare Systems as a Prerequisite for Technology Usage
- Trust in Health Information Among Older Adults in Iceland
- Tamamon: Designing a Gamified Medication Education Solution for Older Adult Patients
- The Age Factor and the Acceptance: A Rhetorical Study on the Older Audience of the COVID-19 Popular Science Animated Films
- Using Persona Development to Design a Smartphone Application for Older and Younger Diabetes Patients – A Methodological Approach for Persona Development
- Effects of Health Science Popularization Platform on Older Adults’ eHealth Literacy: From the Perspective of Digital Empowerment
- Behavioral Intention Model for Online Consultation at Internet Hospitals among Older People at Home
- IT Support for Caregivers
- A Study for Estimating Caregiving Contexts Based on Extracting Nonverbal Information from Elderly People at Home
- Caregiver Attitudes toward Internet-enabled Sources of Information
- What to do next? An Activity Scheduling Schema for Social Assistance Robots for Older Adults
- Technologies and Services to Support Care: Family Caregivers’ Experiences and Perspectives
- Observations of Caregivers of Persons with Dementia: A Qualitative Study to Assess the Feasibility of Behavior Recognition Using AI for Supporting At-Home Care
- Engagement as a Goal and Process for Improving Support for Informal Caregivers: The Cremona Beside Caregiver Project
- Live Classification of Similar Arm Motion Sequences Using Smartwaatches
- Technology Service Design for the Older Adults with Dementia
- Effectiveness of Support Programmes for (in)Formal Caregivers of Older Dependent People to Design Technologies
- Part 4: Aging, ICT Use and Digital Literacy
- Intergenerational Solidarity: Perceptions of Young Adults
- Understanding ICTs in Older Life: A Scope Review of 'The Gerontologist' and 'Research on Aging
- Applying PBL Model to Technological Learning Strategies for Older Adults
- ICTs in Later Life and Post-Pandemic Challenges
- Digital Media Use and the Role of Internet Self-Efficacy among Older Technology Volunteers – a Baseline Study from the Project “DiBiWohn”
- First and Second-Level Digital Divides and Cultural Capital: Framing Digital Lives of Seniors in Portugal and Europe
- Influence of Cognitive Function and the Mental Model on ICT Use – Examined by TAM Model
- A Social Justice-Oriented Perspective on Older Adults Technology Use in HCI: Three Opportunities for Societal Inclusion
- Value Co-Creation Perspectives on Digital Literacy Training for Older Adults: A Call to Action Research
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (310 pages) : illustrations
- Summary
-
- Algorithms.- A Fast Shortest Path Searching Method based on A* and Simulated Annealing.- A Combining Forecasting Method based on Seasonal Unit Root Test and Support Vector Regression.- Adaptive ICP Registration Algorithm Based on the Neighborhood of SIFT Feature Points.- A PSO based Multi-view Hierarchical Clustering Method.- GCN-ARIMA Based Sales Demand Prediction.- Dynamic adjustment of the learning rate using gradient.- Data and Analytics.- Predicting Personalities of Ancient Chinese Emperors Based on Relational Knowledge Transfer Model".- Visualization of Convolutional Neural Networks with Attention Mechanism.- Course Recommendation System based on SSM Framework.- Using entropy for trust measure in collaborative filtering.- A Pedestrian Detection Method Based on Improved ResNet for Container Terminal.- Detection of Advertising Users Based on K- SMOTE and Ensemble Learning.- Quantitative Relationship between Achievement Motivation and Game behavior Based on Structural Equation Model.- Dictionary-based Classical Chinese Word Segmentation and its Application on Imperial Edicts of Jin Dynasties.- Visualization Analysis of Hot Event Propagation Topic Map.- Communication.- Pilot Reuse Joint Partial APs in Cell-Free Massive MIMO System.- Multi-task Allocation under Multiple Constraints in Mobile Crowdsensing.- Optimization of Kalman Filter Indoor Positioning Method Fusing WiFi and PDR.- Constructing An UAV Network with Relative Positioning.- Resource allocation for multi-service NOMA System based on deep reinforcement learning.- 5G Resource Sharing Scheme and Consensus Algorithm Based on Blockchain.- 5G Message Log Credit Management and Verification System Based on Blockchain.- A Graph-based Service Composition Method for Science and Technology Resources.- Smart City.- Optimization of Energy Transaction Strategy between Microgrids Based on MADDPG.- Future Holographic Scene Design Based on Card Sorting- Fuzzy Comprehensive Evaluation Method.- Fault Diagnosis Method of Automatic Sorter based on Association Rules.- Innovation Framework for Green Ports.
- .
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- HIMI (Thematic area) (2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxix, 676 pages) : illustrations (chiefly color)
- Summary
-
- Information Design and User Experience
- Cooperation Mode of 2D and 3D Interfaces on Destination Planning Tasks in the Location-based AR Application
- Generalized Cohen’s Kappa: A Novel Inter-rater Reliability Metric for Non-Mutually Exclusive Categories
- Knowledge Graph-based Machining Process Route Generation Method
- How to Share Color Impression Among Different Observers Using Simplicial Maps
- Task-Based Open Card Sorting: Towards a New Method to Produce Usable Information Architectures
- Emotive Idea and Concept Generation
- Survey on the Auditory Feelings of Strangeness while Listening to Music
- Text Reconstructing System of Editorial Text Based on Reader's Comprehension
- Interfaces for Learning and Connecting around Recycling
- Sound Logo to Increase TV Advertising Effectiveness Based on Audio-Visual Features
- Research on Visualization Method for Empathic Design
- A Study on HCI of a Collaborated Nurture Game for Sleep Education with Child and Parent
- Analysis of Resilient Behavior for Interaction Design
- How Information Influences the Way We Perceive Unfamiliar Objects – An Eye Movement Study
- Data Visualization and Big Data
- The Nikkei Stock Average Prediction by SVM
- What Causes Fertility Rate Difference among Municipalities in Japan
- Explore Data Quality Challenges Based on Data Structure of Electronic Health Records
- Feature Analysis of Game Software in Japan Using Topic Model and Structural Equation Modeling for Reviews and Livestreaming Chat
- Inductive Model Using Abstract Meaning Representation for Text Classification via Graph Neural Networks
- Enhancing Visual Encodings of Uncertainty through Aesthetic Depictions in Line Graph Visualisations
- Satisfaction Analysis of Group/Individual Tutoring Schools and Video Tutoring Schools
- Zebrafish Meets the Ising Model: Statistical Mechanics of Collective Fish Motion
- Research on New Design Methods for Corporate Value Provision in a DX (Digital Transformation) Society 〜Visualization of value by lifestyle derived from qualitative analysis
- Evaluating User Experience in Information Visualization Systems: UXIV an Evaluation Questionnaire
- Multimodal Interaction
- Study of HMI in Automotive ~Car design proposal with usage by the elderly
- Pilot Study on Interaction with Wide Area Motion Imagery Comparing Gaze Input and Mouse Input
- Development of a Speech-Driven Communication Support System Using a Smartwatch with Vibratory Nodding Responses
- Coordinated Motor Display System of ARM-COMS for Evoking Emotional Projection in Remote Communication
- Fundamental Considerations on Representation Learning for Multimodal Processing
- A Preliminary Study on Discrimination of Dominant Hand Based on Motion Analysis of Hand Movements by Image Analysis Using Deep Learning
- Glasses Encourage Your Choices: A System that Supports Indecisive Choosers by Eye-tracking
- Physiological Measures in VR Experiments - Some Aspects of Plethysmogram and Heart Rate
- Effects of Visual and Personality Impressions on the Voices Matched to Animated Characters
- Effects of Gaze on Human Behavior Prediction of Virtual Character for Intention Inference Design
- Interacting with AI and Intelligent Systems
- Development of a Light-Emitting Sword Tip Accompanying Thrusts and a Device for Judging Valid Thrusts by Light Spectrum Detection Without an Electric Judge in the Foil Event of Fencing Competitions
- A Study on Human-Computer Interaction with Text-to/from-Image Game AIs for Diversity Education
- A Generative Vase Design System Based on Users' Visual Emotional Vocabulary
- The Impact of AI Text-To-Image Generator on Product Styling Design
- Generating Various 3D Motions by Emergent Imitation Learning
- Personalized Sleep Stage Estimation based on Time Series Probability of Estimation for Each Label with Wearable 3-axis Accelerometer
- Controllable Features to Create Highly Evaluated Manga
- A Study on Trust Building in AI Systems through User Commitment
- Chatbot to Facilitate Opinion Formation in Web Search
- A State-of-Art Review on Intelligent Systems for Drawing Assisting
- Discussion Support Framework Enabling Advice Presentation That Captures Online Discussion Situation
- Triple Supportive Information for Matrix Factorization with Image, Text, and Social Networks
- An Analysis of Factors Associated with Self-Confidence in the Japanese.-Detecting Signs of Depression for Using Chatbots
- Extraction of the First Person from Japanese.
- HIMI (Thematic area) (2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxix, 598 pages) : illustrations (chiefly color)
- Summary
-
- Service Design
- Method for Assessing the Potential Impact of Changes in Software Requirements of Agile Methodologies based Projects
- Validation of Items of Aspects of Interests in Quality-in-use -Stakeholder Needs of Each System Domain
- Design Study of Wearable IV Pole: Service Design Perspective
- Extensibility Challenges of Scientific Workflow Management Systems
- The Effect of Color on the Visual Search Efficiency of Mobile Travel Service APP in Night Mode
- Research on Conversational Interaction Design Strategy of Shopping APP Based on Context Awareness
- Influence of Different Language Labels on Perception of Product Value
- Structural Equation Modeling For The Interplay Among Consumer Engagements With Multiple Engagement Objects In Consumer's Fashion
- Considerations for Health Care Services Related to the Menstrual Cycle
- Dialogue-Based User Needs Extraction for Effective Service Personalization
- The Impact of External Networks on Product Innovation in Social Purpose Organizations: An Empirical Research on Japanese Museums
- Does Guaranteeing Anonymity in SNS Use Contribute to Regional Revitalization
- Effects of Poor Visibility on Riding Anxiety in Riding a Bicycle that can be Ridden with two Infants
- Wayfinding and Navigation in the Outdoors - Quantitative and Data Driven Development of Personas and Requirements for Wayfinding in Nature
- Knowledge in eLearning and eEducation
- Analysis of Classroom Test Results for an Error-based Problem Presentation System for Mechanics
- Using Interactive Flat Panel Display for STEM Education based on SAMR Model
- Analysis of Effects of Raggedy Student CG Characters in Face-to-Face Lectures and Their On-demand Streaming
- Triangle Logic Recomposition Exercise for Three-Clause Argument and its Experimental Evaluation
- Proposal for a Semi-Subjective Learning Support System with Operation Indices Targeting Vectors
- Instructional Design of a VR-based Empathy Training
- Program to Primary School Children
- Classroom Practice of Code Sharing Platform to Encourage Refinement Activities
- Learning Support System for Programming that Promotes Understanding of Source Code Function through Behavior Modeling
- Proposal for Automatic Problem and Feedback Generation for use in Trace Learning Support Systems
- Improving Educational Outcomes: Developing and Assessing Grading System (ProGrader) for Programming Courses
- Development of VR Education System for Media Exchange in Cell Culture Operation
- Proposal of Learning Programs Using the Senseware
- Investigation of the Relationship Between Map Quality and Higher-Order Thinking in Kit-Build Concept Map
- Application of the Recomposition Method to Mind Map and Experimental Verification of Learning Effect
- Development of a VR Collaboration System to Support Reflection on the Learning Process of Oneself and Others
- Supporting work and collaboration
- Design of an Interview Script Authoring Tool for a Job Interview Training Simulator using Graph Transformations
- Human Factors and Ergonomics Awareness Survey of Professional Personnel in a Large-Scale Company from the Aerospace Industry
- Optimization of a Human-Machine Team for Geographic Region Digitization
- Crowdsourced Argumentation Feedback for Persuasive Writing
- An Online Opinion-Learning Experiment Simulating Social Interaction on Emerging Technologies: A Case Study of Genome-Edited Crops
- Tasks Decomposition Approaches in Crowdsourcing Software Development
- Comparison of Nature and Office Environments on Creativity - A Field Study
- A Conceptual Design of Management Interface for Wireless Sensor Network System
- What Affects the Success of Programmers in Query Validation Process? An Eye Tracking Study
- Comparative Analysis of Manipulation Skills of Experts and Non-Experts in Cell Culture Using VR Gloves
- Prototyping Process Analyzed from Dialogue and Behavior in Collaborative Design
- A Study on Visual Communication with Different Conveyance under MR Remote Collaboration
- Developers Foraging Behavior in Code Hosting Sites: A Gender Perspective
- HCI (Thematic area) (2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xvi, 617 pages) : illustrations (chiefly color)
- Summary
-
- Intro
- Foreword
- HCI International 2023 Thematic Areas and Affiliated Conferences
- List of Conference Proceedings Volumes Appearing Before the Conference
- Preface
- Human-Computer Interaction Thematic Area (HCI 2023)
- HCI International 2024 Conference
- Contents - Part I
- Design and Evaluation Methods, Techniques and Tools
- Co-creating User Journey Map - A Systematic Approach to Exploring Users' Day-to-Day Experience in Participatory Design Workshops
- 1 Introduction
- 2 Study Design
- 2.1 Workshop Participants and Locations
- 3 PD Workshop
- 3.1 Workshop 1: Learning NLP Technology
- 3.2 Workshop 2: Contextual Interview
- 3.3 Workshop 3: Creating the Journey Map
- 3.4 Workshop 4: Identifying Problems & Ideation
- 4 Findings
- 4.1 User Journey Map Generates Reflections
- 4.2 What They Also Learned from User Journey Map
- 4.3 Learning from Other Participants
- 4.4 Inspiration Brought by Brainwriting
- 5 Discussion
- 5.1 User Journey Map Enhanced Mutual Learning
- 5.2 Contradictory Reactions to the use of LEGO®
- 6 Conclusion
- References
- Integrate Gamification into Questionnaire Design
- 1 Introduction
- 1.1 Background and Motivation
- 1.2 Purpose
- 2 Methods
- 2.1 Preparation Phase
- 2.2 Investigation Phase
- 2.3 Analysis Phase
- 3 Results
- 3.1 Gamification Questionnaire and the Results of IPIP 50
- 3.2 Gamification Questionnaire and Intrinsic Motivation
- 4 Discussion
- 5 Conclusion
- References
- Exploring the Tensions of Self-tracking Wearable Technologies Through Design
- 1 Introduction
- 2 Self-tracking Practices Mediated by Wearable Technologies
- 3 Self-tracking Research: Towards Data Analysis, Usability, and Utility
- 4 Widening the View: Scholarly Debate and Tensions of the Phenomenon
- 4.1 Allusion to Objectivity and Non-neutrality of Data
- 4.2 Data Reductionism and Complexity of Lived Phenomena
- 4.3 Trust in Data and Reliance on Subjective Experience
- 4.4 Performance and Wellbeing
- 4.5 Surveillance and Self-surveillance
- 5 Addressing the Tensions Through Design: Alternative Design Approaches to Solutionism
- 6 Conclusions
- References
- User Clustering Visualization and Its Impact on Motion-Based Interaction Design
- 1 Introduction
- 2 Background
- 2.1 Movement Feature Extraction
- 2.2 Movement and Feature Visualization
- 3 Prototype Implementation
- 3.1 Pose Estimation and Tracking in 3D Space
- 3.2 Feature Extraction System
- 3.3 Visualization Engine
- 4 Proposal Assessment
- 4.1 Participants
- 4.2 Interview Method
- 4.3 Analysis
- 5 Results
- 5.1 Understanding User Behavior
- 5.2 Refining Design Practice
- 5.3 Impact on the Full Design-Production Cycle
- 6 Discussion
- 7 Conclusion and Future Work
- References
- eGLU-Box Mobile: A Smartphone App for Usability Testing by Italian Public Administration Webmasters
- 1 Introduction
- HCI (Thematic area) (2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxii, 530 pages) : illustrations (chiefly color)
- Summary
-
- Intro
- Foreword
- HCI International 2023 Thematic Areas and Affiliated Conferences
- List of Conference Proceedings Volumes Appearing Before the Conference
- Preface
- Human-Computer Interaction Thematic Area (HCI 2023)
- HCI International 2024 Conference
- Contents - Part II
- Children Computer Interaction
- Participatory Designs for Computational Play
- 1 Introduction
- 2 Related Work
- 2.1 From Computational Thinking to Computational Play
- 2.2 Participatory Design and Computational Play
- 2.3 Accessing the Analogue and Digital
- 3 Method
- 3.1 Material
- 3.2 Procedure
- 3.3 Data Collection
- 3.4 Ethical Considerations
- 3.5 Analytic Framework
- 4 Findings
- 4.1 Experimenting and Organizing
- 4.2 Modelling and Arranging
- 4.3 Instruction and Problem-Solving
- 5 Discussion
- 5.1 Access Points to Knowledge
- 5.2 The Role of Scaffolding
- 5.3 Developing Computational Play
- 5.4 Conclusion
- References
- Do 3-4-Year-Old Preschoolers Know that the Fictional Characters in Television Programs Are not Real?
- 1 Introduction
- 2 Methods
- 2.1 Participants
- 2.2 Materials and Procedures
- 2.3 Data Analysis
- 3 Results
- 4 Discussion
- 5 Limitations
- Appendix 1
- Appendix 2
- Appendix 3
- Appendix 4
- Appendix 5
- Appendix 6
- Appendix 7
- References
- Story-Time Machine-Low-Tech Attachment Design for Pre-school Children
- 1 Introduction
- 2 Literature Review
- 2.1 Importance of Parent-Child Interaction and Parent-Child Reading and the Impact of 3C Devices on Parent-Child Relationships
- 2.2 Bedtime Stories and Smart Toys
- 2.3 Comparison of Teaching Aids for Children
- 3 Methodology
- 3.1 Design Research Plan
- 3.2 Design Research
- 4 Results and Discussion
- 5 Contributions and Future Research
- References
- Buddie: Design Exploration for Remote Interactions to Support Kids
- 1 Introduction
- 2 Background
- 2.1 Parent-Child Communication
- 2.2 Impacts of Social Isolation on Children During the COVID Pandemic
- 2.3 Flat Stanley Project
- 2.4 Tangible Interaction for Children's Remote Communication
- 2.5 Buddie: Design Process
- 3 Prototyping
- 3.1 The App
- 3.2 The Soft Toy
- 4 Children's Experiences
- 4.1 Participants
- 4.2 Background Interviews with Participants
- 4.3 Separation Anxiety
- 4.4 Feeling Guilty
- 4.5 Communication Technology
- 4.6 Experiences with Buddie
- 4.7 Feeling Connected
- 4.8 Personalization of Buddie Project
- 4.9 Collecting Kids' Favorite Objects
- 4.10 Creation of Digital Toys
- 4.11 Placing Digital Toys in the Pictures
- 4.12 Flat Eric and Ava Project
- 4.13 Participants' Reflections
- 5 Conclusion
- References
- Research Design Based on Children's Participative Edutainment Products
- 1 Introduction
- 2 Design of Participatory Entertainment Products
- 2.1 Design for Users
- 2.2 Design Method
- 2.3 Design Role Participation
- 2.4 Design Process
- 3 Implementation Process
- 4 Research Results
- 5 Conclusion
- References
- HCI (Thematic area) (2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxii, 552 pages) : illustrations (chiefly color)
- Summary
-
- Intro
- Foreword
- HCI International 2023 Thematic Areas and Affiliated Conferences
- List of Conference Proceedings Volumes Appearing Before the Conference
- Preface
- Human-Computer Interaction Thematic Area (HCI 2023)
- HCI International 2024 Conference
- Contents - Part III
- Human Robot Interaction
- Towards Diversity, Equity, and Inclusion in Human-Robot Interaction
- 1 Introduction
- 2 Background Literature
- 2.1 Social Classification of Robots
- 2.2 Social Identity Theory
- 3 Experiment: Robot Ethnicity
- 3.1 Methodology
- 4 Results
- 5 Discussion and Conclusions
- 3.2 The Emotional State Subsystem
- 3.3 The Mood Subsystem
- 3.4 The Behaviour Generator
- 4 System Implementation
- 4.1 Testing the Architecture
- 5 Conclusions
- References
- Exploring the Recommendation Expressions of Multiple Robots Towards Single-Operator-Multiple-Robots Teleoperation
- 1 Introduction
- 2 Methods
- 2.1 Brainstorming for Expressions and Expressive Attribute
- 2.2 Multiple Expressions and Expressive Attributes
- 3 Web Survey
- 4 Result and Discussion
- 5 Limitation
- 6 Conclusion
- A Expressions and Expressive attributes
- B Images of Expressions
- C Detail descriptions of Expressions
- References
- Perception of a Mobile Service Robot's Proxemic Behavior and Appearance in Virtual Reality
- 1 Introduction
- 1.1 Virtual Reality
- 1.2 Discomfort
- 1.3 Factors Influencing HRI
- 1.4 Research Question
- 2 Method
- 2.1 Study 1
- Size and Speed
- 2.2 Study 2
- Size and Edge Shape
- 3 Results
- 3.1 Results of Study 1
- 3.2 Results of Study 2
- 4 Discussion and Limitations
- 5 Conclusion and Outlook
- References
- Introducing Playing Catch to Motivate Interaction with Communication Robots
- 1 Introduction
- 2 Related Research
- 3 Proposed Method
- 3.1 Overview of the Proposed Method
- 3.2 Implementation of the Prototype System
- 4 Experiment
- 4.1 Aim of the Experiment and Hypotheses
- 4.2 Outline of the Experimental Procedure
- 4.3 Content of Robot's Speech
- 4.4 Evaluation Criteria
- 5 Experimental Results and Discussion
- 5.1 Questionnaire Results on the Impression of the Robot (in All-Results)
- 5.2 Questionnaire Results on the Impression of the Robot (in First-Results)
- 5.3 Results of the Survey Regarding Playing Catch
- 5.4 Discussion
- 6 Conclusions
- References
- HCI (Thematic area) (2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxii, 468 pages) : illustrations (chiefly color)
- Summary
-
- Intro
- Foreword
- HCI International 2023 Thematic Areas and Affiliated Conferences
- List of Conference Proceedings Volumes Appearing Before the Conference
- Preface
- Human-Computer Interaction Thematic Area (HCI 2023)
- HCI International 2024 Conference
- Contents - Part IV
- Supporting Health, Quality of Life and Everyday Activities
- Design and Performance Analysis of a Smart Bag Reminder System for Parents
- 1 Introduction
- 2 Related Work
- 2.1 Multi-modal Reminders in Various Ways
- 2.2 System of Reminders Using Light and Sound
- 2.3 Smart Bag Reminder
- 3 Realization of Prototypes
- 3.1 System Design
- 3.2 Implementation
- 4 Evaluation
- 4.1 Participant
- 4.2 Setting Up
- 4.3 Procedure
- 4.4 Measurements
- 5 Results
- 5.1 Quantitative Results
- 5.2 Qualitative Results
- 6 Discussion
- 7 Future Work and Conclusion
- References
- Possibility of Relaxation Level Measurement During Music Listening Using Reverberation Envelope
- 1 Introduction
- 2 Reverberation Envelope Index (E-value)
- 3 Relationship Between the E-value of a Musical Piece and Relaxation
- 3.1 E-value of a Musical Piece
- 3.2 Relationship Between the Relaxation Degrees and the Classical Music
- 4 Clarification of the Relationship Between Relaxation Degree and E-value
- 4.1 Relationship Between E-value and Different Playing Methods
- 4.2 Relationship Between the Relaxation Degree and Playing Methods
- 4.3 Relationship Between Different Parts of the Same Musical Piece with Different E-values and Relaxation
- 5 Discussion
- 6 Conclusions and Future Work
- References
- Interaction Design of Wrist Health Prevention Products Based on Persuasive Design and AHP-Entropy Weight Method
- 1 Introduction
- 2 Relevant Research Theory and Background
- 2.1 Wrist Health Status of SOHO Nationality
- 2.2 Research Status of Persuasive Design Application
- 2.3 Research and Application Status of AHP-Entropy Weight Method
- 2.4 Research Framework and Experimental Process
- 3 Study on Wrist Health Needs of SOHO Users
- 3.1 Questionnaire Design
- 3.2 Quantitative Analysis of SOHO Users' Wrist Health Needs
- 4 Construction of Persuasive Design Model for Wrist Health Prevention Products
- 4.1 Wrist Health Prevention Behavior Counseling Chart
- 4.2 Design Scheme of Promoting Behavior Motivation Model
- 5 AHP- Entropy Weight Method is Used to Analyze the Weight of Persuasion Design Scheme
- 5.1 Construction of Evaluation Index System
- 6 Design Evaluation and Practice
- 6.1 Guidelines for the Design of Persuasive Wrist Health Prevention Products APP
- 7 Conclusion and Prospect
- References
- Make It Short: A Pilot Study on an Adaptive Nutrition Tracking App
- 1 Introduction
- 2 Background
- 2.1 Food Tracking
- 2.2 Nutrition Apps
- 2.3 Food Guidelines
- 3 Technical Concept
- 3.1 Tracking Approach
- 3.2 User Interface
- 4 Evaluation
- 4.1 Methodology
- 4.2 Participants
- PSIVT (Symposium) (10th : 2022 : Online)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource.
- Summary
-
- Waste Classification from Digital Images Using ConvNeXt
- A Federated Learning approach for text classification using NLP
- A_Method_for_Face_Image_Inpainting_Based_on_Autoencoder_and_Adve rsarial_Generative_Networks
- Traffic Sign Recognition from Digital Images by Using Deep Learning
- Youtube Engagement Analytics via Deep Multimodal Hybrid Fusion
- Dynamic Point Cloud Compression with Cross-Sectional Approach
- Event-based visual sensing for human motion detection and classification at various distances
- On Low-Resolution Face Re-identification with High-Resolution-Mapping
- On Skin Lesion Recognition using Deep Learning 50 Ways to Choose Your Model
- Enhancing Automated Baggage Inspection Using Simulated X-ray Images of 3D Models
- A Wasserstein GAN for Joint Learning of Inpainting and Spatial Optimisation Rapid On-site Weed Identification with Machine Learning
- Remote Tiny Weeds Detection
- Combining_Multivision_Embedding_in_Contextual_Attention_for_Viet namese_Visual_Question_Answering
- Depth Estimation of Traffic Scenes from Image Sequence Using Deep Learning.
- CCIR (Conference) (28th : 2022 : Chongqing, China).
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xi, 105 pages) : illustrations (chiefly color).
- Summary
-
- Intro
- Preface
- Organization
- Contents
- A Position-Aware Word-Level and Clause-Level Attention Network for Emotion Cause Recognition
- 1 Introduction
- 2 Related Work
- 3 Methodology
- 3.1 The Definition of Emotion Cause Recognition
- 3.2 Position-Aware Word-Level and Clause-Level Attention Network for Emotion Cause Recognition
- 3.3 Model Training
- 4 Experiment
- 4.1 Experimental Settings
- 4.2 Experimental Results
- 4.3 Qualitative Analysis
- 5 Conclusion and Future Work
- References
- ID-Agnostic User Behavior Pre-training for Sequential Recommendation
- 1 Introduction
- 2 Preliminaries
- 3 Methodology
- 3.1 ID-Agnostic User Behavior Pre-training
- 3.2 Fine-Tuning for Recommendation
- 4 Experiments
- 4.1 Experimental Setup
- 4.2 Experimental Results
- 5 Related Work
- 6 Conclusion
- References
- Enhance Performance of Ad-hoc Search via Prompt Learning
- 1 Introduction
- 2 Related Work
- 2.1 Ad Hoc Search with PTM
- 2.2 Prompt Learning
- 3 Preliminary
- 3.1 Ad hoc Search
- 3.2 Prompt Learning
- 4 Methodology
- 5 Experiments
- 5.1 Dataset and Metric
- 5.2 Experimental Setup
- 5.3 Result and Analysis
- 5.4 Case Study
- 6 Conclusion
- References
- Syntax-Aware Transformer for Sentence Classification
- 1 Introduction
- 2 Syntax-Aware Transformer
- 2.1 Syntactic Subnetwork
- 2.2 Semantic Subnetwork
- 2.3 Merging Layer
- 3 Experiments
- 3.1 Datasets
- 3.2 Experimental Settings
- 3.3 Baseline Models
- 3.4 Results and Discussion
- 3.5 Case Study
- 4 Conclusions
- References
- Evaluation of Deep Reinforcement Learning Based Stock Trading
- 1 Introduction
- 2 Related Works
- 3 RL Modeling of Stock Trading
- 3.1 Problem Description
- 3.2 Mathematical Presentation
- 3.3 Trading Details
- 3.4 Feasibility Analysis of RL-Based Stock Trading
- 4 Experiments
- 4.1 Stock Dataset
- 4.2 Methodology
- 4.3 Results
- 5 Conclusion and Future Works
- References
- InDNI: An Infection Time Independent Method for Diffusion Network Inference
- 1 Introduction
- 2 Related Work
- 3 Problem Statement
- 4 InDNI Algorithm
- 4.1 Node Representation Learning
- 4.2 Similarity Measure
- 4.3 Filtering Candidate Node Pairs
- 4.4 Network Inference
- 5 Experiments
- 5.1 Experimental Setup
- 5.2 Results and Discussion
- 6 Conclusion and Future Work
- References
- Beyond Precision: A Study on Recall of Initial Retrieval with Neural Representations
- 1 Introduction
- 2 Related Work
- 2.1 Initial Retrieval
- 2.2 Neural Representations for IR
- 3 Our Approach
- 3.1 Symbolic Index
- 3.2 Neural Index
- 3.3 Parallel Search Scheme
- 3.4 Sequential Search Scheme
- 3.5 Discussions
- 4 Experiments
- 4.1 Baselines and Experimental Settings
- 4.2 Evaluation Methodology
- 4.3 Retrieval Performance and Analysis
- 4.4 Analysis on Retrieved Relevant Documents
- 5 Conclusions
- References
(source: Nielsen Book Data)
- Inscrypt (Conference) (18th : 2022 : Online)
- Cham : Springer, 2023.
- Description
- Book — 1 online resource (465 pages) : illustrations (black and white).
- Summary
-
- Block Ciphers
- Best Paper: How Fast Can SM4 Be in Software?
- LLLWBC: A New Low-Latency Light-Weight Block Cipher
- New Automatic Search Tool for Searching for Impossible Differentials Using Undisturbed Bits
- Public key Encryption & Signature
- You Can Sign but Not Decrypt: Hierarchical Integrated Encryption and Signature
- SR-MuSig2: A Scalable and Reconfigurable Multi-signature Scheme and Its Applications
- McEliece-type encryption based on Gabidulin codes with no hidden structure
- Quantum
- Optimizing the depth of quantum implementations of linear layers
- IND-CCA Security of Kyber in the Quantum Random Oracle Model, Revisited
- MPC
- Practical Multi-party Private Set Intersection Cardinality and Intersection-Sum Under Arbitrary Collusion
- Amortizing Division and Exponentiation
- Cryptanalysis
- Generalized Boomerang Connectivity Table and Improved Cryptanalysis of GIFT
- Cryptanalysis of Ciminion
- Clustering Effect of Iterative Differential and Linear Trails
- Differential Cryptanalysis of Round-reduced SPEEDY Family
- Mathematical aspects of Crypto
- A note on inverted twisted Edwards curve
- Efficiently Computable Complex Multiplication of Elliptic Curves
- Several classes of Niho type Boolean functions with few Walsh transform values
- Stream ciphers
- Higher-Order Masking Scheme for Trivium Hardware Implementation
- An Experimentally Verified Attack on 820-Round Trivium
- Malware
- HinPage: Illegal and Harmful Webpage Identification Using Transductive Classification
- Detecting API Missing-Check Bugs Through Complete Cross Checking of Erroneous Returns
- Efficient DNN Backdoor Detection Guided by Static Weight Analysis
- Mimic Octopus Attack: Dynamic Camouflage Adversarial Examples using Mimetic Feature for 3D Humans
- Lattices
- Subfield Attacks on HSVP in Ideal Lattices
- On the Measurement and Simulation of the BKZ Behavior for q-ary Lattices
- Inferring Sequences Produced by the Quadratic Generator.
- ACISP (Conference) (28th : 2023 : Brisbane, Qld.)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xiii, 652 pages) : illustrations (some color)
- Summary
-
- Symmetric-Key Cryptography
- Improved Differential Cryptanalysis on SPECK Using Plaintext Structures
- Linear Cryptanalysis and Its Variants with Fast Fourier Transformation Technique on MPC/FHE/ZK-Friendly Fp-based Ciphers
- A New Correlation Cube Attack Based on Division Property
- The Triangle Differential Cryptanalysis
- Key Recovery Attacks on Grain-like Keystream Generators with Key Injection
- Related-Cipher Attacks: Applications to Ballet and ANT
- Cryptanalysis of SPEEDY
- Reconsidering Generic Composition: the modes A10, A11 and A12 are insecure
- Exploring Formal Methods for Cryptographic Hash FunctionImplementations
- Public-Key Cryptography
- A Tightly Secure ID-Based Signature Scheme under DL Assumption in AGM
- Compact Password Authenticated Key Exchange from Group Actions
- Multi-key Homomorphic Secret Sharing from LWE without Multi-key HE
- Identity-Based Encryption from Lattices Using Approximate Trapdoors
- Homomorphic Signatures for Subset and Superset Mixed Predicates and Its Applications
- Adaptively Secure Identity-Based Encryption from Middle-Product Learning with Errors
- Post-Quantum Cryptography
- Quantum-access Security of Hash-based Signature Schemes
- Tightly Secure Lattice Identity-Based Signature in the Quantum Random Oracle Model
- Ghidle: Efficient Large-State Block Ciphers for Post-Quantum Security
- Quantum Algorithm for Finding Impossible Differentials and Zero-Correlation Linear Hulls of Symmetric Ciphers
- Memory-Efficient Quantum Information Set Decoding Algorithm
- Cryptographic Protocols
- CSI-SharK: CSI-FiSh with Sharing-friendly Keys
- Practical Verifiable Random Function with RKA Security
- Statistically Consistent Broadcast Authenticated Encryption with Keyword Search Adaptive Security from Standard Assumptions
- Modular Design of KEM-Based Authenticated Key Exchange
- Reusable, Instant and Private Payment Guarantees for Cryptocurrencies
- System Security
- BinAlign: Alignment Padding based Compiler Provenance Recovery
- Encrypted Network Traffic Classiffication with Higher Order Graph Neural Network
- NEW2AN (Conference) (22nd : 2022 : Tashkent, Uzbekistan)
- Cham, Switzerland : Springer Nature Switzerland AG, [2023]
- Description
- Book — 1 online resource (xiv, 659 pages) : illustrations (some color).
- Summary
-
- Tangential shear stress in an oscillatory flow of a viscoelastic fluid in a flat channel
- Comparison of Finite Difference Schemes of Different Orders of Accuracy for the Burgers Wave Equation Problem
- Numerical solution of the combustion process using the computer package ANSYS fluent
- Simulation Modeling of Reliability of Packet Switching Unit
- Analytical Model for Assessing the Reliability of the Functioning of the Adaptive Switching Node
- Artificial intelligence software architecture in the field of cardiology and application in the cardio vessel project using CJM and customer development methods
- Using discretization and numerical methods of problem 1d-3d-1d model for blood vessel walls with Navier-Stokes
- Numerical simulation of a flow in a two-dimensional channel on the basis of a two-liquid turbulence model
- Application fuzzy neural network methods to detect cryptoattacks on financial information systems based on blockchain technology
- Method authentication of objects information communication systems
- TEDCTSSA: Trust Enabled Data Collection Technique based Sparrow Search Algorithm for WSN-based Applications
- ISTOA: An improved Sooty Tern Optimization Algorithm for multilevel threshold image segmentation
- Implementing digital transformation in the logistics system of Uzbekistan
- Numerical modeling of vertical axis wind turbines using ANSYS FLUENT software
- "i'll wait 4 ur answr!" A Study on Modern Style of Cyber-Writing and User Reactions
- Improvement of information support in intelligent information energy systems
- The Assessment of the Effectiveness of the Development of Digital Technologies in Commercial Banks in Uzbekistan
- The Study of the Impact of the Digital Economy on the Growth of E-Government Services in Uzbekistan
- Deep learning algorithm for classifying dilated cardiomyopathy and hypertrophy cardiomyopathy in transport workers
- eCommerce benchmarking: theoretical background, variety of types, and application of competitive-integration benchmarking
- Cryptocurrencies as the money of the future
- A Data Security Technique Combining Asymmetric Cryptography and Compressive Sensing for IoT Enabled Wireless Sensor Networks
- Energy Efficient and Secure Scheme based Compressive Sensing method for Internet of Vehicles
- Impact of digital technologies on women's employment
- The impact of digitalisation on the safe development of individuals in society
- Econometric Evaluation of the Efficiency of the Management of the Enterprise through the Supply of Raw Materials in Oil Enterprises in the Conditions of the Digital Economy
- The impact of digital infrastructure, foreign direct investment and trade openness on economic growth: In the case of Uzbekistan
- The impact of the financial ratios on the financial performance. A case of Chevron Corporation (CVX)
- The impact of the digitalisation of payment systems on the profitability of commercial banks
- The main aspects and benefits of digital transformation of business entities
- The influence of the capital structure of state enterprises on the profitability of the enterprise
- Exploring the development of China's digital trade in the context of the domestic and international double cycle
- A systematic mapping study of using the cutting-edge technologies in marketing: the state of the art of four key new-age technologies
- Social Media Marketing for Educational Purposes: Goals, Objectives and Content of the Training Course
- Digital Marketing and Smart Technology Marketing Systems as the future of metaverse
- The impact of the digital economy on the development of higher education
- What is the state-of-the-art contribution of the higher education system to the digital economy: a systematic mapping study on changes and challenges
- Innovating primary education of promoting students' language competencies through mobile assisted language learning approach: Selection framework of innovative digital technologies
- Econometric assessment of the dynamics of development of the export authority of small business and private business subjects in the conditions of the digital economy
- The significance of the Internet of Things for ensuring the smooth operation of network functions in fintech
- Impact of E-government on Poverty Rate: a Cross- Country Empirical Assessment
- An empirical investigation of the relationship between e-government development and multidimensional poverty
- On Digital Twin Software and Cyber Threats
- On local services based on non-standard Wi-Fi Direct usage model
- Compatibility analysis between 5G NR and ultra-wideband devices in the 6425-7125 MHz frequency band
- 6 GHz band sharing study for FWA base stations and GEO satellite receivers
- Federated Learning Strategies Over Wireless Channels
- Data Routing in UAV Networks with Multiple Data Sources using Steiner Tree
- Reduced complexity distributed arithmetic architecture for FIR filters
- Blockchain-driven Hybrid Model for IoT Authentication
- An Heuristic Approach for Mapping of Service Function Chains in Softwarized 5G Networks
- Multi-threshold hysteresis-Based Congestion Control for UAV-based Detection Sensor Network
- Analysis of the capacity gain of Probability Shaping QAM
- LoRa Mesh Network for Image Transmission: An Experimental Study
- Blockchain Technology - Innovation for Better Collaboration and Increased Efficieny. The U.S. Logistics and Trucking Industry Case
- Econometric Study of the Impact of the Digital Economy on the Gross Product in Anti-monopoly Conditions
- Predictive models for effective management of e- commerce in New Uzbekistan
- The role of IT on transportation, logistics and the economic growth among Central Asian countries.
- JSSPP (Workshop) (25th : 2022 : Online)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xvi, 255 pages) : illustrations (chiefly color). Digital: text file; PDF.
- Summary
-
- Insights and Requirements for Future Workflow Scheduling.- Technical papers.- On the Feasibility of Simulation-driven Portfolio Scheduling for Cyberinfrastructure Runtime Systems.- AI-Job Scheduling on Systems with Renewable Power Sources.- Toward Building a Digital Twin of Job Scheduling and Power Management on an HPC System.- Encoding for Reinforcement Learning Driven Scheduling.- RADICAL-Pilot and PMIx/PRRTE: Executing heterogeneous workloads at large scale on partitioned HPC resources.- RARE: Renewable Energy Aware Resource Management in Datacenters.- Dynamic Management of CPU Resources Towards Energy Efficient and Profitable Datacentre Operation.- Optimization of Execution Parameters of Moldable Ultrasound Workflows under Incomplete Performance Data.- Scheduling of Elastic Message Passing Applications on HPC Systems.- Improving Accuracy of Walltime Estimates in PBS Professional using Soft Walltimes.- Re-making the Movie-making Machine.- Open Scheduling Problems.- Using Kubernetes in Academic Environment: Problems and Approaches.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- LCT (Conference) (10th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxix, 662 pages) : illustrations (chiefly color)
- Summary
-
- Designing Learning Experiences
- Security and Privacy in Academic Data Management at Schools: SPADATAS Project
- The Rallye Platform: Mobile Location-based Serious Games for Digital Cultural Heritage
- An e-Learning Application for Children Suffering from Autism
- Two-phases AI Model for a Smart Learning System
- Learning System for Relational Algebra
- Design and Simulation of an IoT Intelligent University Campus for Academic Aim
- Behavioral Coding for Predicting Perceptions of Interactions in Dyads
- Towards Accessible, Sustainable and Healthy Mobility: the City of Barcelona as Case Study
- Augmenting Online Classes with an Attention Tracking Tool May Improve Student Engagement
- A Review on Modular Framework and Artificial Intelligence-based Smart Education
- Technology and Education as Drivers of the Fourth Industrial Revolution Through the Lenses of The New Science of Learning
- How do we Move Back?' - A Case Study of Joint Problem-Solving at an Interactive Tabletop Mediated Activity
- Designing a Pedagogical Strategy for the Implementation of Educational Technology in Collaborative Learning Environments
- Discovering Best Practices for Educational Video Conferencing Systems
- Experimental Design and Validation of i-Comments for Online Learning Support
- Tailoring Persuasive, Personlised Mobile Learning Apps for University Students
- Understanding the Learning Experience
- Investigating the Critical Nature of HE Emergency Remote Learning Networks During the COVID-19 Pandemic
- Decoding Student Error in Programming: An Iterative Approach to Understanding Mental Models
- What do Students Think about Learning Supported by e-Schools Digital Educational Resources? .-A Human or a Computer Agent: The Social and Cognitive Effects of an e-Learning Instructor's Identity and Voice Cues
- The Study on Usability and User Experience of Reading Assessment Systems: A Preliminary Research
- Learning with Videos and Quiz Attempts: Explorative Insights into Behavior and Patterns of MOOC Participants
- Doctoral Education in Technology-Enhanced Learning: the Perspective of PhD Candidates and Researchers
- Analyzing Students' Perspective for Using Computer-Mediated Communication Tools for Group Collaboration in Higher Education
- Exploring Factors Affecting User Perception of Trustworthiness in Advanced Technology: Preliminary Results
- Am I like me? Avatar Self-Similarity and Satisfaction in a Professional Training Environment
- Mapping the Factors Affecting Online Education during the Pandemic in Greece: Understanding the Importance of Designing Experiences through Different Cultural and Philosophical Approaches
- Usability Study of a Pilot Database Interface for Consulting Open Educational Resources in the Context of the ENCORE Project
- Technology-supported Teaching
- Digital Skills during Emergency Remote Teaching, for VUCA Environments
- Definition of a Learning Analytics Ecosystem for the ILEDA Project Piloting
- Scenarios, Methods, and Didactics in Teaching Using Video-Conferencing Systems and Interactive Tools: Empirical Investigation on Problems and Good Practices
- Will ChatGPT get you caught? Rethinking of Plagiarism Detection
- Choosing a Modern Teaching Approach and Supporting Technology
- Lesson-Planning Groupware for Teachers: Situated Participatory Design
- Main Gaps in the Training and Assessment of Teamwork Competency in the University Context
- Prototyping the Learning Analytics Dashboards of an Adaptive Learning Platform: Faculty Perceptions versus Designers' Intentions
- Operationalising Transparency as an Integral Value of Learning Analytics Systems - From Ethical and Data Protection to Technical Design Requirements
- Towards Personalized Instruction: Co-designing a Teacher-Centered Dashboard for Learning Engagement Analysis in Blended Learning Environments
- Supporting Creativity in Learning
- Preliminary Study on Students' Experiences in Design-Based Interdisciplinary Learning
- Supporting Collaboration in Challenge-Based Learning by Integrating Digital Technologies: Insights from a Design-Based Research Study
- valuating the Development of Soft Skills through the Integration of Digital Making Activities in Undergraduate Computing Courses
- AgroEdu through Co-Crafting: Incorporating Minecraft into Co-Design Activities for Agricultural Education
- Design and Assessment of a Tool for Improving Creativity and Imagination in School Children
- Digital Fabrication in Arts and Crafts Education: A critical review
- LCT (Conference) (10th : 2023 : Copenhagen, Denmark)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxix, 602 pages) : illustrations (chiefly color)
- Summary
-
- Designing Learning Experiences
- Security and Privacy in Academic Data Management at Schools: SPADATAS Project
- The Rallye Platform: Mobile Location-based Serious Games for Digital Cultural Heritage
- An e-Learning Application for Children Suffering from Autism
- Two-phases AI Model for a Smart Learning System
- Learning System for Relational Algebra
- Design and Simulation of an IoT Intelligent University Campus for Academic Aim
- Behavioral Coding for Predicting Perceptions of Interactions in Dyads
- Towards Accessible, Sustainable and Healthy Mobility: the City of Barcelona as Case Study
- Augmenting Online Classes with an Attention Tracking Tool May Improve Student Engagement
- A Review on Modular Framework and Artificial Intelligence-based Smart Education
- Technology and Education as Drivers of the Fourth Industrial Revolution Through the Lenses of The New Science of Learning
- How do we Move Back?' - A Case Study of Joint Problem-Solving at an Interactive Tabletop Mediated Activity
- Designing a Pedagogical Strategy for the Implementation of Educational Technology in Collaborative Learning Environments
- Discovering Best Practices for Educational Video Conferencing Systems
- Experimental Design and Validation of i-Comments for Online Learning Support
- Tailoring Persuasive, Personlised Mobile Learning Apps for University Students
- Understanding the Learning Experience
- Investigating the Critical Nature of HE Emergency Remote Learning Networks During the COVID-19 Pandemic
- Decoding Student Error in Programming: An Iterative Approach to Understanding Mental Models
- What do Students Think about Learning Supported by e-Schools Digital Educational Resources? .-A Human or a Computer Agent: The Social and Cognitive Effects of an e-Learning Instructor's Identity and Voice Cues
- The Study on Usability and User Experience of Reading Assessment Systems: A Preliminary Research
- Learning with Videos and Quiz Attempts: Explorative Insights into Behavior and Patterns of MOOC Participants
- Doctoral Education in Technology-Enhanced Learning: the Perspective of PhD Candidates and Researchers
- Analyzing Students' Perspective for Using Computer-Mediated Communication Tools for Group Collaboration in Higher Education
- Exploring Factors Affecting User Perception of Trustworthiness in Advanced Technology: Preliminary Results
- Am I like me? Avatar Self-Similarity and Satisfaction in a Professional Training Environment
- Mapping the Factors Affecting Online Education during the Pandemic in Greece: Understanding the Importance of Designing Experiences through Different Cultural and Philosophical Approaches
- Usability Study of a Pilot Database Interface for Consulting Open Educational Resources in the Context of the ENCORE Project
- Technology-supported Teaching
- Digital Skills during Emergency Remote Teaching, for VUCA Environments
- Definition of a Learning Analytics Ecosystem for the ILEDA Project Piloting
- Scenarios, Methods, and Didactics in Teaching Using Video-Conferencing Systems and Interactive Tools: Empirical Investigation on Problems and Good Practices
- Will ChatGPT get you caught? Rethinking of Plagiarism Detection
- Choosing a Modern Teaching Approach and Supporting Technology
- Lesson-Planning Groupware for Teachers: Situated Participatory Design
- Main Gaps in the Training and Assessment of Teamwork Competency in the University Context
- Prototyping the Learning Analytics Dashboards of an Adaptive Learning Platform: Faculty Perceptions versus Designers' Intentions
- Operationalising Transparency as an Integral Value of Learning Analytics Systems - From Ethical and Data Protection to Technical Design Requirements
- Towards Personalized Instruction: Co-designing a Teacher-Centered Dashboard for Learning Engagement Analysis in Blended Learning Environments
- Supporting Creativity in Learning
- Preliminary Study on Students' Experiences in Design-Based Interdisciplinary Learning
- Supporting Collaboration in Challenge-Based Learning by Integrating Digital Technologies: Insights from a Design-Based Research Study
- valuating the Development of Soft Skills through the Integration of Digital Making Activities in Undergraduate Computing Courses
- AgroEdu through Co-Crafting: Incorporating Minecraft into Co-Design Activities for Agricultural Education
- Design and Assessment of a Tool for Improving Creativity and Imagination in School Children
- Digital Fabrication in Arts and Crafts Education: A critical review
- International Conference on Machine Learning for Cyber Security (4th : 2022 : Guangzhou, China).
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxix, 669 pages) : illustrations (chiefly color). Digital: text file; PDF.
- Summary
-
- Traditional Chinese Medicine Health Status Identification with Graph Attention Network.- "Flexible Task Splitting Strategy in Aircraft Maintenance Technician Scheduling Based on Swarm Intelligence".- Privacy Preserving CSI Fingerprint Device-Free Localization.- A Novel Blockchain-MEC-based Near-domain Medical Resource Sharing Model.- Pairwise Decomposition of Directed Graphic Models for Performing Amortized Approximate Inference.- VDDL: A Deep Learning-based Vulnerability Detection Model for Smart Contracts.- "Robust Remote Sensing Scene Classification with Multi-View Voting and Entropy Ranking".- Visualized analysis of the emerging trends of automated audio description technology.- Anomaly Detection for Multi-Time Series with Normalizing Flow.- Encrypted Transmission Method of Network Speech Recognition Information Based on Big Data Analysis.- "A Lightweight NFT Auction Protocol for Cross-chain Environment".- "A Multi-Scale Framework for Out-of-Distribution Detection in Dermoscopic Images".- Swarm Intelligence for Multi-objective Portfolio Optimization.- Research on Secure Cloud Storage of Regional Economic Data Network Based on Blockchain Technology.- "Data Leakage with Label Reconstruction in Distributed Learning Environments".- Analysis Method of Abnormal Traffic of Teaching Network in Higher Vocational Massive Open Online Course Based on Deep Convolutional Neural Network.- "Spatio-Temporal Context Modeling for Road Obstacle Detection".- A Survey of Android Malware Detection Based on Deep Learning.- "Information Encryption Transmission Method of Automobile Communication Network Based on Neural Network".- Explanation-Guided Minimum Adversarial Attack.- CIFD: A Distance for Complex Intuitionistic Fuzzy Set.- Security Evaluation Method of Distance Education Network Nodes Based on Machine Learning.- "MUEBA:A Multi-Model System for Insider Threat Detection".- "Bayesian Based Security Detection Method for Vehicle CAN Bus Network".- "Discrete Wavelet Transform-based CNN for Breast Cancer Classification from Histopathology Images".- "Machine Learning Based Security Situation Awareness Method for Network Data Transmission Process".- Multi-objective Hydrologic Cycle Optimization for Integrated Container Terminal Scheduling Problem.- A Method for Residual Network Image Classification with Multi-scale Feature Fusion.- "High Voltage Power Communication Network Security Early Warning and Monitoring System Based on Hmac Algorithm".- "Large Scale Network Intrusion Detection Model Based on FS Feature Selection".- "Research on Intelligent Detection Method of Automotive Network Data Security Based on FlexRay/CAN Gateway".- Adversarial Attack and Defense on Natural Language Processing in Deep Learning: A Survey and Perspective.- A Novel Security Scheme for Mobile Healthcare in Digital Twin.- Construction of Security Risk Prediction Model for Wireless Transmission of Multi Axis NC Machining Data.- Spiking Neural Networks Subject to Adversarial Attacks in Spiking Domain.- Diverse Web APIs Recommendation with Privacy-preservation for Mashup Development.- Network Security Evaluation Method of College Freshmen Career Counseling Service Based on Machine Learning.- FedTD:Efficiently share telemedicine data with federated distillation learning.- Increase channel attention based on Unet++ architecture for medical images.- Distributed Power Load Missing Value Forecasting with Privacy Protection.- Differentially Private Generative Model with Ratio-based Gradient Clipping.- Differential privacy protection algorithm for data clustering center.- Improved Kmeans algorithm based on privacy protection.- Symmetry Structured Analysis Sparse Coding for Key Frame Extraction.- Data Reconstruction from Gradient Updates in Federated Learning.- Natural Backdoor Attacks on Speech Recognition Models.- Boarding Pass Positioning with Jointly Multi-channel Segmentation and Perspective Transformation Correction.- AP-GCL:Adversarial perturbation on graph contrastive learning
- An Overview of Opponent Modeling for Multi-agent Competition.- Adversarial Attack and Defense on Natural Language Processing in Deep Learning: A Survey and Perspective.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- International Conference on Machine Learning for Cyber Security (4th : 2022 : Guangzhou, China).
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xvii, 625 pages) : illustrations (chiefly color). Digital: text file; PDF.
- Summary
-
- AMAD: Improving Adversarial Robustness Without Reducing Accuracy.- Multi-Party Secure Sharing and Comparison of Strings Based on Outsourced Computation.- Highway: A Super Pipelined Parallel BFT Consensus Algorithm for Permissioned Blockchain.- Overview of DDoS Attack Research under SDN.- A medical image segmentation method based on Residual network and channel attention mechanism.- Performance improvement of classification model based on Chinese adversarial samples generation.- Research on Detection Method of Large-Scale Network Internal Attack Based on Machine Learning.- Federated Community Detection in Social Networks.- A Textual Adversarial Attack Scheme for Domain-Specific Models.- An improved Conv-LSTM method for gear fault detection.- Extracting Random Secret Key Scheme for One-time Pad under Intelligent Connected Vehicle.- Semi-supervised Learning with Nearest-Neighbor Label and Consistency Regularization.- Bipolar Picture Fuzzy Graph Based Multiple Attribute Decision Making Approach-Part I.- Priv-IDS: A Privacy Protection and Intrusion Detection Framework for In-Vehicle Network.- Dynamic Momentum for Deep Learning with Differential Privacy.- An Unsupervised Surface Anomaly Detection Method Based on Attention and ASPP.- PCB Defect Detection Method Based on Improved RetinaNet.- A Method of Protecting Sensitive Information in Intangible Cultural Heritage Communication Network Based on Machine Learning.- Decision Making Analysis of Traffic Accidents on Mountain Roads in Yunnan Province.- Deep Adaptively Feature Extracting Network for Cervical Squamous Lesion Cell Detection.- DSGRAE: Deep Sparse Graph Regularized Autoencoder for Anomaly Detection.- A Lattice-Based Aggregate Signature Based on Revocable Identity.- Research and design of an emergency supply assurance monitoring system in the post-epidemic context.- Face Presentation Attack Detection Based on Texture Gradient Enhancement and Multi-scale Fusion.- Optimal Revenue Analysis of the Stubborn Mining based on Markov Decision Process.- Bipolar Picture Fuzzy Graph Based Multiple Attribute Decision Making Approach-Part II.- Machine Learning Based Method for Quantifying the Security Situation of Wireless Data Networks.- Overlapping community discovery algorithm based on three-level neighbor node influence.- Content-Aware Deep Feature Matching.- F2DLNet: A Face Forgery Detection and Localization Network Based on SSIM Error Maps.- An Eye-Gaze Tracking Method Based on a 3D Ocular Surface Fitting Model.- A Certificateless-Based Blind Signature Scheme with Message Recovery.- Fault Detection of Rolling Bearings by Using A Combination Network Model.- zkChain: An Efficient Blockchain Privacy Protection Scheme Based on zk-SNARKs.- Research on influential factors of online learning behavior based on big data.- Short speech key generation technology based on deep learning.- Domain Adversarial Interaction Network for Cross-domain Fault Diagnosis.- A Vehicle Data Publishing System with Privacy-awares in VANETs Based on Blockchain.- Highsimb: A Concrete Blockchain High Simulation With Contract Vulnerability Detection For Ethereum and Hyperledger Fabric.- Research on key technologies for the trusted perception of network information for big data.- Micro-expression Recognition Method Combining Dual-Stream Convolution and Capsule Network.- Security Scheduling Method of Cloud Network Big Data Cluster Based on Association Rule Algorithm.- Towards Differentially Private Contrastive Learning.- Two-stage High Precision Membership Inference Attack.- Secure Storage Method for Network Resources of professional Works Based on Decision Tree Algorithm.- Vehicle CAN Network Intrusion Detection Model Based on Extreme Learning Machine and Feature Analysis.- A Broad Learning System Based on the Idea of Vertical Federated Learning.- PAMP: A New Atomic Multi-Path Payments Method with Higher Routing Efficiency.- Privacy-Preserving Searchable Encryption Scheme Based on Deep Structured Semantic Model over Cloud Application.- A Event Extraction Method of Document-level based on the Self-attention Mechanism.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- International Conference on Machine Learning for Cyber Security (4th : 2022 : Guangzhou, China).
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xvii, 691 pages) : illustrations (some color). Digital: text file; PDF.
- Summary
-
- Design of Active Defense System for Railway Communication Network Based on Deep Neural Network.- Human Resource Network Information Recommendation Method Based on Machine Learning.- Machine Learning Based Abnormal Flow Analysis of University Course Teaching Network.- A Learned Multi-objective Bacterial Foraging Optimization Algorithm With Continuous Deep Q-learning.- Webpage Text Detection Based on Improved Faster-RCNN Model.- Turbo: A High-Performance and Secure Off-chain Payment Hub.- A Complete Information Detection Method for Vehicle CAN Network Gateway Based on Neural Network.- Optimization of Data Transmission Efficiency of Wireless Communication Network for Chemical Energy Monitoring.- Deep Spatio-Temporal Decision Fusion Network for Facial Expression Recognition.- A Tabu-based Multi-Objective Particle Swarm Optimization for Irregular Flight Recovery Problem.- A Robot Foreign Object Inspection Algorithm for Transmission Line Based on Improved YOLOv5.- Path Planning Algorithm based on A_star Algorithm and Q-learning Algorithm.- Belief x2 Divergence-based Dynamical Complexity Analysis for Biological Systems.- Local Feature Acquisition Method of Multi-Layer Vision Network Image Based on Virtual Reality.- Channel Selection for EEG Emotion Recognition via An Enhanced Firefly Algorithm with Brightness-distance Attraction.- Security Risk Assessment Method of High Voltage Power Communication Network Based on Fuzzy Clustering.- Trimodal fusion network combined global-local feature extraction strategy and spatial-frequency fusion strategy.- Data Security Risk Prediction of Labor Relationship Rights Protection Network Platform Based on Machine Learning.- Research on LSTM based Traffic Flow prediction adaptive beacon Transmission period and Power joint control.- Construction of Color Network Model of Folk Painting Based on Machine Learning.-Research on Intrusion Prevention Optimization Algorithm Of Power UAV Network Communication Based on Artificial Intelligence.- Design of Network Big Data Anti Attack System for Carbon Emission Measurement Based on Deep Learning.- An Efficient Particle YOLO Detector for Urine Sediment Detection.- Evolutionary Factor-Driven Concise Bacterial Foraging Optimization Algorithm for Solving Customer Clustering Problems.- Brain Storm Optimization Algorithm with Multiple Generation Strategies for Patient Data Clustering.- TGPFM: An Optimized Framework for Ordering and Transporting Raw Materials for Production.- Visual Analysis of Facial Expression Recognition Research Based on Knowledge Graph.- Brainstorming-based Large Scale Neighborhood Search for Vehicle Routing with Real Travel Time.- A SAR Image Preprocessing Algorithm Based on Improved Homomorphic Wavelet Transform and Retinex.- Medical data clustering based on multi-objective clustering algorithm.- Self-supervised Visual-Semantic Embedding Network Based on Local Label Optimization.- A New Deep Network Model for Stock Price Prediction.- A Method for Residual Network Image Classification with Multi-scale Feature Fusion.- Face morphing detection based on a two-stream network with channel attention and residual of multiple color spaces.- DU-Net: A Novel Architecture for Retinal Vessels Segmentation.- Sub-pixel level edge extraction technology for industrial parts for smart manufacturing.- USDSE: A Novel Method to Improve Service Reputation based on Double-Side Evaluation.- Morphology-based Soft Label Smoothing Strategy For Fine-grained Domain Adaptationming.- MOOC Performance Prediction and Online Design Instructional Suggestions Based on LightGBM.- MOOC Dropout Prediction Based on Bayesian Network.- Knowledge Enhanced BERT based on Corpus Associate Generation.- Multi-objective Particle Swarm Optimization based on Archive Control Strategy.- A Hybrid Multi-Objective Genetic-Particle Swarm Optimization Algorithm for Airline Crew Rostering Problem with Fairness and Satisfaction.- Plant Leaf Area Measurement Using 3D Imaging: A Comparative Study between Dynamic Structured Light Stereo and Time-of-Flight.- Subgraph matching based on Path adaptation for large-scale graph.- Photovoltaic Panel Intelligent Management and Identification Detection System based on YOLOv5.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- International Conference on Machine Learning for Networking (5th : 2023 : Paris, France)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (x, 180 pages) : illustrations (some color)
- Summary
-
- Comparison of AI-based algorithms for low energy communication
- Development of an Intent-Based Network incorporating Machine Learning for service Assurance of E-commerce Online Stores
- Cyber-attack proactive defense using multivariate time series and machine learning with Fuzzy Inference-based Decision System
- iPerfOPS: a Tool for Machine Learning-Based Optimization through Protocol Selection
- GRAPHSEC
- Advancing the Application of AI/ML to Network Security through Graph Neural Networks
- Low Complexity Adaptive ML Approaches for End-to-End Latency Prediction
- TDMA-based MAC protocols designed or optimized using Artificial Intelligence for safety data dissemination in Vehicular ad-hoc network: A Survey
- A Machine Learning Based Approach to Detect Stealthy Cobalt Strike C\&C Activities from Encrypted Network Traffic
- Unified Emulation-Simulation Training Environment for Autonomous Cyber Agents
- Deep Learning Based Camera Switching for Sports Broadcasting
- Phisherman: Phishing Link Scanner
- Leader-Assisted Client Selection for Federated Learning in Iot via the Cooperation of Nearby Devices.
- MOTOR (Conference) (22nd : 2023 : Ekaterinburg, Russia)
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (xxvii, 439 pages) : illustrations (some color)
- Summary
-
- Invited papers
- General equilibrium models in production networks with substitution of inputs
- Mathematical programming and applications
- On decentralized nonsmooth optimization
- Byzantine-robust loopless stochastic variance-reduced gradient
- Semi-supervised k-means clustering via DC programming approach
- On the uniqueness of identification the thermal conductivity and heat capacit of substance
- On the uniqueness of identification the thermal conductivity and heat capacity of substance
- Discrete and combinatorial optimization
- Constant-factor approximation algorithms for some maximin multiclustering problems
- Aggregation tree construction using hierarchical structures
- Enumeration and unimodular equivalence of empty delta-modular simplices
- PTAS for p-means q-medoids r-given clustering problem
- Nested (2,3)-instances of the Cutting Stock Problem
- Stochastic optimization
- On the resource allocation problem to increase reliability of transport systems
- Distributionally robust optimization by probability criterion for estimating a bounded signal
- Scheduling
- Approximation algorithms for two-machine proportionate routing open shop on a tree
- MIP heuristics for a resource constrained project scheduling problem with workload stability constraints
- Hybrid evolutionary algorithm with optimized operators for total weighted tardiness problem
- Game theory
- Equilibrium arrivals to preemptive queueing system with fixed reward for completing request
- On optimal positional strategies in fractional optimal control problems
- On a single-type differential game of retention in a ring
- Harmonic numbers in Gambler's Ruin Problem
- Exploitation and recovery periods in dynamic resource management problem
- Trade-off mechanism to sustain cooperation in pollution reduction
- Communication restriction-based characteristic function in differential games on networks
- Optimal control and mathematical economics
- Guaranteed expectation of the flock position with random distribution of items
- Method for solving a differential inclusion with a subdifferentiable support function of the right-hand side
- Approximate solution of small-time control synthesis problem based on linearization
- A Priori Estimates of the Objective Function in the Speed-in-Action Problem for a Linear Two-Dimensional Discrete-Time System
- An approach to solving input reconstruction problems in stochastic differential equations: dynamic algorithms and tuning their parameters
- Mathematical modeling of the household behavior on the labor market
- Visual positioning of a moving object using multi-objective control algorithm
- MICCAI Workshop on Medical Applications with Disentanglements (1st : 2022 : Singapore).
- Cham : Springer, [2023]
- Description
- Book — 1 online resource (x, 127 pages) : illustrations (some color).
- Summary
-
- Applying Disentanglement in the Medical Domain: An Introduction.- HSIC-InfoGAN: Learning Unsupervised Disentangled Representations by Maximising Approximated Mutual Information.- Implicit Embeddings via GAN Inversion for High Resolution Chest Radiographs.- Disentangled Representation Learning for Privacy-Preserving Case-Based Explanations.- Instance-Specific Augmentation of Brain MRIs with Variational Autoencoder.- Low-rank and Sparse Metamorphic Autoencoders for Unsupervised Pathology Disentanglement.- Training -VAE by Aggregating a Learned Gaussian Posterior with a Decoupled Decoder.- Disentangling Factors of Morpholigical Variation in an Invertible Brain Aging Model.- A study of representational properties of unsupervised anomaly detection in brain MRI.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
Articles+
Journal articles, e-books, & other e-resources
Guides
Course- and topic-based guides to collections, tools, and services.