Abstract In this work we analyse bucket increasing tree families. We introduce two simple stochastic growth processes, generating random trees of size n , complementing the earlier result Mahmoud and Smythe (1995, Theoret. Comput. Sci. 144 221–249.) for recursive trees. On combinatorial side, define multilabelled generalisations families d -ary generalised plane-oriented Additionally, a cluster...

Thomas Brihaye Université de Mons-Hainaut Model-Checking, bisimulation and word combinatorics. Abstract. In this talk we explain briefly what model-checking is. Then we recall the notion of bisimulation and explain why the study of bisimulations is relevant in the context of model-checking. In particular we focus on bisimulations of dynamical systems and we explain how the dynamics of these sys...

abstract life skill training is one of the most important factors in increasing self-esteem of students with vision problems. this study was performed with aim of determine and effect of life skills training to increasing of self-esteems of students with vision problems at sabzevar city. the participants of the present study were selected through the available sampling procedure include male an...

We study when the existence of an increasing selection can be derived from the monotonicity of a multifunction w.r.t. an extension of the basic order from points to subsets. The most interesting results emerge when the target is a lattice and monotonicity is interpreted in one of the ways suggested by A.F. Veinott, Jr. An increasing selection exists if (1) the multifunction is weakly ascending ...

background: cardiovascular disease is the most common cause of disease in the developed world. early detection and risk prediction are a key component in reducing cardiovascular mortality. the framingham risk score uses age, sex,  cholesterol, blood pressure, diabetes, and smoking to calculate the 10‑year risk probability of developing cardiovascular disease for a given patient. the aim of this...