We study a spatial framework for process algebra with ordinary differential equation (ODE) semantics. We consider an explicit mobility model over a 2D lattice where processes may walk to neighbouring regions independently, and interact with each other when they are in same region. The ODE system size will grow linearly with the number of regions, hindering the analysis in practice. Assuming an ...

In this paper, algorithms for solving of two inverse onedimensional heat transfer problems are considered. They are: the coe cient inverse problem and the determination of phase interface location in a melting problem. These inverse problems are reduced to parameters estimation of ordinary di erential equations (ODE) using a nite element method. The algorithm based on the sensitivity analysis i...

The design of the versioning facilities in the Ode object-oriented database system is based on a few powerful concepts that allow implementation of a wide variety of versioning paradigms. These facilities have been cleanly integrated into Ode’s database programming language O++. Object versioning in Ode is orthogonal to type, that is, versioning is an object property and not a type property. Ve...

Professor Thomas Walmsley was appointed to the chair of Anatomy at Queen's in 1919 and held the post until 1951. He graduated in Glasgow in 1912. While lecturing "he combined simplicity of presentation with impressiveness in delivery and held his class spellbound"'. It is said that he had great influence on staff and students alike and was respected by all who came in contact with him; in his t...

Cytotoxic T lymphocytes (CTLs) are immune system cells that are thought to play an important role in controlling HIV infection. We develop a stochastic ODE model of HIV-CTL interaction that extends current deterministic ODE models. Based on this stochastic model, we consider the effect of CTL attack on intrahost HIV lineages assuming that CTLs attack several epitopes with equal strength. In thi...

Web Services are interfaces to a collection of operations that are network-accessible through standardized XML messaging, and whose features are described using standard XML-based languages. Semantic Web Services (SWS) describe semantically the internal structure and the functional/nonfunctional capabilities of the services, facilitating the design and evaluation of SWSs based on that semantic ...

Random ODE and application to statistics. Michail Zak Senior Research Scientist (Emeritus) Jet Propulsion Laboratory California Institute of Technology Pasadena, CA 91109 Abstract. It is demonstrated that any statistics can be represented by an attractor of the solution to the corresponding system of ODE coupled with its Liouville equation. Such a non-Newtonian representation allows one to redu...

Coexistence The special case when all the independent solutions of a linear, T -periodic ODE are T -periodic. Hill’s equation A second order ODE of the form ẍ + p(t)x = 0, with p(t) T -periodic. Instability pockets Finite domains, usually intersections of instability tongues, where the trivial solution of linear, T -periodic ODEs is unstable. Instability tongues Domains in parameter space where...

We suggest multiscale methods for the integration of systems of second-order ordinary differential equations (ODEs) whose solutions include components that oscillate with large frequencies and small amplitudes. The methods do not need to integrate completely the fast oscillations and may employ step-sizes determined by the rate of change of the slow motions of the system. The technique may be u...

We consider a switching system with time delay composed of a finite number of linear delay differential equations (DDEs). Each DDE consists of a sum of a linear ODE part and a linear DDE part. We study two particular cases: (a) all the ODE parts are stable and (b) all the ODE parts are unstable and determine conditions for delay independent stability. For case (a), we extend a standard result o...