In this paper, we propose an adaptive casteship mechanism for modelling and designing adaptive Multi-Agent Systems (MAS). In our approach, caste is the modular unit and abstraction that specify agents’ behaviour. Adaptive behaviours of agents are captured as the change of castes during their lifecycles by executing ‘join’, ‘quit’, ‘activate’ and ‘deactivate’ operations on castes. The formal sem...

We present a simplified system of axioms for Abstract Voronoi Diagrams that should pave the way for new applications in theory and practice.

Distance and online universities have usually more flexible academic requirements than brick-and-mortar ones, so students do not uniformly advance within the programme they enroll into as they are supposed to. Furthermore, due to their intrinsic nature, distance students need additional support for deciding which subjects they will take every semester. On the other hand, teachers have usually n...

Control flow diagrams are a keystone in testing the structure of software programs. With the help of control flow between the various components of the program, we can select the test cases in a particular domain. In this paper, we introduced a window-based tool for generating the CFG of a C Program automatically. The data flow testing, i.e., control flow testing depends on all def-use of the v...

This paper presents a detailed thermodynamical exergy analysis of an optimized MSF distillation plant based on the latest published thermodynamics properties of water and seawater software of the Massachusetts Institute of Technology by using design and optimized plant operation data. Exergy flow rates are evaluated throughout the plant and the exergy flow diagram is prepared in both cases....

The major effects of the chemical evolution of galaxies on the characteristics of their stellar populations are reviewed. A few examples of how the observed stellar properties derived from colour–magnitude diagrams can constrain chemical evolution models are given.

This paper presents PROV-O-Viz, a Web-based visualization tool for PROV-based provenance traces coming from various sources, that leverages Sankey Diagrams to reflect the flow of information through activities. We briefly discuss the advantages of this approach compared to other provenance visualization tools. PROV-O-Viz has already been used to visualize provenance traces generated by very dif...

An efficient method to calculate tadpole diagrams is proposed. Its capability is demonstrated by analytically evaluating two four-loop tadpole diagrams of current interest in the literature, including their O(ǫ) terms in D = 4 − 2ǫ space-time dimensions.

The phase diagram for methane + water is explained, in relation to hydrate applications, such as in flow assurance and in nature. For natural applications, the phase diagram determines the regions for hydrate formation for twoand three-phase conditions. Impacts are presented for sample preparation and recovery. We discuss an international study for “Round Robin” hydrate sample preparation proto...