The ability to cluster data accurately is essential to applications such as image segmentation. Therefore, techniques that enhance accuracy are of keen interest. One such technique involves applying a quantum mechanical system model, such as that of the quantum bit, to generate probabilistic numerical output to be used as variable input for clustering algorithms. This work demonstrates that app...

The immune system is a very complex cognitive system. Based on immunological principles we propose an approach in order to study the mechanisms that govern the immune system’s functionality. A two-module algorithm is developed, which launch a specific action against an anomalous situation. The Petri nets tools are assumed in this approach. Also, Markov Decision Processes (MDPs) with a truncated...

In a numerical, isopycnal, ocean model the mixing is investigated with the environment of two idealized Agulhas rings, one that splits, and one that remains coherent. The evolution of a passive tracer, initially contained within the rings, shows that tracer leakage is associated with the formation of filaments in the early stage of ring evolution. These filaments reach down to the thermocline. ...

In order to evaluate the role of idiotypic networks in the operation of the immune system a number of mathematical models have been formulated. Here we examine a class of B-cell models in which cell proliferation is governed by a non-negative, unimodal, symmetric response function f (h), where the field h summarizes the effect of the network on a single clone. We show that by transforming into ...

We are going to show how state transitions can be modeled in the framework of algebraic speci cations. We use the algebraic speci cation, composition, and re nement framework provided by the Specware tool [28, 29] and Evolving Algebras [10] as a general framework for transition systems. Numerous case studies show that evolving algebras are well suited to model large and complex reactive and con...

Over the last decade there has been substantial progress on the development of theory and numerical methods for implicit systems of differential and algebraic equations (DAEs). In many control applications involving PDE models it is standard engineering practice to replace the PDEs by a finite dimensional system of ordinary differential equations. There are a variety of ways to do this approxim...

We develop a rule-based optimization approach. The rules are IF-THEN statements that allow domain experts to model their complex systems in a natural framework. We formalize the enterprise problem as minimizing multi-criteria objectives with respect to a set of business rules. We construct a finite state machine in which the rules correspond to state transitions. The states are evaluated by an ...

The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distributed systems (latency, error recovery, etc.), leading to numerous problems such as deadlocks, race conditions, and many difficulties in trying to reproduce such error conditions and debug them. The OO technology is ill eq...

In this work we study the inflammatory process resulting in the development of atherosclerosis. We develop a oneand two-dimensional models based on reaction-diffusion systems to describe the set up of a chronic inflammatory response in the intima of an artery vessel wall. The concentration of the oxidized low density lipoproteins (ox-LDL) in the intima is the critical parameter of the model. Lo...