Partial completion of activity in business process specification

We examine the current workflow modelling capability from a new angle and demonstrate a weakness of current workflow specification languages in relation to execution of activities. This shortcoming is mainly due to serious limitations of the corresponding computational/execution model behind the business process modelling language constructs. The main purpose of this paper is the introduction of new specification/modelling constructs allowing for more precise representation of complex activity states during its execution. This new concept enables visibility of a new activity state–partial completion of activity, which in turn allows for a more flexible and precise enforcement/monitoring of automated business processes.

Performance comparisons between greedy and lagrange algorithms in adaptive MIMO MC-CDMA systems

This paper describes two algorithms for adaptive power and bit allocations in a multiple input multiple output multiple-carrier code division multiple access (MIMO MC-CDMA) system. The first is the greedy algorithm, which has already been presented in the literature. The other one, which is proposed by the authors, is based on the use of the Lagrange multiplier method. The performances of the two algorithms are compared via Monte Carlo simulations. At present stage, the simulations are restricted to a single user MIMO MC-CDMA system, which is equivalent to a MIMO OFDM system. It is assumed that the system operates in a frequency selective fading environment. The transmitter has a partial knowledge of the channel whose properties are measured at the receiver. The use of the two algorithms results in similar system performances. The advantage of the Lagrange algorithm is that is much faster than the greedy algorithm. ©2005 IEEE

Middleware for distributed context-aware systems

Context-aware systems represent extremely complex and heterogeneous distributed systems, composed of sensors, actuators, application components, and a variety of context processing components that manage the flow of context information between the sensors/actuators and applications. The need for middleware to seamlessly bind these components together is well recognised. Numerous attempts to build middleware or infrastructure for context-aware systems have been made, but these have provided only partial solutions; for instance, most have not adequately addressed issues such as mobility, fault tolerance or privacy. One of the goals of this paper is to provide an analysis of the requirements of a middleware for context-aware systems, drawing from both traditional distributed system goals and our experiences with developing context-aware applications. The paper also provides a critical review of several middleware solutions, followed by a comprehensive discussion of our own PACE middleware. Finally, it provides a comparison of our solution with the previous work, highlighting both the advantages of our middleware and important topics for future research.

Towards a Modeling Environment for Earth Systems Simulations

The developments of models in Earth Sciences, e.g. for earthquake prediction and for the simulation of mantel convection, are fare from being finalized. Therefore there is a need for a modelling environment that allows scientist to implement and test new models in an easy but flexible way. After been verified, the models should be easy to apply within its scope, typically by setting input parameters through a GUI or web services. It should be possible to link certain parameters to external data sources, such as databases and other simulation codes. Moreover, as typically large-scale meshes have to be used to achieve appropriate resolutions, the computational efficiency of the underlying numerical methods is important. Conceptional this leads to a software system with three major layers: the application layer, the mathematical layer, and the numerical algorithm layer. The latter is implemented as a C/C++ library to solve a basic, computational intensive linear problem, such as a linear partial differential equation. The mathematical layer allows the model developer to define his model and to implement high level solution algorithms (e.g. Newton-Raphson scheme, Crank-Nicholson scheme) or choose these algorithms form an algorithm library. The kernels of the model are generic, typically linear, solvers provided through the numerical algorithm layer. Finally, to provide an easy-to-use application environment, a web interface is (semi-automatically) built to edit the XML input file for the modelling code. In the talk, we will discuss the advantages and disadvantages of this concept in more details. We will also present the modelling environment escript which is a prototype implementation toward such a software system in Python (see www.python.org). Key components of escript are the Data class and the PDE class. Objects of the Data class allow generating, holding, accessing, and manipulating data, in such a way that the actual, in the particular context best, representation is transparent to the user. They are also the key to establish connections with external data sources. PDE class objects are describing (linear) partial differential equation objects to be solved by a numerical library. The current implementation of escript has been linked to the finite element code Finley to solve general linear partial differential equations. We will give a few simple examples which will illustrate the usage escript. Moreover, we show the usage of escript together with Finley for the modelling of interacting fault systems and for the simulation of mantel convection.

Hydrostability and Scaling Up Molecular Sieve Silica (MSS) Membranes for H2/CO Separation in Fuel Cell Systems

MSS membranes are a good candidate for CO cleanup in fuel cell fuel processing systems due to their ability to selectively permeate H2 over CO via molecular sieving. Successfully scaled up tubular membranes were stable under dry conditions to 400°C with H2 permeance as high as 2 x 10-6 mol.m-2.s^-1.Pa^-1 at 200 degrees C and H2/CO selectivity up to 6.4, indicating molecular sieving was the dominant mechanism. A novel carbonised template molecular sieve silica (CTMSS) technology gave the scaled up membranes resilience in hydrothermal conditions up to 400 degrees C in 34% steam and synthetic reformate, which is required for use in fuel cell CO cleanup systems.

Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic

While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1]that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1]with temporal intervals.

Entangled States and Collective Nonclassical Effects in Two-Atom Systems

We propose a review of recent developments on entanglement and nonclassical effects in collective two-atom systems and present a uniform physical picture of the many predicted phenomena. The collective effects have brought into sharp focus some of the most basic features of quantum theory, such as nonclassical states of light and entangled states of multiatom systems. The entangled states are linear superpositions of the internal states of the system which cannot be separated into product states of the individual atoms. This property is recognized as entirely quantum-mechanical effect and have played a crucial role in many discussions of the nature of quantum measurements and, in particular, in the developments of quantum communications. Much of the fundamental interest in entangled states is connected with its practical application ranging from quantum computation, information processing, cryptography, and interferometry to atomic spectroscopy.

A stable triple Wolbachia infection in Drosophila with nearly additive incompatibility effects

Drosophila simulans strains infected with three different Wolbachia strains were generated by experimental injection of a third symbiont into a naturally double-infected strain. This transfer led to a substantial increase in total Wolbachia density in the host strain. Each of the three symbionts was stably transmitted in the presence of the other two. Triple-infected males were incompatible with double-infected females. No evidence was obtained for interference between modification effects of the different Wolbachia strains in males. Some incompatibility was observed between triple-infected males and females. However, this incompatibility reaction is not a specific property of triple-infected flies, because it was also observed in double-infected strains.

Increased apoptosis of T lymphocytes and macrophages in the central and peripheral nervous systems of Lewis rats with experimental autoimmune encephalomyelitis treated with dexamethasone

Using light and electron microscopic histological and immunocytochemical techniques, we investigated the effects of the glucocorticoid dexamethasone on T cell and macrophage apoptosis in the central nervous system (CNS) and peripheral nervous system (PNS) of Lewis rats with acute experimental autoimmune encephalomyelitis (EAE) induced with myelin basic protein (MBP). A single subcutaneous injection of dexamethasone markedly augmented T cell and macrophage apoptosis in the CNS and PNS and microglial apoptosis in the CNS within 6 hours (h). Pre-embedding immunolabeling revealed that dexamethasone increased the number of apoptotic CD5+ cells (T cells or activated B cells), αβ T cells, and CD11b+ cells (macrophages/microglia) in the meninges, perivascular spaces, and CNS parenchyma. The induction of increased apoptosis was dose-dependent. Daily dexamethasone treatment suppressed the neurological signs of EAE. However, the daily injection of a dose of dexamethasone (0.25 mg/kg). which, after a single dose, did not induce increased apoptosis in the CNS or PNS, was as effective in inhibiting the neurological signs of EAE as the high dose (4 mg/kg), which induced a marked increase in apoptosis. This indicates that the beneficial clinical effect of glucocorticoid therapy in EAE does not depend on the induction of increased apoptosis. The daily administration of dexamethasone for 5 days induced a relapse that commenced 5 days after cessation of treatment, with the severity of the relapse tending to increase with dexamethasone dosage.

Periodic or Bounded Solutions of Carathéodory Systems of Ordinary Differential Equations

In this paper we extend the guiding function approach to show that there are periodic or bounded solutions for first order systems of ordinary differential equations of the form x1 =f(t,x), a.e. epsilon[a,b], where f satisfies the Caratheodory conditions. Our results generalize recent ones of Mawhin and Ward.

On the applicability of the Aris' equivalent sphere in multicomponent reacting systems

The validity of the concept of equivalent sphere introduced by Aris in 1957 to multicomponent reacting systems is investigated in this paper. A network of C6 hydrocarbon reforming reaction and a fixed bed reactor are taken as the model reaction network and the reactor configuration, respectively.

Triple objective team mentoring: achieving learning objectives with chemical engineering students

A sophisticated style of mentoring has been found to be essential to support engineering student teams undertaking technically demanding, real-world problems as part of a Project-Centred Curriculum (PCC) at The University of Queensland. The term ‘triple-objective’ mentoring was coined to define mentoring that addresses not only the student’s technical goal achievement but also their time and team management. This is achieved through a number of formal mentor meetings that are informed by a confidential instrument which requires students to individually reflect on team processes prior to the meeting, and a checklist of technical requirements against which the interim student team progress and achievements are assessed. Triple-objective mentoring requires significant time input and coordination by the academic but has been shown to ensure effective student team work and learning undiminished by team dysfunction. Student feedback shows they value the process and agree that the tools developed to support the process are effective in developing and assessing team work and skills with average scores mostly above 3 on a four point scale.

The Learning Tourism Destination: The potential of a learning organisation approach for improving the sustainability of tourism destinations

Globalisation, increasing complexity, and the need to address triple-bottom line sustainability has seen the proliferation of Learning Organisations (LO) who, by definition, have the capacity to anticipate environmental changes and economic opportunities and adapt accordingly. Such organisations use system dynamics modelling (SDM) for both strategic planning and the promotion of organisational learning. Although SDM has been applied in the context of tourism destination management for predictive reasons, the current literature does not analyse or recognise how this could be used as a foundation for an LO. This study introduces the concept of the Learning Tourism Destinations (LTD) and discusses, on the basis of a review of 6 case studies, the potential of SDM as a tool for the implementation and enhancement of collective learning processes. The results reveal that SDM is capable of promoting communication between stakeholders and stimulating organisational learning. It is suggested that the LTD approach be further utilised and explored.