%{search_type} search results

• Deep Learning Models and Applications.- CRFST-GCN :A Deeplearning Spital-Temporal Frame to Predict Traffic Flow.- BFR-RetinaNet: An Improved RetinaNet Model for Vehicle Detection in Aerial Images.- Learning Knowledge Graph Embeddings by Multi-Attention Mechanism for Link Prediction.- GlowImp: Combining GLOW and GAN for Multivariate Time Series Imputation.- Accurate Indoor Localization Using Magnetic Sequence Fingerprints with Deep Learning.- Wasserstein Graph Auto-Encoder.- Fine-grained Activity Recognition Based on Features of Action Subsegments and Incremental Broad Learning.- ADFA-LSTM: An Abnormal Trajectory Prediction Method Based On Bionic Neural Network.- Online Multiple Object Tracking Algorithm based on Heat Map Propagation.- Software Systems and Efficient Algorithms.- Spatio-temporal Topology Routing Algorithm for Opportunistic Network Based on Self-Attention Mechanism.- TSAEns: Ensemble Learning for KPI Anomaly Detection.- Towards Transferable Adversarial Examples using Meta Learning.- Temporal Convolution Network Based on Attention for Intelligent Anomaly Detection of Wind Turbine Blades.- Error Serial Episodes Discovery from Mobile Payment Log in Distributed ETC.- Parallel Cache Prefetching for LSM-Tree based Store: From Algorithm to Evaluation.- A Hybrid TLBO-TS Algorithm based Mobile Service Selection for Composite Services.- UPM-DMA: An Efficient Userspace DMA-Pinned Memory Management Strategy for NVMe SSD.- AHOA: Adaptively Hybrid Optimization Algorithm for Flexible Job-shop Scheduling Problem.- Trace-Navi: A High-Accuracy Indoor Navigation System based on Real-Time Activity Recognition and Discrete Trajectory Calibration.- Iterative Filling Incomplete Fingerprint Map Based on Multi-directional Signal Propagation in Large-scale Scene
• .- Dynamic Adjustment Policy of Search Driver Matching Distance via Markov Decision Process.- A Multi-Precision Quantized Super-Resolution Model Framework.- An Optimized GPU Implementation of Weakly-compressible SPH using CUDA-based strategies.- A Heterogeneous Multi-Core Network-on-Chip Mapping Optimization Algorithm.- A Novel 3D Intelligent Cluster Method for Malicious Traffic Fine-grained Classification.- Predicting Students' Academic Performance Based on Improved PSO-Xgboost: A Campus Behavior Perspective.- Motion-sequence Authentication System: guard for smart phones.- Edge Computing and Edge Intelligence.- Joint Optimization Scheme of Multi-service Replication and Request Offloading in Mobile Edge Computing.- Flying MEC: Online Task Offloading, Trajectory Planning and Charging Scheduling for UAV-assisted MEC.- Multiple Workflows Offloading Based on Deep Reinforcement Learning in Mobile Edge Computing.- An Optimized Greedy-based Task Offloading Method for Mobile Edge Computing.- Location Aware Workflow Migration Based on Deep Reinforcement Learning in Mobile Edge Computing.- Recode-Decode-and-Compare: An Efficient Verification Scheme for Coded Edge Computing against Collusion Attack.- MGFL: Multi-granularity Federated Learning in Edge Computing Systems.- Energy Efficient Priority-Based Task Scheduling for Computation Offloading in Fog Computing.- Space-Heuristic Navigation and Occupancy Map Prediction for Robot Autonomous Exploration.- Service Dependability and Security Algorithms.- Edge DDoS attack detection method based on software defined networks.- GradMFL: Gradient Memory-based Federated Learning for Hierarchical Knowledge Transferring over Non-IID Data.- Linear Coded Federated Learning.- Verifiable Dynamic Searchable Symmetric Encryption with Forward Privacy in Cloud-assisted E-Healthcare Systems.- Security Analysis of Poisoning Attacks Against Multi-agent Reinforcement Learning.- A blockchain-based proxy oriented cloud storage public audit scheme for low-performance terminal devices.- Sunspot: A Decentralized Framework Enabling Privacy for Authorizable Data Sharing on Transparent Public Blockchains.- A Novel Protection method of continuous location sharing based on local differential privacy and conditional random field.- An Intelligent Allocation Mechanism Based on Ethereum Blockchain in Microgrid.- Data Science.- Multi-Layer Adaptive Sampling for Per-Flow Spread Measurement.- Transformer-based Rating-Aware Sequential Recommendation.- An effective single-pass approach for estimating the -quantile in data streams.- Fed-Tra: Improving Accuracy of Deep Learning Model on Non-IID Data in Federated Learning.
• .
• (source: Nielsen Book Data)

The three volume set LNCS 13155, 13156, and 13157 constitutes the refereed proceedings of the 21st International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2021, which was held online during December 3-5, 2021. The total of 145 full papers included in these proceedings were carefully reviewed and selected from 403 submissions. They cover the many dimensions of parallel algorithms and architectures including fundamental theoretical approaches, practical experimental projects, and commercial components and systems. The papers were organized in topical sections as follows: Part I, LNCS 13155: Deep learning models and applications; software systems and efficient algorithms; edge computing and edge intelligence; service dependability and security algorithms; data science; Part II, LNCS 13156: Software systems and efficient algorithms; parallel and distributed algorithms and applications; data science; edge computing and edge intelligence; blockchain systems; deept learning models and applications; IoT; Part III, LNCS 13157: Blockchain systems; data science; distributed and network-based computing; edge computing and edge intelligence; service dependability and security algorithms; software systems and efficient algorithms.
(source: Nielsen Book Data)

• Software Systems and Efficient Algorithms.- The Design and Realization of the Intelligent Drying Rack System Based on STM32.- Efficient Estimation of Time-Dependent Shortest Paths based on Shortcuts.- Multi-level PWB and PWC for Reducing TLB Miss Overheads on GPUs.- Hybrid GA-SVR: An Effective Way to Predict Short-term Traffic Flow.- Parallel and Distributed Algorithms and Applications.- MobiTrack: Mobile Crowdsensing-based Object Tracking with Min-Region and Max-Utility.- Faulty Processors Identification for Multiprocessor System under the PMC Model Using a Novel Binary Grey Wolf Optimizer.- Fast On-road Object Detector on ROS-based Mobile Robot.- A Lightweight Asynchronous I/O System for Non-Volatile Memory.- The Case for Disjoint Job Mapping on High-Radix Networked Parallel Computers.- FastCache: A Client-Side Cache With Variable-Position Merging Schema in Network Storage System.- An Efficient Parallelization Model for Sparse Non-negative Matrix Factorization Using cuSPARSE Library on Multi-GPU Platform.- HaDPA: A Data-Partition Algorithm for Data Parallel Applications on Heterogeneous HPC Platforms.- A NUMA-aware Parallel Truss Decomposition Algorithm for Large Scale Graphs.- A Large-scale Parallel Alignment Algorithm for SMRT Reads.- Square Fractional Repetition Codes for Distributed Storage Systems.- An Anti-forensic Method Based on RS Coding and Distributed Storage.- Data Science.-
• Predicting Consumers' Coupon-usage in E-commerce with Capsule Network.- A high-availability K-modes clustering method based on differential privacy.- A Strategy-based Optimization Algorithm to Design Codes for DNA Data Storage System.- Multi-Relational Hierarchical Attention for Top-k Recommendation.- Edge Computing and Edge Intelligence.- EdgeSP: Scalable Multi-Device Parallel DNN Inference on Heterogeneous Edge Clusters.- An Efficient Computation Offloading Strategy in Wireless Powered Mobile-Edge Computing Networks.- WiRD: Real-Time and Cross Domain Detection System on Edge device.- Deep Learning with Enhanced Convergence and its Application in MEC Task Offloading.- Dynamic Offloading and Frequency Allocation for Internet of Vehicles with Energy Harvesting.- SPACE : Sparsity Propagation based DCNN Training Accelerator on Edge.- Worker Recruitment Based on Edge-cloud Collaboration in Mobile Crowdsensing System.- Energy Efficient Deployment and Task Offloading for UAV-Assisted Mobile Edge Computing.- Blockchain Systems.- Research on Authentication and Key Agreement Protocol of Smart Medical Systems Based on Blockchain Technology.- CRchain: An Efficient Certificate Revocation Scheme Based on Blockchain.- Anonymous Authentication Scheme Based on Trust and Blockchain in VANETs.- BIPP: Blockchain-based Identity Privacy Protection Scheme in Internet of Vehicles for Remote Anonymous Communication.- Deep Learning Models and Applications.- Self-Adapted Frame Selection Module: Refine the Input Strategy for Video Saliency Detection.- Evolving Deep Parallel Neural Networks for Multi-Task Learning.- An Embedding Carrier-Free Steganography Method Based on Wasserstein GAN.- Design of Face Detection Algorithm Accelerator Based on Vitis.- FSAFA-stacking2: An Effective Ensemble Learning Model for Intrusion Detection with Firefly Algorithm Based Feature Selection.- Attention-based Cross-Domain Gesture Recognition using WiFi Channel State Information.- Font Transfer based on Parallel Auto-encoder for Glyph Perturbation via Strokes Moving.- A Novel GNN Model for Fraud Detection in Online Trading Activities.- IoT.- Non-Interactive Zero Knowledge Poof based Access Control in Information-Centric Internet of Things.- Simultaneous Charger Placement and Power Scheduling for On-Demand Provisioning of RF Wireless Charging Service.- A Cross-domain Authentication Scheme Based on Zero-knowledge Proof for Internet of Things.- NBUFlow: A Dataflow based Universal Task Orchestration and Offloading Platform for Low-cost Development of IoT Systems with Cloud-Edge-Device Collaborative.- IoT-GAN: Anomaly Detection for Time Series in IoT Based on Generative Adversarial Networks.- Freshness and Power Balancing Scheduling for Cooperative Vehicle-infrastructure System.- A Low Energy Consumption and Low Delay MAC Protocol Based on Receiver Initiation and Capture Effect in 5G IoT.- Building Portable ECG Classification Model
• with Cross-Dimension Knowledge Distillation.
• .
• (source: Nielsen Book Data)

The three volume set LNCS 13155, 13156, and 13157 constitutes the refereed proceedings of the 21st International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2021, which was held online during December 3-5, 2021. The total of 145 full papers included in these proceedings were carefully reviewed and selected from 403 submissions. They cover the many dimensions of parallel algorithms and architectures including fundamental theoretical approaches, practical experimental projects, and commercial components and systems. The papers were organized in topical sections as follows: Part I, LNCS 13155: Deep learning models and applications; software systems and efficient algorithms; edge computing and edge intelligence; service dependability and security algorithms; data science; Part II, LNCS 13156: Software systems and efficient algorithms; parallel and distributed algorithms and applications; data science; edge computing and edge intelligence; blockchain systems; deept learning models and applications; IoT; Part III, LNCS 13157: Blockchain systems; data science; distributed and network-based computing; edge computing and edge intelligence; service dependability and security algorithms; software systems and efficient algorithms.
(source: Nielsen Book Data)

• Blockchain Systems.- StateSnap: A State-Memorized P2P Storage Network for Blockchain NFT Content Data.- Towards Requester-Provider Bilateral Utility Maximization and Collision Resistance in Blockchain-based Microgrid Energy Trading.- Evaluating the Parallel Execution Schemes of Smart Contract Transactions in Different Blockchains: An Empirical Study.- Misbehavior Detection in VANET Based on Federated Learning and Blockchain.- Data Science.- ABE-AC4DDS: An Access Control Scheme based on Attribute-Based Encryption for Data Distribution Service.- An Interactive Visual System for Data Analytics of Social Media.- Auto-Recon: an Automated Network Reconnaissance System Based on Knowledge Graph.- INGCF: An Improved Recommendation Algorithm Based on NGCF.- Distributed and Network-based Computing.- AutoFlow: Hotspot-Aware, Dynamic Load Balancing for Distributed Stream Processing.- BMTP: Combining Backward Matching with Tree-based Pruning for Large-scale Content-based Pub/Sub Systems.- AF-TCP: Traffic Congestion Prediction at Arbitrary Road Segment and Flexible Future Time.- Collaborative QoS Prediction via Context-Aware Factorization Machine.- TDCT: Target-Driven Concolic Testing Using Extended Units by Calculating Function Relevance.- Multi-Task Allocation Based on Edge Interaction Assistance in Mobile Crowdsensing.- A Variable-way Address Translation Cache for the Exascale Supercomputer.- PPCTS: Performance Prediction-based Co-located Task Scheduling in Clouds.- Edge Computing and Edge Intelligence.- Risk-Aware Optimization of Distribution-based Resilient Task Assignment in Edge Computing.- Budget-aware Scheduling for Hyperparameter Optimization Process in Cloud Environment.- Workload Prediction and VM Clustering Based Server Energy Optimization in Enterprise Cloud Data Center.- Soft Actor-Critic-Based DAG Tasks Offloading in Multi-Access Edge Computing with Inter-User Cooperation.- Service Dependability and Security Algorithms.- Sensor Data Normalization among Heterogeneous Smartphones for Implicit Authentication.- Privacy-Preserving and Reliable Federated Learning.- Security Authentication of Smart Grid Based on RFF.- SEPoW: Secure and Efficient Proof of Work Sidechains.- A Spectral Clustering Algorithm Based on Differential Privacy Preservation.- A Compact Secret Image Sharing Scheme Based on Flexible Secret Matrix Sharing Scheme.- Robust Multi-Model Personalized Federated Learning via Model Distillation.- V-EPTD: A Verifiable and Efficient Scheme for Privacy-preserving Truth Discovery.- FedSP: Federated Speaker Verification with Personal Privacy Preservation.- Security Performance Analysis for Cellular Mobile Communication System with Randomly-Located Eavesdroppers.- Short and Distort: A New Manipulation as Opposed to Pump and Dump in the Cryptocurrency Market.- Privacy-preserving Swarm learning Based on Homomorphic Encryption.- Software Systems and Efficient Algorithms.- A modeling and verification method of Modbus TCP / IP protocol.- Completely Independent Spanning Trees in the Line Graphs of Torus Networks.- Adjusting OBSS/PD based on fuzzy logic to improve throughput of IEEE 802.11ax network.- Two-Stage Evolutionary Algorithm Using Clustering for Multimodal Multi-Objective Optimization with Imbalance Convergence and Diversity.- SLA: A Cache Algorithm for SSD-SMR Storage System with Minimum RMWs.- Trajectory Similarity Search with Multi-level Semantics.- Nonnegative Matrix Factorization Framework For disease-related CircRNA prediction.- A Fast Authentication and Key Agreement Protocol Based on Time-sensitive Token for Mobile Edge Computing.- Ferproof: A Constant Cost Range Proof Suitable for Floating-Point Numbers.- NEPG: Partitioning Large-Scale Power-Law Graphs.- Accelerating DCNNs via Cooperative Weight/Activation Compression.- PFA: performance and fairness-aware LLC partitioning method.- SGP: A Parallel Computing Framework for Supporting Distributed Structural Graph Clustering.- LIDUSA
• A Learned Index Structure for Dynamical Uneven Spatial Data.- Why is Your Trojan NOT Responding? A Quantitative Analysis of Failures in Backdoor Attacks of Neural Networks.- OptCL: A Middleware to Optimise Performance for High Performance Domain-Specific Languages on Heterogeneous Platforms.
• (source: Nielsen Book Data)

The three volume set LNCS 13155, 13156, and 13157 constitutes the refereed proceedings of the 21st International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2021, which was held online during December 3-5, 2021. The total of 145 full papers included in these proceedings were carefully reviewed and selected from 403 submissions. They cover the many dimensions of parallel algorithms and architectures including fundamental theoretical approaches, practical experimental projects, and commercial components and systems. The papers were organized in topical sections as follows: Part I, LNCS 13155: Deep learning models and applications; software systems and efficient algorithms; edge computing and edge intelligence; service dependability and security algorithms; data science; Part II, LNCS 13156: Software systems and efficient algorithms; parallel and distributed algorithms and applications; data science; edge computing and edge intelligence; blockchain systems; deept learning models and applications; IoT; Part III, LNCS 13157: Blockchain systems; data science; distributed and network-based computing; edge computing and edge intelligence; service dependability and security algorithms; software systems and efficient algorithms.
(source: Nielsen Book Data)

• A proof of the Multiplicative 1-2-3 Conjecture.- The geodesic transversal problem on some networks.- Chromatic Bounds for Some Subclasses of $(P_3\cup P_2)$-free Graphs.- List homomorphisms to separable signed graphs.- Some position problems for graphs.- Comparability graphs among Cover-Incomparability graphs.- Complexity of Paired Domination in AT-free and Planar Graphs.- The Complexity of Star Colouring in Bounded Degree Graphs and Regular Graphs.- On Conflict-Free Spanning Tree: Algorithms and Complexity.- B0-VPG Representation of AT-free Outerplanar Graphs.- P versus NPC : Steiner tree in convex split graphs.- On cd-coloring of {P_5, K_4}-free chordal graphs.- An output-sensitive algorithm for all-pairs shortest paths in directed acyclic graphs.- Covering a Graph with Densest Subgraphs.- Coresets for $(k, \ell)$-Median Clustering under the Frechet Distance.- Bounds and Algorithms for Geodetic Hulls.- Voronoi Games using Geodesics.- Approximation and parameterized algorithms for balanced connected partition problems.- Algorithms for Online Car-sharing Problem.- Algebraic algorithms for variants of Subset Sum.- Hardness and Approximation Results for Some Variants of Stable Marriage Problem.- On Fair Division with Binary Valuations Respecting Social Networks.- Parameterized Intractability of Defensive Alliance Problem.- On the approximability of path and cycle problems in arc-dependent networks}.- Approximation Algorithms in Graphs with Known Broadcast time of the Base Graph.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 8th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2022, which was held in Puducherry, India, during February 10-12, 2022. The 24 papers presented in this volume were carefully reviewed and selected from 80 submissions. The papers were organized in topical sections named: graph theory, graph algorithms, computational geometry, algorithms and optimization.
(source: Nielsen Book Data)

• Insights from the Conscious Turing Machine (CTM).- Speculative Smart Contracts.- Optimization from Structured Samples-An Effective Approach for Data-Driven Optimization.- Recent Developments in Property Testing of Boolean Functions.- AC0 Circuits, First-Order Logic, and Well-Structured graphs.- Model-Based Digital Engineering and Verification of Intelligent Systems.- Tight Online Algorithms for Unrelated Machine Load Balancing with Predictions.- Fast Sampling Constraint Satisfaction Solutions via the Lovasz Local Lemma.- Pool Block Withholding Attack with Rational Miners.- Approximation Algorithms for the Directed Path Partition Problems.- Faster Algorithms for k-Subset Sum and variations.- Hardness and Algorithms for Electoral Manipulation under Media Influence.- Improved Approximation Algorithms for Multiprocessor Scheduling with Testing.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 15th International Workshop on Frontiers in Algorithmics, FAW 2021, held in conjunction with second International Joint Conference on Theoretical Computer Science (IJTCS 2021), as IJTCS-FAW 2021, in Beijing, China, in August 2021. The conference IJTCS-FAW 2021 was held in hybrid mode due to the COVID-19 pandemic. The 5 full papers presented in this volume were carefully reviewed and selected from 9 submissions. The joint conference provides a focused forum on Algorithmic Game Theory, Blockchain, Multi-agent Reinforcement Learning, Quantum Computation, Theory of Machine Learning, Machine Learning, Formal Method, Algorithm and Complexity, and EconCS.
(source: Nielsen Book Data)

• An Overview of Human Activity Recognition Using Wearable Sensors: Healthcare and Artificial Intelligence.- Risks and Challenges of Training Classifiers for IoT.- IoT Applications in Universities: a systematic mapping.- Middleware of Enterprise 5G Messaging Services: Design and Implementation.- Blockchain Developments and Innovations - An Analytical Evaluation of Software Engineering Approaches.- SimuMan: A Simultaneous Real-time Method for Representing Motions and Emotions of Virtual Human in Metaverse.- Electric Transformer Oil Leakage Visual Detection as Service based on LSTM and Genetic Algorithm.- MRA: Metaverse Reference Architecture.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 6th International Conference on Internet of Things, ICIOT 2021, held virtually as part of SCF 2021, during December 10-14, 2021. The 8 full papers presented in this volume were carefully reviewed and selected from numerous submissions. The conference Internet of Things (ICIOT 2021) covers state-of-the-art technologies and best practices of Internet of Things, as well as emerging standards and research topics which would define the future of Internet of Things.
(source: Nielsen Book Data)

• Code and Data Transformations An Affine Scheduling Framework for Integrating Data Layout and Loop Transformations.- Guiding Code Optimizations with Deep Learning-Based Code Matching.- Expanding Opportunities for Array Privatization in Sparse Computations.- OpenMP and Fortran Concurrent Execution of Deferred OpenMP Target Tasks with Hidden Helper Threads.- Using Hardware Transactional Memory to Implement Speculative Privatization in OpenMP.- Improving Fortran Performance Portability.- Domain Specific Compilation COMET: A Domain-Specic Compilation of High-Performance Computational Chemistry.- G-Code Re-compilation and Optimization for Faster 3D Printing.- Li Machine Language and Quantum Computing Optimized Code Generation for Deep Neural Networks.- Thermal-Aware Compilation of Spiking Neural Networks to Neuromorphic Hardware.- A Quantum-Inspired Model For Bit-Serial SIMD-Parallel Computation.- Performance Analysis Enhancing the Top-Down Microarchitectural Analysis Method Using Purchasing Power Parity Theory.- Code Generation Cain: Automatic Code Generation for Simultaneous Convolutional Kernels on Focal-plane Sensor-processors.- Reordering Under the ECMAScript Memory Consistency Model.- Verication of Vectorization of Signal Transforms.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the 33rd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2020, held in Stony Brook, NY, USA, in October 2020. Due to COVID-19 pandemic the conference was held virtually. The 15 revised full papers were carefully reviewed and selected from 19 submissions. The contributions were organized in topical sections named as follows: Code and Data Transformations; OpenMP and Fortran; Domain Specific Compilation; Machine Language and Quantum Computing; Performance Analysis; Code Generation.
(source: Nielsen Book Data)

This book constitutes the refereed post-conference proceedings on Learning and Intelligent Optimization, LION 15, held in Athens, Greece, in June 2021. The 30 full papers presented have been carefully reviewed and selected from 35 submissions. LION deals with designing and engineering ways of "learning" about the performance of different techniques, and ways of using past experience about the algorithm behavior to improve performance in the future. Intelligent learning schemes for mining the knowledge obtained online or offline can improve the algorithm design process and simplify the applications of high-performance optimization methods. Combinations of different algorithms can further improve the robustness and performance of the individual components.
(source: Nielsen Book Data)

• A Non-Hyperarithmetical Goedel Logic.- Shorten Resolution Proofs Non-Elementarily.- The Isomorphism Problem for FST Injection Structures.- Justification Logic and Type Theory as Formalizations of Intuitionistic Propositional Logic.- Hyperarithmetical Worm Battles.- Parametric Church's Thesis: Synthetic Computability Without Choice.- Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic.- A Parametrized Family of Tversky Metrics Connecting the Jaccard Distance to an Analogue of the Normalized Information Distance.- A Parameterized View on the Complexity of Dependence Logic.- A Logic of Interactive Proofs.- Recursive Rules With Aggregation: A Simple Unified Semantics.- Computational Properties of Partial Non-deterministic Matrices and Their Logics.- Soundness and Completeness Results for LEA and Probability Semantics.- On Inverse Operators in Dynamic Epistemic Logic.- Computability Models Over Categories and Presheaves.- Reducts of Relation Algebras: The Aspects of Axiomatisability and Finite Representability.- Between Turing and Kleene.- Propositional Dynamic Logic With Quantification Over Regular Computation Sequences.- Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic.- Exact and Parameterized Algorithms for Read-Once Refutations in Horn Constraint Systems.- Logical Principles.- Small Model Property Reflects in Games and Automata.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022. The 23 revised full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.
(source: Nielsen Book Data)

• Algorithms and Applications.- High Resolution of City-Level Climate Simulation by GPU with Multi-Physical Phenomena.- dgQuEST: Distributed-GPU Accelerated Large Scale Quantum Circuit Simulation.- vSketchDLC: A Sketch on Distributed Deep Learning Communication via Fine-grained Tracing Visualization.- Scalable Algorithms Using Sparse Storage for Parallel Spectral Clustering on GPU.- XSP: Fast SSSP Based on Communication-Computation Collaboration.- A Class Of Fast And Accurate Multi-layer Block Summation And Dot Product Algorithms.- A KNN Query Method for Autonomous Driving Sensor Data.- System Software and Resource Management.- A Novel Task-Allocation Framework based on Decision-Tree Classification Algorithm in MEC.- QoS-Aware Scheduling for Cellular Networks Using Deep Reinforcement Learning.- Adaptive Buffering Scheme for PCM/DRAM-Based Hybrid Memory Architecture.- Efficiency-First Fault-Tolerant Replica Scheduling Strategy for Reliability Constrained Cloud Application.- Towards an Optimized Containerization of HPC Job Schedulers based on Namespaces.- Architecture of an On-time Data Transfer Framework in Cooperation with Scheduler System.- Storage.- Data Delta Based Hybrid Writes for Erasure-Coded Storage Systems.- BDCuckoo: An Efficient Cuckoo Hash for BlockDevice.- A Two Tier Hybrid Metadata Management mechanism for NVM Storage System.- A Novel CFLRU-based Cache Management Approach for NAND-based SSDs.- Networks and Communications.- Taming Congestion and Latency in Low-Diameter High-Performance Datacenters.- Evaluation of Topology-Aware All-reduce Algorithm for Dragon y Networks.- MPICC: Multi-Path INT-based Congestion Control in Datacenter Networks. .
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 18th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2021, which was held in Paris, France during November 3-5, 2021.The 20 papers presented in this volume were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: algorithms and applications; system software and resource management; storage; and networks and communications.
(source: Nielsen Book Data)

• Networking and Architectures.- Accelerating GPU-Based Out-of-Core Stencil Computation with On-the-Fly Compression.- Routing with Ant Colony Optimization in Wireless Mesh Networks.- A light-weight scheme for detecting component structure of network traffic.- Evaluating the performance and conformance of a SYCL implementation for SX-Aurora TSUBASA.- Bayesian Optimization Based Task Scheduling in Heterogeneous Computing Systems.- Optimizing Uplink Bandwidth Utilization for Crowdsourced Livecast.- A Batched Jacobi SVD Algorithm on GPUs and Its Application to Quantum Lattice Systems.- A Molecular Dynamics Based Multi-Scale Platelet Aggregation Model and Its High-throughput Simulation.- Approximation and Polynomial Algorithms for Multi-Depot Capacitated Arc Routing Problems.- Zero-shot Face Swapping with De-identification Adversarial Learning.- An user-driven active way to push ACL in Software-Defined Networking.- Photonic Computing and Communication for Neural Network Accelerators.- Performance Comparison of Multi-layer Perceptron Training on Electrical and Optical Network-on-Chips.- The design and implementation of reconfigurable quaternary logic processor.- A 3D Dubins Curve Constructing Method Based on Particle Swarm Optimization.- Software Systems and Technologies.- Towards Conflict-Aware Workload Co-execution on SX-Aurora TSUBASA.- A Learning-Based Scheduler for High Volume Processing in Data Warehouse using Graph Neural Networks.- Adaptive Updates for Erasure-Coded Storage Systems Based on Data Delta and Logging.- Matching Program Implementations and Heterogeneous Computing Systems.- FastDCF: A Partial Index based Distributed and Scalable Near-Miss Code Clone Detection Approach for Very Large Code Repositories.- Towards Optimal Fast Matrix Multiplication on CPU-GPU Platforms.- Temperature Matrix-based Data Placement Using Improved Hungarian Algorithm in Edge Computing Environments.- Realtime Physics Simulation of Large Virtual Space with Docker Containers.- A deep reinforcement learning-based approach to the scheduling of multiple workflows on non-dedicated edge servers.- A MVCC Approach to Parallelizing Interoperability of Consortium Blockchain.- An Effective and Reliable Cross-Blockchain Data Migration Approach.- Algorithm for the Facility Location Problem with Origin and Destination.- Reinforcement Learning-based Auto-scaling Algorithm for Elastic Cloud Workflow Service.- Optimal Energy Efficiency Strategy of mm Wave Cooperative Communication Small Cell based on SWIPT.- Providing Low Latency Execution Guarantees under Uncertainty in Serverless Platforms.- High resolution patient-specific blood flow simulation in a full-size aneurysmal aorta based on a parallel two-level method.- Optimizing Data Locality by Executor Allocation in Reduce Stage for Spark Framework.- TEFRED: A temperature and energy cognizant fault-tolerant real-time scheduler based on deadline partitioning for heterogeneous platforms.- Algorithms and Applications.- Social Recommendation via Graph Attentive Aggregation.- MACSQ: Massively Accelerated DeepQ Learning on GPUs using on-the-fly State Construction.- Model-based Multi-agent Policy Optimization with Dynamic Dependence Modeling.- Multi-index federated aggregation algorithm based on trusted verification.- Few-shot Generative Learning by Modeling Stereoscopic Priors.- Distributed fair k-Center clustering problems with outliers.- Multi-zone residential HVAC control with satisfying occupants' thermal comfort requirements and saving energy via reinforcement learning.- Approximating BP Maximization with Distorted-Based Strategy.- Streaming Algorithms for Maximization of a Non-Submodular Function with a Cardinality Constraint on the Integer Lattice.- Adaptable Focal Loss for Imbalanced Text Classification.- Roman Amphitheater Classification Using Convolutional Neural Network and Data Augmentation.- Data-Hungry Issue in Personalized Product Search.- Jointly Super Resolution and Degradation Learning on Unpaired Real-World Images.- Enhanced Discriminant Local Direction Pattern Learning for Robust Palmprint Identification.- Latent Multi-view Subspace Clustering Based on Schatten-p Norm.- Security and Privacy.- MOFIT: An efficient access control scheme with attribute merging and outsourcing capability for Fog-enhanced IoT.- RepBFL: Reputation based Blockchain-Enabled Federated Learning Framework for Data Sharing in Internet of Vehicles.- Multimodal Fusion Representation Learning based on Differential Privacy.- Efficient List Decoding Applied to ECC^2.- Federated Data Integration for Heterogeneous Partitions based on Differential Privacy.- Patient-Chain: Patient-centered healthcare system a Blockchain-based technology in dealing with emergencies.- A differential privacy image publishing method based on wavelet transform.- Traffic Matrix Prediction Based on Differential Privacy and LSTM.- A blockchain-based continuous query differential privacy algorithm.- Formalization and Verification of Group Communication CoAP using CSP.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 22nd International Conference on Parallel and Distributed Computing, Applications, and Technologies, PDCAT 2021, which took place in Guangzhou, China, during December 17-19, 2021. The 24 full papers and 34 short papers included in this volume were carefully reviewed and selected from 97 submissions. The papers are categorized into the following topical sub-headings: networking and architectures, software systems and technologies, algorithms and applications, and security and privacy.
(source: Nielsen Book Data)

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
(source: Nielsen Book Data)

• Invited Talks.- Some Problems Related to the Space of Optimal Tree Reconciliations.- From the W-hierarchy to XNLP: Classes of Fixed Parameter Intractability.- Invitation to Combinatorial Reconfiguration.- Combinatorial Reconfiguration.- Reconfiguration of Regular Induced Subgraphs.- Traversability, Reconfiguration, and Reachability in the Gadget Framework.- 1-Complex $ s, t $ Hamiltonian Paths: Structure and Reconfiguration in Rectangular Grids.- Graph Drawing and Visualization.- Aspect Ratio Universal Rectangular Layouts.- Morphing tree drawings in a small 3D grid.- StreamTable: An Area Proportional Visualization for Tables with Flowing Streams.- Vertex-to-Point Conflict-Free Chromatic Guarding is NP-hard.- The Polygon Burning Problem.- Reverse Shortest Path Problem in Weighted Unit-Disk Graphs.- Computational Complexity.- Happy Set Problem on Subclasses of Co-comparability Graphs.- Finding Geometric Representations of Apex Graphs is NP-Hard.- The Complexity of L(p, q)-Edge-Labelling.- Trains, Games, and Complexity: 0/1/2-Player Motion Planning through Input/Output Gadgets.- Online and Property Testing.- An Optimal Tester for k-Linear.- Machine Learning Advised Ski Rental Problem with a Discount.- Parameterized Complexity.- On the Harmless Set Problem Parameterized by Treewidth.- Isomorphism Testing for T -graphs in FPT.- Parameterized algorithms for Steiner Tree and Dominating Set: bounding the leafage by the vertex leafage.- Parameterized complexity of reconfiguration of atoms.- Parameterized Complexity of Immunization in the Threshold Model.- Parameterized Complexity of Minimum Membership Dominating Set.- Graph Algorithms.- Finding popular branchings in vertex-weighted digraphs.- Vertex-Weighted Graphs: Realizable and Unrealizable Domains.- Hypergraph Representation via Axis-Aligned Point-Subspace Cover.- Structural Parameterizations of Budgeted Graph Coloring.- Counting and Sampling Orientations on Chordal Graphs.- Minimum t-spanners on subcubic graphs.- Approximation Algorithms.- Approximating the Bundled Crossing Number.- Path Cover Problems with Length Cost.- On approximating shortest paths in weighted triangular tessellations.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 16th International Conference on Algorithms and Computation, WALCOM 2022, which was held in Jember, Indonesia, during March 24-26, 2022.This proceedings volume contains 30 full papers which were carefully reviewed and selected from a total of 89 submissions and 3 invited papers. They cover diverse areas of algorithms and computation, such as approximation algorithms, computational complexity, computational geometry, graph algorithms, graph drawing and visualization, online algorithms, parameterized complexity and property testing.
(source: Nielsen Book Data)

• Information fusion in Deep Learning for Biomedicine.- Intelligent Computing Solutions for SARS-CoV-2 Covid-19 (INClutions COVID-19).- Advanced Topics in Computational Intelligence.- Biosignals Processing.- Deep Learning.- Meta-Learning and Other Automatic Learning Approaches in Intelligent Systems.- Artificial Intelligence and Biomedicine.- Convolutional Neural Networks: Beyond Traditional Solutions.- Bio-inspired Systems and Neuro-Engineering.- Agent-Based Models for Policy Design Towards a More Sustainable World.- Randomization in Deep Learning.- Neural Networks for Time Series Forecasting.- Applications in Artificial Intelligence.
• (source: Nielsen Book Data)

This two-volume set LNCS 12861 and LNCS 12862 constitutes the refereed proceedings of the 16th International Work-Conference on Artificial Neural Networks, IWANN 2021, held virtually, in June 2021.The 85 full papers presented in this two-volume set were carefully reviewed and selected from 134 submissions. The papers are organized in topical sections on Deep Learning for Biomedicine, Intelligent Computing Solutions for SARS-CoV-2 Covid-19, Advanced Topics in Computational Intelligence, Biosignals Processing, Neuro-Engineering and much more.
(source: Nielsen Book Data)

• Information fusion in Deep Learning for Biomedicine.- Intelligent Computing Solutions for SARS-CoV-2 Covid-19 (INClutions COVID-19).- Advanced Topics in Computational Intelligence.- Biosignals Processing.- Deep Learning.- Meta-Learning and Other Automatic Learning Approaches in Intelligent Systems.- Artificial Intelligence and Biomedicine.- Convolutional Neural Networks: Beyond Traditional Solutions.- Bio-inspired Systems and Neuro-Engineering.- Agent-Based Models for Policy Design Towards a More Sustainable World.- Randomization in Deep Learning.- Neural Networks for Time Series Forecasting.- Applications in Artificial Intelligence.
• (source: Nielsen Book Data)

This two-volume set LNCS 12861 and LNCS 12862 constitutes the refereed proceedings of the 16th International Work-Conference on Artificial Neural Networks, IWANN 2021, held virtually, in June 2021.The 85 full papers presented in this two-volume set were carefully reviewed and selected from 134 submissions. The papers are organized in topical sections on Deep Learning for Biomedicine, Intelligent Computing Solutions for SARS-CoV-2 Covid-19, Advanced Topics in Computational Intelligence, Biosignals Processing, Neuro-Engineering and much more.
(source: Nielsen Book Data)

• Swarm Intelligence and Nature-Inspired Computing.- Swarm-based Computing Algorithms for Optimization.- Particle Swarm Optimization.- Ant Colony Optimization.- Differential Evolution.- Genetic Algorithm and Evolutionary Computation.- Fireworks Algorithms.- Brain Storm Optimization Algorithm.- Bacterial Foraging Optimization Algorithm.- DNA Computing Methods.
• (source: Nielsen Book Data)

his two-volume set LNCS 12689-12690 constitutes the refereed proceedings of the 12th International Conference on Advances in Swarm Intelligence, ICSI 2021, held in Qingdao, China, in July 2021. The 104 full papers presented in this volume were carefully reviewed and selected from 177 submissions. They cover topics such as: Swarm Intelligence and Nature-Inspired Computing; Swarm-based Computing Algorithms for Optimization; Particle Swarm Optimization; Ant Colony Optimization; Differential Evolution; Genetic Algorithm and Evolutionary Computation; Fireworks Algorithms; Brain Storm Optimization Algorithm; Bacterial Foraging Optimization Algorithm; DNA Computing Methods; Multi-Objective Optimization; Swarm Robotics and Multi-Agent System; UAV Cooperation and Control; Machine Learning; Data Mining; and Other Applications.
(source: Nielsen Book Data)

• Multi-Objective Optimization.- Swarm Robotics and Multi-Agent System.- UAV Cooperation and Control.- Machine Learning.- Data Mining.- Other Applications.
• (source: Nielsen Book Data)

his two-volume set LNCS 12689-12690 constitutes the refereed proceedings of the 12th International Conference on Advances in Swarm Intelligence, ICSI 2021, held in Qingdao, China, in July 2021. The 104 full papers presented in this volume were carefully reviewed and selected from 177 submissions. They cover topics such as: Swarm Intelligence and Nature-Inspired Computing; Swarm-based Computing Algorithms for Optimization; Particle Swarm Optimization; Ant Colony Optimization; Differential Evolution; Genetic Algorithm and Evolutionary Computation; Fireworks Algorithms; Brain Storm Optimization Algorithm; Bacterial Foraging Optimization Algorithm; DNA Computing Methods; Multi-Objective Optimization; Swarm Robotics and Multi-Agent System; UAV Cooperation and Control; Machine Learning; Data Mining; and Other Applications.
(source: Nielsen Book Data)

• Approximation Algorithms.- Constant-Approximation for Prize-Collecting Min-Sensor Sweep Coverage with Base Stations.- Approximation Algorithm for the Capacitated Correlation Clustering Problem with Penalties.- Approximation algorithms for the maximum bounded connected bipartition problem.- An Approximation Algorithm for Solving the Heterogeneous Chinese Postman Problem.- On Stochastic k-Facility Location.- The Complexity of Finding a Broadcast Center.- An Online Algorithm for Data Caching Problem in Edge Computing.- Topical part: Scheduling.- Scheduling on Multiple Two-Stage Flowshops with A Deadline.- Single machine scheduling with rejection to minimize the weighted makespan.- Maximizing Energy Efficiency for Charger Scheduling of WRSNs.- A New Branch-and-Price Algorithm for Daily Aircraft Routing and Scheduling Problem.- Optimizing mobile charger scheduling for task-based sensor networks.- Semi-online early work maximization problem on two hierarchical machines with partial information of processing time.- Topical part: Nonlinear Combinatorial Optimization.- Streaming Algorithms for Maximizing DR-submodular Functions with d-Knapsack Constraints.- Stochastic Submodular Probing with State-Dependent Costs.- Bi-criteria Adaptive Algorithms for Supermodular Minimization.- Improved Algorithms for Non-submodular Function Maximization Problem.- Fixed Observation Time-step: Adaptive Influence Maximization.- Measured Continuous Greedy with Differential Privacy.- Topical part: Network Problems.- Robust t-Path Topology Control Algorithm in Wireless Ad Hoc Networks.- Multi-attribute based Influence Maximization in Social Networks.- A parallel algorithm for constructing multiple independent spanning trees in bubble-sort networks.- A Fast FPTAS for Two Dimensional Barrier Coverage Using Sink-Based Mobile Sensors with Min-Sum Movement.- Time Sensitive Sweep Coverage with Multiple UAVs.- Recursive Merged Community Detection Algorithm based on Node Cluster.- Purchase Preferences - Based Air Passenger Choice Behavior Analysis from Sales Transaction Data.- Topical part: Blockchain, Logic, Complexity and Reliability.- Multi-Window Bitcoin Price Prediction Framework on Blockchain Transaction Graph.- Sensitivity-Based Optimization for Blockchain Selfish Mining.- Design and Implementation of List and Dictionary in XD-M Language.- Reliable Edge Intelligence using JPEG Progressive.- A game-theoretic analysis of deep neural networks.- Energy Complexity of Satisfying Assignments in Monotone Circuits: On the Complexity of Computing the Best Case.- Topical part: Miscellaneous.- The independence numbers of weighted graphs with forbidden cycles.- Wegner's Conjecture on 2-Distance Coloring.- An Efficient Oracle for Counting Shortest Paths in Planar Graphs.- Restrained and total restrained domination in cographs.- An order Approach for the Core Maintenance Problem on Edge-weighted Graphs.- Fixed-parameter Tractability for Book Drawing with Bounded Number of Crossings Per Edge.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 15th International Conference on Algorithmic Aspects in Information and Management, AAIM 2021, which was held online during December 20-22, 2021. The conference was originally planned to take place in Dallas, Texas, USA, but changed to a virtual event due to the COVID-19 pandemic. The 38 regular papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in the following topical sections: approximation algorithms; scheduling; nonlinear combinatorial optimization; network problems; blockchain, logic, complexity and reliability; and miscellaneous. .
(source: Nielsen Book Data)

• On the Fault-Tolerant Online Bin Packing Problem.- R-SWAP: Relay based atomic cross-chain swap protocol.- New Results on Test-Cost Minimization in Database Migration.- Privately querying Privacy: privacy estimation with guaranteed privacy of user and database party.- Brief Announcement: On the Distributed Construction of Stable Networks in Polylogarithmic.
• (source: Nielsen Book Data)

This book constitutes the refereed post-conference proceedings of the 6th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2021, held in Lisbon, Portugal, in September 2021. Due to the COVID-19 pandemic the conference was held online. The 4 revised full papers and 1 short paper were carefully reviewed and selected from 11 submissions. The aim of the symposium is to present research activities and results on topics related to algorithmic, design, and development aspects of modern cloud-based systems.
(source: Nielsen Book Data)

• Abundant Extensions.- Three Problems on Well-Partitioned Chordal Graphs.- Distributed Distance-r Covering Problems on Sparse High-Girth Graphs.- Reconfiguration of Connected Graph Partitions via Recombination.- Algorithms for Energy Conservation in Heterogeneous Data Centers.- On Vertex-Weighted Graph Realizations.- On the Role of 3's for the 1-2-3 Conjecture.- Upper Tail Analysis of Bucket Sort and Random Tries.- Throughput Scheduling with Equal Additive Laxity.- Fragile Complexity of Adaptive Algorithms.- FPT and Kernelization Algorithms for the Induced Tree Problem.- A Tight Lower Bound for Edge-Disjoint Paths on Planar DAGs.- Upper Dominating Set: Tight Algorithms for Pathwidth and Sub-Exponential Approximation.- A Multistage View on 2-Satisfiability.- The Weisfeiler-Leman Algorithm and Recognition of Graph Properties.- The Parameterized Suffix Tray.- Exploring the Gap Between Treedepth and Vertex Cover Through Vertex Integrity.- Covering a Set of Line Segments with a Few Squares.- Circumventing Connectivity for Kernelization.- Online and Approximate Network Construction from Bounded Connectivity Constraints.- Globally Rigid Augmentation of Minimally Rigid Graphs in \(R^2\).- Extending Partial Representations of Rectangular Duals with Given Contact Orientations.- Can Local Optimality be Used for Efficient Data Reduction.- Colouring Graphs of Bounded Diameter in the Absence of Small Cycles.- Online Two-Dimensional Vector Packing with Advice.- Temporal Matching on Geometric Graph Data.
• (source: Nielsen Book Data)

This book constitutes the refereed conference proceedings of the 12th International Conference on Algorithms and Complexity, CIAC 2019, held as a virtual event, in May 2021. The 28 full papers presented together with one invited lecture and 2 two abstracts of invited lectures were carefully reviewed and selected from 78 submissions. The International Conference on Algorithms and Complexity is intended to provide a forum for researchers working in all aspects of computational complexity and the use, design, analysis and experimentation of efficient algorithms and data structures. The papers present original research in the theory and applications of algorithms and computational complexity. Due to the Corona pandemic the conference was held virtually.
(source: Nielsen Book Data)