On the use of 2-D coding techniques for ECG signals.

This paper discusses the convenience of using two-dimensional (2-D) coding techniques for the compression of electrocardiogram (ECG) signals. These signals present a very clear periodicity that can be exploited by the use of a 2-D time/frequency transform to decorrelate it as much as possible. A brief theoretical approach is given to justify the use of this technique, and a comparison is made between a 2-D and a one-dimensional (1-D) uniform quantization scenarios. The influence of the error as well as the frame size on the estimation of the fundamental period is studied.     

Alumina-supported catalysts for propane oxidative dehydrogenation from mixed VXM(6−X)O19 (M=W, Mo) hexametalate precursors

γ-Al₂O₃ supported vanadium oxides were modified by tungsten and molybdenum oxides in order to improve dispersion and selectivity towards olefins in propane oxidative dehydrogenation (ODH). Both vanadium–tungsten and vanadium–molybdenum catalysts were obtained by adsorption of mixed isopolyanions (VW₅O₁₉⁵⁻, V₂W₄O₁₉⁴⁻, VMo₅O₁₉⁵⁻ and V₂Mo₄O₁₉⁴⁻) from aqueous solutions. The isopolyanion solutions were characterized by UV-Vis and ⁵¹V NMR spectroscopy. Vanadium, vanadium–tungsten and vanadium–molybdenum precursors and catalysts were also characterized by UV-Vis (diffuse reflectance) and solid state ⁵¹V NMR spectroscopy. An improved selectivity to propene in the presence of tungsten and molybdenum in VO_x/γ-Al₂O₃ was observed and attributed to dilution of vanadium by tungsten or molybdenum oxides on the γ-Al₂O₃ surface.     

Implementation of RNS-Based Distributed Arithmetic Discrete Wavelet Transform Architectures Using Field-Programmable Logic

Currently there are design barriers inhibiting the implementation of high-precision digital signal processing (DSP) objects with field programmable logic (FPL) devices. This paper explores overcoming these barriers by fusing together the popular distributed arithmetic (DA) method with the residue number system (RNS) for use in FPL-centric designs. The new design paradigm is studied in the context of a high-performance filter bank and a discrete wavelet transform (DWT). The proposed design paradigm is facilitated by a new RNS accumulator structure based on a carry save adder (CSA). The reported methodology also introduces a polyphase filter structure that results in a reduced look-up table (LUT) budget. The 2C-DA and RNS-DA are compared, in the context of a FPL implementation strategy, using a discrete wavelet transform (DWT) filter bank as a common design theme. The results show that the RNS-DA, compared to a traditional 2C-DA design, enjoys a performance advantage that increases with precision (wordlength).     

Evaluating the impact of CASE: an empirical comparison of retrospective and cross-sectional survey approaches

The purpose of this paper is to evaluate two methods of assessing the productivity and quality impact of Computer Aided Software Engineering (CASE) and Fourth Generation Language (4GL) technologies: (1) by the retrospective method; and (2) the cross-sectional method. Both methods involve the use of questionnaire surveys. Developers' perceptions depend on the context in which they are expressed and this includes expectations about the effectiveness of a given software product. Consequently, it is generally not reliable to base inferences about the relative merits of CASE and 4GLs on a cross-sectional comparison of two separate samples of users. The retrospective method that requires each respondent to directly compare different products is shown to be more reliable. However, there may be scope to employ cross-sectional comparisons of the findings from different samples where both sets of respondents use the same reference point for their judgements, and where numerical rather than verbal rating scales are used to measure perceptions.     

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.