%{search_type} search results

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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