This tutorial provides examples of various linear and non-linear time series analyses for exploring the time-evolving nature of human behaviour in social and behavioural research. The goal of this ...

Verification of large programs is impossible without proof techniques that allow local reasoning and information hiding. In this paper, we resurrect, extend and modernize an old approach to this ...

This tutorial provides examples of various linear and non-linear time series analyses for exploring the time-evolving nature of human behaviour in social and behavioural research. The goal of this ...

Algebraic structures and linear maps form a cornerstone in modern mathematics, underpinning areas as diverse as abstract algebra and functional analysis. Algebraic structures such as groups, rings, ...

Abstract: Chaotic p-ary sequences with exponential autocorrelation functions are designed by using fully stretching piecewise linear maps where a result for binary sequences is applied. Some design ...