Search Results

Safeguarding confidential data and information from increasingly complex cyberattacks is critical in the financial industry. This paper presents a novel framework that combines blockchain technology and the Zero Trust model to strengthen Identity ...

In this paper, we discuss a framework for synthesising manufacturing process controllers using situation calculus, a well-known second-order logic for reasoning about actions in AI. Using a library of high-level ConGolog programs and logical ...

Speech Emotion Recognition (SER) systems use machine learning to detect emotions from audio speech irrespective of the semantic context of the audio. Current research has limitations due to the complexity posed by language, accent, gender, age and ...

Kernel P systems have been introduced as a unifying formalism allowing to specify, simulate and analyse various problems. Several applications of this model have been considered and a powerful tool built in order to support their ...

In this paper, we perform anomaly detection and root cause analysis on log data (system logs). Firstly, we employ a log parsing solution known as Drain (an online log parsing approach with fixed depth tree). We then present an anomaly detection ...

Although computational solutions are commonplace in Synthetic Biology laboratories that use software, proprietary or otherwise, the use of multicellular simulations promises to enhance such workflows by in silico prototyping via spatiotemporal ...

Brain tumour is an uncontrollable growth of abnormal cells in the brain that may lead to cancer. Tumours are detected and diagnosed by manually analyzing Magnetic Resonance Imaging (MRI) scans. It is a time and resource consuming process which ...

Today’s factories are considered as smart ecosystems with humans, machines and devices interacting with each other for efficient manufacturing of products. Industry 4.0 is a suite of enabler technologies for such smart ecosystems that allow ...

Streaming events are on the increase in various industries, with applications needing data analysed rapidly for real-time detection. A large amount of data from multiple sensors streamed simultaneously is creating a new challenge for instantaneous ...

We represent a significant advance on the issue of testing for implementations specified by P systems with transformation and communicating rules.Using the X-machine framework and the concept of cover automaton, we devise a testing approach for such ...

Simulation of biological systems are computationally demanding due to the large scale reaction networks of bacterial cells. This scalability issue escalates, in particular, when bacterial colonies, formed by many individual cells, are simulated. Agent-...

This paper proposes a formal methodology to analyse bio-systems, in particular synthetic biology systems. An integrative analysis perspective combining different model checking approaches based on different property categories is provided. The ...

The paper presents the use of a membrane computing model for specifying a synthetic biology pulse generator example and discusses some simulation results produced by the tools associated with this model and compare their performances. The results show ...

Synthetic Biology aspires to design, compose and engineer biological systems that implement specified behaviour. When designing such systems, hypothesis testing via computational modelling and simulation is vital in order to reduce the need of costly ...

As ubiquitous computing becomes a reality, its applications are increasingly being used in business-critical, mission-critical and even in safety-critical, areas. Such systems must demonstrate an assured level of correctness. One approach to the ...

Punctual timing constraints are important in formal modelling of safety-critical real-time systems. But they are very expensive to express in dense time. In most cases, punctuality and dense-time lead to undecidability. Efforts have been successful to ...

As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal verification will become more prevalent. This is so because “programming” in unconventional substrates is difficult. In this paper we ...

Model checking is a well-established technique for the formal verification of concurrent and distributed systems. In recent years, model checking has been extended and adapted for multi-agent systems, primarily to enable the formal analysis of belief-...

Recent research in membrane computing examines and confirms the anticipated modelling potential of kernel P systems in several case studies. On the one hand, this computational model is destined to be an abstract archetype which advocates the unity and ...

Over the last two decades, there has been an extensive study of logical formalisms on specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have been ...