The Lagrangian approach to the development of dynamics equations for a multi-body system, constrained or otherwise, requires solving the forWard kinematics of the system at velocity level in order to derive the kinetic energy of the system. The kinetic-energy expression should then be differentiated multiple times to derive the equations of motion of the system. Among these differentiations, th...

This paper addresses the topic of robust Bayesian compressed sensing over finite fields. For stationary and ergodic sources, it provides asymptotic (with the size of the vector to estimate) necessary and sufficient conditions on the number of required measurements to achieve vanishing reconstruction error, in presence of sensing and communication noise. In all considered cases, the necessary an...

Introduction Clinical education and associated assessment is an important component of nurse education. A range of factors contribute to a culture that makes the assessment of clinical competence difficult. These factors are environmental, educational, cultural and linguistic diversity amongst students, student expectation, a diverse range of clinical education models. All of which contribute t...

We develop a fundamental model for spot electricity prices, based on stochastic processes for underlying factors (fuel prices, power demand and generation capacity availability), as well as a parametric form for the bid stack function which maps these price drivers to the power price. Using observed bid data, we find high correlations between the movements of bids and the corresponding fuel pri...

We propose a technique for expressing the ST semantics in SOS style for terms of a process algebra. This technique, which is based on the idea of giving unique names to actions and reusing the names of terminated actions, allows us to decide and axiomatize weak ST bisimu-lation for all processes that possess a nite state interleaving semantics. Moreover we show that the proposed technique allow...

We characterise the aperiodic autocorrelation for a Boolean function, f , and define the Aperiodic Propagation Criteria (APC) of degree l and order q. We establish the strong similarity between APC and the Extended Propagation Criteria (EPC) as defined by Preneel et al. in 1991, although the criteria are not identical. We also show how aperiodic autocorrelation can be related to the first deriv...

This paper studies the application of interval analysis and consistency techniques to ordinary di erential equations. It presents a unifying framework to extend traditional numerical techniques to intervals. In particular, it shows how to extend explicit methods to intervals. The paper also took a fresh look at the traditional problems encountered by interval techniques and studied how consiste...

Signal and image enhancement is considered in the context of a new type of diffusion process that simultaneously enhances, sharpens, and denoises images. The nonlinear diffusion coefficient is locally adjusted according to image features such as edges, textures, and moments. As such, it can switch the diffusion process from a forward to a backward (inverse) mode according to a given set of crit...