%{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)

• Applications
• Deep Supervised Hashing By Classification For Image Retrieval
• Towards Human-level Performance in Solving Double Dummy Bridge Problem
• Coarse-to-Fine Visual Place Recognition
• BFConv: Improving Convolutional Neural Networks with Butterfly Convolution
• Integrating Rich Utterance Features for Emotion Recognition in Multi-party Conversations
• Vehicle Image Generation Going Well with the Surroundings
• Scale Invariant Domain Generalization Image Recapture Detection
• Tile2Vec with Predicting Noise for Land Cover Classification
• A Joint Representation Learning Approach for Social Media Tag Recommendation
• Identity-based Data Augmentation via Progressive Sampling for One-Shot Person Re-identification
• Feature Fusion Learning Based on LSTM and CNN Networks for Trend Analysis of Limit Order Books
• WikiFlash: Generating Flashcards from Wikipedia Articles
• Video Face Recognition with Audio-Visual Aggregation Network
• WaveFuse: A Unified Unsupervised Framework for Image Fusion with Discrete Wavelet Transform
• Manipulation-invariant Fingerprints for Cross-dataset Deepfake Detection
• Low-resource Neural Machine Translation Using Fast Meta-Learning method
• Efficient, Low-Cost, Real-Time Video Super-Resolution Network
• On the Unreasonable Effectiveness of Centroids in Image Retrieval
• Few-shot Classification with Multi-task Self-supervised Learning
• Self-Supervised Compressed Video Action Recognition via Temporal-Consistent Sampling
• Stack-VAE network for Zero-Shot Learning
• TRUFM: a Transformer-guided Framework for Fine-grained Urban Flow Inference
• Saliency Detection Framework Based on Deep Enhanced Attention Network
• SynthTriplet GAN: Synthetic Query Expansion for Multimodal Retrieval
• SS-CCN: Scale Self-guided Crowd Counting Network
• QS-Hyper: A Quality-Sensitive Hyper Network for the No-Reference Image Quality Assessment
• An Efficient Manifold Density Estimator for All Recommendation Systems
• Cleora: A Simple, Strong and Scalable Graph Embedding Scheme
• STA3DCNN: Spatial-temporal Attention 3D Convolutional Neural Network for Citywide Crowd Flow Prediction
• Learning Pre-Grasp Pushing Manipulation of Wide and Flat Objects using Binary Masks
• Multi-DIP: A General Framework For Unsupervised Multi-degraded Image Restoration
• Multi-Attention Network for Arbitrary Style Transfer
• Image Brightness Adjustment with Unpaired Training
• Self-Supervised Image-to-Text and Text-to-Image Synthesis
• TextCut: A Multi-region Replacement Data Augmentation Approach for Text Imbalance Classification
• A Multi-task Model for Sentiment aided Cyberbullying Detection in Code-Mixed Indian Languages
• A Transformer-based Model for Low-resource Event Detection
• Malicious Domain Detection on Imbalanced Data with Deep Reinforcement Learning
• Designing and Searching for Lightweight Monocular Depth Network
• Improving Question Answering over Knowledge Graphs Using Graph Summarization
• Multi-Stage Hybrid Attentive Networks for Knowledge-Driven Stock Movement Prediction
• End-to-End Edge Detection via Improved Transformer Model
• Isn't it ironic, don't you think
• Neural Local and Global Contexts Learning for Word Sense Disambiguation
• Towards Better Dermoscopic Image Feature Representation Learning for Melanoma Classification
• Paraphrase Identification with Neural Elaboration Relation Learning
• Hybrid DE-MLP-based Modeling Technique for Prediction of Alloying Element Proportions and Process Parameters
• A Mutual Information-based Disentanglement Framework for Cross-Modal Retrieval
• AGRP:A Fused Aspect-Graph Neural Network for Rating Prediction
• Classmates Enhanced Diversity-self-attention Network for Dropout Prediction in MOOCs
• A Hierarchical Graph-based Neural Network for Malware Classification
• A Visual Feature Detection Algorithm Inspired by Spatio-temporal Properties of Visual Neurons
• Knowledge Distillation Method for Surface Defect Detection
• Adaptive Selection of Classifiers for Person Recognition by Iris Pattern and Periocular Image
• Multi-Perspective Interactive Model for Chinese Sentence Semantic Matching
• An Effective Implicit Multi-Interest Interaction Network for Recommendation.

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.

• Mathematical Programming.- Global Optimization.- Discrete and Combinatorial Optimization.- Optimal Control.- Optimization and Data Analysis.- Game Theory and Mathematical Economics.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 12th International Conference on Optimization and Applications, OPTIMA 2021, held in Petrovac, Montenegro, in September-October 2021. The 22 full and 3 short papers presented were carefully reviewed and selected from 63 submissions. The papers are organized into the following topical sub-headings: mathematical programming, global optimization, discrete and combinatorial optimization, optimal control, optimization and data analysis, and game theory and mathematical economics.
(source: Nielsen Book Data)

This book constitutes the proceedings of the 16th International Conference on Parallel Computing Technologies, PaCT 2021, which was held during September 13-18, 2021. The conference was planned to take place in Kaliningrad, Russia, but changed to an online event due to the COVID-19 pandemic. The 24 full and 12 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: parallel programming methods and tools; applications; memory-efficient data structures; experimental studies; job management; essential algorithms; computing services; and cellular automata.
(source: Nielsen Book Data)

• Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components / Stefano Aguzzoli and Matteo Bianchi
• Unary-determined distributive [lower case script L]l-magmas and bunched implication algebras / Natanael Alpay, Peter Jipsen, and Melissa Sugimoto
• Effect algebras, Girard quantales and complementation in separation logic / Callum Bannister, Peter Höfner, and Georg Struth
• Relational computation of sets of relations / Rudolf Berghammer
• Experimental investigation of sufficient criteria for relations to have kernels / Rudolf Berghammer and Mitja Kulczynski --[lower case script L]l[lower case italic]r-multisemigroups, modal quantales and the origin of locality / Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, and Krzysztof Ziemiański
• Abstract strategies and coherence / Cameron Calk, Eric Goubault, and Philippe Malbos
• Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm PEARL / Willem Conradie, Valentin Goranko, and Peter Jipsen
• The class of representable semilattice-ordered monoids is not a variety / Amina Doumane
• Accretive computation of global transformations / Alexandre Fernandez, Luidnel Maignan, and Antoine Spicher
• Some modal and temporal translations of generalized basic logic / Wesley Fussner and William Zuluaga Botero
• Isolated sublattices and their application to counting closure operators / Roland Glück
• Second-order properties of undirected graphs / Walter Guttmann
• Relation-algebraic verification of Borůvka's minimum spanning tree algorithm / Walter Guttmann and Nicolas Robinson-O'Brien
• Deciding FO-definability of regular languages / Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, and Michael Zakharyaschev

• Relational models for the Lambek calculus with intersection and unit / Stepan L. Kuznetsov
• Free modal Riesz spaces are Archimedean : a syntactic proof / Christophe Lucas and Matteo Mio
• Polyadic spaces and profinite monoids / Jérémie Marquès
• Time warps, from algebra to algorithms / Sam van Gool, Adrien Guatto, George Metcalfe, and Simon Santschi
• On algebra of program correctness and incorrectness / Bernhard Möller, Peter O'Hearn, and Tony Hoare
• Computing least and greatest fixed points in absorptive semirings / Matthias Naaf
• A variety theorem for relational universal algebra / Chad Nester
• On tools for completeness of Kleene algebra with hypotheses / Damien Pous, Jurriaan Rot, and Jana Wagemaker
• Skew metrics valued in Sugihara semigroups / Luigi Santocanale
• Computing distributed knowledge as the greatest lower bound of knowledge / Carlos Pinzón, Santiago Quintero, Sergio Ramírez, and Frank Valencia
• Relational sums and splittings in categories of L-fuzzy relations / Michael Winter
• Change of base using arrow categories / Michael Winter
• Automated reasoning for probabilistic sequential programs with theorem proving / Kangfeng Ye, Simon Foster, and Jim Woodcock
• Domain range semigroups and finite representations / Jaš Šemrl.

This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. The 29 papers presented in this book were carefully reviewed and selected from 35 submissions. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.

• Self-stabilizing Systems: Theory and Practice.- Foundations of Concurrent and Distributed Computing.- Mobile and Robot Computing.- Fault-tolerance, Security, and Privacy.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2021, held virtually, in November 2021. The 16 full papers, 10 short and 14 invited papers presented were carefully reviewed and selected from 56 submissions. The papers deal with the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment.
(source: Nielsen Book Data)

• Invited papers.- r-indexing the eBWT.- Unicode at Gigabytes per Second.- Combinatorics.- Longest Common Rollercoasters.- Minimal unique palindromic substrings after single-character substitution.- Permutation-constrained Common String Partitions with Applications.- All instantiations of the greedy algorithm for the shortest superstring problem are equivalent.- String Covers of a Tree.- Compression.- Grammar Index By Induced Suffix Sorting.- An LMS-based Grammar Self-index with Local Consistency Properties.- On the approximation ratio of LZ-End to LZ77.- Data Structures.- Computing the original eBWT faster, simpler, and with less memory.- Extracting the Sparse Longest Common Pre x Array from the Suffix Binary Search Tree.- findere: fast and precise approximate membership query.- Repeats.- Improved Topic Modeling in Twitter through Community Pooling.- Lower Bounds for the Number of Repetitions in 2D Strings.- On Stricter Reachable Repetitiveness Measures.- Information Retrieval.- Improved Topic modeling in Twitter through Community Pooling.- TSXor: A Simple Time Series Compression Algorithm.- Pattern Matching.- Exploiting Pseudo-Locality of Interchange Distance.- Position Heaps for Cartesian-tree Matching on Strings and Tries.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, SPIRE 2021, held in Lille, France, in October 2021.*The 14 full papers and 4 short papers presented together with 2 invited papers in this volume were carefully reviewed and selected from 30 submissions. They cover topics such as: data structures; algorithms; information retrieval; compression; combinatorics on words; and computational biology. *The symposium was held virtually.
(source: Nielsen Book Data)

• Distributed Graph Algorithms
• Concurrency, Consensus and Dynamics
• Mobile Robots and Agents
• Security and Efficiency of Network Communication
• Network and Graph Structures.

This book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2021, held in Wroc±aw, Poland, in June 2021. Due to COVID-19, the conference will be held online. The 20 full papers presented in this book were carefully reviewed and selected from 48 submissions. The papers are solicited from all areas of study of local structural knowledge and global communication and computational complexities. Among the typical areas are distributed computing, communication networks, game theory, parallel computing, social networks, mobile computing.

• Modeling and Specification.- Model Checking.- Specification and Verification.- Testing and Formal Verification. .
• (source: Nielsen Book Data)

This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification.Due to the Corona pandemic this event was held virtually.
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• Contents
• OptiLog: A Framework for SAT-based Systems
• 1 Introduction
• 2 OptiLog Framework Architecture
• 2.1 Formula Module
• 2.2 SAT Solver Module
• 2.3 PB Encoder Module
• 2.4 Automatic Configuration (AC) Module
• 2.5 Adding SAT Solvers to OptiLog Through iSAT Interface
• 3 Example: The Linear MaxSAT Algorithm with OptiLog
• 4 Conclusions and Future Work
• References
• PyDGGA: Distributed GGA for Automatic Configuration
• 1 Introduction
• 2 Preliminaries
• 3 PyDGGA
• 3.1 Distributed Architecture
• 3.2 Simulation

• 3.3 Scheduling and Canceling
• 3.4 Instance Selection
• 3.5 Elite Mini-Tournament
• 3.6 Other Tool Enhancements
• 4 Using PyDGGA
• 5 Experiments with SAT
• 6 Conclusions and Future Work
• References
• QBFFam: A Tool for Generating QBF Families from Proof Complexity
• 1 Introduction
• 2 Related Work
• 3 Formula Families
• 4 Case Study
• 5 Conclusion
• References
• Davis and Putnam Meet Henkin: Solving DQBF with Resolution
• 1 Introduction
• 2 Preliminaries
• 3 Davis-Putnam Resolution for H-Form DQBF
• 3.1 Strategy Operations
• 3.2 Definition of the Construction

• 3.3 Correctness and Completeness
• 3.4 Representing Strategies
• 4 NEXP-completeness of CNF H-Form DQBF
• 5 Conclusion
• References
• Lower Bounds for QCDCL via Formula Gauge
• 1 Introduction
• 2 Preliminaries
• 3 QCDCL as a Formal Proof System
• 4 Quasi Level-Ordered Proofs
• 5 A Lower Bound Technique via Gauge
• 6 Applications of the Lower Bound Technique
• 7 Conclusion
• References
• Deep Cooperation of CDCL and Local Search for SAT
• 1 Introduction
• 2 Preliminaries
• 2.1 Preliminary Definitions and Notations
• 2.2 CDCL Solvers
• 2.3 Local Search Solvers

• 2.4 Experiment Preliminaries
• 3 Exploring Promising Branches by Local Search
• 4 Phase Resetting with Local Search Assignments
• 5 Branching with Conflict Frequency in Local Search
• 6 Experiments
• 7 Related Works
• 8 Conclusions
• References
• Hash-Based Preprocessing and Inprocessing Techniques in SAT Solvers
• 1 Introduction
• 2 Preliminaries
• 3 Hash-Based Methods
• 4 Probabilistic Analysis
• 5 Evaluation
• 6 Conclusions
• References
• Hardness and Optimality in QBF Proof Systems Modulo NP
• 1 Introduction
• 1.1 Organisation
• 2 Preliminaries
• 2.1 Proof Complexity

• 2.2 Propositional Logic
• 2.3 Quantified Boolean Formulas
• 3 Simulations with Extension Variables
• 4 Extended Q-Res Modulo NP
• 5 Weaker QBF Systems
• 6 Conclusion
• References
• Characterizing Tseitin-Formulas with Short Regular Resolution Refutations
• 1 Introduction
• 2 Preliminaries
• 3 Reduction from Unsatisfiable to Satisfiable Formulas
• 3.1 Well-Structured Branching Programs for SearchVertex(G, c)
• 3.2 Constructing DNNF from Well-Structured Branching Programs
• 4 Adversarial Rectangle Bounds
• 5 Splitting Parity Constraints

This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021. The 37 full papers presented in this volume were carefully reviewed and selected from 73 submissions. They deal with theory and applications of the propositional satisfiability problem, broadly construed. Aside from plain propositional satisfiability, the scope of the meeting includes Boolean optimization, including MaxSAT and pseudo-Boolean (PB) constraints, quantified Boolean formulas (QBF), satisfiability modulo theories (SMT), and constraint programming (CP) for problems with clear connections to Boolean reasoning.

• Applications of Natural Computing.- Deep Learning and Transfer Learning.- Evolutionary and Swarm Algorithms.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Practice of Natural Computing, TPNC 2021, held virtually, in December 2021. The 9 full papers presented together with 3 invited talks, in this book were carefully reviewed and selected from 14 submissions. The papers are organized in topical sections named Applications of Natural Computing, Deep Learning and Transfer Learning, Evolutionary and Swarm Algorithms.
(source: Nielsen Book Data)

• Wireless Communications.- Blockchain.- Algorithms.- IoT and Edge Computing.- Scheduling & Optimization I.
• (source: Nielsen Book Data)

The three-volume set LNCS 12937 - 12939 constitutes the proceedings of the 16th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2021, which was held during June 25-27, 2021. The conference took place in Nanjing, China.The 103 full and 57 short papers presented in these proceedings were carefully reviewed and selected from 315 submissions. The following topics are covered in Part I of the set: network protocols, signal processing, wireless telecommunication systems, blockchain, IoT and edge computing, artificial intelligence, computer security, distributed computer systems, machine learning, and others.
(source: Nielsen Book Data)

• Scheduling & Optimization II.- Security.- Data Center Networks and Cloud Computing.- Privacy-Aware Computing.- Internet of Vehicles.- Visual Computing for IoT.- Mobile Ad-Hoc Networks.
• (source: Nielsen Book Data)

The three-volume set constitutes the proceedings of the 16th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2021, which was held during June 25-27, 2021. The conference took place in Nanjing, China.The 103 full and 57 short papers presented in these proceedings were carefully reviewed and selected from 315 submissions. The contributions in Part II of the set are subdivided into the following topical sections: Scheduling & Optimization II; Security; Data Center Networks and Cloud Computing; Privacy-Aware Computing; Internet of Vehicles; Visual Computing for IoT; Mobile Ad-Hoc Networks.
(source: Nielsen Book Data)

• Event-based American Sign Language Recognition Using Dynamic Vision Sensor.- Multi-step domain adaption image classification network via attention mechanism and multi-level feature alignment.-Automated Honey Document Generation Using Genetic Algorithm.- Image encryption for Wireless Sensor Networks with modified Logistic Map and new Hash algorithm.- Design and implementation of a real-time distributed precise point positioning platform.- Deployment of UAV-BS for Congestion Alleviation in Cellular Networks.- Robust Estimator for NLOS Error Mitigation in TOA-based Localization.- Effectiveness Analysis of UAV Offensive Strategy with Unknown Adverse Trajectory.- Delivery Optimization for Unmanned Aerial Vehicles Based on Minimum Cost Maximum Flow With Limited Battery Capacity.- Optimized Segment Routing Traffic Engineeringwith Multiple Segments.- Robust and Efficient Mechanism Design for Heterogeneous Task Crowdsensing.- Lightweight Threshold Private Set Intersection via Oblivious Transfer.- Person Re-identification Algorithm Based on Spatial Attention Network.- OFDMA-based Asymmetric Full-duplex Media Access Control for the Next Generation WLANs.- Equitable Valuation of Crowdsensing for Machine Learning via Game Theory.- AERM: An Attribute-aware Economic Robust Spectrum Auction Mechanism.- Application of Matrix-NMS in face detection and autonomous driving.- Blockchain-based verifiable DSSE with forward security in multi-server environments.- GGCAD: A Novel Method of Adversarial Detection by Guided Grad-CAM.- Online Task Scheduling for DNN-based Applications over Cloud, Edge and End Devices.- An SDN-based Self-adaptive Resource Allocation Mechanism for Service Customization.- Privacy Risk Assessment for Text Data Based on Semantic Correlation Learning.- Multi-dimensional LSTM:A Model of NetworkText Classification.- Incentive Cooperation with Computation Delay Concerns for Socially-aware Parked Vehicle Edge Computing.- Complex Task Allocation in Spatial Crowdsourcing: A Task Graph Perspective.- Jointly Optimizing Throughput and Cost of IoV based on Coherent Beamforming and Successive Interference Cancellation Technology.- Deep Reinforcement Learning based Dynamic Content Placement and Bandwidth Allocation in Internet of Vehicles.- A Probabilistic Resilient Routing Scheme for Low-Earth-Orbit Satellite Constellations.- An Efficient Multi-Link Concurrent Transmission MAC Protocol for Long-delay Underwater Acoustic Sensor Networks.- An Advanced Cache Retransmission Mechanism for Wireless Mesh Network.- Efficient Budget-Distance-Aware Influence Maximization in Geo-Social Network.- Deep Learning-Based Task Offloading for Vehicular Edge Computing.- Hacks Hit the Phish: Phishing Attack Detection based on Hacks Search.- The sensor-cloud system and node reliability analysis.- Reinforcement Learning Based Seamless Handover Algorithm in SDN-enabled WLAN.- Attack traffic detection based on LetNet-5 and GRU hierarchical deep neural network.- Real-time and Consistent Route Update Based on Segment Routing for NFV-enabled Networks
• Privacy-Preserving Auction for Heterogeneous Task Assignment in Mobile Device Clouds.- Deep Reinforcement Learning for DAG-based Concurrent Requests Scheduling in Edge Networks.- Generative Adversarial Scheme Based GNSS Spoofing Detection for Digital Twin Vehicular Networks.- Spatial Sketch Configuration for Traffic Measurement in Software Defined Networks.- Estimating Clustering Coefficient of Multiplex Graphs with Local Differential Privacy.- New Rectangle Attack Against SKINNY Block Cipher.- Optimal convergence nodes deployment in hierarchical wireless sensor networks: an SMA-based approach.- A Virtual-Potential-Field-based Cooperative Opportunistic Routing Protocol for UAV Swarms.- Social-Interaction GAN: Pedestrian Trajectory Prediction.- An Intelligent Wallpaper Based on Ambient Light for Human Activity Sensing.- Adaptive Data Transmission and Task Scheduling for High-Definition Map Update.- Research on Path Planning for Relay Drones with Multiple Constraints.- A Reinforcement Model based Prioritized Replay to Solve the Offloading Problem in Edge Computing.- Authentication System Based on Fuzzy Extractors.- Performance Analysis of V2V-Based Vehicular Platoon with Modified CACC Scheme.- Leveraging Fine-grained Self-Correlation in Detecting Collided LoRa Transmissions.- Blockchain Oracle-Based Privacy Preservation and Reliable Identification for Vehicles.- Objects Perceptibility Prediction Model Based on Machine Learning for V2I Communication Load Reduction.- KESAR: A High-Accuracy Prediction Algorithm and Solar-Aware Routing Strategy for Outdoor WSN.- Blockchain Empowered Federated Learning for Medical Data Sharing Model.- A Deep Learning Based Intelligent Transceiver Structure for Multiuser MIMO.- GreenAP: An Energy-saving Protocol for Mobile Access Points.- A Robust Multi-Tenant Server Consolidation Algorithm.- PM2.5 and PM10 Concentration Estimation based on the Top-of-Atmosphere Reflectance.- A Secure Sensing Data Collection Mechanism based on Perturbed Compressed Sensing.- An Edge-Cloud Collaborative Object Detection System.- Underwater Acoustic signal Modulation recognition Technology based on Deep Learning.
• (source: Nielsen Book Data)

The three-volume set constitutes the proceedings of the 16th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2021, which was held during June 25-27, 2021, in Nanjing, China.The 103 full and 57 short papers presented in these proceedings were carefully reviewed and selected from 315 submissions. Part III of the set includes the papers of the contributors that took part in the workshops co-located with the conference.The following topics are covered in the volume: network protocols, signal processing, wireless telecommunication systems, routing algorithms, cryptography, local area networks, and others.
(source: Nielsen Book Data)

• Swarm Intelligence and Nature-Inspired Computing Swarm Intelligence in Data Science: Applications, Opportunities and Challenges.- Synchronized Swarm Operation.- Prediction of Photovoltaic Power using Nature-Inspired Computing.- A Two-Step Approach to the Search of Minimum Energy Designs via Swarm Intelligence.- On Assessing the Temporal Characteristics of Reaching the Milestone by a Swarm.- Swarm-based Computing Algorithms for Optimization Learning Automata-based Fireworks Algorithm On Adaptive Assigning.- Binary Pigeon-Inspired Optimization for Quadrotor Swarm Formation Control.- A Novel Biogeography-based Optimization Algorithm with Momentum Migration and Taxonomic Mutation.- A Modi ed Arti cial Bee Colony Algorithm for Scheduling Optimization of Multi-Aisle AS/RS System.- The Research of Flexible Scheduling of Workshop Based on Artificial Fish Swarm Algorithm and Knowledge Mining.- A Novel Image Segmentation Based on Clustering and Population-Based Optimisation.- Colour Quantisation by Human Mental Search.- Canine Algorithm for Node Disjoint Paths.- Particle Swarm Optimization.- Optimizing Hydrography Ontology Alignment through Compact Particle Swarm Optimization Algorithm.- Map Generation and Balance in the Terra Mystica Board Game Using Particle Swarm and Local Search.- Research on Crowd-sensing Task Assignment Based on Fuzzy Inference PSO Algorithm.- The improvement of V-shaped transfer function of Binary Particle Swarm Optimization.- Hybrid Ant Colony Optimization-based Method for Focal of a Disease Segmentation in Lung CT Images.- An Ant-Inspired Track-to-Track Recovery Approach for Construction of Cell Lineage Trees.- An Ant Colony Optimization Algorithm Based Automated Generation of Software Test Cases.- Brain Storm Optimization Algorithm.- BSO-CLS: Brain Storm Optimization Algorithm with Cooperative Learning Strategy.- A Hybrid Brain Storm Optimization Algorithm for Dynamic Vehicle Routing Problem.- Determinative Brain Storm Optimization.-An Adapting Chemotaxis Bacterial Foraging Optimization Algorithm for Feature Selection in Classification.- Bacterial Foraging Optimization Based on Levy Flight for Fuzzy Portfolio Optimization.- Adaptive bacterial foraging optimization based on roulette strategy.- An Improved Bacterial Foraging Optimization with Dierential and Poisson Distribution Strategy and its Application to Nurse Scheduling Problem.- Improved Bacterial Foraging Optimization Algorithm with Comprehensive Swarm Learning Strategies.- Modified Bacterial Foraging Optimization for Fuzzy MeanSemivariance-Skewness Portfolio Selection.- Genetic Algorithm and Evolutionary Computation.- A New Local Search Adaptive Genetic Algorithm for the Pseudo-Coloring Problem.- A Genetic Algorithm-Based Solver for small-scale Jigsaw Puzzles.- A New EDA with Dimension Reduction Technique for Large Scale Many-objective Optimization.- An Improved CMA-ES for Solving Large Scale Optimization Problem.- Archive Update Strategy In uences Di erential Evolution Performance.- A Structural testing model using SDA algorithm.- Multi-objective Particle Swarm Optimisation for Cargo Packaging in Large Containers.- Multi-objective Combinatorial Generative Adversarial Optimization and Its Application in Crowdsensing.-Multi-Objective Dynamic Scheduling Model of Flexible Job Shop Based on NSGAII Algorithm and Scroll Window Technology.- Optimal Reservoir Optimization Using Multiobjective Genetic Algorithm.- Success-history based parameter adaptation in MOEA/D algorithm.- Image Clustering by Generative Adversarial Optimization and Advanced Clustering Criteria.- A Tool for Supporting the Evaluation of Active Learning Activities.- Inferring Candidate CircRNA-disease Associations by Bi-random Walk Based on CircRNA Regulatory Similarity.- Methods of Machine Learning in System Abnormal Behavior Detection.- Use of the industrial property system in Colombia (2018): a machine learning application.- Imbalanced Ensemble Learning for Enhanced Pulsar Identification.- Computational Analysis of Third-Grade Liquid Flow with Cross Diusion Eects: Application to Entropy Modeling
• Aula Touch Game: Digital tablets and their incidence in the development of citizen competences of middle education students in the district of Barranquilla-Colombia.- Case Classifi cation Processing and Analysis Method for Respiratory Belt Data.- Target Tracking Algorithm based on Density Clustering.- A Method for Localization and Classifi cation of Breast Ultrasound Tumors.- Deep Learning Strategies for Survival Prediction in Prophylactic Resection Patients.- Method based on Data Mining Techniques for Breast Cancer Recurrence Analysis.- Parasite-Guest Infection Modeling: Social Science Applications.- Research on Sliding Mode Control of Underwater Vehicle-manipulator System Based on an Exponential Approach Law.- A Parallel Evolutionary Algorithm with Value Decomposition for Multi-Agent Problems.- O- ocking: Optimized Flocking Model on Autonomous Navigation for Robotic Swarm.- A Multi-agent Ant Colony Optimization Algorithm for Effective Vehicular Tra c Management.- Site Selection of the Colombian Antarctic Research Station based on Fuzzy-Topsis Algortihm.- Newtonian heating eects of Oldroyd-B liquid ow with cross-difussion and second order slip.- Econometric Algorithms Applied to the Incidence of Income on Satisfaction with Quality of Life in Latin American Capitals.- Analytical Study of Radiative Casson Nanoliquid Flow with Heat Absorption.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 11th International Conference on Advances in Swarm Intelligence, ICSI 2020, held in July 2020 in Belgrade, Serbia. Due to the COVID-19 pandemic the conference was held virtually. The 63 papers included in this volume were carefully reviewed and selected from 127 submissions. The papers are organized in 12 cohesive topical sections as follows: Swarm intelligence and nature-inspired computing; swarm-based computing algorithms for optimization; particle swarm optimization; ant colony optimization; brain storm optimization algorithm; bacterial foraging optimization; genetic algorithm and evolutionary computation; multi-objective optimization; machine learning; data mining; multi-agent system and robotic swarm, and other applications.
(source: Nielsen Book Data)

• Polynomial-time algorithms for the touring rays and related problems.- Polyhedral Circuits and Their Applications.- Online Bicriteria Algorithms to Balance Coverage and Cost in Team Formation.- Approximation Algorithm for Stochastic Set Cover Problem.- On Approximations for Constructing 1-Line Minimum Rectilinear Steiner Trees in the Euclidean Plane.- Minimum Diameter Vertex-Weighted Steiner Tree.- Community-based Rumor Blocking Maximization in Social Networks.- Improved hardness and approximation results for single allocationhub location.- Approximation algorithm for the balanced 2-correlation clustering problem on well-proportional graphs.- 2-Level Station Location for Bike Sharing.- Approximation Algorithms for the Lower-Bounded Knapsack Median Problem.- The spherical k-means++ algorithm via local search.- Local search algorithm for the spherical k-means problem with outliers.- A Bi-Criteria Analysis for Fuzzy C-means Problem.- Approximating Max k-Uncut via LP-rounding plus Greed, with Applications to Densest k-Subgraph.- Online BP functions maximization.- Adaptive Robust Submodular Optimization and Beyond.- Approximation guarantees for parallelized maximization of monotone non-submodular function with a cardinality constraint.- Fast Algorithms for Maximizing Monotone Nonsubmodular Functions.- Non-Submodular Streaming Maximization with Minimum Memory and Low Adaptive Complexity.- On Fixed-order Book Thickness Parameterized by the Pathwidth of the Vertex Ordering.- Selfish Bin Packing with Parameterized Punishment.- Multiple Facility Location Games with Envy Ratio.- Strategyproof Mechanisms for 2-facility Location Games with Minimax Envy.- Robustness and Approximation for the Linear Contract Design.- Scheduling many types of calibrations.- Efficient mobile charger scheduling in large-scale sensor networks.- Revisit of the Scheduling Problems with Integrated Production and Delivery on Parallel Batching Machines.- Range Partitioning within Sublinear Time in the External Memory Model.- New Results on the Complexity of Deletion Propagation.- Search Complexity: A Way for The Quantitative Analysis of The Search Space.- Multi-AGVs Pathfinding based on Improved Jump Point Search in Logistic Center.- Distance-based Adaptive Large Neighborhood Search Algorithm for Green-PDPTW.- The theories of a novel filled function method for non-smooth global optimization.- Complexity of tree-coloring interval graphs equitably.- Approximation algorithms for balancing signed graphs.- Computing the One-Visibility Copnumber of Trees.- Maximum subgraphs in Ramsey graphs.- Independent perfect domination sets in Semi-Cayley graphs.- A Parallel Algorithm for Constructing Two Edge-disjoint Hamiltonian Cycles in Crossed Cubes.- Antipodal radio labelling of full binary trees.- Total coloring of outer-1-planar graphs: the cold case.- Edge-face list coloring of Halin graphs.- Injective Coloring of Halin Graphs.- The list L(2, 1)-labeling of planar graphs with large girth.- The frequency of the optimal Hamiltonian cycle computed with frequency quadrilaterals for traveling salesman problem.- Single bounded parallel-batch machine scheduling with an unavailability constraint and job delivery.- A Batch Scheduling Problem of Automatic Drug Dispensing System in Outpatient Pharmacy.- A two-stage medical expenses estimation model for inpatients during diagnosis process under artificial intelligence environment.- The Early-Warning Model of Evaluation and Prevention for Venous Thromboembolism in Gynecological Tumor Surgical Patients based on WSOM.- The coordinated decisions of service supply chain between tumor healthcare alliance and patients under government intervention.- Medical data compression and sharing technology based on blockchain.- Model Establishment and Algorithm Research of Tumor Marker Combination Prediction for Colorectal Cancer.- Safety Evaluation and Lean Disposal of Clinical Waste in Outpatient and Emergency Department of Large Hospitals.- Effects of Taiji on Participants' Knees: A Behavioral-Modeling Approach
• Mixed Distribution of Relief Materials with the Consideration of Demand Matching Degree.
• (source: Nielsen Book Data)

This volume constitutes the proceedings of the 14th International Conference on Algorithmic Aspects in Information and Management, AAIM 2020, held in Jinhua, China in August 2020. The 39 full papers and 17 short papers presented were carefully reviewed and selected from 76 submissions. The papers deal with emerging important algorithmic problems with a focus on the fundamental background, theoretical technology development, and real-world applications associated with information and management analysis, modeling and data mining. Special considerations are given to algorithmic research that was motivated by real-world applications.
(source: Nielsen Book Data)

• Applications of Evolutionary Computation.- A Local Search for Numerical Optimisation based on Covariance Matrix Diagonalisation.- EvoCluster: An Open-Source Nature-Inspired Optimization Clustering Framework in Python.- Optimizing the Hyperparameters of a Mixed Integer Linear Programming Solver to Speed Up Electric Vehicle Charging Control.- Automatic rule extraction from access rules using Genetic Programming.- Search Trajectory Networks of Population-based Algorithms in Continuous Spaces.- Evolving-controllers versus learning-controllers for morphologically evolvable robots.- Simulation-driven multi-objective evolution for traffic light optimization.- Automatic Generation of Adversarial Metamorphic Malware Using MAP-Elites.- EvoDynamic: a framework for the evolution of generally represented dynamical systems and its application to criticality.- A Decomposition-Based Evolutionary Algorithm with Adaptive Weight Vectors for Multi- and Many-objective Optimization.- Differential Evolution Multi-Objective for Tertiary Protein Structure Prediction.- Particle Swarm Optimization: A Wrapper-based Feature Selection Method for Ransomware Detection and Classification.- A method for estimating the computational complexity of multimodal functions.- Locating Odour Sources with Geometric Syntactic Genetic Programming.- Designing cable-stayed bridges with Genetic Algorithms.- A fast, scalable meta-heuristic for network slicing under traffic uncertainty.- What is Your MOVE: Modeling Adversarial Network Environments.- Using evolution to design modular robots: An empirical approach to select module designs.- Iterated Granular Neighborhood Algorithm for the Taxi Sharing Problem.- Applications of Bio-inspired techniques on Social Networks.- Multiobjective Optimization of a Targeted Vaccination Scheme in the Presence of Non-diagnosed Cases.- Community Detection in Attributed Graphs with Differential Evolution.- Applications of Deep Bioinspired Algorithms.- Fake news detection using time series and user features classification.- Social Learning vs Self-teaching in a Multi-agent Neural Network System.- Evolving Instinctive Behaviour in Resource-Constrained Autonomous Agents Using Grammatical Evolution.- An Adversarial Optimization Approach for the Development of Robust Controllers.- Soft Computing Applied to Games.- Efficient Heuristic Policy Optimisation for a Challenging Strategic Card Game.- Finding Behavioural Patterns Among League of Legends Players Through Hidden Markov Models.- Learning the Designer's Preferences to Drive Evolution.- Testing hybrid computational intelligence algorithms for general game playing.- Evolutionary Computation in Digital Healthcare and Personalized Medicine.- Accelerated Design of HIFU Treatment Plans Using Island-based Evolutionary Strategy.- Using Genetic Algorithms for the prediction of cognitive impairments.- Short and Medium Term Blood Glucose Prediction using Multi-Objective Grammatical Evolution.- Evolutionary Machine Learning.- A Greedy Iterative Layered Framework for Training Feed Forward Neural Networks.- Evolution of Scikit-Learn Pipelines with Dynamic Structured Grammatical Evolution.- An Empirical Exploration of Deep Recurrent Connections Using Neuro-Evolution.- Using Skill Rating as Fitness on the Evolution of GANs.- A Local Search with a Surrogate Assisted Option for Instance Reduction.- Evolutionary Latent Space Exploration of Generative Adversarial Networks.- Neuro-Evolutionary Transfer Learning through Structural Adaptation.- Ant-based Neural Topology Search (ANTS) for Optimizing Recurrent Networks.- Parallel and Distributed Systems.- A MIMD interpreter for Genetic Programming.- Security Risk Optimization for Multi-Cloud Applications.- Using evolutionary algorithms for server hardening via the moving target defense technique.- An Event-based Architecture for Cross-Breed Multi-population Bio-inspired Optimization Algorithms.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 23rd European Conference on Applications of Evolutionary Computation, EvoApplications 2020, held as part of Evo*2020, in Seville, Spain, in April 2020, co-located with the Evo*2020 events EuroGP, EvoMUSART and EvoCOP. The 44 full papers presented in this book were carefully reviewed and selected from 62 submissions. The papers cover a wide spectrum of topics, ranging from applications of bio-inspired techniques on social networks, evolutionary computation in digital healthcare and personalized medicine, soft-computing applied to games, applications of deep-bioinspired algorithms, parallel and distributed systems, and evolutionary machine learning. .
(source: Nielsen Book Data)

• Main Conference.- Approximate Data Dependence Pro ling based on Abstract Interval and Congruent Domains.- Evaluating Dynamic Task Scheduling with Priorities and Adaptive Aging in a Task-based Runtime System.- An Architecture for Solving the Eigenvalue Problem on Embedded FPGAs.- ECC Memory for Fault Tolerant RISC-V Processors.- 3D Optimisation of Software Application Mappings on Heterogeneous MPSoCs.- Towards a Priority-Based Task Distribution Strategy for an Artificial Hormone System.- He..ro DB: A Concept for Parallel Data Processing on Heterogeneous Hardware.- Investigating Transactional Memory for High Performance Embedded Systems.- X-CEL: A Method to Estimate Near-Memory Acceleration Potential in Tile-based MPSoCs.- Engineering an Optimized Instruction Set Architecture for AMIDAR Processors.- Scaling Logic Locking Schemes to Multi-Module Hardware Designs.- Exploration of Power Domain Partitioning with Concurrent Task Mapping and Scheduling for Application-specific Multi-core SoCs.- FORMUS3IC Workshop.- Scalable, Decentralized Battery Management System Based on Self-Organizing Nodes.- Security Improvements by Separating the Cryptographic Protocol from the Network Stack onto a Multi-MCU Architecture.- Equally Distributed Bus-Communication Access Rights for Inter MCU Communication using Multimaster SPI.- Workshop on Computer Architectures in Space (CompSpace).- On the Evaluation of SEU Effects on AXI Interconnect within AP-SoCs.- Satellite Onboard Data Reduction using a Risc-V core inside an RTG4-based Data Processing Pipeline.- Workshop on Parallel Systems and Algorithms (PASA).- Accelerating Real-Time Applications with Predictable Work-Stealing.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 33rd International Conference on Architecture of Computing Systems, ARCS 2020, held in Aachen, Germany, in May 2020.* The 12 full papers in this volume were carefully reviewed and selected from 33 submissions. 6 workshop papers are also included. ARCS has always been a conference attracting leading-edge research outcomes in Computer Architecture and Operating Systems, including a wide spectrum of topics ranging from embedded and real-time systems all the way to large-scale and parallel systems. The selected papers focus on concepts and tools for incorporating self-adaptation and self-organization mechanisms in high-performance computing systems. This includes upcoming approaches for runtime modifications at various abstraction levels, ranging from hardware changes to goal changes and their impact on architectures, technologies, and languages. *The conference was canceled due to the COVID-19 pandemic.
(source: Nielsen Book Data)

• Model Compression I.- Fine-grained Channel Pruning for Deep Residual Neural Networks.- A Lightweight Fully Convolutional Neural Network of High Accuracy Surface Defect Detection.- Detecting Uncertain BNN Outputs on FPGA Using Monte Carlo Dropout Sampling.- Neural network compression via learnable wavelet transforms.- Fast and Robust Compression of Deep Convolutional Neural Networks.- Model Compression II.- Pruning artificial neural networks: a way to find well-generalizing, high-entropy sharp minima.- Log-Nets: Logarithmic Feature-Product Layers Yield More Compact Networks.- Tuning Deep Neural Network's hyperparameters constrained to deployability on tiny systems.- Obstacles to Depth Compression of Neural Networks.- Multi-task and Multi-label Learning.- Multi-Label Quadruplet Dictionary Learning.- Pareto Multi-Task Deep Learning.- Convex Graph Laplacian Multi-Task Learning SVM.- Neural Network Theory and Information Theoretic Learning.- Prediction Stability as a Criterion in Active Learning.- Neural Spectrum Alignment: Empirical Study.- Nonlinear, Nonequilibrium Landscape Approach to Neural Network Dynamics.- Hopfield Networks for Vector Quantization.- Prototype-Based Online Learning on Homogeneously Labeled Streaming Data.- Normalization and Regularization Methods.- Neural Network Training with Safe Regularization in the Null Space of Batch Activations.- The Effect of Batch Normalization in the Symmetric Phase.- Regularized Pooling.- Reinforcement Learning I.- Deep Recurrent Deterministic Policy Gradient for Physical Control.- Exploration via Progress-Driven Intrinsic Rewards.- An improved reinforcement learning based heuristic dynamic programming algorithm for model-free optimal control.- PBCS: Efficient Exploration and Exploitation Using a Synergy between Reinforcement Learning and Motion Planning.- Understanding failures of deterministic actor-critic with continuous action spaces and sparse rewards.- Reinforcement Learning II.- GAN-based Planning Model in Deep Reinforcement Learning.- Guided Reinforcement Learning via Sequence Learning.- Neural Machine Translation based on Improved Actor-Critic Method.- Neural Machine Translation based on Prioritized Experience Replay.- Improving Multi-Agent Reinforcement Learning with Imperfect Human Knowledge.- Reinforcement Learning III.- Adaptive Skill Acquisition in Hierarchical Reinforcement Learning.- Social Navigation with Human Empowerment driven Deep Reinforcement Learning.- Curious Hierarchical Actor-Critic Reinforcement Learning.- Policy Entropy for Out-of-Distribution Classification.- Reservoir Computing.- Analysis of reservoir structure contributing to robustness against structural failure of Liquid State Machine.- Quantifying robustness and capacity of reservoir computers with consistency profiles.- Two-Step FORCE Learning Algorithm for Fast Convergence in Reservoir Computing.- Morphological Computation of Skin Focusing on Fingerprint Structure.- Time Series Clustering with Deep Reservoir Computing.- ReservoirPy: an Efficient and User-Friendly Library to Design Echo State Networks.- Robotics and Neural Models of Perception and Action.- Adaptive, Neural Robot Control - Path Planning on 3D Spiking Neural Networks.- CABIN: A Novel Cooperative Attention Based Location Prediction Network Using Internal-External Trajectory Dependencies.- Neuro-Genetic Visuomotor Architecture for Robotic Grasping.- From Geometries to Contact Graphs.- Sentiment Classification.- Structural Position Network for Aspect-based Sentiment Classification.- Cross-Domain Sentiment Classification using Topic Attention and Dual-Task Adversarial Training.- Data Augmentation for Sentiment Analysis in English - the Online Approach.- Spiking Neural Networks I.- Dendritic computation in a point neuron model..- Benchmarking Deep Spiking Neural Networks on Neuromorphic Hardware.- Unsupervised Learning of Spatio-Temporal Receptive Fields from an Event-Based Vision Sensor.- Spike-Train Level Unsupervised Learning Algorithm for Deep Spiking Belief Networks.- Spiking Neural Networks II.- Modelling Neuromodulated Information Flow and Energetic Consumption at Thalamic Relay Synapses.- Learning Precise Spike Timings with Eligibility Traces.- Meta-STDP rule stabilizes synaptic weights under in vivo-like ongoing spontaneous activity in a computational model of CA1 pyramidal cell.- Adaptive Chemotaxis for improved Contour Tracking using Spiking Neural Networks.- Text Understanding I.- Mental Imagery-Driven Neural Network to Enhance Representation for Implicit Discourse Relation Recognition.- Adaptive Convolution Kernel for Text Classification via Multi-Channel Representations.- Text generation in discrete space.- Short text processing for analyzing user portraits: A dynamic combination.- Text Understanding II.- A Hierarchical Fine-Tuning Approach Based on Joint Embedding of Words and Parent Categories for Hierarchical Multi-label Text Classification.- Boosting Tricks for Word Mover's Distance.- Embedding Compression with Right Triangle Similarity Transformations.- Neural Networks for Detecting Irrelevant Questions during Visual Question Answering.- F-Measure Optimisation and Label Regularisation for Energy-based Neural Dialogue State Tracking Models.- Unsupervised Learning.- Unsupervised Change Detection using Joint Autoencoders for Age-Related Macular Degeneration Progression.- A fast algorithm to find Best Matching Units in Self-Organizing Maps.- Tumor Characterization using Unsupervised Learning of Mathematical Relations within Breast Cancer Data.- Balanced SAM-kNN: Online Learning with Heterogeneous Drift and Imbalanced Data.- A Rigorous Link Between Self-Organizing Maps and Gaussian Mixture Models.- Collaborative Clustering through Optimal Transport.
• (source: Nielsen Book Data)

The proceedings set LNCS 12396 and 12397 constitute the proceedings of the 29th International Conference on Artificial Neural Networks, ICANN 2020, held in Bratislava, Slovakia, in September 2020.*The total of 139 full papers presented in these proceedings was carefully reviewed and selected from 249 submissions. They were organized in 2 volumes focusing on topics such as adversarial machine learning, bioinformatics and biosignal analysis, cognitive models, neural network theory and information theoretic learning, and robotics and neural models of perception and action. *The conference was postponed to 2021 due to the COVID-19 pandemic.
(source: Nielsen Book Data)

• A Note on Computable Embeddings for Ordinals and Their Reverses.- Clockability for Ordinal Turing Machines.- Some notes on spaces of ideals and computable topology.- Parallelizations in Weihrauch reducibility and constructive reverse mathematics.- Liouville Numbers and the Computational Complexity of Changing Bases.- On Interpretability between some weak essential undecidable theories.- On the Complexity of Conversion between Classic Real Number Representations.- Deterministic and Nondeterministic Iterated Uniform Finite-State Transducers: Computational and Descriptional Power.- Computable analysis and classification problems.- Non-coding enumeration operators.- On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings.- An interactive proof system for Program extraction.- ASNP: a tame fragment of existential second-order logic.- Ackermannian Goodstein sequences of intermediate growth.- On the complexity of validity degrees in Lukasiewicz logic.- Degrees of non-computability of homeomorphism types of Polish spaces.- Time-aware uniformization of winning strategies.- Quantitative Representation Theory of Compact Metric Spaces.- Functions of Baire class one over a Bishop topology.- Combinatorial properties of degree sequences of 3-uniform hypergraphs arising from saind sequences.- The Computational Significance of Hausdorff's Maximal Chain Principle.- Prefix of trace languages: clique polynomials and dependency graphs.- Repetitions in Toeplitz words and the Thue threshold.- Simulation of automata networks.- Theoretical and Implementation Aspects of the Formal Language Server (LaSer).- Balancing Straight-Line Programs for Strings and Trees.- Two-dimensional codes.- Formal Languages in Graph Databases and Information Extraction.- On the perceptron's compression.- #P-completeness of counting update digraphs, cacti, and series-parallel decomposition method.- Faster Online Computation of the Succinct Longest Previous Factor Array.- Recent advances in text-to-pattern distance algorithms.- Insertion-Deletion Systems With Substitutions: The Context-free Case.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 16th Conference on Computability in Europe, CiE 2020, which was planned to be held in Fisciano, Italy, during June 29 until July 3, 2020. The conference moved to a virtual format due to the coronavirus pandemic. The 30 full and 5 short papers presented in this volume were carefully reviewed and selected from 72 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 2020 had as its motto Beyond the Horizon of Computability, reflecting the interest of CiE in research transgressing the traditional boundaries of computability theory.
(source: Nielsen Book Data)

• The Theory of Universal Graphs for Games: Past and Future.- Approximate coalgebra homomorphisms and approximate solutions.- Duality for Instantial Neighbourhood Logic via Coalgebra.- Free-algebra functors from a coalgebraic perspective.- Learning Automata with Side-Effects.- De Finetti's Construction as a Categorical Limit.- Injective Objects and Fibered Codensity Liftings.- Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas.- A categorical approach to secure compilation.- Semantics for rst-order a ne inductive datatypes via slice categories.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2020, colocated with ETAPS 2020, held in Dublin, Ireland, in April 2020. The conference was held as several online events in September and October due to the COVID-19 pandemic. The 9 revised full papers were carefully reviewed and selected from 13 submissions. Also included is one invited talk. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.
(source: Nielsen Book Data)

• Polyhedral Combinatorics.- Integer Programming.- Scheduling.- Matching.- Network Design.- Heuristics.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Symposium on Combinatorial Optimization, ISCO 2020, which was due to be held in Montreal, Canada, in May 2020. The conference was held virtually due to the COVID-19 pandemic. The 24 revised full papers presented in this book were carefully reviewed and selected from 66 submissions.They were organized in the following topical sections: polyhedral combinatorics; integer programming; scheduling; matching; Network Design; Heuristics.
(source: Nielsen Book Data)

• Optimization
• Swarm Intelligence Approach for Rational Global Approximation of Characteristic Curves for the Van Der Waals Equation of State rescuers
• Fuzzy Intelligence in Monitoring Older Adults with Wearables
• Deep Analytics for Management and Cybersecurity of the National Energy Grid
• Regression methods for detecting anomalies in flue gas desulphurization installations in coal-fired power plants based on sensor data
• Autonomous Guided Vehicles for Smart Industries the state of the art and research challenges
• IoT-based cow health monitoring system
• Visual Self-Healing Modelling for Reliable Internet-of-Things Systems
• Comparative Analysis of Time Series Databases in the Context of Edge Computing for Low Power Sensor Networks
• Conversational Interface for Managing Non-Trivial Internet-of-Things Systems
• Improving Coverage Area in Sensor Deployment using Genetic Algorithm
• Object-Oriented Internet Reactive Interoperability
• Impact of long-range dependent traffic in IoT local wireless networks on backhaul link performance
• Track of Computer Graphics, Image Processing and Artificial Intelligence
• OpenGraphGym: A Parallel Reinforcement Learning Framework for Graph Optimization Problems
• Weighted Clustering for Bees Detection on Video Images
• Improved Two-Step Binarization of Degraded Document Images Based on Gaussian Mixture Model
• Cast Shadow Generation using Generative Adversarial Networks
• Medical Image Enhancement using Super Resolution Methods
• Plane Space Representation in Context of Mode-based Symmetry Plane Detection
• Impression Curve as a New Tool in the study of Visual Diversity of Computer Game Levels for Individual Phases of the Design Process
• Visual analysis of computer game output video stream for gameplay metrics
• Depth map estimation with consistent normals from stereo images
• Parametric Learning of Associative Functional Networks Through a Modified Memetic Self-Adaptive Firefly Algorithm
• Dual formulation of the TV-Stokes denoising model for multidimensional vectorial images
• Minimizing material consumption of 3D printing with stress-guided.

The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.* The total of 101 papers and 248 workshop papers presented in this book set were carefully reviewed and selected from 719 submissions (230 submissions to the main track and 489 submissions to the workshops). The papers were organized in topical sections named: Part I: ICCS Main Track Part II: ICCS Main Track Part III: Track of Advances in High-Performance Computational Earth Sciences: Applications and Frameworks; Track of Agent-Based Simulations, Adaptive Algorithms and Solvers; Track of Applications of Computational Methods in Artificial Intelligence and Machine Learning; Track of Biomedical and Bioinformatics Challenges for Computer Science Part IV: Track of Classifier Learning from Difficult Data; Track of Complex Social Systems through the Lens of Computational Science; Track of Computational Health; Track of Computational Methods for Emerging Problems in (Dis- )Information Analysis Part V: Track of Computational Optimization, Modelling and Simulation; Track of Computational Science in IoT and Smart Systems; Track of Computer Graphics, Image Processing and Artificial Intelligence Part VI: Track of Data Driven Computational Sciences; Track of Machine Learning and Data Assimilation for Dynamical Systems; Track of Meshfree Methods in Computational Sciences; Track of Multiscale Modelling and Simulation; Track of Quantum Computing Workshop Part VII: Track of Simulations of Flow and Transport: Modeling, Algorithms and Computation; Track of Smart Systems: Bringing Together Computer Vision, Sensor Networks and Machine Learning; Track of Software Engineering for Computational Science; Track of Solving Problems with Uncertainties; Track of Teaching Computational Science; Track of UNcErtainty QUantIficatiOn for ComputationAl modeLs *The conference was canceled due to the COVID-19 pandemic.

• Efficient Trace-Prediction of Disease Outbreaks in Contact Networks
• Eigen-AD: Algorithmic Differentiation of the Eigen Library ive Causal Relationships between Cannabis, Anxiety and Sleep
• Detecting Critical Transitions in the Human Innate Immune System Post-Cardiac Surgery
• Using individual-based models to look beyond the horizon: the changing effects of household-based clustering of susceptibility to measles in the next 20 years
• Modelling the effects of antibiotics on gut flora using a nonlinear compartment model with uncertain parameters
• Stochastic volatility and early warning indicator
• Boost and Burst: Bubbles in the Bitcoin Market
• Estimation of tipping points for critical and transitional regimes in the evolution of complex interbank network
• Modeling of Fire Spread including Different Heat Transfer Mechanisms using Cellular Automata
• Narrow passage problem solution for motion planning
• Fault Injection, Detection and Treatment in Simulated Autonomous Vehicles
• Using Cellular Automata to Model High Density Pedestrian Dynamics
• Autonomous Vehicles as Local Traffic Optimizers
• Modeling Helping Behavior in Emergency Evacuations using Volunteers Dilemma Game
• Learning Mixed Traffic Signatures in Shared Networks
• A Novel Metric to Evaluate In Situ Workflows
• Social Recommendation in Dynamic Evolving Relation Network
• DDNE: Discriminative Distance Metric Learning for Network Embedding
• Extracting Backbone Structure of a Road Network from Raw Data
• Look Deep into the New Deep Network: A Measurement Study on the ZeroNet
• Identifying influential spreaders on a weighted network using HookeRank method
• Community aware models of meme spreading in micro-blog social networks
• Dynamic Vote-Rank Based Approach for Effective Sequential Initialization of Information Spreading Processes within Complex Networks
• On the Planarity of Validated Complexes of Model Organisms in Protein-Protein Interaction Networks
• Towards Modeling of Information Processing within Business-Processes of Service-Providing Organizations
• A Probabilistic Infection Model for.

The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.* The total of 101 papers and 248 workshop papers presented in this book set were carefully reviewed and selected from 719 submissions (230 submissions to the main track and 489 submissions to the workshops). The papers were organized in topical sections named: Part I: ICCS Main Track Part II: ICCS Main Track Part III: Advances in High-Performance Computational Earth Sciences: Applications and Frameworks; Agent-Based Simulations, Adaptive Algorithms and Solvers; Applications of Computational Methods in Artificial Intelligence and Machine Learning; Biomedical and Bioinformatics Challenges for Computer Science Part IV: Classifier Learning from Difficult Data; Complex Social Systems through the Lens of Computational Science; Computational Health; Computational Methods for Emerging Problems in (Dis- )Information Analysis Part V: Computational Optimization, Modelling and Simulation; Computational Science in IoT and Smart Systems; Computer Graphics, Image Processing and Artificial Intelligence Part VI: Data Driven Computational Sciences; Machine Learning and Data Assimilation for Dynamical Systems; Meshfree Methods in Computational Sciences; Multiscale Modelling and Simulation; Quantum Computing Workshop Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks and Machine Learning; Software Engineering for Computational Science; Solving Problems with Uncertainties; Teaching Computational Science; UNcErtainty QUantIficatiOn for ComputationAl modeLs *The conference was canceled due to the COVID-19 pandemic.

• Rity in decision-making problems
• Innovativeness Analysis of Scholarly Publications by Age Prediction using Ordinal Regression
• Advantage of Using Spherical over Cartesian Coordinates in the Chromosome Territories 3D Modeling
• Adaptive and Efficient Transfer for Online Remote Visualization of Critical Weather Applications Detection on Attributed Networks
• SciNER: Extracting Named Entities From Scientific Literature
• GPU-embedding of kNN-graph representing large and high-dimensional data
• Evolving Long Short-Term Memory Networks
• Personality Recognition from Source Code Based on Lexical, Syntactic and Semantic Features
• Data fitting by exponential sums with equal weights
• A Combination of Moment Descriptors, Fourier Transform and Matching Measures for Action Recognition Based on Shape
• Improving accuracy and speeding up Document Image Classification through parallel systems
• Computation of the airborne contaminant transport in urban area by the artificial neural network
• Exploring Musical Structure using Tonnetz Lattice Geometry and LSTMs
• Modeling of Anti-tracking Network based on Convex-polytope Topology
• A Workload Division Differential Privacy Algorithm to Improve the Accuracy for Linear Computations
• On the Automated Assessment of Open-Source Cyber Threat Intelligence Sources
• Malicious Domain Detection Based on K-means and SMOTE
• Microservice Disaster Crash Recovery: A Weak Global Referential Integrity Management
• Hashing Based Prediction for Large-Scale Kernel Machine
• Picking Peaches or Squeezing Lemons: Selecting Crowdsourcing Workers for Reducing Cost of Redundancy
• Are n-gram Categories Helpful in Text Classification?
• Calculating Reactive Power Compensation for Large-scale Street Lighting
• Developing a Decision Support App for Computational Agriculture
• Optimal Location of Sensors for Early Detection of Tsunami Waves
• A Novel Formulation for Inverse Distance Weighting from Weighted Linear Regression
• Addressing the Robustness of Resource Allocation in the Presence of Application and System Irregularities via PEPA Based Modeling
• An Adaptive Computational Network Model for Strange Loops in Political Evolution in Society
• Joint Entity Linking for Web Tables with Hybrid Semantic Matching
• A new coefficient of rankings simila.

The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.* The total of 101 papers and 248 workshop papers presented in this book set were carefully reviewed and selected from 719 submissions (230 submissions to the main track and 489 submissions to the workshops). The papers were organized in topical sections named: Part I: ICCS Main Track Part II: ICCS Main Track Part III: Advances in High-Performance Computational Earth Sciences: Applications and Frameworks; Agent-Based Simulations, Adaptive Algorithms and Solvers; Applications of Computational Methods in Artificial Intelligence and Machine Learning; Biomedical and Bioinformatics Challenges for Computer Science Part IV: Classifier Learning from Difficult Data; Complex Social Systems through the Lens of Computational Science; Computational Health; Computational Methods for Emerging Problems in (Dis- )Information Analysis Part V: Computational Optimization, Modelling and Simulation; Computational Science in IoT and Smart Systems; Computer Graphics, Image Processing and Artificial Intelligence Part VI: Data Driven Computational Sciences; Machine Learning and Data Assimilation for Dynamical Systems; Meshfree Methods in Computational Sciences; Multiscale Modelling and Simulation; Quantum Computing Workshop Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks and Machine Learning; Software Engineering for Computational Science; Solving Problems with Uncertainties; Teaching Computational Science; UNcErtainty QUantIficatiOn for ComputationAl modeLs *The conference was canceled due to the COVID-19 pandemic.

• Utional Neural Networks
• Risk-based AED Placement
• Singapore Case
• Time Expressions Identification without Human-labeled Corpus for Clinical Text Mining in Russian
• Experiencer detection and automated extraction of a family disease tree from medical texts in Russian language
• Computational Methods for Emerging Problems in (Dis- )Information Analysis
• Machine Learning
• the results are not the only thing that matters! What about security, explainability and fairness?
• Syntactic and Semantic Bias Detection and Countermeasures
• Detecting Rumours in Disasters: An Imbalanced Learning Approach
• Sentiment Analysis for Fake News Detection by Means of Neural Networks ion in Temporal Networks
• Evaluation of the Costs of Delayed Campaigns for Limiting the Spread of Negative Content, Panic and Rumours in Complex Networks
• From generality to specificity: on matter of scale in social media topic Communities
• Computational Health
• Hybrid Text Feature Modeling for Disease Group Prediction using Unstructured Physician Notes
• Early signs of critical slowing down in heart surface electrograms of ventricular fibrillation victims
• A Comparison of Generalized Stochastic Milevsky-Promislov Mortality Models with continuous non-Gaussian Filters
• Ontology-Based Inference for Supporting Clinical Decisions in Mental Health
• Towards Prediction of Heart Arrhythmia Onset Using Machine Learning
• Stroke ICU Patient Mortality Day Prediction
• Universal measure for medical image quality evaluation based on gradient approach
• Constructing Holistic Patient Flow Simulation Using System Approach
• Investigating Coordination of Hospital Departments in Delivering Healthcare for Acute Coronary Syndrome Patients using Data-Driven Network Analysis
• A Machine Learning Approach To Short-term Body Weight Prediction In A Dietary Intervention Program
• An analysis of demographic data in Irish healthcare domain to support semantic uplift
• From Population to Subject-Specific Reference Intervals
• Analyzing the spatial distribution of acute coronary syndrome cases using synthesized data on arterial hypertension prevalence
• The Atrial Fibrillation Risk Score for Hyperthyroidism Patients
• Applicability of Machine Learning Methods to Multi-Label Medical Text Classification
• Machine Learning Approach for the Early Prediction of the Risk of Overweight and Obesity in Young People
• Gait Abnormality Detection in People with Cerebral Palsy using an Uncertainty-based State-space Model
• Analyses of public health databases via clinical pathway modelling: TBWEB
• Preliminary results on Pulmonary Tuberculosis detection in Chest X-Ray using Convol.

The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.* The total of 101 papers and 248 workshop papers presented in this book set were carefully reviewed and selected from 719 submissions (230 submissions to the main track and 489 submissions to the workshops). The papers were organized in topical sections named: Part I: ICCS Main Track Part II: ICCS Main Track Part III: Advances in High-Performance Computational Earth Sciences: Applications and Frameworks; Agent-Based Simulations, Adaptive Algorithms and Solvers; Applications of Computational Methods in Artificial Intelligence and Machine Learning; Biomedical and Bioinformatics Challenges for Computer Science Part IV: Classifier Learning from Difficult Data; Complex Social Systems through the Lens of Computational Science; Computational Health; Computational Methods for Emerging Problems in (Dis- )Information Analysis Part V: Computational Optimization, Modelling and Simulation; Computational Science in IoT and Smart Systems; Computer Graphics, Image Processing and Artificial Intelligence Part VI: Data Driven Computational Sciences; Machine Learning and Data Assimilation for Dynamical Systems; Meshfree Methods in Computational Sciences; Multiscale Modelling and Simulation; Quantum Computing Workshop Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks and Machine Learning; Software Engineering for Computational Science; Solving Problems with Uncertainties; Teaching Computational Science; UNcErtainty QUantIficatiOn for ComputationAl modeLs *The conference was canceled due to the COVID-19 pandemic.

• Tributed Quantum Phase Estimation
• Optimal representation of quantum channels
• Perturbation of the numerical range of unitary matrices
• Design of Short Codes for Quantum Channels with Asymmetric Pauli Errors
• Simulation Methodology for Electron Transfer in CMOS Quantum Dots movement of the walls: simulation of an aortic valve
• Radial Basis Functions Mesh Morphing
• A comparison between the bi-harmonic spline and the Wendland C2 radial function
• Radial Basis Function Approximation Optimal Shape Parameters Estimation: Preliminary Experimental Results
• Multiscale Modelling and Simulation
• Projective Integration for Moment Models of the BGK Equation
• Open Boundary Modeling in Molecular Dynamics with Machine Learning
• Microtubule Biomechanics and the Effect of Degradation of Elastic Moduli
• Formation of morphogenetic patterns in cellular automata
• Multilevel Monte Carlo with improved correlation for kinetic equations in the diffusive scaling
• Development and application of the Statistically Similar Representative Volume Element for numerical modelling of multiphase materials
• A heterogeneous multi-scale model for blood flow
• Towards Accurate Simulation of Global Challenges on Data Centers Infrastructures via Coupling of Models and Data Sources
• Easing multiscale model design and coupling with MUSCLE 3
• Quantum Computing Workshop
• Simulations of Quantum Finite Automata
• LibKet: A cross-platform programming framework for quantumaccelerated scientific computing
• Generalized Quantum Deutsch-Jozsa Algorithm
• Revisiting old combinatorial beasts in the quantum age: quantum annealing versus maximal matching
• A Quantum Annealing Algorithm for Finding Pure Nash Equilibria in Graphical Games
• Hybrid quantum annealing heuristic method for solving Job Shop Scheduling Problem
• Foundations for Workflow Application Scheduling on D-Wave System
• A Hybrid Solution Method for the Multi-Service Location Set Covering Problem
• New hybrid quantum annealing algorithms for solving Vehicle Routing Problem
• Multi-agent reinforcement learning using simulated quantum annealing
• Quantum Hopfield neural networks: A new approach and its storage Capacity
• A Variational algorithm for Quantum Neural Networks
• Imperfect Dis.

The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.* The total of 101 papers and 248 workshop papers presented in this book set were carefully reviewed and selected from 719 submissions (230 submissions to the main track and 489 submissions to the workshops). The papers were organized in topical sections named: Part I: ICCS Main Track Part II: ICCS Main Track Part III: Advances in High-Performance Computational Earth Sciences: Applications and Frameworks; Agent-Based Simulations, Adaptive Algorithms and Solvers; Applications of Computational Methods in Artificial Intelligence and Machine Learning; Biomedical and Bioinformatics Challenges for Computer Science Part IV: Classifier Learning from Difficult Data; Complex Social Systems through the Lens of Computational Science; Computational Health; Computational Methods for Emerging Problems in (Dis- )Information Analysis Part V: Computational Optimization, Modelling and Simulation; Computational Science in IoT and Smart Systems; Computer Graphics, Image Processing and Artificial Intelligence Part VI: Data Driven Computational Sciences; Machine Learning and Data Assimilation for Dynamical Systems; Meshfree Methods in Computational Sciences; Multiscale Modelling and Simulation; Quantum Computing Workshop Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks and Machine Learning; Software Engineering for Computational Science; Solving Problems with Uncertainties; Teaching Computational Science; UNcErtainty QUantIficatiOn for ComputationAl modeLs *The conference was canceled due to the COVID-19 pandemic.

• International Workshop on Scientific Computing Infrastructure (SCI 2020).- International Workshop on Computational Studies for Energy and Comfort in Buildings (SECoB 2020).- International Symposium on Software Engineering Processes and Applications (SEPA 2020).
• (source: Nielsen Book Data)

The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020. Due to COVID-19 pandemic the conference was organized in an online event. Computational Science is the main pillar of most of the present research, industrial and commercial applications, and plays a unique role in exploiting ICT innovative technologies. The 466 full papers and 32 short papers presented were carefully reviewed and selected from 1450 submissions. Apart from the general track, ICCSA 2020 also include 52 workshops, in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as software engineering, security, machine learning and artificial intelligence, blockchain technologies, and of applications in many fields. .
(source: Nielsen Book Data)

• International Workshop on Scientific Computing Infrastructure (SCI 2020).- International Workshop on Computational Studies for Energy and Comfort in Buildings (SECoB 2020).- International Symposium on Software Engineering Processes and Applications (SEPA 2020).
• (source: Nielsen Book Data)

The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020. Due to COVID-19 pandemic the conference was organized in an online event. Computational Science is the main pillar of most of the present research, industrial and commercial applications, and plays a unique role in exploiting ICT innovative technologies. The 466 full papers and 32 short papers presented were carefully reviewed and selected from 1450 submissions. Apart from the general track, ICCSA 2020 also include 52 workshops, in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as software engineering, security, machine learning and artificial intelligence, blockchain technologies, and of applications in many fields. .
(source: Nielsen Book Data)

• International Workshop on Scientific Computing Infrastructure (SCI 2020).- International Workshop on Computational Studies for Energy and Comfort in Buildings (SECoB 2020).- International Symposium on Software Engineering Processes and Applications (SEPA 2020).
• (source: Nielsen Book Data)

• International Workshop on Smart Ports - Technologies and Challenges (SmartPorts 2020).- International Workshop on Sustainability Performance Assessment: Models, Approaches and Applications toward Interdisciplinary and Integrated Solutions (SPA 2020).- International Workshop on Smart and Sustainable Island Communities (SSIC 2020).- International Workshop on Science, Technologies and Policies to Innovate Spatial Planning (STP4P 2020).- International Workshop on New frontiers for Strategic Urban Planning (StrategicUP 2020).- InternationalWorkshop on Theoretical and Computational Chemistry and its Applications (TCCMA 2020).- International Workshop on Tools and Techniques in Software Development Process (TTSDP 2020).- International Workshop on Urban Form Studies (UForm 2020).- InternationalWorkshop on Urban Space Extended Accessibility (USEAccessibility 2020).- International Workshop on Virtual and Augmented Reality and Applications (VRA 2020).- International Workshop on Advanced and Computational Methods for Earth Science Applications (WACM4ES 2020).- International Workshop on High Performace and Pervasive Computing (WHPPC 2020).
• (source: Nielsen Book Data)

The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020. Due to COVID-19 pandemic the conference was organized in an online event. Computational Science is the main pillar of most of the present research, industrial and commercial applications, and plays a unique role in exploiting ICT innovative technologies. The 466 full papers and 32 short papers presented were carefully reviewed and selected from 1450 submissions. Apart from the general track, ICCSA 2020 also include 52 workshops, in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as software engineering, security, machine learning and artificial intelligence, blockchain technologies, and of applications in many fields. .
(source: Nielsen Book Data)

• Subspace approximation with outliers.- Linear-time Algorithms for Eliminating Claws in Graphs.- A new lower bound for the eternal vertex cover number of graphs.- Bounded-Degree Spanners in the Presence of Polygonal Obstacles.- End-Vertices of AT-free Bigraphs.- Approaching Optimal Duplicate Detection in a Sliding Window.- Computational Complexity Characterization of Protecting Elections from Bribery.- Coding with Noiseless Feedback over the Z-channel.- Path-monotonic Upward Drawings of Plane Graphs.- Seamless Interpolation between Contraction Hierarchies and Hub Labels for fast and space-e cient Shortest Path Queries in Road Networks.- Visibility polygon queries among dynamic polygonal obstacles in plane.- How Hard is Completeness Reasoning for Conjunctive Queries?.- Imbalance Parameterized by Twin Cover Revisited.- Local Routing in a Tree Metric 1-Spanner.- Deep Specification Mining with Attention.- Constructing Independent Spanning Trees in Alternating Group Networks.- W[1]-Hardness of the k-Center Problem Parameterized by the Skeleton Dimension.- An Optimal Lower Bound for Hierarchical Universal Solutions for TSP on the Plane.- Quantum Speedup for the Minimum Steiner Tree Problem.- Access Structure Hiding Secret Sharing from Novel Set Systems and Vector Families.- Approximation algorithms for car-sharing problems.- Realization Problems on Reachability Sequences.- Power of Decision Trees with Monotone Queries.- Computing a maximum clique in geometric superclasses of disk graphs.- Visibility.- Tight approximation for the minimum bottleneck generalized matching problem.- Graph Classes and Approximability of the Happy Set Problem.- A Simple Primal-Dual Approximation Algorithm for 2-Edge-Connected Spanning Subgraphs.- Uniqueness of $DP$-Nash Subgraphs and $D$-sets.- On the Enumeration of Minimal Non-Pairwise Compatibility Graphs.- Constructing Tree Decompositions of Graphs with Bounded Gonality.- Election Control through Social In uence with Unknown Preferences.- New Symmetry-less ILP Formulation for the Classical One Dimensional Bin-Packing Problem.- On the Area Requirements of Planar Greedy Drawings of Triconnected Planar Graphs.- On the Restricted 1-Steiner Tree Problem.- Computational Complexity of Synchronization under Regular Commutative Constraints.- Approximation algorithms for general cluster routing problem.- Hardness of Sparse Sets and Minimal Circuit Size Problem.- Succinct Monotone Circuit Certi cation: Planarity and Parameterized Complexity.- On Measures of Space Over Real and Complex Numbers.- Parallelized maximization of nonsubmodular function subject to a cardinality constraint.- An improved Bregman $k$-means++ algorithm via local search.- On the Complexity of Directed Intersection Representation of DAGs.- On the Mystery of Negations in Circuits : Structure vs Power.- Even better xed-parameter algorithms for bicluster editing.- Approximate Set Union via Approximate Randomization.- A Non-Extendibility Certi cate for Submodularity and Applications.- Parameterized Complexity of Maximum Edge Colorable Subgraph.- Approximation Algorithms for the Lower-Bounded k-Median and Ist Generalizations.- A Survey for Conditional Diagnosability of Alternating Group Networks.- Fixed Parameter Tractability of Graph Deletion Problems over Data Streams.- Mixing of Markov Chains for Independent Sets on Chordal Graphs with Bounded Separators.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 26th International Conference on Computing and Combinatorics, COCOON 2020, held in Atlanta, GA, USA, in August 2020. Due to the COVID-19 pandemic COCOON 2020 was organized as a fully online conference. The 54 papers presented in this volume were carefully reviewed and selected from 126 submissions. The papers cover various topics, including algorithm design, approximation algorithm, graph theory, complexity theory, problem solving, optimization, computational biology, computational learning, communication network, logic, and game theory.
(source: Nielsen Book Data)

• Fast Performance Estimation and Design Space Exploration of SSD Using AI Techniques.- Combining Task- and Data-level Parallelism for High-throughput CNN Inference on Embedded CPUs-GPUs MPSoCs.- AMAIX: A Generic Analytical Model for Deep Learning Accelerators.- Data Mining in System-Level Design Space Exploration of Embedded Systems.- CoPTA: Contiguous Pattern Speculating TLB Architecture.- A Fine-Granularity Image Pyramid Accelerator for Embedded Processors.- Rec2Poly: Converting Recursions to Polyhedral Optimized Loops Using an Inspector-Executor Strategy.- DRAMSys4
• .0: A Fast and Cycle-Accurate SystemC/TLM-Based DRAM Simulator.- Transpiling Python to Rust for Optimized Performance.- A Fast Heuristic to Pipeline SDF Graphs.- System Simulation of Memristor Based Computation in Memory Platforms.- Compiler Optimizations for Safe Insertion of Checkpoints in Intermittently Powered Systems.- Fine-Grained Power Modeling of Multicore Processors using FFNNs.- From High-Level Synthesis to Bundled-Data Circuits.- Energy-aware Partial-Duplication Task Mapping under Real-Time and Reliability Constraints.- A Quantitative Study of Locality in GPU Caches.- SPECIAL SESSION: Innovative Architectures for Security.- CHASM: Security Evaluation of Cache Mapping Schemes.- DeePar-SCA: Breaking Parallel Architectures of Lattice Cryptography via Learning Based Side-Channel Attacks.- Profiling Dilithium Digital Signature Traces for Correlation Differential Side Channel Attacks.- S-NET: A Confusion Based Countermeasure Against Power Attacks for SBOX.- Risk and Architecture factors in Digital Exposure Notification.- SPECIAL SESSION: European Projects on Embedded and High Performance Computing for Health Applications.- Introduction to the Special Session on "European Projects on Embedded and High Performance Computing for Health Applications".- VGM-Bench: FPU Benchmark Suite for Computer Vision, Computer Graphics and Machine Learning applications.- Decision Support Systems to Promote Health and Well-being of People of Working Age: the Case of the WorkingAge EU Project.- Technical Debt Management and Energy Consumption Evaluation in Implantable Medical Devices: The SDK4ED Approach.- Distributed Training on a Highly Heterogeneus HPC System.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 20th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2020, held in Samos, Greece, in July 2020.*The 16 regular papers presented were carefully reviewed and selected from 35 submissions. In addition, 9 papers from two special sessions were included, which were organized on topics of current interest: innovative architectures for security and European projects on embedded and high performance computing for health applications. * The conference was held virtually due to the COVID-19 pandemic.
(source: Nielsen Book Data)

• On the Semantics of Polychronous Polytimed Specifications.- Backward Symbolic Optimal Reachability in Weighted Timed Automata.- Certifying Emptiness of Timed Buchi Automata.- Learning Specifications for Labelled Patterns.- On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games.- Computing Maximally-Permissive Strategies in Acyclic Timed Games.- Dynamic Causes for the Violation of Timed Reachability Properties.- Active Learning of Timed Automata with Unknown Resets.- Computation of Transient in Max-Plus Linear Systems via SMT-Solving.- Clairvoyant Monitoring for Signal Temporal Logic Patterns.- Embedding Online RV for Fault Disambiguation on Robonaut2.- Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata.- Probabilistic Guarantees for Safe Deep Reinforcement Learning.- Incremental Methods for Checking Real-Time Consistency.- Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling.- Weakness Monitors for Fail-Aware Systems.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints. Due to the Corona pandemic this conference was held as a virtual event.
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• Contents
• Complexity Results for the Proper Disconnection of Graphs
• 1 Introduction
• 2 Hardness Results for Graphs with Maximum Degree Four
• 3 Hardness Results for Bipartite Graphs
• References
• A Polynomial Delay Algorithm for Enumerating 2-Edge-Connected Induced Subgraphs
• 1 Introduction
• 2 Preliminary
• 2.1 Graphs and Notations
• 2.2 Enumeration Algorithms
• 3 Family Tree of 2-Edge-Connected Induced Subgraphs
• 4 Enumeration Algorithm
• References
• An Optimal Algorithm for Bisection for Bounded-Treewidth Graph
• 1 Introduction

• 2 Preliminaries
• 3 Bounded-Treewidth Graphs
• 3.1 An O(2tn3)-Time Algorithm
• 3.2 A Refined Analysis for Join Nodes
• 3.3 Optimality of Our Algorithm
• 4 Hardness on Graph Classes
• 5 Line Graphs
• 6 Conclusion
• References
• Influence Maximization Under the Non-progressive Linear Threshold Model
• 1 Introduction
• 2 Preliminaries
• 3 Hardness of Maximization Problem
• 4 Acyclic Information Networks
• 4.1 Connection to the Random Walk
• 4.2 Submodularity of Acyclic NLT
• 5 Conclusions
• References
• Car-Sharing: Online Scheduling k Cars Between Two Locations
• 1 Introduction

• 1.1 Related Work
• 1.2 Problem Description and Preliminaries
• 1.3 Main Results
• 2 Lower Bounds
• 3 Upper Bounds
• 3.1 Greedy Dispatching (GD) Algorithm
• 3.2 Balanced Dispatching (BD)
• 4 Conclusions
• References
• Buffer Minimization with Conflicts on a Line
• 1 Introduction
• 1.1 Overview of Results
• 1.2 Related Literature
• 2 Definitions
• 3 The Competitive Ratio of the Path with Four Machines
• 4 Bounds on the Competitive Ratio for Five Machines
• 5 Results on m Machines
• References
• Single Machine Scheduling Problem with a Flexible Maintenance Revisited

• 1 Introduction
• 2 The Exact Worst-Case Bound
• 3 Initial Start Time Sensitivity Analysis
• References
• Minimizing Energy on Homogeneous Processors with Shared Memory
• 1 Introduction
• 2 Preliminaries
• 2.1 System and Task Model
• 2.2 Problem Definition
• 3 Warm-Up: Single Core Case
• 4 Multi-core Case
• 4.1 Computing Optimal Schedule for a Given Task Assignment
• 4.2 Task Assignment
• References
• Approximation Schemes for Subset Sum Ratio Problems
• 1 Introduction
• 2 Families of Variations of SSR
• 3 A Framework Yielding FPTAS for Problems in F-SSR
• 4 2-Set SSR

• 5 Approximation of SSR and Factor-r SSR
• References
• Two-Way Jumping Automata
• 1 Introduction
• 2 Preliminaries
• 2.1 Tape Head Modes
• 3 Two-Way Jumping Mode
• 4 Equivalence with Alternatively Defined RLDFA
• 5 Avoiding Infinite Loops
• References
• A Loopless Algorithm for Generating (k, m)-ary Trees in Gray-Code Order
• 1 Introduction
• 2 Preliminaries
• 3 A Loopless Algorithm
• 4 Concluding Remarks
• References
• An LP-Rounding Based Algorithm for a Uniform Capacitated Facility Location Problem with Penalties
• 1 Introduction
• 1.1 Background
• 1.2 Literature Reviews

This book constitutes the proceedings of the 14th International Workshop on Frontiers in Algorithmics, FAW 2020, held in Haikou, China, in May 2020. The conference was held virtually due to the COVID-19 pandemic. The 12 full papers presented in this volume were carefully reviewed and selected from 15 submissions. The workshop provides a focused forum on current trends of research on algorithms, discrete structures, and their applications, and brings together international experts at the research frontiers in these areas to exchange ideas and to present significant new results. The papers detail graph theory, scheduling and algorithm and complexity.
(source: Nielsen Book Data)

• Theoretical Advances.- Conditional Bigraphs.- Confluence up to Garbage.- Computing embeddings of directed bigraphs.- A Categorical Semantics for Guarded Petri Nets.- Unfolding Symbolic Attributed Graph Grammars.- Single Pushout Rewriting in Comprehensive Systems.- Initial Conflicts for Transformation Rules with Nested Application Conditions.- Patch Graph Rewriting.- Hypergraph basic categorial grammars.- Multilevel Typed Graph Transformations.- Application Domains.- Rewriting Theory for the Life Sciences: A Unifying Framework for CTMC Semantics.- Algebras for tree decomposable graphs.- Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers.- Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations.- Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions.- Optimistic and Pessimistic On-the- y Analysis for Metric Temporal Graph Logic.- Tool Presentations.- A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java.- Multiscale graph grammars can generate Cayley graphs of groups and monoids.- The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants.- A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and tool presentations. *The conference was held virtually due to the COVID-19 pandemic.
(source: Nielsen Book Data)

• Search and Recommendation.- Improving Search Snippets in Context-aware Web Search Scenarios.- Investigating Fine-grained Usefulness Perception Process in Mobile Search.- ResFusion: A Residual Learning based Fusion Framework for CTR Prediction.- NLP for IR.- A Framework for Identifying Event's Relevance Comments in Twitter.- Enriching Pre-trained Language Model with Dependency Syntactic Information for Chemical-Protein Interaction Extraction.- Leveraging Label Semantics and Correlations for Judgment Prediction.- Position-aware hybrid attention network for Aspect-level Sentiment Analysis.- IR in Finance.- An Integrated Machine Learning Framework for Stock Price Prediction.- Empirical Research on Futures Trading Strategy Based on Time Series Algorithm.- Hierarchical Attention Network in Stock Prediction.- Online Topic Detection and Tracking System and its Application on Stock Market in China.- Semi-Supervised Sentiment Analysis for Chinese Stock Texts in Scarce Labeled Data Scenario and Price Prediction.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 26th China Conference on Information Retrieval, CCIR 2020, held in Xi'an, China, in August 2020.*The 12 full papers presented were carefully reviewed and selected from 102 submissions. The papers are organized in topical sections: search and recommendation, NLP for IR, and IR in finance. * Due to the COVID-19 pandemic the conference was held online supplemented with local on-site events.
(source: Nielsen Book Data)

• Algorithmic.- Hypergraph Decompositions.- Multi-Agent Path Finding.- New Constraint Programming Model.- On-Demand Multimodal Transit Systems.- Integer programming techniques.- Constrained Clustering.- Deep Neural Networks.- *Inference and relaxation methods.- Innovative applications of CP/AI/OR techniques.
• (source: Nielsen Book Data)

The volume LNCS 12296 constitutes the papers of the 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research which will be held online in September 2020. The 32 regular papers presented together with 4 abstracts of fast-track papers were carefully reviewed and selected from a total of 72 submissions. Additionally, this volume includes the 4 abstracts and 2 invited papers by plenary speakers. The conference program also included a Master Class on the topic "Recent Advances in Optimization Paradigms and Solving Technology".
(source: Nielsen Book Data)

• Section 1: Invited talks
• Section 2: Discrete optimization
• Section 3: Mathematical Programming
• Section 4: Game theory
• Section 5: Scheduling problem
• Section 6: Heuristics and Metaheuristics
• Section 7: Operational Research Applications.

This book constitutes the proceedings of the 19th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2020, held in Novosibirsk, Russia, in July 2020. The 31 full papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers are grouped in these topical sections: discrete optimization; mathematical programming; game theory; scheduling problem; heuristics and metaheuristics; and operational research applications.
(source: Nielsen Book Data)

• Foundations of Reversible Computation
• Software and Reversible Systems: A Survey of Recent Activities
• Simulation and Design of Quantum Circuits
• Research on Reversible Functions Having Component Functions with Specified Properties
• An Overview
• A Case Study for Reversible Computing: Reversible Debugging
• Towards Choreographic-Based Monitoring
• Reversibility in Chemical Reactions
• Reversible Control of Robots
• Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation
• Reversible Computation in Wireless Communications
• Error Reconciliation in Quantum Key Distribution Protocols.

This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first

• Data Structures.- Algorithms.- Information Retrieval.- Compression.- Combinatorics on Words.- Computational Biology.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, SPIRE 2020, held in Orlando, FL, USA, in October 2020. The 17 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 32 submissions. They cover topics such as: data structures; algorithms; information retrieval; compression; combinatorics on words; and computational biology.
(source: Nielsen Book Data)

• Invited Papers.- Mobile Robots.- Dynamic Graphs.- Network Communication.- Multi-agent Systems.- Communication Complexity.- Game Theory.
• (source: Nielsen Book Data)

This book constitutes the refereed conference proceedings of the 27th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2020, held in Paderborn, Germany, in June 2020.* The 19 full papers and 2 invited papers presented in this book were carefully reviewed and selected from 41 submissions. They are divided into seven sections, i.e. invited papers; mobile robots; dynamic graphs; network communication; multi-agent systems; communication complexity; and game theory. * The conference was held virtually due to the COVID-19 pandemic.
(source: Nielsen Book Data)

• Session I
• File Systems, Storage and Communication.- A BeeGFS-based Caching File System for Data-intensive Parallel Computing.- Multiple HPC Environments-Aware Container Image Configuration Workflow for Large-Scale All-to-All Protein-Protein Docking Calculations.- DAOS: A Scale-out High Performance Storage Stack for Storage Class Memory.- Cloud Platform Optimization for HPC.- Session II
• Applications and Scheduling.- swGBDT: Efficient Gradient Boosted Decision Tree on Sunway Many-core Processor.- Numerical Simulations of Serrated Propellers to Reduce Noise.- High-performance Computing in Maritime and Offshore Applications.- Correcting Job Walltime in a Resource-Constrained Environment.

This open access book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned to be held in February 2020, but unfortunately, the physical conference was cancelled due to the COVID-19 pandemic. The 8 full papers presented in this book were carefully reviewed and selected from 22 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.

• Dirac-based Reduction Techniques for Quantitative Analysis of Discrete-time Markov Models.- Combining Machine and Automata Learning for Network Traffic Classification.- On the complexity of the upper r-tolerant edge cover problem.- Margin-based Semi-supervised Learning Using Apollonius circle.- Computing Boundary Cycle of a Pseudo-Triangle Polygon from its Visibility Graph.- Improved Algorithms for Distributed Balanced Clustering.- Finite Interval-Time Transition System for Real-Time Actors.- Path Planning with Objectives Minimum Length and Maximum Clearance.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the Third IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2020, held in Tehran, Iran, in July 2020. The conference was held virtually due to the COVID-19 pandemic. The 8 papers presented in this volume were carefully reviewed and selected from 24 submissions. They focus on novel and high-quality research in all areas of theoretical computer science, such as algorithms and complexity; logic, semantics, and programming theory; and more.
(source: Nielsen Book Data)

• Seeing Arboretum for the (partial k) Trees / Stefan Arnborg, Andrzej Proskurowski-- Collaborating With Hans: Some Remaining Wonderments / Michael R. Fellows, Frances A. Rosamond
• Hans Bodlaender and the Theory of Kernelization Lower Bounds / Danny Hermelin-- Algorithms, Complexity, and Hans / Jan van Leeuwen-- Lower Bounds for Dominating Set in Ball Graphs and for Weighted Dominating Set in Unit-Ball Graphs / Mark de Berg, Sándor Kisfaludi-Bak
• As Time Goes By: Reflections on Treewidth for Temporal Graphs / Till Fluschnik, Hendrik Molter, Rolf Niedermeier, Malte Renken, Philipp Zschoche
• Possible and Impossible Attempts to Solve the Treewidth Problem via ILPs / Alexander Grigoriev
• Crossing Paths with Hans Bodlaender: A Personal View on Cross-Composition for Sparsification Lower Bounds / Bart M. P. Jansen
• Efficient Graph Minors Theory and Parameterized Algorithms for (Planar) Disjoint Paths / Daniel Lokshtanov, Saket Saurabh, Meirav Zehavi
• Four shorts stories on surprising algorithmic uses of treewidth / Dániel Marx
• Algorithms for NP-Hard Problems via Rank-related Parameters of Matrices / Jesper Nederlof
• A Survey on Spanning Tree Congestion / Yota Otachi
• Surprising Applications of Treewidth Bounds for Planar Graphs / Marcin Pilipczuk
• Computing tree decompositions / Michał Pilipczuk
• Experimental analysis of treewidth / Hisao Tamaki
• A Retrospective on (Meta) Kernelization / Dimitrios M. Thilikos
• Games, Puzzles and Treewidth / Tom C. van der Zanden
• Fast Algorithms for Join Operations on Tree Decompositions / Johan M. M. van Rooij.

This Festschrift was published in honor of Hans L. Bodlaender on the occasion of his 60th birthday. The 14 full and 5 short contributions included in this volume show the many transformative discoveries made by H.L. Bodlaender in the areas of graph algorithms, parameterized complexity, kernelization and combinatorial games. The papers are written by his former Ph. D. students and colleagues as well as by his former Ph. D. advisor, Jan van Leeuwen.

• 1. Minimization of testing costs in capacity-constrained database migration / K. Subramani, Bugra Caskurlu, and Alvaro Velasquez
• 2. Community detection via neighborhood overlap and spanning tree computations / Ketki Kulkarni, Aris Pagourtzis, Katerina Potika, Petros Potikas, and Dora Souliou
• 3. Colocation, colocation, colocation : optimizing placement in the hybrid cloud / Srinivas Aiyar, Karan Gupta, Rajmohan Rajaraman, Bochao Shen, Zhifeng Sun, and Ravi Sundaram
• 4. A peer-to-peer based cloud storage supporting orthogonal range queries of arbitrary dimension / Markus Benter, Till Knollmann, Friedhelm Meyer auf der Heide, Alexander Setzer, and Jannik Sundermeier
• 5. A fully polynomial time approximation scheme for packing while traveling / Frank Neumann, Sergey Polyakovskiy, Martin Skutella, Leen Stougie, and Junhua Wu
• 6. Multi-commodity flow with in-network processing / Moses Charikar, Yonatan Naamad, Jenifer Rexford, and X. Kelvin Zou
• 7. On-line big-data processing for visual analytics with Argus-Panoptes / Panayiotis I. Vlantis and Alex Delis
• 8. An overview of big data issues in privacy-preserving record linkage / Dinusha Vatsalan, Dimitrios Karapiperis, and Aris Gkoulalas-Divanis
• 9. Web frameworks metrics and benchmarks for data handling and visualization / Alexandros Gazis and Eleftheria Katsiri
• 10. Algorithms for cloud-based smart mobility / Kalliopi Giannakopoulou
• 11. A frequent itemset hiding toolbox / Aris Gkoulalas-Divanis, Vasileios Kagklis, and Elias C. Stavropoulos.

This book constitutes the refereed post-conference proceedings of the 4th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2018, held in Helsinki, Finland, in August 2018. The 11 revised full papers were carefully reviewed and selected from 29 submissions. The aim of the symposium is to present research activities and results on topics related to algorithmic, design, and development aspects of modern cloud-based systems.
(source: Nielsen Book Data)

• Homage from Friends.- Observational Semantics.- Coordination Models and Languages.- Logics and Types.- Distributed Systems Modelling.- Security.
• (source: Nielsen Book Data)

This volume was published in honor of Rocco De Nicola's 65th birthday. The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De Nicola and was presented to Rocco on the 1st of July 2019 during a two-day symposium held in Lucca, Italy. The papers present many research ideas that have been influenced by Rocco's work. They testify his intellectual curiosity, versatility and tireless research activity, and provide an overview of further developments to come. The volume consists of six sections. The first one contains a laudation illustrating the distinguished career and the main scientific contributions by Rocco and a witness of working experiences with Rocco. The remaining five sections comprise scientific papers related to specific research interests of Rocco and are ordered according to his scientific evolution: Observational Semantics; Logics and Types; Coordination Models and Languages; Distributed Systems Modelling; Security.
(source: Nielsen Book Data)

• Data compression
• Information retrieval
• String algorithms
• Algorithms
• Computational biology
• Indexing and compression
• Compressed data structures.

This volume constitutes the refereed proceedings of the 26th International Symposium on String Processing and Information Retrieval, SPIRE 2019, held in Segovia, Spain, in October 2019. The 28 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 59 submissions. They cover topics such as: data compression; information retrieval; string algorithms; algorithms; computational biology; indexing and compression; and compressed data structures.

• A Topological Perspective on Distributed Network Algorithms
• On Sense of Direction and Mobile Agents
• Locality of not-so-weak coloring
• Near-gathering of energy-constrained mobile agents
• Optimal Multi Broadcast with Beeps using Group Testing
• Tracking Routes in Communication Networks
• Positional Encoding by Robots with Non-Rigid Movements
• Arbitrary Pattern Formation by Asynchronous Opaque Robots with Lights
• Breaking the Linear-Memory Barrier in MPC: Fast MIS on Trees with Strongly Sublinear Memory
• Collaborative Delivery on a Fixed Path with Homogeneous Energy-Constrained Robots
• Asynchronous Rendezvous with Different Maps
• Gathering Synchronous Robots in Graphs: from general properties to dense and symmetric topologies
• Time-Energy Tradeoffs for Evacuation by Two Robots in the Wireless Model
• Evacuating Two Robots from a Disk: A Second Cut
• Distributed pattern formation in a ring
• On Distributed Merlin-Arthur Decision Protocols
• Anonymous Read/Write Memory: Leader Election and Desanonymization
• Faster Construction of Overlay Networks
• Partial gathering of mobile agents without identifiers or global knowledge in asynchronous unidirectional rings
• Set Agreement Power is not a Precise Characterization for Oblivious Deterministic Anonymous Objects
• Making Randomized Algorithms Self-Stabilizing
• How to Color a French Flag{Biologically Inspired Algorithms for Scale-Invariant Patterning
• Self-Adjusting Line Networks
• Mutual Visibility for Asynchronous Robots
• Infinite Grid Exploration by Disoriented Robots
• A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks
• Mobile Robots with Uncertain Visibility Sensors: Possibility Results and Lower Bounds
• A strongly-stabilizing protocol for spanning tree construction against a mobile Byzantine fault
• Average-based Population Protocols : Explicit and Tight Bounds of the Convergence Time
• Visiting Infinitely Often the Unit Interval while Minimizin g the Idle-time of High Priority Points.

This book constitutes the refereed conference proceedings of the 26th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2019, held in LAquila, Italy, in July 2019. The 19 full papers and 9 short papers presented in this book were carefully reviewed and selected from 39 submissions. They are devoted to the study of the interplay between structural knowledge, communication, and computing in decentralized systems of multiple communicating entities.

• 1. Colocation of potential parallelism in a distributed adaptive run-time system for parallel Haskell / Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson
• 2. Reversible session-based concurrency in Haskell / Folkert de Vries, Jorge A. Pérez
• 3. Intrinsic currying for C++ template metaprograms / Paul Keir, Andrew Gozillon, Seyed Hossein Haeri
• 4. Towards optic-based algebraic theories : the case of lenses / J. López-González, Juan M. Serrano
• 5. Saint : an API-generic type-safe interpreter / Maximilian Algehed, Patrick Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes
• 6. Improving Haskell / Martin A.T. Handley, Graham Hutton
• 7. High-performance defunctionalisation in Futhark / Anders Kiel Hovgaard, Troels Henriksen, Martin Elsman.

This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium.
(source: Nielsen Book Data)

• Minimum Diameter $k$-Steiner Forest.- Factors Impacting the Label Denoising of Neural Relation Extraction.- Makespan Minimization on Unrelated Parallel Machines with a Few Bags.- Channel Assignment with r-Dynamic Coloring.- Profit Maximization Problem with Coupons in Social Networks.- A Bicriteria Approximation Algorithm for Minimum Submodular Cost Partial Multi-Cover Problem.- A Novel Approach to Verifying Context Free Properties of Programs.- Determination of Dual Distances for a Kind of Perfect Mixed Codes.- Approximation and Competitive Algorithms for Single-Minded Selling Problem.- An Empirical Analysis of Feasibility Checking Algorithms for UTVPI Constraints.- Quality-aware Online Task Assignment Using Latent Topic Model.- Calibration Scheduling with Time Slot Cost.- The k-power domination problem in weighted trees.- General Rumor Blocking: An Efficient Random Algorithm with Martingale Approach.- A Robust Power Optimization Algorithm to Balance Base Stations' Load in LTE-A Network.- Faster Compression of Patterns to Rectangle Rule Lists.- Algorithm Designs for Dynamic Ridesharing System.- New LP Relaxations for Minimum Cycle/Path/Tree Cover Problems.- Computation of Kullback-Leibler Divergence between Labeled Stochastic Systems with Non-Identical State Spaces.- Order preserving barrier coverage with weighted sensors on a line.- Achieving Location Truthfulness in Rebalancing Supply-Demand Distribution for Bike Sharing.- Approximation algorithms and a hardness result for the three-machine proportionate mixed-shop problem.- A New Algorithm Design Technique for Hard Problems, Building on Methods of Complexity Theory.- Community-based Acceptance Probability Maximization for Target Users on Social Networks.- Knowledge Graph Embedding Based on Subgraph-aware Proximity.
• (source: Nielsen Book Data)

This volume constitutes the proceedings of the 12th International Conference on Algorithmic Aspects in Information and Management, AAIM 2018, held in Dallas, Texas, USA, in December 2018. The 25 full papers presented were carefully reviewed and selected. The papers deal with current trends of research on algorithms, data structures, operation research, combinatorial optimization and their applications.
(source: Nielsen Book Data)

• Various dimensions of parallel algorithms and architectures.- Fundamental theoretical approaches.- Practical experimental projects.- Commercial components and systems.- Beyond the limits of existing technologies.- Experimental efforts, innovative systems, and investigations.- identify weaknesses in existing parallel processing technology.
• (source: Nielsen Book Data)

This book constitutes the refereed workshop proceedings of the 16th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2016, held in Granada, Spain, in December 2016. The 30 full papers presented were carefully reviewed and selected from 58 submissions. They cover many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems trying to push beyond the limits of existing technologies, including experimental efforts, innovative systems, and investigations that identify weaknesses in existing parallel processing technology.
(source: Nielsen Book Data)