%{search_type} search results

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

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

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

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