Let  be a commutative ring and  be a unitary  module. We define a semi prime sub module of a module and consider various properties of it. Also we define semi-radical of a sub module of a module and give a number of its properties. We define modules which satisfy the semi-radical formula and present the existence of such a module.

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...

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...

Learning to program is an important subject for students of Computer Science. Mentoring these students is a time-consuming and complex task. In this paper, we present a learning and tutoring environment that integrates task/solution delivery, assessment support and tutor’s annotations, by extending Eclipse to a “Real World Integrated Development Environment”. We will present a distributed syste...

A method is presented for automatically extending WordNet with the telic relationships proposed in Pustejovsky’s lexicon model. The method extracts telic relationships from WordNet glosses by first selecting a telic word through a pattern matcher aided by a part-of-speech tagger and then employing a word disambiguation module to select the specific meaning (synset) of the telic word. The method...

Given a Hopf algebra H and an H-module algebra A it is often important to be able of extending the H-action from A to a localisation of A. In this paper we are going to discuss sufficient conditions to extend Hopf actions as well as to characterise those localisations where the action can be extended. Our particular interest lies in the maximal ring of quotients of A.

∂tc+ λ c+ u ∂xc− κ ∂ xc = q + ∂xf + ∂ xg . At the grid points the extremely high order of approximation for the numerical solutions is such that if loss of accuracy is to be avoided then interpolation must use values extending beyond the local 3 by 2 computational module. Illustrative examples show that reasonable accuracy is possible with extremely long time steps on sparse non-uniform, moving...

In a trace-based world, the modular specification, verification, and control of live systems require each module to be receptive; that is, each module must be able to meet its liveness assumptions no matter how the other modules behave. In a real-time world, liveness is automatically present in the form of diverging time. The receptiveness condition, then, translates to the requirement that a m...

This article introduces JazzScheme, a development system based on extending the Scheme programming language and the Gambit system. JazzScheme includes a module system, hygienic macros, object-oriented programming, a full-featured cross-platform application framework, a sophisticated programmable IDE and a build system that creates executable binaries for Mac OS X, Windows and Linux. JazzScheme ...

An abstract planning is the rst phase of the web service composition in the Planics framework. A user query speci es the initial and the expected state of a plan in request. The paper extends Planics with a module for temporal planning, by extending the user query with an LTL−X formula specifying temporal aspects of world transformations in a plan. Our solution comes together with an example, a...