Applications of biological or biologically inspired multi-agent systems often assume a certain level of reliability and robustness, which is not always easy to be achieved. Formal modelling and verification of these systems may present many interesting challenges. For instance, formal verification may be cumbersome or even impossible to be applied on models with increased complexity. On the oth...

Model-driven engineering (MDE) is a branch of software engineering that aims at improving the productivity, quality, and cost-effectiveness of software development by promoting models and model transformations as the primary assets in software development. Models can be specified using general-purpose languages like the Unified Modeling Language (UML). However, to fully unfold the potential of ...

Cells and tissues undergo complex physical processes during cryopreservation. Understanding the underlying physical phenomena is critical to improve current cryopreservation methods and to develop new techniques. Here, we describe multi-scale approaches for modelling cell and tissue cryopreservation including heat transfer at macroscale level, crystallization, cell volume change and mass transp...

Computer network systems are constantly under attack or have to deal with attack attempts. The first step in any network’s ability to fight against intrusive attacks is to be able to detect intrusions when they are occurring. Intrusion Detection Systems (IDS) are therefore vital in any kind of network, just as antivirus is a vital part of a computer system. With the increasing computer network ...

A simple, rapid and efficient method has been developed for the isolation of piperine from the fruits of Piper nigrum. The method involves extraction of the fruit powder with glacial acetic acid, from which piperine is partitioned into chloroform and subsequently crystallized. The identity of the compound was confirmed by its melting point, comparison of IR, HNMR, XRPD, mass spectral and molecu...

Intelligent multi-agent systems offer a new architectural style for distributed and knowledge-intensive applications. Now that agent systems are applied on a wider industrial scale, there is a practical need for structured conceptual modelling methods, similar to what is in use for conventional large-scale information and knowledge systems. Such knowledge-level methods are still inadequate for ...

In this paper, we present our computational fluid dynamics (CFD) modelling and simulation environment, which is designed to be suitable for integration to a largescale system level simulation tools for industry process simulation of plants, such as Apros 6 software. We discuss about the coupling possibilities of these simulations and further concentrate on the description of our preprocessing, ...

We present a performance modelling case study of a distributed multi-player game expressed in the PEPA nets modelling language. The case study provides a modern complex distributed application programming problem which has many inherent communication and synchronisation complexities which are subtle to model accurately. We put forward the position that a high-level performance modelling languag...

Nutrient acquisition is a major context for ecological interactions among species but ecologists and nutritionists have developed theory in isolation from each other. Developments in agent-based modelling, state-space modelling of nutrition and multi-scale modelling of landscape ecology provide the components for a new synthesis in nutritional ecology linking the nutritional biology of individu...

Petri Net being one of the most useful graphical tools for modelling complex asynchronous systems, we have used Petri Net to model multi-track railway level crossing system. The roadway has been augmented with four half-size barriers. For better control, a three stage control mechanism has been introduced to ensure that no road-vehicle is trapped on the level crossing. Timed Petri Net is used t...