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