%{search_type} search results

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

This book constitutes the proceedings of the 16th Conference on Computability in Europe, CiE 2020, which was planned to be held in Fisciano, Italy, during June 29 until July 3, 2020. The conference moved to a virtual format due to the coronavirus pandemic. The 30 full and 5 short papers presented in this volume were carefully reviewed and selected from 72 submissions. CiE promotes the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences, such as physics and biology, as well as related fields, such as philosophy and history of computing. CiE 2020 had as its motto Beyond the Horizon of Computability, reflecting the interest of CiE in research transgressing the traditional boundaries of computability theory.
(source: Nielsen Book Data)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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