With the RH1280 and RH1020, Actel Corporation introduces radiation-hardened versions of the popular A1280 and A1020 field programmable gate array (FPGA) familes with equivalent gate densities of 8,000 and 2,000 gate array gates, respectively. These products are processed to the QML process flow as defined in MIL-PRF-38535. They are manufactured with a 0.8 micron, two-level metal epitaxial bulk ...

We present an optoelectronic module called the equivalency-processing parallel photonic integrated circuit (EP(3)IC) that is created specifically to implement high-speed parallel equivalence searches (i.e., database word searches). The module combines a parallel-computation model with multiwavelength photonic integrated-circuit technology to achieve high-speed data processing. On the basis of s...

A reliable method for the determination of bulk-solvent model parameters and an overall anisotropic scale factor is of increasing importance as structure determination becomes more automated. Current protocols require the manual inspection of refinement results in order to detect errors in the calculation of these parameters. Here, a robust method for determining bulk-solvent and anisotropic sc...

Automated registration of compounds from external sources is necessitated by the numerous compound acquisitions from vendors and by the increasing number of collaborations with external partners. A prerequisite for automating compound registration is a robust module for determining the structural novelty of the input structures. Any such tool needs to be able to take uncertainty about stereoche...

we state several conditions under which comultiplication and weak comultiplication modulesare cyclic and study strong comultiplication modules and comultiplication rings. in particular,we will show that every faithful weak comultiplication module having a maximal submoduleover a reduced ring with a finite indecomposable decomposition is cyclic. also we show that if m is an strong comultiplicati...

in this paper, we show that every element of a discrete module is a sum of two units if and only if its endomorphism ring has no factor ring isomorphic to $z_{2}$. we also characterize unit sum number equal to two for the endomorphism ring of quasi-discrete modules with finite exchange property.

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