When developing an intervention aimed at behavior change, one of the crucial steps in the development process is to select the most relevant social-cognitive determinants. These determinants can be seen as the buttons one needs to push to establish behavior change. Insight into these determinants is needed to select behavior change methods (i.e., general behavior change techniques that are appl...

We propose a sound and practical approach, based on a formal method (known as Interval Temporal Logic), to cope with ‘change’ and analyse its effect. The approach allows us to capture a snapshot of system’s behaviour over which various interesting properties, such as liveness, timeliness and safety properties, can be validated compositionally. These properties may include invariants that are re...

Goal Attainment Scaling (GAS) is a method for writing personalized evaluation scales to quantify progress toward defined rehabilitation goals. In the published literature, GAS methodology is used with different levels of rigor, ranging from precisely written GAS scales that ensure minimal bias and explicitly describe 5 levels of goal attainment to subjective ratings of goal attainment by adject...

In the last lecture we proved that the torsion subgroup of the rational points on an elliptic curve E/Q is finite. In this lecture we will prove a special case of Mordell’s theorem, which states that E(Q) is finitely generated. By the structure theorem for finitely generated abelian groups, this implies E(Q) ' Z ⊕ T, where Zr is a free abelian group of rank r, and T is the (necessarily finite) ...

I N.J. Allen has recently investigated the possibility of modelling transformations from tetradic society – which he devised as a model of prehistoric human kinship and is intimately linked to his scholarship – to what are conventionally known as Crow-Omaha systems, themselves the subject of a recent collection reappraising the problems associated with them (Trautmann and Whiteley 2012). Allen’...

it is firstly proved that the multi-input-single-output (miso) fuzzy systems based on interval-valued $r$- and $s$-implications can approximate any continuous function defined on a compact set to arbitrary accuracy.  a formula to compute the lower upper bounds on the number  of interval-valued fuzzy sets needed to achieve a pre-specified approximation  accuracy for an arbitrary multivariate con...