Arterial stiffness is a well-known predictor of arteriosclerotic vascular disease. One index of arterial stiffness was the pulse wave velocity (PWV). But, it is known that PWV depends on the blood pressure at measuring time. Cardio-ankle vascular index (CAVI) is derived from stiffness parameter beta, and reflects the stiffness of the artery from the origin of the aorta to the ankle as a whole. ...

Temporal logic of causal knowledge over general partially ordered structures is deened. The deenition of knowledge captures the change of state due to action executions. The structures are a variant of ow event structures including prime event structures and branching processes of Petri Nets. Modalities corresponding to the causality, independency, and indis-tinguishability relations are used. ...

Ambient Assisted Living (AAL) systems are a relatively new and expanding area of research. Due to current demographic trends towards gentrification of the population AAL systems are bound to become more important in todays and near future’s societies. Fall detection is an important component of AAL systems which could provide better safety and higher independency of the elderly. This paper pres...

We prove some Ramsey-type theorems, where the colours are replaced by measurable subsets of a probability space. Such results can be also interpreted as percolation problems on N, the complete graph over N, without requiring any specific assumption on the probability, such as independency. In particular, we provide sharp estimates on the probability of finding an infinite clique or an infinite ...