To tackle the problem with inexact, uncertainty and vague knowl- edge, constructive method is utilized to formulate lower and upper approx- imation sets. Rough set model over dual-universes in fuzzy approximation space is constructed. In this paper, we introduce the concept of rough set over dual-universes in fuzzy approximation space by means of cut set. Then, we discuss properties of rough se...

Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The Logic Closure Spaces, SLCS, extends with reachability connectives that, in turn, can be used expressing interesting spatial properties, such as "being near to" or surrounded by". SLCS constitutes kernel solid logical framework reasoning abo...

Dynamic relational processes, such as e-mail exchanges, bank loans and scientific citations, are important examples of dynamic networks, in which the events consistute time-stamped edges. There contexts where network might be considered a reflection underlying dynamics some latent space, whereby nodes associated with locations their relative distances drive interaction tendencies. As time passe...

casimir forces of massive ferrnionic dirac fields are calculated for parallel plates geometry in spatial space with dimension d and imposing bag model boundary conditions. it is shown that in the range of ma>>l where m is mass of fields quanta and a is the separation distance of the plates, it is equal to massive bosonic fields casimir force for each degree of freedom. we argue this equality ex...