To a B-coring and a (B, A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule such as separability and the Frobenius properties are reflected in the induced base ring extension coring. Any bimodule that is finitely generated and projec...

This paper presents a novel technique for cycleaccurate simulation of the Central Processing Unit (CPU) of a modern superscalar processor, the UltraSPARC III Cu processor. The technique is based on adding a module to an existing fetch-decode-execute style of CPU simulator, rather than the traditional method of fully modelling the CPU microarchitecture. It is also suitable for accurate SMP model...

| Synthesis for testability has been taken as an important topic of research and application. Tools for synthesis of fully testable circuits have been developed. These design tools are faced with an ever increasing complexity. Methods to partition large logics into parts and synthesis of each sublogic independently have been provided from different points of view recently. However, a large circ...

A fully integrated system-in-package (SiP) for UHF (860– 960MHz) RFID mobile reader is presented. The SiP is made up of an UHF transceiver, a power amplifier (PA), and two baluns. The UHF transceiver was designed in TSMC 0.18μm Si CMOS and the PA was developed with InGaP/GaAs hetero-junction-bipolar transistor (HBT) technology. The transceiver IC is fully integrated for mobile UHF RFID applicat...

Let $R$ be a ring, $sigma$ be an endomorphism of $R$ and $M_R$ be a $sigma$-rigid module. A module $M_R$ is called quasi-Baer if the right annihilator of a principal submodule of $R$ is generated by an idempotent. It is shown that an $R$-module $M_R$ is a quasi-Baer module if and only if $M[[x]]$ is a quasi-Baer module over the skew power series ring $R[[x,sigma]]$.

We define the derivation module for a homomorphism of inverse semigroups, generalizing a construction for groups due to Crowell. For a presentation map from a free inverse semigroup, we can then define its relation module as the kernel of a canonical map from the derivation module to the augmentation module. The constructions are analogues of the first steps in the Gruenberg resolution obtained...

In this paper we articulate theoretical bases for robust behavior composition of multiple modules (e.g., agents, devices, etc.) by relying on the formal notion of simulation. Specifically, we consider the problem of synthesizing a fully controllable target behavior from a library of available partially controllable behaviors that are to execute within a shared, fully observable, but partially p...

For a ring R, we denote by R[L] the free R-module spanned by the isotopy classes of singular links in S. Given two invertible elements x, t ∈ R, the HOMFLY-PT skein module of singular links in S (relative to the triple (R, t, x)) is the quotient of R[L] by local relations, called skein relations, that involve t and x. We compute the HOMFLY-PT skein module of singular links for any R such that (...

A generalization of injective modules (noted GI-modules), distinct from p-injective modules, is introduced. Rings whose p-injective modules are GI are characterized. If M is a left GI-module, E = End(AM), then E/J(E) is von Neumann regular, where J(E) is the Jacobson radical of the ring E. A is semisimple Artinian if, and only if, every left A-module is GI. If A is a left p. p., left GI-ring su...

We find a relationship between the graded quotients of a filtered holonomic D-module, their duals as coherent sheaves, and the characteristic variety, in case the filtered D-module underlies a polarized Hodge module on a smooth algebraic variety. The proof is based on M. Saito’s result that the associated graded module is Cohen–Macaulay, and on local duality for the cotangent bundle. The result...