Analysis of low bit rate image transform coding

Calculations based on high-resolution quantizations prove that the distortion rate D(R¯) of an image transform coding is proportional to 2^-2R when R¯ is large enough. In wavelet and block cosine bases, we show that if R¯<1 bit/pixel, then D(R¯) varies like R¯^1-2γ, where γ remains of the order of 1 for most natural images. The improved performance of embedded codings in wavelet bases is analyzed. At low bit rates, we show that the compression performance of an orthonormal basis depends mostly on its ability to approximate images with a few nonzero vectors     

Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

Parallel architecture for fast transforms with trigonometric kernel

We present an unified parallel architecture for four of the most important fast orthogonal transforms with trigonometric kernel: Complex Valued Fourier (CFFT), Real Valued Fourier (RFFT), Hartley (FHT), and Cosine (FCT). Out of these, only the CFFT has a data flow coinciding with the one generated by the successive doubling method, which can be transformed on a constant geometry flow using perfect unshuffle or shuffle permutations. The other three require some type of hardware modification to guarantee the constant geometry of the successive doubling method. We have defined a generalized processing section (PS), based on a circular CORDIC rotator, for the four transforms. This PS section permits the evaluation of the CFFT and FCT transforms in n data recirculations and the RFFT and FHT transforms in n-1 data recirculations, with n being the number of stages of a transform of length N=rⁿ. Also, the efficiency of the partitioned parallel architecture is optimum because there is no cycle loss in the systolic computation of all the butterflies for each of the four transforms     

A delta transform approach to loop gain-phase shaping design of robust digital control systems

This paper addresses the existence of loop gain-phase shaping (LGPS) solutions for the design of robust digital control systems for SISO, minimum-phase, continuous-time processes with parametric uncertainty. We develop the frequency response properties of LGPS for discrete-time systems using the Δ-transform, a transform method that applies to both continuous-time and discrete-time systems. A theorem is presented which demonstrates that for reasonable specifications there always exists a sampling period such that the robust digital control problem has a solution. Finally, we offer a procedure for estimating the maximum feasible sampling period for LGPS solutions to robust digital control problems.     

A generalized fuzzy Petri net model

The paper proposes a new model of Petri nets based on the use of logic based neurons. In contrast to the existing generalizations, this approach is aimed at neural-type modeling of the entire concept with a full exploitation of the learning capabilities of the processing units being used there. The places and transitions of the net are represented by OR and AND-type and DOMINANCE neurons, respectively. A correspondence between this model and the previous two-valued counterpart is also revealed. The learning aspects associated with the nets are investigated     

Robotica: a Mathematica package for robot analysis

Robotica is a computer aided design package for robotic manipulators developed in the Coordinated Science Laboratory at the University of Illinois at Urbana-Champaign. It encapsulates over 30 functions into a Mathematica package allowing efficient symbolic and numeric calculation of kinematic and dynamic equations for multi-degree-of-freedom manipulators. An X-Windows front end that utilizes the interprocess communication features of Mathematica 2.1 has also been created for ease of use. This paper describes the most important features of the package and how they are used     

Cholesterol and vascular disease. Study of pravastatin

Variations in lipid profile and incidence of vascular events were evaluated. Group 1 had a 29.3% reduction of total and a 38.3% reduction of LDL cholesterol as against reductions of 9% and 9.6% respectively in group 2. No significant difference was observed between the two groups as far as the vascular events considered were concerned. Pravastatin is an effective and safe drug. The lack of influence on the evolution of vascular disease would appear to be correlated to the small number of subjects studied and the short follow-up.