The Pure Pattern Calculus (PPC) [10, 11] extends the λ-calculus, as well as the family of algebraic pattern calculi [20, 6, 12], with first-class patterns i.e. patterns can be passed as arguments, evaluated and returned as results. The notion of matching failure of PPC in [11] not only provides a mechanism to define functions by pattern matching on cases but also supplies PPC with parallelor-li...

Computing steady-state distributions in infinite-state stochastic systems is in general a very difficult task. Product-form Petri nets are those Petri nets for which the steady-state distribution can be described as a natural product corresponding, up to a normalising constant, to an exponentiation of the markings. However, even though some classes of nets are known to have a product-form distr...

The consensus operator is used for cumulative belief fusion in subjective logic, and takes beliefs on binary frames of discernment as input. Coarsening to a binary state space is therefore needed in case the original frame is larger than binary. Coarsening causes information loss in general, and can lead to inconsistent results when applying the consensus operator. We presents a method for norm...

The combination of bite force and jaw muscle electromyography (EMG) provides an insight into the performance of the stomatognathic system, especially in relation to dynamic movement tasks. Literature has extensively investigated possible methods for normalising EMG data encapsulating many different approaches. However, bite force literature trends towards normalising EMG to a maximal voluntary ...

We introduce an intersection and union type system for the λμ-calculus, which includes a restricted version of the traditional unionelimination rule. We give a translation from intersection and union types into intersection and product types, which is a variant of negative translation from classical logic to intuitionistic logic and naturally reflects the structure of strict intersection and un...

A novel method for face recognition using profile images based on the representation of the original and morphological derived profile shapes is presented in this paper. The goal of our approach is to use information from profile outline that bounds the face and the hair. A grey-level profile image is thresholded to produce a binary image, representing the face region. After normalising the are...

We consider a semantics for a class-based object-oriented calculus based upon approximation; since in the context of lc such a semantics enjoys a strong correspondence with intersection type assignment systems, we also define such a system for our calculus and show that it is sound and complete. We establish the link with between type (we use the terminology predicate here) assignment and the a...