%{search_type} search results

• Models of computation.- Formal languages and automata theory.- Computational complexity and cryptography.- Logic.- Design and analysis of algorithms.- Randomness, geometry and discrete structures.- Theory and algorithms for application domains.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 16th International Computer Science Symposium in Russia, CSR 2021, held in Sochi, Russia, in June/July 2021. The 28 full papers were carefully reviewed and selected from 68 submissions. The papers cover a broad range of topics, such as formal languages and automata theory, geometry and discrete structures; theory and algorithms for application domains and much more.
(source: Nielsen Book Data)

• Reliable Smart Contracts - Track Introduction.- Functional Verification of Smart Contracts via Strong Data Integrity.- Bitcoin covenants unchained.- Specifying Framing Conditions for Smart Contracts.- Making Tezos smart contracts more reliable with Coq.- UTxO- vs account-based smart contract blockchain programming paradigms.- Native Custom Tokens in the Extended UTXO Model.- UTXOma: UTXO with Multi-Asset Support.- Towards Configurable and Efficient Runtime Verification of Blockchain based Smart Contracts at the Virtual Machine Level.- Compiling Quantitative Type Theory to Michelson for Compile-Time Verification & Run-time Efficiency in Juvix.- Efficient static analysis of Marlowe contracts.- Accurate Smart Contract Verification through Direct Modelling.- Smart Derivatives: On-chain Forwards for Digital Assets.- The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts.- Automated Verification of Embedded Control Software - Track Introduction.- Model-Based Design, Verification and Deployment of Railway Interlocking System.- Guess What I'm Doing! Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems.- On the Industrial Application of Critical Software Verification with VerCors.- A Concept of Scenario Space Exploration with Criticality Coverage Guarantees.- Towards Automated Service-oriented Verification of Embedded Control Software modeled in Simulink.- Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-based Environment Modeling.- Formally Proving Compositionality in Industrial Systems with Informal Specifications.- Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems.- Formal methods for Distributed Computing in future Railway systems.- Ensuring Safety with System Level Formal Modelling.- A modular design framework to assess intelligent trains.- Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL.- New Distribution Paradigms for Railway Interlocking.- Model Checking a Distributed Interlocking System Using k-induction with RT-Tester.- Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers.
• (source: Nielsen Book Data)

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems. .
(source: Nielsen Book Data)

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

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

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

• Adjacency Labelling of Planar Graphs (and Beyond).- Algorithms for Explainable Clustering.- On the Spanning and Routing Ratios of the Directed 6-Graph.- The Minimum Moving Spanning Tree Problem.- Scheduling with Testing on Multiple Identical Parallel Machines.- Online Makespan Minimization With Budgeted Uncertainty.- Pattern Matching in Doubling Spaces.- Reachability Problems for Transmission Graphs.- On Minimum Generalized Manhattan Connections.- HalftimeHash: Modern Hashing without 64-bit Multipliers or Finite Fields.- Generalized Disk Graphs.- A 4-Approximation of the 2 /3 -MST.- Dynamic Dictionaries for Multisets and Counting Filters with Constant Time Operations.- The Neighborhood Polynomial of Chordal.- Incomplete Directed Perfect Phylogeny in Linear Time.- Euclidean maximum matchings in the plane- local to global.- Solving Problems on Generalized Convex Graphs via Mim-Width.- Improved Bounds on the Spanning Ratio of the Theta-5 Graph.- Computing Weighted Subset Transversals in H-Free Graphs.- Computing the Frechet Distance Between Uncertain Curves in One Dimension.- Finding a Largest-Area Triangle in a Terrain in Near-Linear Time.- Planar Drawings with Few Slopes of Halin Graphs and Nested Pseudotrees.- An APTAS for Bin Packing with Clique-graph Conflicts.- Fast deterministic algorithms for computing all eccentricities in (hyperbolic) Helly graphs.- ANN for time series under the Frechet distance.- Strictly In-Place Algorithms for Permuting and Inverting.- A Stronger Lower Bound on Parametric Minimum Spanning Trees.- Online bin packing of squares and cubes.- Exploration of k-Edge-Deficient Temporal Graphs.- Parameterized Complexity of Categorical Clustering with Size Constraints.- Graph Pricing With Limited Supply.- Fair Correlation Clustering with Global and Local Guarantees.- Better Distance Labeling for Unweighted Planar Graphs.- How to Catch Marathon Cheaters: New Approximation Algorithms for Tracking Paths.- Algorithms for Radius-Optimally Augmenting Trees in a Metric Space.- Upper and Lower Bounds for Fully Retroactive Graph Problem.- Characterization of Super-stable Matching.- Uniform Embeddings for Robinson Similarity Matrices.- Particle-Based Assembly Using Precise Global Control Independent Sets in Semi-random Hypergraphs.- A Query-Efficient Quantum Algorithm for Maximum Matching on General Graphs.- Support Optimality and Adaptive Cuckoo Filters.- Computing the Union Join and Subset Graph of Acyclic Hypergraphs in Subquadratic Time.- Algorithms for the Line-Constrained Disk Coverage and Related Problems.- A universal cycle for strings with fixed-content (which are also known as multiset permutations).- Routing on Heavy-Path WSPD-Spanners.- Mapping Multiple Regions to the Grid with Bounded Hausdorff Distance.- Diverse Partitions of Colored Points.- Reverse Shortest Path Problem for Unit-Disk Graphs.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Data Structures, WADS 2021, held in virtually in August 2021. The 47 full papers, presented together with two invited lectures, were carefully reviewed and selected from a total of 123 submissions. They present original research on the theory, design and application of algorithms and data structures.
(source: Nielsen Book Data)

• Approximation Algorithms.- Online bin packing with overload cost.- Scheduling Trains with Small Stretch on a Unidirectional Line.- Algorithmic Aspects of Total Roman and Total Double Roman Domination in Graphs.- Approximation Algorithms for Orthogonal Line Centers.- Semitotal Domination on AT-free Graphs and Circle Graphs.- Burning Grids and Intervals.- Parameterized Algorithms.- On Parameterized Complexity of Liquid Democracy.- Acyclic coloring parameterized by directed clique-width. - On Structural Parameterizations of Load Coloring.- One-Sided Discrete Terrain Guarding and Chordal Graphs.- Parameterized Complexity of Locally Minimal Defensive Alliances.- Computational Geometry.- New variants of Perfect Non-crossing Matchings.- Cause I'm a Genial Imprecise Point: Outlier Detection for Uncertain Data.- A Worst-case Optimal Algorithm to Compute the Minkowski Sum of Convex Polytopes.- On the Intersections of Non-homotopic Loops.- Graph Theory.- On cd-coloring of trees and co-bipartite graphs.- Cut Vertex Transit Functions of Hypergraphs.- Lexicographic Product of Digraphs and Related Boundary-Type Sets.- The Connected Domination Number of Grids.- On degree sequences and eccentricities in pseudoline arrangement graphs. - Cops and Robber on Butterflies and Solid Grids.- b-Coloring of Some Powers of Hypercubes.- Chromatic Bounds for the Subclasses of $pK_2$ -Free Graphs.- Axiomatic characterization of the median function of a block graph.- On Coupon Coloring of Cartesian Product of Some Graphs.- On the Connectivity and the Diameter of Betweenness-Uniform Graphs. -Combinatorics and Algorithms.- On algorithms to find p-ordering.- Experimental Evaluation of a Local Search Approximation Algorithm for the Multiway Cut Problem.- Algorithmic analysis of priority-based bin packing.- Recursive methods for some problems in coding and random permutations.- Achieving positive rates with predetermined dictionaries.- Characterization of Dense Patterns Having Distinct Squares.- Graph Algorithms.- Failure and communication in a synchronized multi-drone system.- Memory Optimal Dispersion by Anonymous Mobile Robots.- Quantum and approximation algorithms for maximum witnesses of Boolean matrix products. -Template-driven Rainbow Coloring of Proper Interval Graphs.- Minimum Consistent Subset of Simple Graph Classes. - Computational Complexity.- Balanced Connected Graph Partition.- Hardness Results of Global Roman Domination in Graphs. .
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 7th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2021, which was held in Rupnagar, India, during February 11-13, 2021. The 39 papers presented in this volume were carefully reviewed and selected from 82 submissions. The papers were organized in topical sections named: approximation algorithms; parameterized algorithms; computational geometry; graph theory; combinatorics and algorithms; graph algorithms; and computational complexity. .
(source: Nielsen Book Data)

• Keynotes.- Topics in Region Theory and Synthesis Problems.- Flat Petri Nets.- Application of Concurrency to System Design.- Cost and Quality in Crowdsourcing Workflows.- Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design.- A Turn-Based Approach for Qualitative Time Concurrent Games.- Games.- Canonical Representations for Direct Generation of Strategies in High-level Petri Games.- Automatic Synthesis of Transiently Correct Network Updates via Petri Games.- Verification.- Computing Parameterized Invariants of Parameterized Petri Nets.- On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets.- Skeleton Abstraction for Universal Temporal Properties.- Reduction Using Induced Subnets To Systematically Prove Properties For Free-Choice Nets.- Model Checking of Synchronized Domain-Specific Multi-Formalism Models Using High-Level Petri Nets.- Synthesis and Mining.- Edge and event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable.- Synthesis of (Choice-Free) Reset Nets.- Synthesis of Petri Nets with restricted place-environments: classical and parameterized.- Discovering Stochastic Process Models By Reduction and Abstraction.- Reachability and Partial Order.- Efficient Algorithms for Three Reachability Problems in Safe Petri Nets.- A Lazy Query Scheme for Reachability Analysis in Petri nets.- Abstraction-based Incremental Inductive Coverability for Petri nets.- Firing Partial Orders in a Petri Net.- Semantics.- Deterministic concurrent systems.- Deciphering the Co-car Anomaly of Circular Traffic Queues using Petri Nets.- Tools.- Cortado - An Interactive Tool for Data-Driven Process Discovery and Modeling.- PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021.The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools.
(source: Nielsen Book Data)

• Design and analysis of algorithms.- Online algorithms, approximation algorithms analysis.- Algorithmic game theory and mechanism design.- Parameterized complexity.- Scheduling algorithms.- Competitive analysis. Packing and covering problems.- Rounding techniques.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed workshop post-proceedings of the 18th International Workshop on Approximation and Online Algorithms, WAOA 2019, held virtually in September 2020 as part of ALGO 2020. The 15 revised full papers presented this book were carefully reviewed and selected from 40 submissions. Topics of interest for WAOA 2018 were graph algorithms, inapproximability results, network design, packing and covering, paradigms for the design and analysis of approximation and online algorithms, parameterized complexity, scheduling problems, algorithmic game theory, algorithmic trading, coloring and partitioning, competitive analysis, computational advertising, computational -finance, cuts and connectivity, geometric problems, mechanism design, resource augmentation, real-world applications. Chapter "Explorable Uncertainty in Scheduling with Non-Uniform Testing Times" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
(source: Nielsen Book Data)

• How to Navigate Through Obstacles.- Approximation Algorithms for Vertex- Connectivity Augmentation on the Cycle.- Constant Factor Approximation for Tracking Paths and Fault Tolerant Feedback Vertex Set.- An Improved Approximation Bound for Minimum Weight Dominating Set on Graphs of Bounded Arboricity.- Tight Inapproximability of Minimum Maximal Matching on Bipartite Graphs.- On b-Matchings and b-Edge Dominating Sets: A 2-Approximation Algorithm for the 4-Edge Dominating Set Problem.- The Traveling k-Median Problem: Approximating Optimal Network Coverage.- EPTAS for Load Balancing Problem on Parallel Machines with a Non-renewable Resource.- Several methods of analysis for cardinality constrained bin packing.- Leah Epstein Weighted completion time minimization for capacitated parallel machines.- Server Cloud Scheduling.- FIFO and Randomized Competitive Packet Routing Games.- Improved Online Algorithm for Fractional Knapsack in the Random Order Model.- Improved Online Algorithm for Fractional Knapsack in the Random Order Model.- Improved Analysis of Online Balanced Clustering.- Precedence-Constrained Covering Problems with Multiplicity Constraints.- Contention Resolution, Matrix Scaling and Fair Allocation.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed workshop post-proceedings of the 19th International Workshop on Approximation and Online Algorithms, WAOA 2021, held in September 2021. Due to COVID-19 pandemic the conference was held virtually. The 16 revised full papers presented in this book were carefully reviewed and selected from 31 submissions. The papers focus on the design and analysis of algorithms for online and computationally hard problems.
(source: Nielsen Book Data)

• Adversarial machine learning.- An Improved (Adversarial) Reprogramming Technique for Neural Networks.- Adversarial Robustness in Deep Learning: Attacks on Fragile Neurons.- How to compare adversarial robustness of classifiers from a global perspective.- Multiple-Model based Defense for Deep Reinforcement Learning against Adversarial Attack.- Neural Paraphrase Generation with Multi-Domain Corpus.- Leveraging Adversarial Training to Facilitate Grammatical Error Correction.- Statistical Certification of Acceptable Robustness for Neural Networks.- Model Extraction and Adversarial Attacks on Neural Networks using Switching Power Information.- Anomaly detection.- o 0097 - CmaGraph: A TriBlocks Anomaly Detection Method in Dynamic Graph Using Evolutionary Community Representation Learning.- Falcon: Malware Detection and Categorization with Network Traffic Images.- Attention-based Bi-LSTM for Anomaly Detection on Time-Series Data.- Semi-supervised Graph Edge Convolutional Network for Anomaly Detection.- Feature Creation Towards the Detection of Non-Control-Flow Hijacking Attacks.- Attention and transformers I.- An Attention Module for Convolutional Neural Networks.- Attention-based 3D neural architectures for predicting cracks in designs.- Entity-aware Biaffine Attention for Constituent Parsing.- Attention-based Multi-View Feature Fusion for Cross-Domain Recommendation.- Say in Human-like Way: Hierarchical Cross-modal Information Abstraction and Summarization for Controllable Captioning.- DAEMA: Denoising Autoencoder with Mask Attention.- Spatial-Temporal Traffic Data Imputation via Graph Attention Convolutional Network.- EGAT: Edge-Featured Graph Attention Network.- Attention and transformers II.- Knowledge Graph Enhanced Transformer for Generative Question Answering Tasks.- GAttANet: Global attention agreement for convolutional neural networks.- Classification Models for Partially Ordered Sequences.- TINet: Multi-dimensional Traffic Data Imputation via Transformer Network.- Sequential Self-Attentive model for Knowledge Tracing.- Multi-Object Tracking based on Nearest Optimal Template Library.- TSTNet: A Sequence to Sequence Transformer Network for Spatial-temporal Traffic Prediction.- Audio and multimodal applications.- A multimode two-stream network for egocentric action recognition.- Behavior of Keyword Spotting Networks Under Noisy Conditions.- Robust Stroke Recognition via Vision and IMU in Robotic Table Tennis.- AMVAE: Asymmetric Multimodal Variational Autoencoder for Multi-view Representation.- Enhancing Separate Encoding with Multi-layer Feature Alignment for Image-Text Matching.- Bird Audio Diarization with Faster R-CNN.- Multi-Modal Chorus Recognition for Improving Song Search.- FaVoA: Face-Voice Association Favours Ambiguous Speaker Detection.- Bioinformatics and biosignal analysis.- Identification of Incorrect Karyotypes Using Deep Learning.- A Metagraph-Based Model for Predicting Drug-Target Interaction on Heterogeneous Network.- Evaluating Multiple-Concept Biomedical Hypotheses Based on Deep Sets.- A Network Embedding Based Approach to Drug-Target Interaction Prediction Using Additional Implicit Networks.- Capsule networks.- CNNapsule: A Lightweight Network with Fusion Features for Monocular Depth Estimation.- Learning Optimal Primary Capsules by Information Bottleneck.- Capsule Networks with Routing Annealing.- Training Deep Capsule Networks with Residual Connections.- Cognitive models.- Interpretable Visual Understanding with Cognitive Attention Network.- A Bio-Inspired Mechanism Based on Neural Threshold Regulation to Compensate Variability in Network Connectivity.- A Predictive Coding Account for Chaotic Itinerancy.- A Computational Model of the Effect of Short-Term Monocular Deprivation on Binocular Rivalry in the Context of Amblyopia.- Transitions among metastable states underlie context-dependent working memories in a multiple timescale network.
• (source: Nielsen Book Data)

The proceedings set LNCS 12891, LNCS 12892, LNCS 12893, LNCS 12894 and LNCS 12895 constitute the proceedings of the 30th International Conference on Artificial Neural Networks, ICANN 2021, held in Bratislava, Slovakia, in September 2021.* The total of 265 full papers presented in these proceedings was carefully reviewed and selected from 496 submissions, and organized in 5 volumes. In this volume, the papers focus on topics such as adversarial machine learning, anomaly detection, attention and transformers, audio and multimodal applications, bioinformatics and biosignal analysis, capsule networks and cognitive models. *The conference was held online 2021 due to the COVID-19 pandemic.
(source: Nielsen Book Data)

• Computer vision and object detection.- Selective Multi-Scale Learning for Object Detection.- DRENet: Giving Full Scope to Detection and Regression-based Estimation for Video Crowd Counting.- Sisfrutos Papaya: a Dataset for Detection and Classification of Diseases in Papaya.- Faster-LTN: a neuro-symbolic, end-to-end object detection architecture.- GC-MRNet: Gated Cascade Multi-stage Regression Network for Crowd Counting.- Latent Feature-Aware and Local Structure-Preserving Network for 3D Completion from a single depth view.- Facial Expression Recognition by Expression-Specific Representation Swapping.- Iterative Error Removal for Time-of-Flight Depth Imaging.- Blurred Image Recognition: A Joint Motion Deblurring and Classification Loss-Aware Approach.- Learning How to Zoom in: Weakly Supervised ROI-based-DAM for Fine-Grained Visual Classification.- Convolutional neural networks and kernel methods.- (Input) Size Matters for CNN Classifiers.- Accelerating Depthwise Separable Convolutions with Vector Processor.- KCNet: Kernel-based Canonicalization Network for entities in Recruitment Domain.- Deep Unitary Convolutional Neural Networks.- Deep learning and optimization I.- DPWTE: A Deep Learning Approach to Survival Analysis using a Parsimonious Mixture of Weibull Distributions.- First-order and second-order variants of the gradient descent in a unified framework.- Bayesian optimization for backpropagation in Monte-Carlo tree search.- Growing Neural Networks Achieve Flatter Minima.- Dynamic Neural Diversification: Path to Computationally Sustainable Neural Networks.- Curved SDE-Net Leads to Better Generalization for Uncertainty Estimates of DNNs.- EIS - Efficient and Trainable Activation Functions for Better Accuracy and Performance.- Deep learning and optimization II.- Why Mixup Improves the Model Performance.- Mixup gamblers: Learning to abstain with auto-calibrated reward for mixed samples.- Non-Iterative Phase Retrieval With Cascaded Neural Networks.- Incorporating Discrete Wavelet Transformation Decomposition Convolution into Deep Network to Achieve Light Training.- MMF: A loss extension for feature learning in open set recognition.- On the selection of loss functions under known weak label models.- Distributed and continual learning.- Bilevel Online Deep Learning in Non-stationary Environment.- A Blockchain Based Decentralized Gradient Aggregation Design for Federated Learning.- Continual Learning for Fake News Detection from Social Media.- Balanced Softmax Cross-Entropy for Incremental Learning.- Generalised Controller Design using Continual Learning.- DRILL: Dynamic Representations for Imbalanced Lifelong Learning.- Principal Gradient Direction and Confidence Reservoir Sampling for Continual Learning.- Explainable methods.- Spontaneous Symmetry Breaking in Data Visualization.- Deep NLP Explainer: Using Prediction Slope To Explain NLP Models.- Empirically explaining SGD from a line search perspective.- Towards Ontologically Explainable Classifiers.- Few-shot learning.- Leveraging the Feature Distribution in Transfer-based Few-Shot Learning.- One-Shot Meta-Learning for Radar-Based Gesture Sequences Recognition.- Few-Shot Learning With Random Erasing and Task-Relevant Feature Transforming.- Fostering Compositionality in Latent, Generative Encodings to Solve the Omniglot Challenge.- Better Few-shot Text Classification with Pre-trained Language Model.- Generative adversarial networks.- Leveraging GANs via Non-local Features.- On Mode Collapse in Generative Adversarial Networks.- Image Inpainting Using Wasserstein Generative Adversarial Imputation Network.- COViT-GAN: Vision Transformer for COVID-19 Detection in CT Scan Images with Self-Attention GAN for Data Augmentation.- PhonicsGAN: Synthesizing Graphical Videos from Phonics Songs.- A Progressive Image Inpainting Algorithm with a Mask Auto-update Branch.- Hybrid Generative Models for Two-Dimensional Datasets.- Towards Compressing Efficient Generative Adversarial Networks for Image Translation via Pruning and Distilling.- .
• (source: Nielsen Book Data)

The proceedings set LNCS 12891, LNCS 12892, LNCS 12893, LNCS 12894 and LNCS 12895 constitute the proceedings of the 30th International Conference on Artificial Neural Networks, ICANN 2021, held in Bratislava, Slovakia, in September 2021.* The total of 265 full papers presented in these proceedings was carefully reviewed and selected from 496 submissions, and organized in 5 volumes. In this volume, the papers focus on topics such as computer vision and object detection, convolutional neural networks and kernel methods, deep learning and optimization, distributed and continual learning, explainable methods, few-shot learning and generative adversarial networks. *The conference was held online 2021 due to the COVID-19 pandemic.
(source: Nielsen Book Data)

• Generative neural networks.- Binding and Perspective Taking as Inference in a Generative Neural Network Model.- Advances in Password Recovery using Generative Deep Learning Techniques.- o 0886 - Dilated Residual Aggregation Network for Text-guided Image Manipulation.- Denoising AutoEncoder based Delete and Generate Approach for Text Style Transfer.- GUIS2Code: A Computer Vision Tool to Generate Code Automatically from Graphical User Interface Sketches.- Generating Math Word Problems from Equations with Topic Consistency Maintaining and Commonsense Enforcement.- Generative properties of Universal Bidirectional Activation-based Learning.- Graph neural networks I.- Joint Graph Contextualized Network for Sequential Recommendation.- Relevance-Aware Q-matrix Calibration for Knowledge Tracing.- LGACN: A Light Graph Adaptive Convolution Network for Collaborative Filtering.- HawkEye: Cross-Platform Malware Detection with Representation Learning on Graphs.- An Empirical Study of the Expressiveness of Graph Kernels and Graph Neural Networks.- Multi-resolution Graph Neural Networks for PDE approximation.- Link Prediction on Knowledge Graph by Rotation Embedding on the Hyperplane in the Complex Vector Space.- Graph neural networks II.- Contextualise Entities and Relations: An Interaction Method for Knowledge Graph Completion.- Civil Unrest Event Forecasting Using Graphical and Sequential Neural Networks.- Parameterized Hypercomplex Graph Neural Networks for Graph Classification.- Feature Interaction Based Graph Convolutional Networks For Image-text Retrieval.- Generalizing Message Passing Neural Networks to Heterophily using Position Information.- Local and Non-local Context Graph Convolutional Networks for Skeleton-based Action Recognition.-STGATP: A Spatio-temporal Graph Attention Network for Long-term Traffic Prediction.- Hierarchical and ensemble models.- Integrating N-Gram Features into Pre-Trained Model: A Novel Ensemble Model for Multi-Target Stance Detection.- Hierarchical Ensemble for Multi-view Clustering.- Structure-Aware Multi-Scale Hierarchical Graph Convolutional Network for Skeleton Action Recognition.- Learning Hierarchical Reasoning for Text-based Visual Question Answering.- Hierarchical Deep Gaussian Processes Latent Variable Model via Expectation Propagation.- Adaptive Consensus-Based Ensemble for Improved Deep Learning Inference Cost.- Human pose estimation.- Multi-Branch Network for Small Human Pose Estimation.- PNO: Personalized Network Optimization for Human Pose and Shape Reconstruction.- JointPose: Jointly Optimizing Evolutionary Data Augmentation and Prediction Neural Network for 3D Human Pose Estimation.- DeepRehab: Real Time Pose Estimation on the Edge for Knee Injury Rehabilitation.- Image processing.- Subspace constraint for Single Image Super-Resolution.- Towards Fine-Grained Control over Latent Space for Unpaired Image-to-Image Translation.- FMSNet: Underwater Image Restoration by Learning from a Synthesized Dataset.- Towards Measuring Bias in Image Classification.- Towards Image Retrieval with Noisy Labels via Non-deterministic Features.- Image segmentation.- Improving Visual Question Answering by Semantic Segmentation.- Weakly Supervised Semantic Segmentation with Patch-Based Metric Learning Enhancement.- ComBiNet: Compact Convolutional Bayesian Neural Network for Image Segmentation.- Depth Mapping Hybrid Deep Learning Method for Optic Disc and Cup Segmentation on Stereoscopic Ocular Fundus.- RATS: Robust Automated Tracking and Segmentation of Similar Instances.- Knowledge distillation.- Data Diversification Revisited: Why Does It Work?.- A Generalized Meta-Loss Function for Distillation Based Learning Using Privileged Information for Classification and Regression.- Empirical Study of Data-Free Iterative Knowledge Distillation.- Adversarial Variational Knowledge Distillation.- Extract then Distill: Efficient and Effective Task-Agnostic BERT Distillation.- Medical image processing.- Semi-supervised Learning based Right Ventricle Segmentation Using Deep Convolutional Boltzmann Machine Shape Model.- Improved U-Net for Plaque Segmentation of Intracoronary Optical Coherence Tomography Images.- Approximated Masked Global Context Network for Skin Lesion Segmentation.- DSNet: Dynamic Selection Network for Biomedical Image Segmentation.- Computational Approach to Identifying Contrast-Driven Retinal Ganglion Cells.- Radiological Identification of Hip Joint Centers from X-ray Images Using Fast Deep Stacked Network and Dynamic Registration Graph.- A Two-Branch Neural Network for Non-Small-Cell Lung Cancer Classification and Segmentation.- Uncertainty Quantification and Estimation in Medical Image Classification.- Labeling Chest X-Ray Reports Using Deep Learning.
• (source: Nielsen Book Data)

The proceedings set LNCS 12891, LNCS 12892, LNCS 12893, LNCS 12894 and LNCS 12895 constitute the proceedings of the 30th International Conference on Artificial Neural Networks, ICANN 2021, held in Bratislava, Slovakia, in September 2021.* The total of 265 full papers presented in these proceedings was carefully reviewed and selected from 496 submissions, and organized in 5 volumes. In this volume, the papers focus on topics such as generative neural networks, graph neural networks, hierarchical and ensemble models, human pose estimation, image processing, image segmentation, knowledge distillation, and medical image processing. *The conference was held online 2021 due to the COVID-19 pandemic.
(source: Nielsen Book Data)

• Model compression.- Blending Pruning Criteria for Convolutional Neural Networks.- BFRIFP: Brain Functional Reorganization Inspired Filter Pruning.- CupNet - Pruning a network for geometric data.- Pruned-YOLO: Learning Efficient Object Detector Using Model Pruning.- Gator: Customizable Channel Pruning of Neural Networks with Gating.- Multi-task and multi-label learning.- MMF: Multi-Task Multi-Structure Fusion for Hierarchical Image Classification.- GLUNet: Global-Local Fusion U-Net for 2D Medical Image Segmentation.- Textbook Question Answering with Multi-type Question Learning and Contextualized Diagram Representation.- A Multi-Task MRC Framework for Chinese Emotion Cause and Experiencer Extraction.- Fairer Machine Learning Through Multi-objective Evolutionary Learning.- Neural network theory.- Single neurons with delay-based learning can generalise between time-warped patterns.- Estimating Expected Calibration Errors.- LipBAB: Computing exact Lipschitz constant of ReLU networks.- Nonlinear Lagrangean Neural Networks.- Normalization and Regularization Methods.- Energy Conservation in Infinitely Wide Neural-Networks.- Class-Similarity Based Label Smoothing for Confidence Calibration.- Jacobian Regularization for Mitigating Universal Adversarial Perturbations.- Layer-wise Activation Cluster Analysis of CNNs to Detect Out-of-Distribution Samples.- Weight and Gradient Centralization in Deep Neural Networks.- LocalNorm: Robust Image Classification through Dynamically Regularized Normalization.- Channel Capacity of Neural Networks.- RIAP: A method for Effective Receptive Field Rectification.- Curriculum Learning Revisited: Incremental Batch Learning with Instance Typicality Ranking.- Person re-identification.- Interesting Receptive Region and Feature Excitation for Partial Person Re-Identification.- Improved Occluded Person Re-Identification with Multi-feature Fusion.- Joint Weights-averaged and Feature-separated Learning for Person Re-identification.- Semi-Hard Margin Support Vector Machines for Personal Authentication with an Aerial Signature Motion.-Recurrent neural networks.- Dynamic identification of stop locations from GPS trajectories based on their temporal and spatial characteristics.- Separation of Memory and Processing in Dual Recurrent Neural Networks.- Predicting Landfall's Location and Time of a Tropical Cyclone Using Reanalysis Data.- Latent State Inference in a Spatiotemporal Generative Model.- Deep learning models and interpretations for multivariate discrete-valued event sequence prediction.- End-to-End On-Line Multi-Object Tracking on Sparse Point Clouds Using Recurrent Convolutional Networks.- M-ary Hopfield Neural Network based Associative Memory Formulation: Limit-cycle based Sequence Storage and Retrieval.- Training Many-to-Many Recurrent Neural Networks with Target Propagation.- Early Recognition of Ball Catching Success in Clinical Trials with RNN-Based Predictive Classification.- Precise temporal P300 detection in Brain Computer Interface EEG signals using a Long-Short Term Memory.- Noise Quality and Super-Turing Computation in Recurrent Neural Networks.- Reinforcement learning I.- Learning to Plan via a Multi-Step Policy Regression Method.- Behaviour-conditioned policies for cooperative reinforcement learning tasks.- Integrated Actor-Critic for Deep Reinforcement Learning.- Learning to Assist Agents by Observing Them.- Reinforcement Syntactic Dependency Tree Reasoning for Target-Oriented Opinion Word Extraction.- Learning distinct strategies for heterogeneous cooperative multi-agent reinforcement learning.- MAT-DQN: Toward Interpretable Multi-Agent Deep Reinforcement Learning for Coordinated Activities.- Selection-Expansion: a unifying framework for motion-planning and diversity search algorithms.- A Hand Gesture Recognition System using EMG and Reinforcement Learning: a Q-Learning Approach.- Reinforcement learning II.- Reinforcement learning for the privacy preservation and manipulation of eye tracking data.- Reinforcement Symbolic Learning.- Deep Reinforcement Learning for Job Scheduling on Cluster.- Independent Deep Deterministic Policy Gradient Reinforcement Learning in Cooperative Multiagent Pursuit Games.- Avoid Overfitting in Deep Reinforcement Learning: Increasing Robustness through Decentralized Control.- Advances in Adaptive Skill Acquisition.- Aspect-Based Sentiment Classification with Reinforcement Learning and Local Understanding.- Latent dynamics for artefact-free character animation via data-driven reinforcement learning.- Intrinsic Motivation Model Based on Reward Gating.
• (source: Nielsen Book Data)

The proceedings set LNCS 12891, LNCS 12892, LNCS 12893, LNCS 12894 and LNCS 12895 constitute the proceedings of the 30th International Conference on Artificial Neural Networks, ICANN 2021, held in Bratislava, Slovakia, in September 2021.* The total of 265 full papers presented in these proceedings was carefully reviewed and selected from 496 submissions, and organized in 5 volumes. In this volume, the papers focus on topics such as model compression, multi-task and multi-label learning, neural network theory, normalization and regularization methods, person re-identification, recurrent neural networks, and reinforcement learning. *The conference was held online 2021 due to the COVID-19 pandemic.
(source: Nielsen Book Data)

• Representation learning.- SageDy: A Novel Sampling and Aggregating based Representation Learning Approach for Dynamic Networks.- CuRL: Coupled Representation Learning of cards and merchants to detect transaction frauds.- Revisiting Loss Functions for Person Re-Identification.- Statistical Characteristics of Deep Representations: An Empirical Investigation.- Reservoir computing.- Unsupervised Pretraining of Echo State Networks for Onset Detection.- Canary Song Decoder: Transduction and Implicit Segmentation with ESNs and LTSMs.- Which Hype for my New Task? Hints and Random Search for Echo State Networks Hyperparameters.- Semi- and Unsupervised learning.- A new Nearest Neighbor Median Shift Clustering for Binary Data.- Self-supervised Multi-view Clustering for Unsupervised Image Segmentation.- Evaluate Pseudo Labeling and CNN for multi-variate time series classification in low-data regimes.- Deep Variational Autoencoder with Shallow Parallel Path for Top-N Recommendation (VASP).- Short Text Clustering with A Deep Multi-Embedded Self-Supervised Model.- Brain-like approaches to unsupervised learning of hidden representations - a comparative study.- Spiking neural networks.- A Subthreshold Spiking Neuron Circuit Based on the Izhikevich Model.- SiamSNN: Siamese Spiking Neural Networks for Energy-Efficient Object Tracking.- The principle of weight divergence facilitation for unsupervised pattern recognition in spiking neural networks.- Algorithm For 3D-Chemotaxis Using Spiking Neural Network.- Signal Denoising with Recurrent Spiking Neural Networks and Active Tuning.- Dynamic Action Inference with Recurrent Spiking Neural Networks.- End-to-end Spiking Neural Network for Speech Recognition Using Resonating Input Neurons.- Text understanding I.- Visual-Textual Semantic Alignment Network for Visual Question Answering.- Which and Where to Focus: A Simple yet Accurate Framework for Arbitrary-Shaped Nearby Text Detection in Scene Images.- STCP: An Efficient Model Combing Subject Triples and Constituency Parsing for Recognizing Textual Entailment.- A Latent Variable Model with Hierarchical structure and GPT-2 for long text generation.- A Scoring Model Assisted by Frequency for Multi-Document Summarization.- A Strategy for Referential Problem in Low-Resource Neural Machine Translation.- A Unified Summarization Model with Semantic Guide and Keyword Coverage Mechanism.- Hierarchical Lexicon Embedding Architecture for Chinese Named Entity Recognition.- Evidence Augment for Multiple-Choice Machine Reading Comprehension by Weak Supervision.- Resolving Ambiguity in Hedge Detection by Automatic Generation of Linguistic Rules.- Text understanding II.- Detecting Scarce Emotions Using BERT and Hyperparameter Optimization.- Design and Evaluation of Deep Learning Models for Real-Time Credibility Assessment in Twitter.- T-Bert: A Spam Review Detection Model Combining Group Intelligence and Personalized Sentiment Information.- Graph Enhanced BERT for Stance-aware Rumor Verification on Social Media.- Deep Learning for Suicide and Depression Identification with Unsupervised Label Correction.- Learning to Remove: Towards Isotropic Pre-trained BERT Embedding.- ExBERT: An External Knowledge Enhanced BERT for Natural Language Inference.- Multi-Features-Based Automatic Clinical Coding for Chinese ICD-9-CM-3.- Style as Sentiment versus Style as Formality: the same or different?.- Transfer and meta learning.- Low-resource Neural Machine Translation Using XLNet Pre-training Model.- Self-Learning for Received Signal Strength MapReconstruction with Neural Architecture Search.- Propagation-aware Social Recommendation by Transfer Learning.- Evaluation of Transfer Learning for Visual Road Condition Assessment.- EPE-NAS: Efficient Performance Estimation Without Training for Neural Architecture Search.- DVAMN: Dual Visual Attention Matching Network for Zero-Shot Action Recognition.- Dynamic Tuning and Weighting of Meta-Learning for NMT Domain Adaptation.- Improving Transfer Learning in Unsupervised Language Adaptation.- Sample-Label View Transfer Active Learning for Time Series Classification.- Video processing.- Learning Traffic as Videos: A Spatio-Temporal VAE Approach for Traffic Data Imputation.- Traffic Camera Calibration via Vehicle Vanishing Point Detection.- Efficient Spatio-Temporal Network with Gated Fusion for Video Super-Resolution.- Adaptive Correlation Filters Feature Fusion Learning for Visual Tracking.- Dense video captioning for incomplete videos.- Modeling Context-guided Visual and Linguistic Semantic Feature for Video Captioning.
• (source: Nielsen Book Data)

The proceedings set LNCS 12891, LNCS 12892, LNCS 12893, LNCS 12894 and LNCS 12895 constitute the proceedings of the 30th International Conference on Artificial Neural Networks, ICANN 2021, held in Bratislava, Slovakia, in September 2021.* The total of 265 full papers presented in these proceedings was carefully reviewed and selected from 496 submissions, and organized in 5 volumes. In this volume, the papers focus on topics such as representation learning, reservoir computing, semi- and unsupervised learning, spiking neural networks, text understanding, transfers and meta learning, and video processing. *The conference was held online 2021 due to the COVID-19 pandemic.
(source: Nielsen Book Data)

• Machine Learning and Deep learning approaches in human brain mapping
• A high-resolution model of the human entorhinal cortex in the 'BigBrain' : use case for machine learning and 3D analyses
• Deep learning-supported cytoarchitectonic mapping of the human lateral geniculate body in the BigBrain
• Brain modelling and simulation
• Computational modelling of cerebellar magnetic stimulation: the effect of washout?
• Usage and scaling of an open-source spiking multi-area model of the monkey cortex
• Exascale compute and data infrastructures for neuroscience and applications
• Modular supercomputing for neuroscience
• Fenix: Distributed e-Infrastructure Services for EBRAINS
• Independent component analysis for noise and artifact removal in three-dimensional Polarized Light Imaging
• Exascale artificial and natural neural architectures
• Brain-inspired algorithms for processing of visual data
• An hybrid attention-based system for the prediction of facial attributes
• The statistical physics of learning revisited: Typical learning curves in model scenarios
• Emotion mining: from unimodal to multimodal approaches.

This open access book constitutes revised selected papers from the 4th International Workshop on Brain-Inspired Computing, BrainComp 2019, held in Cetraro, Italy, in July 2019. The 11 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They deal with research on brain atlasing, multi-scale models and simulation, HPC and data infra-structures for neuroscience as well as artificial and natural neural architectures.

• Combinatorial Optimization and Learning.- Streaming algorithms for maximizing non-submodular functions on the integer lattice.- Causal Inference for Influence Propagation -
• Identifiability of the In-dependent Cascade Model.- Streaming algorithms for Budgeted $k$-Submodular Maximization problem.- Approximation algorithms for the lower bounded correlation clustering problem.- Approximation Algorithm for Maximizing Nonnegative Weakly Mono-tonic Set Functions.- Differentially Private Submodular Maximization over Integer Lattice.- Maximizing the sum of a supermodular function and a monotone DR-submodular function subject to a knapsack constraint on the integer lattice.- Deep Learning and Applications to Complex and Social Systems.- A Framework for Accelerating Graph Convolution Networks on Massive Datasets.- AdvEdge: Optimizing Adversarial Perturbations against Interpretable Deep Learning.- Incorporating Transformer Models for Sentiment Analysis and News Classification in Khmer.- Deep Bangla Authorship Attribution using Transformer Models.- A Deep Learning Based Traffic Sign Detection for Intelligent Transportation Systems.- Detecting Hate Speech Contents Using Embedding Models.- MIC Model for Cervical Cancer Risk Factors Deep Association Analysis.- Power Grid Cascading Failure Prediction Based on Transforme.- Measurements of Insight from Data.- Security Breaches in the Healthcare Domain: A Spatiotemporal Analysis.- Social and Motivational Factors for the Spread of Physical Activities in a Health Social Network.- Understanding the Issues Surrounding COVID-19 Vaccine Roll Out Via User Tweets.- Complex Networks Analytics.- Minimize Travel Time with Traffic Flow Density Equilibrium on Road Network.- Network based Framework to Compare Vaccination Strategies.- Groups Influence with Minimum Cost in Social Network.- Recovering communities in temporal networks using persistent edges.- Community Detection using Semilocal Topological Features and Label Propagation Algorithm.- Twitter Analysis of Covid-19 Misinformation in Spain.- Comparing Community-aware Centrality Measures in Online Social Networks.- Two-Tier Cache-Aided Full-Duplex Content Delivery in Satellite-Terrestrial Networks.- Special Track: Fact-Checking, Fake News and Malware Detection in Online Social Networks.- Mean User-Text Agglomeration (MUTA): Practical User Representation and Visualization for Detection of Online Influence Operations.- The Role of Information Organization and Knowledge Structuring in Combatting Misinformation: A Literary Analysis.- Fake News Detection using LDA Topic Modelling and K-Nearest Neighbor Classifier.- Special Track: Information Spread in Social and Data Networks.- Summarization Algorithms for News: a Study of the Coronavirus Theme and its Impact on the News Extracting Algorithm.- Social cohesion during stay-at-home phase during the first wave of COVID-19 in Poland.- Influence and Activation Thresholds Target Set Selection within Community Structure.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 10th International Conference on Computational Data and Social Networks, CSoNet 2021, which was held online during November 15-17, 2021. The conference was initially planned to take place in Montreal, Quebec, Canada, but changed to an online event due to the COVID-19 pandemic. The 24 full and 8 short papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Combinatorial optimization and learning; deep learning and applications to complex and social systems; measurements of insight from data; complex networks analytics; special track on fact-checking, fake news and malware detection in online social networks; and special track on information spread in social and data networks. .
(source: Nielsen Book Data)

• General Track
• 1: Computational Methods, Algorithms, and Scientific Applications.- Genaral Track
• 2: High Performance Computing and Networks.
• (source: Nielsen Book Data)

The ten-volume set LNCS 12949 - 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 - 16, 2021. The event was organized in a hybrid mode due to the Covid-19 pandemic.The 466 full and 18 short papers presented in these proceedings were carefully reviewed and selected from 1588 submissions. The books cover such topics as multicore architectures, mobile and wireless security, sensor networks, open source software, collaborative and social computing systems and tools, cryptography, human computer interaction, software design engineering, and others. Part I of the set follows two general tracks: computational methods, algorithms, and scientific applications; high performance computing and networks.
(source: Nielsen Book Data)

• General Track
• 3: Geometric Modeling, Graphics and Visualization.- General Track
• 4: Advanced and Emerging Applications.- International Workshop on Advanced Transport Tools and Methods (A2TM 2021).- International Workshop on Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2021).- International Workshop on Advancements in Applied Machine-learning and Data Analytics (AAMDA 2021).- Short Papers.
• (source: Nielsen Book Data)

The ten-volume set LNCS 12949 - 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 - 16, 2021. The event was organized in a hybrid mode due to the Covid-19 pandemic. The 466 full and 18 short papers presented in these proceedings were carefully reviewed and selected from 1588 submissions. The books cover such topics as multicore architectures, mobile and wireless security, sensor networks, open source software, collaborative and social computing systems and tools, cryptography, human computer interaction, software design engineering, and others. Part II of the set follows two general tracks: geometric modeling, graphics and visualization; advanced and emerging applications. Further sections include the proceedings of the workshops: International Workshop on Advanced Transport Tools and Methods (A2TM 2021); International Workshop on Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2021); International Workshop on Advancements in Applied Machine-learning and Data Analytics (AAMDA 2021). At the end of the book there is a block of short papers. The chapter "Spatial justice models: an exploratory analysis on fair distribution of opportunities" is published open access under a CC BY license (Creative Commons Attribution 4.0 International License). .
(source: Nielsen Book Data)

• Genaral Track
• 5: Information Systems and Technologies.- International Workshop on Automatic landform classification: spatial methods and applications (ALCSMA 2021).- International Workshop on Application of Numerical Analysis to Imaging Science (ANAIS 2021).- International Workshop on Advances in information Systems and Technologies for Emergency management, risk assessment and mitigationbased on the Resilience concepts (ASTER 2021).- International Workshop on Advances in Web Based Learning (AWBL 2021).
• (source: Nielsen Book Data)

The ten-volume set LNCS 12949 - 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 - 16, 2021. The event was organized in a hybrid mode due to the Covid-19 pandemic.The 466 full and 18 short papers presented in these proceedings were carefully reviewed and selected from 1588 submissions. The books cover such topics as multicore architectures, mobile and wireless security, sensor networks, open source software, collaborative and social computing systems and tools, cryptography, human computer interaction, software design engineering, and others. Part III of the set icludes papers on Information Systems and Technologies and the proceeding of the following workshops: International Workshop on Automatic landform classification: spatial methods and applications (ALCSMA 2021); International Workshop on Application of Numerical Analysis to Imaging Science (ANAIS 2021); International Workshop on Advances in information Systems and Technologies for Emergency management, risk assessment and mitigationbased on the Resilience concepts (ASTER 2021); International Workshop on Advances in Web Based Learning (AWBL 2021).
(source: Nielsen Book Data)

• International Workshop on Blockchain and Distributed Ledgers: Technologies and Applications (BDLTA 2021).- General Track
• 6: Urban and Regional Planning.- International Workshop on Computational and Applied Mathematics (CAM 2021).- International Workshop on Computational and Applied Statistics (CAS 2021).- International Workshop on Computerized Evaluation of Economic Activities: Urban Spaces (CEEA 2021).
• (source: Nielsen Book Data)

The ten-volume set LNCS 12949 - 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 - 16, 2021. The event was organized in a hybrid mode due to the Covid-19 pandemic.The 466 full and 18 short papers presented in these proceedings were carefully reviewed and selected from 1588 submissions. The books cover such topics as multicore architectures, blockchain, mobile and wireless security, sensor networks, open source software, collaborative and social computing systems and tools, cryptography, applied mathematics human computer interaction, software design engineering, and others. Part IV of the set includes the papers on Urban and Regional Planning and the proceedings of the following workshops: International Workshop on Blockchain and Distributed Ledgers: Technologies and Applications (BDLTA 2021); International Workshop on Computational and Applied Mathematics (CAM 2021); International Workshop on Computational and Applied Statistics (CAS 2021); International Workshop on Computerized Evaluation of Economic Activities: Urban Spaces (CEEA 2021).The chapters "Automated Housing Price Valuation and Spatial Data", "Spatial Automated Valuation Model (sAVM) - from the notion of space to the design of an evaluation tool", and "A MCDA/GIS-based approach for evaluating accessibility to health facilities" are published open access under a CC BY license (Creative Commons Attribution 4.0 International License). .
(source: Nielsen Book Data)

• 13th International Symposium on Software Engineering Processes and Applications (SEPA 2021).- International Workshop on Sustainability Performance Assessment: models, approaches and applications toward interdisciplinary and integrated solutions (SPA 2021).
• (source: Nielsen Book Data)

The ten-volume set LNCS 12949 - 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 - 16, 2021. The event was organized in a hybrid mode due to the Covid-19 pandemic.The 466 full and 18 short papers presented in these proceedings were carefully reviewed and selected from 1588 submissions. The books cover such topics as multicore architectures, blockchain, mobile and wireless security, sensor networks, open source software, collaborative and social computing systems and tools, cryptography, applied mathematics human computer interaction, software design engineering, and others. Part IX of the set includes the proceedings of the following events: 13th International Symposium on Software Engineering Processes and Applications (SEPA 2021); International Workshop on Sustainability Performance Assessment: models, approaches and applications toward interdisciplinary and integrated solutions (SPA 2021).
(source: Nielsen Book Data)

• International Workshop on Computational Geometry and Applications (CGA 2021).- International Workshop on Collaborative Intelligence in Multimodal Applications (CIMA 2021).- International Workshop on Computational Science and HPC (CSHPC 2021).- International Workshop on Computational Optimization and Applications (COA 2021).- International Workshop on Cities, Technologies and Planning (CTP 2021).- International Workshop on Computational Astrochemistry (CompAstro 2021).- International Workshop on Advanced Modeling E-Mobility in Urban Spaces (DEMOS 2021).
• (source: Nielsen Book Data)

The ten-volume set LNCS 12949 - 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 - 16, 2021. The event was organized in a hybrid mode due to the Covid-19 pandemic.The 466 full and 18 short papers presented in these proceedings were carefully reviewed and selected from 1588 submissions. The books cover such topics as multicore architectures, computational astrochemistry, mobile and wireless security, sensor networks, open source software, collaborative and social computing systems and tools, computational geometry, applied mathematics human computer interaction, software design engineering, and others. Part V of the set includes the the proceedings on the following workshops: International Workshop on Computational Geometry and Applications (CGA 2021); International Workshop on Collaborative Intelligence in Multimodal Applications (CIMA 2021); International Workshop on Computational Science and HPC (CSHPC 2021); International Workshop on Computational Optimization and Applications (COA 2021); International Workshop on Cities, Technologies and Planning (CTP 2021); International Workshop on Computational Astrochemistry (CompAstro 2021); International Workshop on Advanced Modeling E-Mobility in Urban Spaces (DEMOS 2021).The chapters "On Local Convergence of Stochastic Global Optimization Algorithms" and "Computing Binding Energies of Interstellar Molecules by Semiempirical Quantum Methods: Comparison between DFT and GFN2 on Crystalline Ice" are published open access under a CC BY license (Creative Commons Attribution 4.0 International License). .
(source: Nielsen Book Data)

• International Workshop on Digital Transformation and Smart City (DIGISMART 2021).- International Workshop on Econometrics and Multidimensional Evaluation in Urban Environment (EMEUE 2021).- International Workshop on Transformational Urban Mobility: Challenges and Opportunities During and Post COVID Era (FURTHER2021).- International Workshop on Geodesign in Decision Making: meta planning and collaborative design for sustainable and inclusive development (GDM 2021).- 11th International Workshop on Future Computing System Technologies and Applications (FiSTA 2021).- International Workshop on Geographical Analysis, Urban Modeling, Spatial Statistics (GEOG-AND-MOD 2021).
• (source: Nielsen Book Data)

The ten-volume set LNCS 12949 - 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 - 16, 2021. The event was organized in a hybrid mode due to the Covid-19 pandemic.The 466 full and 18 short papers presented in these proceedings were carefully reviewed and selected from 1588 submissions. Part VI of the set includes the proceedings of the following workshops: International Workshop on Digital Transformation and Smart City (DIGISMART 2021); International Workshop on Econometrics and Multidimensional Evaluation in Urban Environment (EMEUE 2021); International Workshop on Transformational Urban Mobility: Challenges and Opportunities During and Post COVID Era (FURTHER2021); International Workshop on Geodesign in Decision Making: meta planning and collaborative design for sustainable and inclusive development (GDM 2021); 11th International Workshop on Future Computing System Technologies and Applications (FiSTA 2021); International Workshop on Geographical Analysis, Urban Modeling, Spatial Statistics (GEOG-AND-MOD 2021).
(source: Nielsen Book Data)

• International Workshop on Geomatics for Resource Monitoring and Management (GRMM 2021).- International Workshop on Geomatics in Agriculture and Forestry: new advances and perspectives (Geo-for-Agr 2021).- 12th International Symposium on Software Quality (SQ 2021).- 10th International Workshop on Collective, Massive and Evolutionary Systems (IWCES 2021).- International Workshop on Land Use monitoring for Sustainability (LUMS 2021).- International Workshop on Machine Learning for Space and Earth Observation Data (MALSEOD 2021).- International Workshop on Building multi-dimensional models for assessing complex environmental systems (MES 2021).- International Workshop on Ecosystem Services: nature's contribution to people in practice. Assessment frameworks, models, mapping, andimplications (NC2P 2021).
• (source: Nielsen Book Data)

The ten-volume set LNCS 12949 - 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 - 16, 2021. The event was organized in a hybrid mode due to the Covid-19 pandemic.The 466 full and 18 short papers presented in these books were carefully reviewed and selected from 1588 submissions. Part VII of the set includes the proceedings of the following workshops: International Workshop on Geomatics for Resource Monitoring and Management (GRMM 2021); International Workshop on Geomatics in Agriculture and Forestry: new advances and perspectives (Geo-for-Agr 2021); 12th International Symposium on Software Quality (SQ 2021); 10th International Workshop on Collective, Massive and Evolutionary Systems (IWCES 2021); International Workshop on Land Use monitoring for Sustainability (LUMS 2021); International Workshop on Machine Learning for Space and Earth Observation Data (MALSEOD 2021); International Workshop on Building multi-dimensional models for assessing complex environmental systems (MES 2021); International Workshop on Ecosystem Services: nature's contribution to people in practice. Assessment frameworks, models, mapping, andimplications (NC2P 2021).
(source: Nielsen Book Data)

• International Workshop on Privacy in the Cloud/Edge/IoT World (PCEIoT 2021).- International Workshop on Processes, methods and tools towards RE-Silient cities and cultural heritage prone to SOD and ROD disasters (RES 2021).- International Workshop on Risk, resilience and sustainability in the efficient management of water resources: approaches, tools, methodologies and multidisciplinary integrated applications (RRS 2021).- International Workshop on Scientific Computing Infrastructure (SCI 2021).- International Workshop on Smart Cities and User Data Management (SCIDAM 2021).
• (source: Nielsen Book Data)

The ten-volume set LNCS 12949 - 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 - 16, 2021. The event was organized in a hybrid mode due to the Covid-19 pandemic.The 466 full and 18 short papers presented in these proceedings were carefully reviewed and selected from 1588 submissions. Part VIII of the set includes the proceedings of the following workshops: International Workshop on Privacy in the Cloud/Edge/IoT World (PCEIoT 2021); International Workshop on Processes, methods and tools towards RE-Silient cities and cultural heritage prone to SOD and ROD disasters (RES 2021); International Workshop on Risk, resilience and sustainability in the efficient management of water resources: approaches, tools, methodologies and multidisciplinary integrated applications (RRS 2021); International Workshop on Scientific Computing Infrastructure (SCI 2021); International Workshop on Smart Cities and User Data Management (SCIDAM 2021).
(source: Nielsen Book Data)

• International Workshop on Smart and Sustainable Island Communities (SSIC 2021).- International Workshop on Science, Technologies and Policies to Innovate Spatial Planning (STP4P 2021).- International Workshop on Sustainable Urban Energy Systems (SUREN-SYS 2021).- International Workshop on Ports of the future - smartness and sustainability (SmartPorts 2021).- International Workshop on Smart Tourism (SmartTourism 2021).- International Workshop on Space Syntax for Cities in Theory and Practice (Syntax_City 2021).- International Workshop on Theoretical and Computational Chemistryand its Applications (TCCMA 2021).- International Workshop on Urban Form Studies (UForm 2021).- International Workshop on Urban Space Accessibility and Safety (USAS2021).- International Workshop on Virtual and Augmented Reality and Ap-plcations (VRA 2021).- International Workshop on Advanced and Computational Methods for Earth Science applications (WACM4ES 2021).
• (source: Nielsen Book Data)

The ten-volume set LNCS 12949 - 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 - 16, 2021. The event was organized in a hybrid mode due to the Covid-19 pandemic.The 466 full and 18 short papers presented in these books were carefully reviewed and selected from 1588 submissions. Part X of the set includes the proceedings of the following workshops: International Workshop on Smart and Sustainable Island Communities (SSIC 2021); International Workshop on Science, Technologies and Policies to Innovate Spatial Planning (STP4P 2021); International Workshop on Sustainable Urban Energy Systems (SUREN-SYS 2021); International Workshop on Ports of the future - smartness and sustainability (SmartPorts 2021); International Workshop on Smart Tourism (SmartTourism 2021); International Workshop on Space Syntax for Cities in Theory and Practice (Syntax_City 2021); International Workshop on Theoretical and Computational Chemistryand its Applications (TCCMA 2021); International Workshop on Urban Form Studies (UForm 2021); International Workshop on Urban Space Accessibility and Safety (USAS2021); International Workshop on Virtual and Augmented Reality and Ap-plcations (VRA 2021); International Workshop on Advanced and Computational Methods for Earth Science applications (WACM4ES 2021).
(source: Nielsen Book Data)

• Symbolic and algebraic algorithms
• Computer algebra systems
• Mathematical software
• Modeling and simulation
• Design and analysis of algorithms
• Computability
• Complexity
• Elliptic curves
• Numerical analysis
• Differential equations
• Applications to natural sciences and engineering
• Parallel computing.

This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021, held in Sochi, Russia, in September 2021. The 24 full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions. The papers cover theoretical computer algebra and its applications in scientific computing.

• Algorithms.- Limitations of the Impagliazzo-Nisan-Wigderson Pseudorandom Generator against Permutation Branching Programs.- All-to-All Broadcast in Dragonfly Networks.- An Efficient Algorithm for Enumerating Longest Common Increasing Subsequences.- On Singleton Congestion Games with Resilience Against Collusion.- A Pivot Gray Code Listing for the Spanning Trees of the Fan Graph.- Approximation Algorithms.- General Max-Min Fair Allocation.- On the approximation hardness of geodetic set and its variants.- Approximate Distance Oracles with Improved Stretch for Sparse Graphs.- Hardness and Approximation Results of Roman \{3\}-Domination in Graphs.- Approximation algorithms for priority Steiner tree problems.- Sublinear-Space Approximation Algorithms for Max r-SAT.- A Further Improvement on Approximating TTP-2.- Automata.- Sequence graphs realizations and ambiguity in language models.- Between SC and LOGDCFL: Families of Languages Accepted by Polynomial-Time Logarithmic-Space Deterministic Auxiliary Depth-k Storage Automata.- Ideal Separation and General Theorems for Constrained Synchronization and their Application to Small Constraint Automata.- Most Pseudo-copy Languages Are Not Context-free.- Computational Geometry.- Bottleneck Convex Subsets: Finding k Large Convex Sets in a Point Set.- Deterministic metric 1-median selection with a 1 - o(1) fraction of points ignored.- The Coverage problem by Aligned Disks.- Consistent Simplification of Polyline Tree Bundles.- Improving Upper and Lower Bounds for the Total Number of Edge Crossings of Euclidean Minimum Weight Laman Graphs.- Minimum Color Spanning Circle in Imprecise Setup.- Fault Tolerant Computing and Fault Diagnosis.- Reliability Evaluation of Subsystem Based on Exchanged Hypercube.- Fault diagnosability of regular networks under the Hybrid PMC model.- A Study for Conditional Diagnosability of Pancake Graphs.- A new measure for locally t-diagnosable under PMC model.- Graph Algorithms.- Colouring graphs with no induced six-vertex path or diamond.- Constructing Tri-CISTs in Shu e-Cubes.- Reconfiguring Directed Trees in a Digraph.- Decremental Optimization of Vertex-Coloring Under the Reconfiguration Framework.- Embedding Three Edge-disjoint Hamiltonian Cycles into Locally Twisted Cubes.- On the Probe Problem for (r, l)-Well-Coveredness.- Distinguishing graphs via cycles.- Graph Theory and Applications.- The Restrained Domination and Independent Restrained Domination in Extending Supergrid Graphs.- The Concentration of the Maximum Degree in the Duplication-Divergence Models.- Conditional Fractional Matching Preclusion for Burnt Pancake Graphs and Pancake-Like Graphs.- The Weakly Dimension-balanced Pancyclicity on Toroidal Mesh Graph Tm, n when Both m and n Are Odd.- Hypercontractivity via Tensor Calculus.- Network and Algorithms.- Respecting Lower Bounds in Uniform Lower and Upper Bounded Facility Location Problem.- Finding Cheapest Deadline Paths.- Approximate the Lower-Bounded Connected Facility Location Problem.- Mechanism Design for Facility Location with Fractional Preferences and Minimum Distance.- Online Algorithm and Streaming Algorithms.- On the Hardness of Opinion Dynamics Optimization with L1-Budget on Varying Susceptibility to Persuasion.- Symmetric Norm Estimation and Regression on Sliding Windows.- Single-Pass Streaming Algorithms to Partition Graphs into Few Forests.- The Secretary Problem with Reservation Costs.- Online Ride-Hitching in UAV Travelling.- Parameterized Complexity and Algorithms
• Disconnected Matchings.- On the d-Claw Vertex Deletion Problem.- Constrained Hitting Set Problem with Intervals.-
• Exact algorithms for maximum weighted independent set on sparse graphs.- Recreational Games.- Two Standard Decks of Playing Cards are Sufficient for a ZKP for Sudoku.- Token Shifting on Graphs.- Computational Complexity of Jumping Block Puzzles.- A Card-minimal Three-Input AND Protocol Using Two Shuffles.- Spy game: FPT-algorithm and results on graph products.-
• .
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 27th International Conference on Computing and Combinatorics, COCOON 2021, held in Tainan, Taiwan, in October 2021. Due to the COVID-19 pandemic, COCOON 2021 was organized as a hybrid conference. The 56 papers presented in this volume were carefully reviewed and selected from 131 submissions. The papers are divided into the following topical sub-headings: algorithms, approximation algorithms, automata, computational geometry, fault tolerant computing and fault diagnosis, graph algorithms, graph theory and applications, network and algorithms, online algorithm and stream algorithms, parameterized complexity and algorithms, and recreational games.
(source: Nielsen Book Data)

• Searching for Applicable Versions of Computable Structures
• On Measure Quantifiers in First-Order Arithmetic
• Pistone Learning Languages with Decidable Hypotheses
• Robust Online Algorithms for Dynamic Choosing Problems
• On the degrees of constructively immune sets
• Fine-Grained Complexity Theory: Conditional Lower Bounds for Computational Geometry
• The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines
• Randomising Realizability
• Restrictions of Hindman's Theorem: an overview
• Complexity and Categoricity of Automatic Injection structures
• A tale of optimizing the space taken by de Bruijn graphs
• Formally Computing with the Non-Computable
• Cohen Mapping Monotonic Restrictions in Inductive Inference
• Normal Forms for Semantically Witness-Based Learners in Inductive Inference
• xWalk-preserving transformation of overlapped sequence graphs into blunt sequence graphs with GetBlunted
• On 3SUM-hard problems in the Decision Tree Model
• Monotonic Spectra and Their Generalizations
• On false Heine/Borel compactness principles in proof mining
• Placing Green Bridges Optimally, with a Multivariate Analysis
• A Church-Turing thesis for randomness?
• Probabilistic Models of k-mer Frequencies
• Defining Formal Explanation in Classical Logic by Substructural Derivability
• Dedekind Cuts and Long Strings of Zeros in Base Expansions
• On the impact of treewidth in the computational complexity of freezing dynamics
• Towards a Map for Incremental Learning in the Limit from Positive and Negative Information
• On preserving the computational content of mathematical proofs: toy examples for a formalising strategy
• n search of the first-order part of Ramsey's theorem for pairs
• On subrecursive representability of irrational numbers: Contractors and Baire sequences
• xiLearning
• Languages in the Limit from Positive Information with Finitely Many Memory Changes.

This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021. Due to COVID-19 pandemic the conference was held virtually. The 48 full papers presented in this volume were carefully reviewed and selected from 50 submissions. CiE promotes the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences, such as physics and biology, as well as related fields, such as philosophy and history of computing. CiE 2021 had as its motto Connecting with Computability, a clear acknowledgement of the connecting and interdisciplinary nature of the conference series which is all the more important in a time where people are more than ever disconnected from one another due to the COVID-19 pandemic.

• Complexity issues for the iterated h-preorders.- On the Uniform Distribution of Regular Expressions.- Deterministic one-way simulation of two-way deterministic finite automata over small alphabets.- Sync-Maximal Permutation Groups Equal Primitive Permutation Groups.- Commutative Regular Languages with Product-Form Minimal Automata.- State Complexity Bounds for Upward and Downward Closures on Commutative Languages and Commutative Group and Commutative Aperiodic Languages.- More on the Descriptional Complexity of Compositions of Finite Automata.- Width Measures of Alternating Finite Automata.- Partial Derivative Automaton by Compressing Regular Expressions.- State Complexity of Partial Word Finite Automata.- State complexity of union and intersection on graph-walking automata.- Gray cycles of maximum length related to $k$-character substitutions.- Automata Equipped with Auxiliary Data Structures and Regular Realizability Problems.- Disambiguation of Weighted Tree Automata.- Image-Binary Automata.- Improved constructions for succinct affine automata.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 23rd International Conference on Descriptional Complexity of Format Systems, DCFS 2021, which was supposed to take place in Seoul South Korea in June 2021, but the conference was canceled due to the COVID-19 crisis.The 16 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The conference focus to all aspects of descriptional complexity-the costs of description of objects in various computational models such as Turing machines, pushdown automata, finite automata or grammars.
(source: Nielsen Book Data)

• Compilers, Tools and Environments
• ALONA: Automatic Loop Nest Approximation with Reconstruction and Space Pruning
• Automatic low-overhead load-imbalance detection in MPI applications
• Performance and Power Modeling, Prediction and Evaluation
• Trace-driven Workload Generation and Execution
• Bilas Update on the Asymptotic Optimality of LPT
• E2EWatch: An End-to-end Anomaly Diagnosis Framework for Production HPC Systems
• Scheduling and Load Balancing
• Collaborative GPU Preemption via Spatial Multitasking for Efficient GPU Sharing
• A Fixed-Parameter Algorithm for Scheduling Unit dependent Tasks with Unit Communication Delays
• Plan-based Job Scheduling for Super computers with Shared Burst Buffers
• Taming Tail Latency in Key-Value Stores: a Scheduling Perspective
• A log-linear(2+5/6)-approximation algorithm for parallel machine scheduling with a single orthogonal resource
• An MPI-Parallel Algorithm for Mapping Complex Networks onto Hierarchical Architectures
• Pipelined Model Parallelism: Complexity Results and Memory Considerations
• Data Management, Analytics and Machine Learning
• Efficient and Systematic Partitioning of Large and Deep Neural Networks for Parallelization
• A GPU Architecture Aware Fine-Grain Pruning Technique for Deep Neural Networks
• Towards Flexible and Compiler-Friendly Layer Fusion for CNNs on Multicore CPUs
• Smart Distributed Data Sets for Stream Processing
• Cluster, Cloud and Edge Computing
• Colony: Parallel Functions as a Service on the Cloud-Edge Continuum
• Horizontal Scaling in Cloud using Contextual Bandits
• Geo-Distribute Cloud Application at the Edge
• A Fault Tolerant and Deadline Constrained Sequence Alignment Application on Cloud-based Spot GPU Instances
• Sustaining Performance While Reducing Energy Consumption: A Control Theory Approach
• Theory and Algorithms for Parallel and Distributed Processing
• Algorithm design for Tensor Units
• A Scalable Approximation Algorithm for Weighted Longest Common Subsequence
• TSL Queue: An E-cient Lock-free Design for Priority Queues
• G-Morph: Induced Subgraph Isomorphism Search of Labeled Graphs on a GPU
• Parallel and Distributed Programming, Interfaces, and Languages
• Accelerating Graph Applications Using Phased Transactional Memory
• Efficient GPU Computation using Task Graph Parallelism
• Towards High Performance Resilience using Performance Portable Abstractions
• Enhancing Load-Balancing of MPI Applications with Workshare
• Particle-In-Cell Simulation using Asynchronous Tasking
• Multicore and Manycore Parallelism
• Exploiting co-execution with one API: heterogeneity from a modern perspective
• Parallel Numerical Methods and Applications
• Designing a 3D Parallel Memory-Aware Lattice Boltzmann Algorithm on Manycore Systems
• Fault-tolerant LU factorization is low cost
• Mixed Precision Incomplete and Factorized Sparse Approximate Inverse Preconditioning on GPUs
• Outsmarting the Atmospheric Turbulence for Ground-Based Telescopes Using the Stochastic Levenberg-Marquardt Method
• GPU Accelerated Mahalanobis-average Hierarchical Clustering Analysis
• High performance architectures and accelerators
• PrioRAT: Criticality-Driven Prioritization Inside the On-Chip Memory Hierarchy
• Optimized Implementation of the HPCG Benchmark on Recongurable Hardware.

This book constitutes the proceedings of the 27th International Conference on Parallel and Distributed Computing, Euro-Par 2021, held in Lisbon, Portugal, in August 2021. The conference was held virtually due to the COVID-19 pandemic. The 38 full papers presented in this volume were carefully reviewed and selected from 136 submissions. They deal with parallel and distributed computing in general, focusing on compilers, tools and environments; performance and power modeling, prediction and evaluation; scheduling and load balancing; data management, analytics and machine learning; cluster, cloud and edge computing; theory and algorithms for parallel and distributed processing; parallel and distributed programming, interfaces, and languages; parallel numerical methods and applications; and high performance architecture and accelerators.

• Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract)
• Temporal Reasoning for Intelligent Financial Services: Examples and Challenges
• On the complexity of timed pattern matching
• Stubborn Set Reduction for Timed Reachability and Safety Games
• Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems
• Closing the Gap between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability
• An Integer Static Analysis for Better Extrapolation in Uppaal
• Explaining Safety Violations in Real-Time Systems
• DiffRNN: Differential verification of Recurrent Neural Networks
• Formal Abstraction and Synthesis of Parametric Stochastic Processes.

This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021. The 8 full papers that were carefully reviewed and selected from 19 submissions are presented in this volume with 2 invited talks. The papers focus on topics such as probabilistic computation, logic and verification, robotic planning, complexity of timed pattern matching, safety violations in real-time systems, modal and temporal logics, and others.

• Programming Paradigms
• Implementation and Static Analysis
• Generating and Checking Exercises
• Constraint Programming.

This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020. Due to the COVID-19, the workshop was held online. From the 19 full papers submitted, 8 were accepted for presentation at the workshop. The accepted papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging.

• Quality Diversity Genetic Programming for Learning Decision Tree Ensembles.- Progressive Insular Cooperative GP.- Regenerating Soft Robots through Neural Cellular Automata.- Inclusive Genetic Programming.- Towards incorporating Human Knowledge in Fuzzy Pattern Tree Evolution.- Evolutionary Neural Architecture Search Supporting Approximate Multipliers.- Automatic design of deep neural networks applied to image segmentation problems.- On the Influence of Grammars on Crossover in Grammatical Evolution.- On the Generalizability of Programs Synthesized by Grammar-Guided Genetic Programming.- Evolution of Complex Combinational Logic Circuits Using Grammatical Evolution with SystemVerilog.- Evofficient: Reproducing a Cartesian Genetic Programming Method.- Software Anti-patterns Detection Under Uncertainty Using A Possibilistic Evolutionary Approach.- Probabilistic Grammatical Evolution.- Evolving allocation rules for beam search heuristics in assembly line balancing.- Incremental Evaluation of Genetic Programming.- Mining Feature Relationships in Data.- Getting a Head Start on Program Synthesis with Genetic Programming.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 24th European Conference on Genetic Programming, EuroGP 2021, held as part of Evo*2021, as Virtual Event, in April 2021, co-located with the Evo*2021 events, EvoCOP, EvoMUSART, and EvoApplications. The 11 revised full papers and 6 short papers presented in this book were carefully reviewed and selected from 27 submissions. The wide range of topics in this volume reflects the current state of research in the field. The collection of papers cover interesting topics including developing new operators for variants of GP algorithms, as well as exploring GP applications to the optimisation of machine learning methods and the evolution of complex combinational logic circuits.
(source: Nielsen Book Data)

• Theoretical Advances.- Concurrency Theorems for Non-linear Rewriting Theories.- A Generalized Concurrent Rule Construction for Double-Pushout Rewriting.- Transformations of Reaction Systems over Categories by means of Epi-Mono Factorization and Functors.- Graph Rewriting and Relabeling with PBPO+.- Incorrectness Logic for Graph Programs.- Powerful and NP-Complete: Hypergraph Lambek Grammars.- Evaluation Diversity for Graph Conditions.- Application Domains.- Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching.- Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars.- Nets with Mana: A Framework for Chemical Reaction Modelling.- A Case Study on the Graph-transformational Modeling and Analysis of Puzzles.- Interval Probabilistic Timed Graph Transformation Systems.- Verifying Graph Programs with Monadic Second-Order Logic.- On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems.- Tool Presentations.- Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars.- GrapePress - A Computational Notebook for Graph Transformations.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 14th International Conference on Graph Transformation, ICGT 2021, which took place virtually during June 24-25, 2021.The 14 full papers and 2 tool papers presented in this book were carefully reviewed and selected from 26 submissions. They deal with the following topics: theoretical advances; application domains; and tool presentations.
(source: Nielsen Book Data)

• Architecture, Networks, and Storage.- Microarchitecture of a Configurable High-radix Router for Exascale Interconnect.- BluesMPI: Efficient MPI Non-blocking Alltoall Offloading Designs on Modern BlueField Smart NICs.- Lessons Learned from Accelerating Quicksilver on Programmable Integrated Unified Memory Architecture (PIUMA) and How that's Different from CPU.- A Hierarchical Task Scheduler for Heterogeneous Computing.- Machine Learning, AI, and Emerging Technologies.- Auto-Precision Scaling for Distributed Deep Learning.- FPGA Acceleration of Number Theoretic Transform.- Designing a ROCm-aware MPI Library for AMD GPUs: Early Experiences.- A Tunable Implementation of Quality-of-Service Classes for HPC Networks.- Scalability of Streaming Anomaly Detection in an Unbounded Key Space using Migrating Threads.- HTA: A Scalable High-Throughput Accelerator for Irregular HPC Workloads.- Proctor: A Semi-Supervised Performance Anomaly Diagnosis Framework for Production HPC Systems.- HPC Algorithms and Applications.- COSTA: Communication-Optimal Shuffle and Transpose Algorithm with Process Relabeling.- Enabling AI-Accelerated Multiscale Modeling of Thrombogenesis at Millisecond and Molecular Resolutions on Supercomputers.- Evaluation of the NEC Vector Engine for Legacy CFD Codes.- Distributed Sparse Block Grids on GPUs.- iPUG: Accelerating Breadth-First Graph Traversals using Manycore Graphcore IPUs.- Performance Modeling, Evaluation, and Analysis.- Optimizing GPU-enhanced HPC System and Cloud Procurements for Scientific Workloads.- A Performance Analysis of Modern Parallel Programming Models Using a Compute-Bound Application.- Analytic Modeling of Idle Waves in Parallel Programs: Communication, Cluster Topology, and Noise Impact.- Performance of the Supercomputer Fugaku for Breadth-First Search in Graph500 Benchmark.- Under the Hood of SYCL - An Initial Performance Analysis With an Unstructured-mesh CFD Application.- Characterizing Containerized HPC Application Performance at Petascale on CPU and GPU Architectures.- Ubiquitous Performance Analysis.- Programming Environments and Systems Software.- Artemis: Automatic Runtime Tuning of Parallel Execution Parameters Using Machine Learning.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 36th International Conference on High Performance Computing, ISC High Performance 2021, held virtually in June/July 2021.The 24 full papers presented were carefully reviewed and selected from 74 submissions. The papers cover a broad range of topics such as architecture, networks, and storage; machine learning, AI, and emerging technologies; HPC algorithms and applications; performance modeling, evaluation, and analysis; and programming environments and systems software.
(source: Nielsen Book Data)

• Second International Workshop on the Application of Machine Learning Techniques to Computational Fluid Dynamics and Solid Mechanics Simulations and Analysis
• Machine-Learning-Based Control of Perturbed and Heated Channel Flows
• Novel DNNs for Stiff ODEs with Applications to Chemically Reacting Flows
• Lettuce: PyTorch-based Lattice Boltzmann Framework
• Reservoir computing in reduced order modeling for chaotic dynamical systems
• Film cooling prediction and optimization based on deconvolution neural network
• Turbomachinery Blade Surrogate Modeling using Deep Learning
• A Data-driven Wall-shear Stress Model for LES using Gradient Boosted Decision Trees
• Nonlinear mode decomposition and reduced-order modeling for three-dimensional cylinder flow by distributed learning on Fugaku
• Using physics-informed enhanced super-resolution generative adversarial networks to reconstruct mixture fraction statistics of turbulent jet flows
• HPC I/O in the Data Center
• Toward a Workflow for Identifying Jobs with Similar I/O Behavior Utilizing Time Series Analysis
• H3: An Application-Level, Low-Overhead Object Store
• Compiler-assisted Correctness Checking and Performance Optimization for HPC
• Automatic partitioning of MPI operations in MPI+OpenMP applications
• heimdallr: Improving Compile Time Correctness Checking for Message Passing with Rust
• Potential of Interpreter Specialization for Data Analysis
• Refactoring for Performance with Semantic Patching: Case Study with Recipes
• Negative Perceptions About the Applicability of Source-to-Source Compilers in HPC: A Literature Review
• Machine Learning on HPC Systems
• Automatic Tuning of Tensorflow's CPU Backend using Gradient-Free Optimization Algorithms
• MSM: Multi-Stage Multicuts for Scalable Image Clustering
• OmniOpt
• a tool for hyperparameter optimization on HPC
• Parallel/distributed intelligent hyperparameters search for GANs
• Machine learning for generic energy models of high performance computing resources
• Fourth International Workshop on Interoperability of Supercomputing and Cloud Technologies
• Automation for Data-Driven Research with the NERSC Superfacility API
• A Middleware Supporting Data Movement inComplex and Software-Defined Storage and Memory Architectures
• Second International Workshop on Monitoring and Operational Data Analytics
• An Operational Data Collecting and Monitoring Platform for Fugaku: System Overviews and Case Studies in the Prelaunch Service Period
• An Explainable Model for Fault Detection in HPC Systems
• Sixteenth Workshop on Virtualization in HighƯ-Performance Cloud Computing
• A Scalable Cloud Deployment Architecture for High-Performance Real-Time Online Interactive Applications
• Leveraging HW approximation for exploiting performance-energy trade-offs within the edge-cloud computing continuum
• Datashim and its applications in Bioinformatics
• FaaS and Curious: Performance implications of serverless functions on edge computing platforms
• Differentiated performance in NoSQL database access for hybrid Cloud-HPC workloads
• Deep Learning on Supercomputers
• JUWELS Booster
• A Supercomputer for Large-Scale AI Research
• Fifth International Workshop on In Situ Visualization
• In Situ Visualization of WRF Data using Universal Data Junction
• Catalyst Revised: Rethinking the ParaView In Situ Analysis and Visualization API
• Fides: A General Purpose Data Model Library for Streaming Data.-Including in-situ visualization and analysis in PDI.

This book constitutes the refereed post-conference proceedings of 9 workshops held at the 35th International ISC High Performance 2021 Conference, in Frankfurt, Germany, in June-July 2021: Second International Workshop on the Application of Machine Learning Techniques to Computational Fluid Dynamics and Solid Mechanics Simulations and Analysis; HPC-IODC: HPC I/O in the Data Center Workshop; Compiler-assisted Correctness Checking and Performance Optimization for HPC; Machine Learning on HPC Systems; 4th International Workshop on Interoperability of Supercomputing and Cloud Technologies; 2nd International Workshop on Monitoring and Operational Data Analytics; 16th Workshop on Virtualization in High­-Performance Cloud Computing; Deep Learning on Supercomputers; 5th International Workshop on In Situ Visualization. The 35 papers included in this volume were carefully reviewed and selected. They cover all aspects of research, development, and application of large-scale, high performance experimental and commercial systems. Topics include high-performance computing (HPC), computer architecture and hardware, programming models, system software, performance analysis and modeling, compiler analysis and optimization techniques, software sustainability, scientific applications, deep learning.

• Fostering Computational Thinking.- Computational Thinking in Context across Curriculum: Students' and Teacher's Perspective.- Towards Classification of Interactive Non-Programming Tasks Promoting Computational Thinking.- Tell, Draw & Code Teachers' intention to a Narrative Introduction of Computational Thinking.- Programming Education.- First Programming Course in Business Studies: Content, Approach, and Achievement.- Why young programmers should make game art: a study from a game-making course.- Teaching Recursion in High School { A Constructive Approach.- Advancing Computing Education.- A Multi-Dimensional Approach to Categorize Short Tasks.- Girls' summer school for physical computing: methodology and acceptance issues.- Towards a compulsory computing curriculum at primary and lower-secondary schools: the case of Czechia.- Teachers' Professional Development.- Professional Development for in-service teachers of programming: Evaluation of a university level program.- Encouraging Task Creation among Programming Teachers in Primary Schools.- Problems, professional development and reflection: Experiences of High-School, Computer Science teachers in Serbia.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 14th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2021, held in Nijmegen, The Netherlands, in November 2020. Due to COVID-19 related travelling restrictions the conference had to be switched to online format. The 12 full papers presented were carefully reviewed and selected from 29 submissions. They are organized in topical sections named: Fostering Computational Thinking, Programming Education, Advancing Computing Education, and Teachers' Professional Development.
(source: Nielsen Book Data)

• Supercharging Plant Configurations using Z3
• Why You Should Constrain Your Machine Learned Models
• Contextual Optimization: Bridging Machine Learning and Operations
• A Computational Study of Constraint Programming Approaches for Resource-Constrained Project Scheduling with Autonomous Learning Effects
• Strengthening of feasibility cuts in logic-based Benders decomposition
• Learning Variable Activity Initialisation for Lazy Clause Generation Solvers
• A*-based Compilation of Relaxed Decision Diagrams for the Longest Common Subsequence Problem
• Partitioning Students into Cohorts during COVID-19
• A Two-Phases Exact Algorithm for Optimization of Neural Network Ensemble
• Complete Symmetry Breaking Constraints for the Class of Uniquely Hamiltonian Graphs
• Heavy-Tails and Randomized Restarting Beam Search in Goal-Oriented Neural Sequence Decoding
• Combining Constraint Programming and Temporal Decomposition Approaches
• Scheduling of an Industrial Formulation Plant
• The Traveling Social Golfer Problem: the case of the Volleyball Nations League
• Towards a Compact SAT-based Encoding of Itemset Mining Tasks
• A Pipe Routing Hybrid Approach based on A-Star Search and Linear Programming
• MDDs boost equation solving on discrete dynamical systems
• Variable Ordering for Decision Diagrams: A Portfolio Approach
• Two Deadline Reduction Algorithms for Scheduling Dependent Tasks on Parallel Processors
• Improving the Filtering of Branch-And-Bound MDD solver
• On the Usefulness of Linear Modular Arithmetic in Constraint Programming
• Injecting Domain Knowledge in Neural Networks: a Controlled Experiment on a Constrained Problem
• Learning Surrogate Functions for the Short-Horizon Planning in Same-Day Delivery Problems
• Between Steps: Intermediate Relaxations between big-M and Convex Hull Formulations
• Logic-Based Benders Decomposition for an Inter-modal Transportation Problem
• Checking Constraint Satisfaction
• Finding Subgraphs with Side Constraints
• Short-term scheduling of production fleets in underground mines using CP-based LNS
• Learning to Reduce State-Expanded Networks for Multi-Activity Shift Scheduling
• SeaPearl: A Constraint Programming Solver guided by Reinforcement Learning
• Learning to Sparsify Travelling Salesman Problem Instances
• Optimized Item Selection to Boost Exploration for Recommender Systems
• Improving Branch-and-Bound using Decision Diagrams and Reinforcement Learning
• Physician Scheduling During a Pandemic.

This volume LNCS 12735 constitutes the papers of the 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2021, which was held in Vienna, Austria, in 2021. Due to the COVID-19 pandemic the conference was held online. The 30 regular papers presented were carefully reviewed and selected from a total of 75 submissions. The conference program included a Master Class on the topic "Explanation and Verification of Machine Learning Models."

• STRESS - Introduction.- An Introduction to Graphical Modeling of CI/CD Workflows with Rig.- Pyrus: an Online Modeling Environment for No-Code Data-Analytics Service Composition.- Integrating External Services in DIME.- Asking Why.- Formal Methods for a Digital Industry: Industrial Day at ISoLA 2021.- Agile Business Engineering: From Transformation Towards Continuous Innovation.- Towards Living Canvases.- Use Cases for Simulation in the Development of Automated Driving Systems.- Simulation-based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles.- DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories.- From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics.- Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data.- Programming - What is Next?.- Low-Code is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering.- Time for All Programs, Not Just Real-Time Programs.- Integrated Modeling and Development of Component-Based Embedded Software in Scala.- Slang: The Sireum Programming Language.- HAMR: An AADL Multi-Platform Code Generation Toolset.- Fundamental Constructs in Programming Languages.- Introducing Dynamical Systems and Chaos Early in Computer Science and Software Engineering Education can Help Advance Theory and Practice of Software Development and Computing.- GATE: Gradual Effect Types.- Fixing Classification: A Viewpoint-based Approach.- The Future of Programming and Modelling: a Vision.- Towards Model-based Intent-Driven Adaptive Software.- The Interoperability Challenge: Building a model driven Digital Thread platform for CPS.- Programming vs. That Thing Subject Matter Experts Do.- Aligned, Purpose-Driven Cooperation: The Future Way of System Development.- RAILS: Roadmaps for AI integration in the raiL Sector.- A Journey through Software Model Checking of Interlocking Programs.- Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation.- Formal Methods in Railway Signalling Infrastructure Standardisation Processes.- sVerify: Verifying Smart Contracts through Lazy Annotation and Learning.- Verifying temporal properties of stigmergic collective systems using CADP.
• (source: Nielsen Book Data)

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems. .
(source: Nielsen Book Data)

• Transition Graphs of Reversible Reaction Systems.- Communicating Reaction Systems with Direct Communication.- Generalized Forbidding Matrix Grammars and their Membrane Computing Perspective.- Parallel Contextual Array Insertion Deletion P Systems and Tabled Matrix Grammars.- Triangular Array Token Petri Net and P System.- P System as a Computing Tool for Embedded Feature Selection and Classification Method for Microarray Cancer Data.- Evolutionary P Systems: the Notion and an Example.- Partial Array Token Petri Net and P System.- Certain State Sequences Defined by P Systems with Reactions.- On Numerical 2D P Colonies with the Blackboard and the Gray Wolf Algorithm.
• (source: Nielsen Book Data)

This book constitutes the refereed post-conference proceedings of the 21st International Conference on Membrane Computing, CMC 2020, held as a virtual event, in September 2020. The 10 full papers presented were selected from 31 submissions. The papers deal with all aspects on membrane computing and related areas.
(source: Nielsen Book Data)

• Model Checking, Synthesis, and Learning.- From Linear Temporal Logics to Buchi Automata: The Early and Simple Principle.- Cause-Effect Reaction Latency In Real-Time Systems.- Quantitative Analysis of Interval Markov Chains.- Regular Model Checking: Evolution and Perspectives.- Regular Model Checking Revisited.- High-Level Representation of Benchmark Families for Petri Games.- Towards Engineering Digital Twinsby Active Behaviour Mining.- Never-Stop Context-Free Learning.- A Taxonomy and Reductions for Common Register Automata Formalisms.
• (source: Nielsen Book Data)

This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues. His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning.
(source: Nielsen Book Data)

• Theory and Algorithms.- Metric Learning Based Vision Transformer for Product Matching.- Stochastic Recurrent Neural Network for Multistep Time Series Forecasting.- Speaker Verification with Disentangled Self-Attention.- Multi Modal Normalization.- A Focally Discriminative Loss for Unsupervised Domain Adaptation.- Automatic Drum Transcription with Label Augmentation using Convolutional Neural Networks.- Adaptive Curriculum Learning for Semi-Supervised Segmentation of 3D CT-Scans.- Genetic Algorithm and Distinctiveness Pruning in the Shallow Networks for VehicleX.- Stack Multiple Shallow Autoencoders into A Strong One: A New Reconstruction-based Method to Detect Anomaly.- Learning Discriminative Representation with Attention and Diversity for Large-scale Face Recognition.- Multi-task Perceptual Occlusion Face Detection with Semantic Attention Network.- RAIDU-Net: Image Inpainting via Residual Attention Fusion and Gated Information Distillation.- Sentence Rewriting with Few-Shot Learning for Document-Level Event Coreference Resolution.- A Novel Metric Learning Framework for Semi-supervised Domain Adaptation.- Generating Adversarial Examples by Distributed Upsampling.- CPSAM: Channel and Position Squeeze Attention Module.- A Multi-Channel Graph Attention Network for Chinese NER.- GSNESR: A Global Social Network Embedding Approach for Social Recommendation.- Classification Models for Medical Data with Interpretative Rules.- Contrastive Goal Grouping for Policy Generalization in Goal-Conditioned Reinforcement Learning.- Global Fusion Capsule Network with Pairwise-Relation Attention Graph Routing.- MA-GAN: A Method Based on Generative Adversarial Network for Calligraphy Morphing.- One-Stage Open Set Object Detection with Prototype Learning.- Aesthetic-aware Recommender System for Online Fashion Products.- DAFD: Domain Adaptation Framework for Fake News Detection.- Document Image Classification Method based on Graph Convolutional Network.- Continual Learning of 3D Point Cloud Generators.- Attention-Based 3D ResNet for Detection of Alzheimer's Disease Process.- Generation of a Large-Scale Line Image Dataset with Ground Truth Texts from Page-Level Autograph Documents.- DAP-BERT: Differentiable Architecture Pruning of BERT.- Trash Detection On Water Channels.- Tri-Transformer Hawkes Process: Three Heads are better than one.- PhenoDeep: A deep Learning-based approach for detecting reproductive organs from digitized herbarium specimen images.- Document-level Event Factuality Identification using Negation and Speculation Scope.- Dynamic Network Embedding by Time-Relaxed Temporal Random Walk.- Dual-band Maritime Ship Classification based on Multi-layer Convolutional Features and Bayesian Decision.- Context-Based Anomaly Detection via Spatial Attributed Graphs in Human Monitoring.- Domain-Adaptation Person Re-Identification via Style Translation and Clustering.- Multimodal Named Entity Recognition Via Co-attention-based Method with Dynamic Visual Concept Expansion.- Ego Networks.- Cross-modal based Person Re-Identification via Channel Exchange and adversarial Learning.- SPBERT: An Efficient Pre-training BERT on SPARQL Queries for Question Answering over Knowledge Graphs.- Deep Neuroevolution: Training Neural Networks using a Matrix-free Evolution Strategy.- Weighted P-Rank: A Weighted Article Ranking Algorithm Based on a Heterogeneous Scholarly Network.- Clustering Friendly Dictionary Learning.- Understanding Test-Time Augmentation.- SphereCF: Sphere Embedding for Collaborative Filtering.- Concordant Contrastive Learning for Semi-supervised Node Classification on Graph.- Improving Shallow Neural Networks via Local and Global Normalization.- Underwater Acoustic Target Recognition with Fusion Feature.- Evaluating Data Characterization Measures for Clustering Problems in Meta-learning.- ShallowNet: An Efficient Lightweight Text Detection Network Based on Instance Count-aware Supervision Information.- Image Periodization for Convolutional Neural Networks.- BCN-GCN: A Novel Brain Connectivity Network Classification Method via Graph Convolution Neural Network for Alzheimer's Disease.- Triplet Mapping for Continuously Knowledge Distillation.- A Prediction-Augmented AutoEncoder for Multivariate Time Series Anomaly Detection.
• (source: Nielsen Book Data)

• Cognitive Neurosciences.- A Novel Binary BCI Systems Based on Non-oddball Auditory and Visual Paradigms.- A Just-In-Time Compilation Approach for Neural Dynamics Simulation.- STCN-GR: Spatial-Temporal Convolutional Networks for Surface-Electromyography-Based Gesture Recognition.- Gradient descent learning algorithm based on spike selection mechanism for multilayer spiking neural networks.- Learning to Coordinate via Multiple Graph Neural Networks.- A Reinforcement Learning Approach for Abductive Natural Language Generation.- DFFCN: Dual Flow Fusion Convolutional Network for Micro Expression Recognition.- AUPro: Multi-label Facial Action Unit Proposal Generation for Sequence-level Analysis.- Deep kernelized network for fine-grained recognition.- Semantic Perception Swarm Policy with Deep Reinforcement Learning.- Reliable, Robust, and Secure Machine Learning Algorithms Open-Set Recognition with Dual Probability Learning.- How Much Do Synthetic Datasets Matter In Handwritten Text Recognition.- PCMO: Partial Classification from CNN-Based Model Outputs.- Multi-branch Fusion Fully Convolutional Network for Person Re-Identification.- Fast Organization of Objects Spatial Positions in Manipulator Space from Single RGB-D Camera.- EvoBA: An Evolution Strategy as a Strong Baseline for Black-Box Adversarial Attacks.- A Novel Oversampling Technique for Imbalanced Learning Based on SMOTE and Genetic Algorithm.- Dy-Drl2Op: Learning Heuristics for TSP on the Dynamic Graph via Deep Reinforcement Learning.- Multi-label classification of hyperspectral images based on label-specific feature fusion.- A Novel Multi-Scale Key-Point Detector Using Residual Dense Block and Coordinate Attention.- Alleviating Catastrophic Interference in Online Learning via Varying Scale of Backward Queried Data.- Construction and Reasoning for Interval-Valued EBRB Systems.- Theory and Applications of Natural Computing Paradigms.- Brain-mimetic Kernel: A Kernel Constructed from Human fMRI Signals Enabling a Brain-mimetic Visual Recognition Algorithm.- Predominant Sense Acquisition with a Neural Random Walk Model.- Processing-response dependence on the on-chip readout positions in spin-wave reservoir computing.- Advances in deep and shallow machine learning algorithms for biomedical data and imaging.- A Multi-Task Learning Scheme for Motor Imagery Signal Classification.- An End-to-End Hemisphere Discrepancy Network for Subject-Independent Motor Imagery Classification.- Multi-domain Abdomen Image Alignment Based on Joint Network of Registration and Synthesis.- Coordinate Attention Residual Deformable U-Net for Vessel Segmentation.- Gated Channel Attention Network for Cataract Classification on AS-OCT Image.- Overcoming Data Scarcity for Coronary Vessel Segmentation Through Self-Supervised Pre-Training.- Self-Attention Long-Term Dependency Modelling in Electroencephalography Sleep Stage Prediction.- ReCal-Net: Joint Region-Channel-Wise Calibrated Network for Semantic Segmentation in Cataract Surgery Videos.- Enhancing Dermoscopic Features Classification in Images Using Invariant Dataset Augmentation and Convolutional Neural Networks.- Ensembles of Randomized Neural Networks for Pattern-based Time Series Forecasting.- Grouped Echo State Network with Late Fusion for Speech Emotion Recognition.- Applications.- MPANet: Multi-level Progressive Aggregation Network for Crowd Counting.- AFLLC: A Novel Active Contour Model based on Adaptive Fractional Order Differentiation and Local Linearly Constrained Bias Field.- DA-GCN: A Dependency-Aware Graph Convolutional Network for Emotion Recognition in Conversations.- Semi-Supervised Learning with Conditional GANs for Blind Generated Image Quality Assessment.- Uncertainty-Aware Domain Adaptation for Action Recognition.- Free-Form Image Inpainting with Separable Gate Encoder-decoder Network.- BERTDAN: Question-Answer Dual Attention Fusion Networks With Pre-trained Models for Answer Selection.- Rethinking the Effectiveness of Selective Attention in Neural Networks.- An Attention Method to Introduce Prior Knowledge in Dialogue State Tracking.- Effect of Input Noise Dimension in GANs.- Wiper Arm Recognition using YOLOv4.- Context Aware Joint Modeling of Domain Classification, Intent Detection and Slot Filling with Zero-shot Intent Detection Approach.- Constrained Generative Model for EEG Signals Generation.- Top-Rank Learning Robust to Outliers.- Novel GAN Inversion Model with Latent Space Constraints for Face Reconstruction.- Edge Guided Attention Based Densely Connected Network for Single Image Super-Resolution.- An Agent-Based Market Simulator for Back-testing Deep Reinforcement Learning Based Trade Execution Strategies.- Looking beyond the haze: A Pyramid Fusion Approach.- DGCN-rs: a Dilated Graph Convolutional Networks Jointly Modelling Relation and Semantic for Multi-Event Forecasting.- Training Graph Convolutional Neural Network against Label Noise.- An LSTM-based Plagiarism Detection via Attention Mechanism and a Population-based Approach for Pre-Training Parameters with imbalanced Classes.
• (source: Nielsen Book Data)

The four-volume proceedings LNCS 13108, 13109, 13110, and 13111 constitutes the proceedings of the 28th International Conference on Neural Information Processing, ICONIP 2021, which was held during December 8-12, 2021. The conference was planned to take place in Bali, Indonesia but changed to an online format due to the COVID-19 pandemic. The total of 226 full papers presented in these proceedings was carefully reviewed and selected from 1093 submissions. The papers were organized in topical sections as follows: Part I: Theory and algorithms; Part II: Theory and algorithms; human centred computing; AI and cybersecurity; Part III: Cognitive neurosciences; reliable, robust, and secure machine learning algorithms; theory and applications of natural computing paradigms; advances in deep and shallow machine learning algorithms for biomedical data and imaging; applications; Part IV: Applications.
(source: Nielsen Book Data)

• Theory and Algorithms.- LSMVC: Low-rank Semi-supervised Multi-view Clustering for Special Equipment Safety Warning.- Single-Skeleton and Dual-Skeleton Hypergraph Convolution Neural Networks for Skeleton-Based Action Recognition.- Multi-Reservoir Echo State Network with Multiple-Size Input Time Slices for Nonlinear Time-Series Prediction.- Transformer with Prior Language Knowledge for Image Captioning.- Continual Learning with Laplace Operator based Node-Importance Dynamic Architecture Neural Network.- Improving generalization of reinforcement learning for multi-agent combating games.- Gradient Boosting Forest: A Two-Stage Ensemble Method Enabling Federated Learning of GBDTs.- Random Neural Graph Generation with Structure Evolution.- MatchMaker: Aspect-Based Sentiment Classification via Mutual Information.- PathSAGE: Spatial Graph Attention Neural Networks With Random Path Sampling.- Label Preserved Heterogeneous Network Embedding.- Spatio-Temporal Dynamic Multi-Graph Attention Network for Ride-hailing Demand Prediction.- An Implicit Learning Approach for Solving the Nurse Scheduling Problem.- Improving Goal-Oriented Visual Dialogue by Asking Fewer Questions.- Balance Between Performance and Robustness of Recurrent Neural Networks brought by Brain-inspired Constraints on Initial Structure.- Single-Image Smoker Detection by Human-Object Interaction with Post-Refinement.- A Lightweight Multi-scale Feature Fusion Network For Real-time Semantic Segmentation.- Multi-view Fractional Deep Canonical Correlation Analysis for Subspace Clustering.- Handling the Deviation from Isometry between Domains and Languages in Word Embeddings: Applications to Biomedical Text Translation.- Inference in Neural Networks Using Conditional Mean-Field Methods.- Associative Graphs for Fine-Grained Text Sentiment Analysis.- k-Winners-Take-All Ensemble Neural Network.- Performance Improvement of FORCE Learning for Chaotic Echo State Networks.- Generative Adversarial Domain Generalization via Cross-Task Feature Attention Learning for Prostate Segmentation.- Context-based Deep Learning Architecture with Optimal Integration Layer for Image Parsing.- Kernelized Transfer Feature Learning on Manifolds.- Data-Free Knowledge Distillation with Positive-Unlabeled Learning.- Manifold Discriminative Transfer Learning for Unsupervised Domain Adaptation.- Training-Free Multi-Objective Evolutionary Neural Architecture Search via Neural Tangent Kernel and Number of Linear Regions.- Neural Network Pruning via Genetic Wavelet Channel Search.- Binary Label-aware Transfer Learning for Cross-domain Slot Filling.- Condition-Invariant Physical Adversarial Attacks via Pixel-wise Adversarial Learning.- Multiple Partitions Alignment with Adaptive Similarity Learning.- Recommending best course of treatment based on similarities of prognostic markers.- Generative Adversarial Negative Imitation Learning from Noisy Demonstrations.- Detecting Helmets on Motorcyclists by Deep Neural Networks with a Dual-Detection Scheme.- Short-Long Correlation Based Graph Neural Networks for Residential Load Forecasting.- Disentangled Feature Network for Fine-Grained Recognition.- Large-Scale Topological Radar Localization Using Learned Descriptors.- Rethinking binary hyperparameters for deep transfer learning.- Human Centred Computing.- Hierarchical Features Integration and Attention Iteration Network for Juvenile Refractive Power Prediction.- Stress Recognition in Thermal Videos using Bi-Directional Long-Term Recurrent Convolutional Neural Networks.- StressNet: A Deep Neural Network based on Dynamic Dropout Layers for Stress Recognition.- Analyzing Vietnamese Legal Questions using Deep Neural Networks with Biaffine Classifiers.- BenAV: A Bengali Audio-Visual Corpus for Visual Speech Recognition.- Investigation of Different G2P Schemes for Speech Recognition in Sanskrit.- GRU with Level-Aware Attention for Rumor Early Detection in Social Networks.- Convolutional Feature-interacted Factorization Machines for Sparse Contextual Prediction.- A Lightweight Multidimensional Self-Attention Network for Fine-grained Action Recognition.- Unsupervised Domain Adaptation with Self-selected Active Learning for Cross-domain OCT Image Segmentation.- Adaptive Graph Convolutional Network with Prior Knowledge for Action Recognition.- Self-Adaptive Graph Neural Networks for Personalized Sequential Recommendation.- Spitial-Temporal Attention Network with Multi-Similarity Loss for Fine-Grained Skeleton-Based Action Recognition.- SRGAT: Social Relational Graph Attention Network for Human Trajectory Prediction.- FSE: A powerful feature augmentation technique for classification task.- AI and Cybersecurity.- FHTC: Few-shot Hierarchical Text Classification in Financial Domain.- JStrack: Enriching Malicious JavaScript Detection Based on AST Graph Analysis and Attention Mechanism.
• (source: Nielsen Book Data)

The four-volume proceedings LNCS 13108, 13109, 13110, and 13111 constitutes the proceedings of the 28th International Conference on Neural Information Processing, ICONIP 2021, which was held during December 8-12, 2021. The conference was planned to take place in Bali, Indonesia but changed to an online format due to the COVID-19 pandemic. The total of 226 full papers presented in these proceedings was carefully reviewed and selected from 1093 submissions. The papers were organized in topical sections as follows: Part I: Theory and algorithms; Part II: Theory and algorithms; human centred computing; AI and cybersecurity; Part III: Cognitive neurosciences; reliable, robust, and secure machine learning algorithms; theory and applications of natural computing paradigms; advances in deep and shallow machine learning algorithms for biomedical data and imaging; applications; Part IV: Applications.
(source: Nielsen Book Data)

• Cognitive Neurosciences.- A Novel Binary BCI Systems Based on Non-oddball Auditory and Visual Paradigms.- A Just-In-Time Compilation Approach for Neural Dynamics Simulation.- STCN-GR: Spatial-Temporal Convolutional Networks for Surface-Electromyography-Based Gesture Recognition.- Gradient descent learning algorithm based on spike selection mechanism for multilayer spiking neural networks.- Learning to Coordinate via Multiple Graph Neural Networks.- A Reinforcement Learning Approach for Abductive Natural Language Generation.- DFFCN: Dual Flow Fusion Convolutional Network for Micro Expression Recognition.- AUPro: Multi-label Facial Action Unit Proposal Generation for Sequence-level Analysis.- Deep kernelized network for fine-grained recognition.- Semantic Perception Swarm Policy with Deep Reinforcement Learning.- Reliable, Robust, and Secure Machine Learning Algorithms Open-Set Recognition with Dual Probability Learning.- How Much Do Synthetic Datasets Matter In Handwritten Text Recognition.- PCMO: Partial Classification from CNN-Based Model Outputs.- Multi-branch Fusion Fully Convolutional Network for Person Re-Identification.- Fast Organization of Objects Spatial Positions in Manipulator Space from Single RGB-D Camera.- EvoBA: An Evolution Strategy as a Strong Baseline for Black-Box Adversarial Attacks.- A Novel Oversampling Technique for Imbalanced Learning Based on SMOTE and Genetic Algorithm.- Dy-Drl2Op: Learning Heuristics for TSP on the Dynamic Graph via Deep Reinforcement Learning.- Multi-label classification of hyperspectral images based on label-specific feature fusion.- A Novel Multi-Scale Key-Point Detector Using Residual Dense Block and Coordinate Attention.- Alleviating Catastrophic Interference in Online Learning via Varying Scale of Backward Queried Data.- Construction and Reasoning for Interval-Valued EBRB Systems.- Theory and Applications of Natural Computing Paradigms.- Brain-mimetic Kernel: A Kernel Constructed from Human fMRI Signals Enabling a Brain-mimetic Visual Recognition Algorithm.- Predominant Sense Acquisition with a Neural Random Walk Model.- Processing-response dependence on the on-chip readout positions in spin-wave reservoir computing.- Advances in deep and shallow machine learning algorithms for biomedical data and imaging.- A Multi-Task Learning Scheme for Motor Imagery Signal Classification.- An End-to-End Hemisphere Discrepancy Network for Subject-Independent Motor Imagery Classification.- Multi-domain Abdomen Image Alignment Based on Joint Network of Registration and Synthesis.- Coordinate Attention Residual Deformable U-Net for Vessel Segmentation.- Gated Channel Attention Network for Cataract Classification on AS-OCT Image.- Overcoming Data Scarcity for Coronary Vessel Segmentation Through Self-Supervised Pre-Training.- Self-Attention Long-Term Dependency Modelling in Electroencephalography Sleep Stage Prediction.- ReCal-Net: Joint Region-Channel-Wise Calibrated Network for Semantic Segmentation in Cataract Surgery Videos.- Enhancing Dermoscopic Features Classification in Images Using Invariant Dataset Augmentation and Convolutional Neural Networks.- Ensembles of Randomized Neural Networks for Pattern-based Time Series Forecasting.- Grouped Echo State Network with Late Fusion for Speech Emotion Recognition.- Applications.- MPANet: Multi-level Progressive Aggregation Network for Crowd Counting.- AFLLC: A Novel Active Contour Model based on Adaptive Fractional Order Differentiation and Local Linearly Constrained Bias Field.- DA-GCN: A Dependency-Aware Graph Convolutional Network for Emotion Recognition in Conversations.- Semi-Supervised Learning with Conditional GANs for Blind Generated Image Quality Assessment.- Uncertainty-Aware Domain Adaptation for Action Recognition.- Free-Form Image Inpainting with Separable Gate Encoder-decoder Network.- BERTDAN: Question-Answer Dual Attention Fusion Networks With Pre-trained Models for Answer Selection.- Rethinking the Effectiveness of Selective Attention in Neural Networks.- An Attention Method to Introduce Prior Knowledge in Dialogue State Tracking.- Effect of Input Noise Dimension in GANs.- Wiper Arm Recognition using YOLOv4.- Context Aware Joint Modeling of Domain Classification, Intent Detection and Slot Filling with Zero-shot Intent Detection Approach.- Constrained Generative Model for EEG Signals Generation.- Top-Rank Learning Robust to Outliers.- Novel GAN Inversion Model with Latent Space Constraints for Face Reconstruction.- Edge Guided Attention Based Densely Connected Network for Single Image Super-Resolution.- An Agent-Based Market Simulator for Back-testing Deep Reinforcement Learning Based Trade Execution Strategies.- Looking beyond the haze: A Pyramid Fusion Approach.- DGCN-rs: a Dilated Graph Convolutional Networks Jointly Modelling Relation and Semantic for Multi-Event Forecasting.- Training Graph Convolutional Neural Network against Label Noise.- An LSTM-based Plagiarism Detection via Attention Mechanism and a Population-based Approach for Pre-Training Parameters with imbalanced Classes.
• (source: Nielsen Book Data)

The four-volume proceedings LNCS 13108, 13109, 13110, and 13111 constitutes the proceedings of the 28th International Conference on Neural Information Processing, ICONIP 2021, which was held during December 8-12, 2021. The conference was planned to take place in Bali, Indonesia but changed to an online format due to the COVID-19 pandemic. The total of 226 full papers presented in these proceedings was carefully reviewed and selected from 1093 submissions. The papers were organized in topical sections as follows: Part I: Theory and algorithms; Part II: Theory and algorithms; human centred computing; AI and cybersecurity; Part III: Cognitive neurosciences; reliable, robust, and secure machine learning algorithms; theory and applications of natural computing paradigms; advances in deep and shallow machine learning algorithms for biomedical data and imaging; applications; Part IV: Applications.
(source: Nielsen Book Data)