- Full text PDF available (9)
In this paper we study the coarse-grained bifurcation analysis approach proposed by I.G. (18) (2000) 9840–9843]. We extend the results obtained in that paper for a one-dimensional FitzHugh–Nagumo lattice Boltzmann (LB) model in several ways. First, we extend the coarse-grained time stepper concept to enable the computation of periodic solutions and we use… (More)
Usability is an important aspect of software products. However, in practice not much attention is given to this issue during testing. Testers often do not have the knowledge, instruments and/or time available to handle usability. This paper introduces the Software Usability Measurement Inventory (SUMI) testing technique as a possible solution to these… (More)
Nonextensive thermodynamics is criticized by the statement that the zeroth law cannot be satisfied with nonadditive composition rules [corrected]. In this paper we determine the general functional form of those nonadditive composition rules that are compatible with the zeroth law of thermodynamics. We find that this general form is additive for the formal… (More)
Computer Games have grown in only two decades from a curiosity to a major Industry. They ooer to the Computer Science Educator more potential than only being a source of distraction for the students: they provide us with interesting examples of Universa of Discourse, which can be turned into information models. Over the past years the author has used these… (More)
Thermodynamics – contrary to its name – is not a dynamic theory. However, some relatively new developments, like finite time, endo-reversible or ordinary thermodynamics introduce time into thermostatics. In this framework the Second Law becomes a set of conditions ensuring the asymptotic stability of equilibrium. In this manuscript some examples are shown,… (More)
Argument structures for assessing lifelong competence in semantically rich-domains 191 Imran A. Zualkernan Towards a competency model for adaptive assessment to support lifelong learning ... 200 Abstract: Existing models of competence development are characterised by a fixed sequence of stages of which assessment by others and following a fixed set of… (More)
A general framework for semantics-based bottom-up abstract interpretation of logic programs. Generic abstract interpretation algorithms for Prolog: Two optimization techniques and their experimental evaluation.