On the SEP of Cooperative Diversity with Opportunistic Relaying

We analyze the exact symbol error probability (SEP) of cooperative diversity with opportunistic amplify-and-forward (AF) relaying. The benefit of this opportunism to the SEP is assessed by comparing with maximal ratio combining of orthogonal multiple AF relay transmissions.     

DDFSGEN

This paper presents a functional compiler for the automatic design of Direct Digital Frequency Synthesizer (DDFS) integrated circuits (ICs) using a ROM based table look-up architecture. The compiler allows the user to specify high-level specifications such as the acceptable spurious response and it generates the IC architecture, floorplan, and layout. To construct the layout for different specifications, a library of parameterized macrocells has been developed in 1.2 m CMOS technology.A test chip with a quadrature DDFS module has been generated, using the compiler, and fabricated. The chip has two input signals: one is for frequency control while the other is for phase initialization. Input and output word lengths are 16 bits and 6 bits respectively. The chip complexity is approximately 12,000 transistors (DDFS core) and the die size is 4.8×2.9mm ². A maximum sample rate of 80 MHz has been attained implying a maximum sine (cosine) output frequency of 40 MHz and a frequency resolution of 1.22 kHz. The maximum spurious level measured is –46 dB.     

Recycling of silicone rubber waste: Effect of ground silicone rubber vulcanizate powder on the properties of silicone rubber

The silicone rubber vulcanizate powder (SVP) obtained from silicone rubber by mechanical grinding exists in a highly aggregated state. The particle size distribution of SVP is broad, ranging from 2 µm to 110 µm with an average particle size of 33 µm. X‐ray Photoelectron Spectroscopy (XPS) and Infrared (IR) Spectroscopy studies show that there is no chemical change on the rubber surface following mechanical grinding of the heat‐aged (200°C/10 days) silicone rubber vulcanizate. Addition of SVP in silicone rubber increases the Mooney viscosity, Mooney scorch time, shear viscosity and activation energy for viscous flow. Measurement of curing characteristics reveals that incorporation of SVP into the virgin silicone rubber causes an increase in minimum torque, but marginal decrease in maximum torque and rate constant of curing. However, the activation energy of curing shows an increasing trend with increasing loading of SVP. Expectedly, incorporation of SVP does not alter the glass‐rubber transition and cold crystallization temperatures of silicone rubber, as observed in the dynamic mechanical spectra. It is further observed that on incorporation of even a high loading of SVP (i.e., 60 phr), the tensile and tear strength of the silicone rubber are decreased by only about 20%, and modulus dropped by 15%, while the hardness, tension set and hysteresis loss undergo marginal changes and compression stress‐relaxation is not significantly changed. Atomic Force Microscopy studies reveal that incorporation of SVP into silicone rubber does not cause significant changes in the surface morphology.     

Preparation and dielectric properties of La doped NBCCTO ceramics

Journal of Electroceramics - CaCu3Ti4O12 ceramics have great dielectric constant, excellent temperature stability and good frequency stability. However, due to high dielectric loss, its practical...     

Beyond Market Baskets: Generalizing Association Rules to Dependence Rules

One of the more well-studied problems in data mining is the search for association rules in market basket data. Association rules are intended to identify patterns of the type: A customer purchasing item A often also purchases item B. Motivated partly by the goal of generalizing beyond market basket data and partly by the goal of ironing out some problems in the definition of association rules, we develop the notion of dependence rules that identify statistical dependence in both the presence and absence of items in itemsets. We propose measuring significance of dependence via the chi-squared test for independence from classical statistics. This leads to a measure that is upward-closed in the itemset lattice, enabling us to reduce the mining problem to the search for a border between dependent and independent itemsets in the lattice. We develop pruning strategies based on the closure property and thereby devise an efficient algorithm for discovering dependence rules. We demonstrate our algorithm's effectiveness by testing it on census data, text data (wherein we seek term dependence), and synthetic data.     

Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5

We begin by showing how to faithfully encode the Classical ModalDisplay Logic (CMDL) of Wansing into the Calculus of Structures(CoS) of Guglielmi. Since every CMDL calculus enjoys cut-elimination,we obtain a cut-elimination theorem for all corresponding CoScalculi. We then show how our result leads to a minimal cut-freeCoS calculus for modal logic S5. No other existing CoS calculifor S5 enjoy both these properties simultaneously.     

2010 CAV award announcement

The 2010 CAV (Computer-Aided Verification) award was awarded to Kenneth L. McMillan of Cadence Research Laboratories for a series of fundamental contributions resulting in significant advances in scalability of model checking tools. The annual award recognizes a specific fundamental contribution or a series of outstanding contributions to the CAV field.     

Gendering the digital body: women and computers

As we live in a culture where “everything can be commodified, measured and calculated and can be put in the competitive market for sale, detached from its roots and purpose,” there is need to redefine our humanness in terms of the changing nature of science, technology, and their deeper impact on human life. More than anything else, it is Information Technology that now has tremendous influence on all spheres of our life, and in a sense, IT has become the destiny of our life. And this is where the real trauma lies. On the one hand, our being in the cyberspace opens up new and exciting horizons before us; on the other hand, we ourselves are changed and transformed in the process. The virtual world transforms human users to a problem-solver technocrat. The speed at which Information Technology is changing the way that youth around the world are socializing, playing, and researching, it is the common practice now for a 15-year old to go home and update their MySpace page, followed by playing online games, or looking up the new trendy YouTube video. These forms of technology are often the topic of adolescent conversations as YouTube, blogs, e-magazines, Face book, MySpace, iPhones, and iPods dominate the commercial and social networking market. Some researchers refer to this phenomenon as ubiquitous technology drawing attention to the fact that ubiquitous technology acknowledges the speedy adoption of day-to-day use of technology as a global phenomenon. In this background, this article aims at revisiting the question, “What is to be human in the era of Ubiquitous Technology?” From a feminist perspective, one can still redefine the boundaries between femininity and masculinity in the context of IT and its impact on our lifestyle and thought style. While examining the ways in which our definitions of “woman” and “man” are shifting in this new communication environment, Elizabeth Lane Lawley observes that we cannot fix a single center from which the experiences of women with computer and communication systems can be viewed and that such fixity would only serve to deepen inequities rather than exposing and removing them. She finally submits, “It is possible to use new theoretical perspectives on the shifting boundaries of gender definitions to rethink a previously deterministic view of the effect of new technologies on society, and particularly the effect of those technologies on women. While the gradual absence of the subject from the field of Artificial Intelligence leads to the invisibility of feminine care along with social and relational nature of man, some feminists dismiss the biological sex distinction on such issues and encourage females to ‘imitate man’ and to become more aggressive, assertive and dominating” (Lawley 1993). What are the possible impacts of this new technology on the so-called feminine traits of our human nature? How far our definitions of “woman” and “man” are shifting in this new communication environment? This is what this article seeks to explore.     

Effects of Weathering on Treatment of Lead Contaminated Soils

Treatment of lead-contaminated material focuses on the reduction of leached lead concentrations in laboratory leaching tests. There has been little study on the chemical stability of treated materials after waste disposal. To investigate the effects of weathering on several solidification/stabilization chemistries, lead-contaminated soil was treated with various agents (cement, phosphates, dithiocarbamate, calcium hydroxide, calcium carbonate, and metallic iron) and subjected to natural weathering for one year. Lead concentrations and pH values in field percolates and leachates from toxicity characteristic leaching procedure (TCLP) and water leaching tests were used to evaluate changes in the treatment effectiveness. Weathering altered the treatment chemistry of several additives—alkaline additives were neutralized, while reduced additives were oxidized. Lead concentrations in field percolates from the untreated soil were around 1.0?mg/L, and did not vary over one year of weathering time. After one year of weathering, lead concentrations in field percolates from most samples were reduced to low levels (<0.15 mg/L). Weathering also affected lead concentrations in the TCLP and water leach test leachates from the treated wastes. Treated wastes in which the alkaline additives were neutralized or reduced additives oxidized gave higher TCLP lead concentrations after weathering than before, in contrast to the decreasing lead concentrations in the field percolates. Water leaching tests on the alkaline treated wastes had lower lead concentrations after weathering than before.