We investigate multiuser signal detection with a base-station antenna array for a synchronous DS-CDMA uplink using nonorthogonal codes in Rayleigh fading channels. We have developed a new formulation for a spatial-temporal decorrelating detector using the maximum-likelihood criteria. The detector is shown to be near–far resistant. We propose to implement the spatial-temporal decorrelating recei...

This document provides a description of the partial evaluator SAGE , a partial evaluator written in the logic programming language Gödel which specialises Gödel programs. Although capable of specialising any Gödel program SAGE was developed primarily to specialise meta-programs which use a ground representation. To assist users of SAGE this document gives an overview of SAGE , a manual for its ...

Landscape modification due to rapidly expanding energy development, in particular oil and gas, in the westernUSA, have prompted concerns over how such developments may impact wildlife. One species of conservation concern across much of the Intermountain West is the greater sage-grouse (Centrocercusurophasianus). Sage-grouse have been petitioned for listing under provisions of the Endangered Spe...

A new class of control algorithms—the “mirror algorithms”— gives rise to experimentally observed juggling and catching behavior in a planar robotic mechanism. The simplest of these algorithms (on which all the others are founded) is provably correct with respect to a simplified model of the robot and its environment. This article briefly reviews the physical setup and underlying mathematical th...

Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs and test the program on the resulting values. We present an alternative whitebox fuzz testing approach inspired by recent advances in symbolic execution and dynamic test generation. Our approach records an actual run of a program...

In the eld of Operation Research and Arti cial Intelligence, several stochastic search algorithms have been designed based on the theory of global random search (Zhigljavsky 1991). Basically, those techniques iteratively sample the search space with respect to a probability distribution which is updated according to the result of previous samples and some prede ned strategy. Genetic Algorithms ...

SAGE is an open source computer algebra system implemented using an object-oriented categorical framework, with methods for objects, methods for their elements, and methods for their morphisms. Currently, SAGE has the ability to deal with abelian groups, permutation groups, and matrix groups over a finite field. This paper will present an overview of the implementations of the group-theoretical...