Table of Contents: “... Transparency of Declarative Process Models: The Case of Constraints -- Process Analytics -- Discovering Guard Stage Milestone models through hierarchical clustering -- Discovery of Workflow Patterns - A Comparison of Process Discovery Algorithm -- From Process...”

Full text 

Table of Contents: “... in manufacturing of anti cancer drugs -- An Approach Toward Congestion Management for Improved Emergency Vehicle Management in Intelligent Urban Traffic Network -- Proposal of an algorithm for solving the component assignment problem of an adjacent triangle-(m, n):F...”

Full text 

Table of Contents: “... of Convolutional Neural Networks: a Contrasting of Methodologies -- Creation of an alert device for early detection of epilepsy using an EEG signal power threshold -- Optimal location of the electric vehicle charging stands using multi-objective evolutionary algorithms...”

Full text 

Subject (ZB): “...Algorithms....”

Full text 

Table of Contents: “...Understanding the Relationship Between Core Constraints and Core-Selecting Payment Rules in Combinatorial Auctions -- An Improved Analysis of the Greedy+Singleton Algorithm for k-Submodular Knapsack Maximization -- Generalized Sorting with Predictions...”

Full text 

Table of Contents: “... Algorithms and Multi-Party Computation -- Data-Driven Evolution of Activity Forms in Object- and Process-Aware Information Systems -- Automating process discovery through meta-learning -- Random-value payment tokens for on-chain privacy-preserving payments -- A...”

Full text 

Table of Contents: “..., First-Order Logic, and Well-Structured graphs -- Model-Based Digital Engineering and Verification of Intelligent Systems -- Tight Online Algorithms for Unrelated Machine Load Balancing with Predictions -- Fast Sampling Constraint Satisfaction Solutions via...”

Full text 

Subject (ZB): “...Algorithms....”

Full text 

Table of Contents: “...Algorithmic Game Theory -- EFX under Budget Constraint -- Two-Facility Location Game with Distance Requirement -- Constrained Heterogeneous Two-facility Location Games with Max-variant Cost -- Optimally Integrating Ad Auction into E-Commerce Platforms...”

Full text 

Table of Contents: “... Algorithm -- Frequency-Domain Generalized Phase Transform Method in Pipeline Leaks Locating -- Information Technologies and Computer Simulation of Physical Phenomena -- Inverse Problem Regularization of Parametric Identification of the Particle Temperature...”

Full text 

Table of Contents: “... Token Petri Net and P System -- Certain State Sequences Defined by P Systems with Reactions -- On Numerical 2D P Colonies with the Blackboard and the Gray Wolf Algorithm....”

Full text 

Table of Contents: “...-checking and Symbolic Execution -- Broadcasting Information in Multi-hop Networks prone to Mobile Byzantine Faults -- Infinite Grid Exploration by Disoriented Robots -- Wireless Broadcast with short labels -- The Imitation Game: Algorithm Selection by Exploiting...”

Full text 

Table of Contents: “... CTL-Formulas Using the CEGAR Approach -- Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms....”

Full text 

Table of Contents: “... polynomial optimization -- Complexity, Exactness, and Rationality in Polynomial Optimization -- On the Geometry of Symmetry Breaking Inequalities -- Affinely representable lattices, stable matchings, and choice functions -- A Finite Time Combinatorial Algorithm...”

Full text 

Table of Contents: “... approach for cluster analysis -- Classifying Potentially Unbounded Hierarchical Data Streams with Incremental Gaussian Naive Bayes -- Coarsening Algorithm via Semi-Synchronous Label Propagation for Bipartite Networks -- Evaluating Clustering Meta-Features...”

Full text 

Table of Contents: “... -- Efficient Algorithms for Three Reachability Problems in Safe Petri Nets -- A Lazy Query Scheme for Reachability Analysis in Petri nets -- Abstraction-based Incremental Inductive Coverability for Petri nets -- Firing Partial Orders in a Petri Net -- Semantics...”

Full text 

Table of Contents: “... Acceleration Algorithm in Heterogeneous Edge Computing: Joint Task Allocation and Model Partition -- A Novel Probabilistic-Performance-Aware and Evolutionary Game-theoretic Approach to Task Offloading in the Hybrid Cloud-Edge Environment -- Identification...”

Full text 

Table of Contents: “... Traffic Redirection Method for Edge Network -- A Network Energy Efficiency Measurement Method for Cloud-Edge Communication Network -- A Traffic Prediction Algorithm Based on Converged Networks of LTE and Low Power Wide Areanetworks -- Analysis on the Current...”

Full text 

Table of Contents: “...Invited Papers -- Algorithms that Access the Input via Queries -- Towards Knowledge Exchange: State-of-the-Art and Open Problems -- Invited Talk: Resilient Distributed Algorithms -- Towards Minimally Conscious Finite-State Controlled Cyber-Physical...”

Full text 

Table of Contents: “... Algorithms -- Accurate Strategy for Mixed Criticality Scheduling -- Formal Modeling and Verification, Testing -- Model-based Design of Resilient Systems Using Quantitative Risk Assessment -- An Evaluation of Estimation Techniques for Probabilistic Verification...”

Full text