Starting from the Fisher-Kolmogorov-Petrovskii-Piskunov equation (FKPP) we model the dynamic of a diffusive system with two mutually communicating identical patches and isolated of the remaining matrix. For this system we find the minimal size of each fragment in the explicit form and compare with the explicit results for similar problems found in the literature. From this comparison emerges an...

Property preservation is investigated as an approach to modular verification, leading to reduction of the property verification time for formal models. For modelling purposes, formalisms with multi-way synchronisations are considered. For the modular verification technique to work, a specific type of synchronisation is required for which a necessary condition is identified. It is a requirement ...

We investigated whether emotions are activated during comprehension of emotion words. In the first part of the study, an experiment was conducted in which participants read sentence pairs each describing an emotional state and then engaged in a judgment task. Sentences were paired to either match or mismatch in emotion (happy, sad, or angry). We predicted that the sentences that mismatch in emo...

This paper aims to determine which is the best human action recognition method based on features extracted from RGB-D devices, such as the Microsoft Kinect. A review of all the papers that make reference to MSR Action3D, the most used dataset that includes depth information acquired from a RGB-D device, has been performed. We found that the validation method used by each work differs from the o...