This paper presents a cancellation theorem for the preorders in van Glabbeek’s linear time-branching time spectrum over BCCSP. Apart from having some intrinsic interest, the proven cancellation result plays a crucial role in the study of the cover equations, in the sense of Fokkink and Nain, that characterize the studied semantics. The techniques used in the proof of the cancellation theorem ma...

In this paper we study the effect of cancellation order on bit error rate (BER) performance of a Code Division Multiple Access (CDMA) system employing a linear Successive Interference Cancellation (SIC) receiver in both an Additive White Gaussian Noise (AWGN) channel and a Rayliegh fading channel. Four different ordering schemes are studied. We show that changing the cancellation order can lead...

This paper presents a 40GS/s track-and-hold amplifier with active cancellation. An active cancellation circuitry was implemented to mitigate the leakage caused by the parasitic capacitance of the sampling transistor. The cancellation technique increases the isolation between the track and hold modes, especially at high input frequencies. An SFDR3 of 62dB was measured for 5GHz input signal sampl...

In this paper successive interference cancellation (SIC) based on optical code division multiple access (O-CDMA) systems has been investigated. SIC scheme refers to a family of low complexity multi-user detection (MUD) methods for direct sequence CDMA systems. Performance of optical CDMA system is influenced by multiple access interference (MAI) resulted from the overlapping between the users. ...

Grossberg and VanDieren have started a program to develop a stability theory for tame classes (see [GrVa1]). We name some variants of tameness (Definitions 1.4 and 1.7) and prove the following. Theorem 0.1. Let K be an AEC with Löwenheim-Skolem number ≤ κ. Assume that K satisfies the amalgamation property and is κ-weakly tame and Galois-stable in κ. Then, K is Galois-stable in κ for all n < ω. ...

This paper thoroughly studies a modification of tree algorithm with successive interference cancellation. In particular, we focus on the algorithm throughput and account for a single signal memory location, as well as cancellation errors of three types. The resulting scheme is robust to imperfect interference cancellation and is tailored to the uplink bandwidth request collision resolution in a...

The purpose of the study was to evaluate the influence of selected physiological parameters on amplitude cancellation in the simulated surface electromyogram (EMG) and the consequences for spike-triggered averages of motor unit potentials derived from the interference and rectified EMG signals. The surface EMG was simulated from prescribed recruitment and rate coding characteristics of a motor ...

The purpose of the study was to quantify the influence of selected motor unit properties and patterns of activity on amplitude cancellation in the simulated surface electromyogram (EMG). The study involved computer simulations of a motor unit population with physiologically defined recruitment and rate coding characteristics that activated muscle fibers whose potentials were recorded on the ski...

An unital C∗-algebra A is said to have cancellation of projections if the semigroup D(A) of Murray-von Neumann equivalence classes of projections in matrices over A is cancellative. It has long been known that stable rank one implies cancellation for any A, and some partial converses have been established. In the sequel it is proved that cancellation does not imply stable rank one for simple, s...