Search
Search Results
-
Surrogate Constraints for Synchronized Energy Production/Consumption
We deal here with job scheduling under encapsulated renewable and non-renewable resource constraints, while relying on a case study related to energy...
-
Neuron Pairs in Binarized Neural Networks Robustness Verification via Integer Linear Programming
In the context of classification, robustness verification of a neural network is the problem which consists in determining if small changes of inputs...
-
Optimal Charging Station Location in a Linear Cycle Path with Deviations
Bicycle tourism is on the rise thanks to assisted-pedaling bikes, also known as e-bikes. While pedalling is still required on these bikes, they allow...
-
On a Geometric Graph-Covering Problem Related to Optimal Safety-Landing-Site Location
We develop a set-cover based integer-programming approach to an optimal safety-landing-site location arising in the design of urban...
-
Modular State Spaces - A New Perspective
A modular Petri net is built from individual Petri nets, the instances, which have disjoint sets of internal transitions and interface transitions....
-
Relational Structures for Interval Order Semantics of Concurrent Systems
Relational structures like partial orders that are based on acyclic relations capturing a ‘before’ relationship, can provide versatile frameworks for...
-
Concurrent Context-Free Grammar for Parsing Business Processes with Iterated Shuffles
Trace parsing, a technique for obtaining the correspondence between a trace, which is a string of activities, and a process model, forms the basis of...
-
Verifying Temporal Logic Properties in the Modular State Space
A modular Petri net is composed of multiple individual Petri nets, the modules, by fusing their interface transitions. Internal transitions are not...
-
On the Expressive Power of Transfinite Sequences for Continuous Petri Nets
Continuous Petri nets (CPNs) form a model of (uncountably infinite) dynamic systems that has been successfully explored for modelling and theoretical...
-
Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study
Ideally, safety-critical systems should be designed to avoid or be resilient in handling failures that may occur during their lifetime. For...
-
On the Application of Model-Driven Optimization to Business Processes
The optimization of business processes is an important task to increase the efficiency of the described workflows. Metaheuristic optimization, such...
-
Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets
We propose efficient techniques for detecting isomorphism between nets, i.e., for identifying, in large collections of (safe) Petri nets or...
-
Sequential Value Passing Yields a Kleene Theorem for Processes
Communication with value passing has received ample attention in process theory. Value passing through a sequential composition has received much...
-
A Bigraphs Paper of Sorts
Bigraphs are an expressive graphical modelling formalism to represent systems with a mix of both spatial and non-local connectivity. Currently it is...
-
Nanoscale Communication Redefined: Exploring Bio-Inspired Molecular Systems
This paper explores a novel communication model employing a channel with multiple interconnected nodes between the sender and recipient nanomachines....
-
YOLOv8-AS: Masked Face Detection and Tracking Based on YOLOv8 with Attention Mechanism Model
The development of intelligent surveillance systems relies significantly on the effectiveness of face detection. To identify suspicious individuals,...
-
IOT-Based Water Quality Monitoring for the Tigris River: Addressing Pollution Challenges
The Tigris River is a second-largest river in southwestern Asia, flowing through Turkey, Syria, Iraq, and Iran. The river is facing lack of water...
-
Crimes Tweet Detection Based on CNN Hyperparameter Optimization Using Snake Optimizer
The increased use of social media has transformed how people share information. In the voluminous social media content, tweets involving criminal...
-
A New Approach to Design KM1 Encryption Algorithm for Alarm in IoT
The research introduces a hybrid encryption system for parallel computing environments, focusing on safeguarding IoT image data for fire incident...
-
A Robust Image Cipher System Based on Cramer-Shoup Algorithm and 5-D Hyper Chaotic System
The presented study suggests a novel image encryption method depending on a modified Cramer-Shoup encryption algorithm and a 5D hyper chaotic system....