In this work we deal with actions of vector groupoid which is a new concept in the literature‎. ‎After we give the definition of the action of a vector groupoid on a vector space‎, ‎we obtain some results related to actions of vector groupoids‎. ‎We also apply some characterizations of the category and groupoid theory to vector groupoids‎. ‎As the second part of the work‎, ‎we define the notion...

Most learning systems applied to problem solving have the goal of learning knowledge for solving problems more eeciently. However, very few systems have focused on the acquisition of planning operator descriptions. In this paper, we present a system that learns operator deenitions from the interaction with a completely unknown environment. In order to achieve better learning convergence, severa...

The mathematical equation for Separation of the binary aqueous solution is developed by using the SpieglerKedem theory. The characteristics of a B-9 hollow fibre module of Du Pont are determined by using these equations and their results are compared with the experimental results of Ohya et al. The agreement between these results is found to be excellent. Keywords—Binary aqueous solution, model...

BACKGROUND Gait analysis is the study of human locomotion. In massage therapy, this observation is part of an assessment process that informs treatment planning. Massage therapy students must apply the theory of gait assessment to simulated patients. At Humber College, the gait assessment module traditionally consists of a textbook reading and a three-hour, in-class session in which students pe...

Complexes constructed from chains of p-subgroups of a group G provide valuable tools in group theory, for the understanding of p-local structure, in algebraic topology, for the study of classifying spaces and mod-p group cohomology through homology decompositions, and in modular representation theory, where the Lefschetz module associated to the complex of all nonidentity p-subgroups can be reg...

The module theorem by Janhunen et al. demonstrates how to provide a modular structure in answer set programming, where each module has a well-defined input/output interface which can be used to establish the compositionality of answer sets. The theorem is useful in the analysis of answer set programs, and is a basis of incremental grounding and reactive answer set programming. We extend the mod...

Let k be a field and G a finite group. By analogy with the theory of phantom maps in topology, a map f : M → N between kG-modules is said to be phantom if its restriction to every finitely generated submodule of M factors through a projective module. We investigate the relationships between the theory of phantom maps, the algebraic theory of purity, and Rickard’s idempotent modules. In general,...

A theory of prospective time perception is introduced and incorporated as a module in an integrated theory of cognition, thereby extending existing theories and allowing predictions about attention and learning. First, a time perception module is established by fitting existing datasets (interval estimation and bisection and impact of secondary tasks on attention). The authors subsequently used...

We prove, under some mild conditions, that the equivariant twisted K-theory group of a crossed module admits a ring structure if the twisting 2-cocycle is 2multiplicative. We also give an explicit construction of the transgression map T1 : H ∗(Γ • ;A) → H((N ⋊ Γ) • ;A) for any crossed module N → Γ and prove that any element in the image is ∞-multiplicative. As a consequence, we prove that, unde...