in this paper we introduce the concept of dirac structures on (hermitian) modules and vectorbundles and deduce some of their properties. among other things we prove that there is a one to onecorrespondence between the set of all dirac structures on a (hermitian) module and the group of allautomorphisms of the module. this correspondence enables us to represent dirac structures on (hermitian)mod...

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

This paper investigates the possibility of using standard, low-cost, widely used FireWire as a new generation fieldbus medium for real-time distributed control applications. A real-time software subsystem, RT-FireWire was designed that can, in combination with Linux-based real-time operating system, provide hard real-time communication over FireWire. In addition, a high-level module that can em...

We deene a kernel language for the manipulation of mixin modules with the aim of providing foundations for the design of advanced module systems. Several working examples are presented showing the beneets of the use of mixins and overriding in module systems; moreover, a set of typing rules ensures that the language supports separate compilation. The denotational semantics of the language is ba...

Several test methods are applied for highly integrated mixed-signal Fax/Modem system-on-chip which consists of heterogeneous modules: MCU, DSP, PLA, memories, and CODEC. Top-level separate module testing is devised by test management unit which configures several IP-based module testing. External test programs are down-loaded on the embedded RAM and executed to evaluate the function of DSP in r...

Affinity separation with magnetic beads is an important and widely used technique for DNA computing. We have designed and implemented an experimental lab-on-a-chip module for affinity-bead separation for DNA-based concept learning. Magnetic beads with DNA-probe sequences immobilized on their surface were used to select target strands, and these beads are restrained in the channel by a permanent...

The BioText project team participated in both tasks of the TREC 2003 genomics track. Key to our approach in the primary task was the use of an organism-name recognition module, a module for recognizing gene name variants, and MeSH descriptors. Text classification improved the results slightly. In the secondary task, the key insight was casting it as a classification problem of choosing between ...

We identify the ring of odd symmetric functions introduced by Ellis and Khovanov as the space of skew polynomials fixed by a natural action of the Hecke algebra at q = −1. This allows us to define graded modules over the Hecke algebra at q = −1 that are ‘odd’ analogs of the cohomology of type A Springer varieties. The graded module associated to the full flag variety corresponds to the quotient...