Almost twenty years ago the IEEE 754 binary floating-point standard was adopted. Since then almost every microprocessor as well as many programming languages have defined the floating-point arithmetic to be IEEE 754 compliant. From the many years experience in implementing the standard in hardware and writing floating-point programs, there have been numerous suggestions for revisions. All IEEE ...

In this report, we present a novel method for designing polynomial FIR predictors (PFP) and polynomialpredictive FIR differentiators (PPFD) for fixed-point environments. Our method yields filters that perform exact prediction and differentiation even with short coefficient word lengths. Under ordinary coefficient truncation or rounding, prediction and differentiation capabilities of these filte...

When a digital filter is realized with floating-point or fixed-point arithmetics, errors and constraints due to finite word length are unavoidable. In this paper, we show how these errors can be mechanically analysed using the HOL theorem prover. We first model the ideal real filter specification and the corresponding floating-point and fixedpoint implementations as predicates in higher-order l...

The paper analyzes the effects of round-off noise on Multiplicative Finite Impulse Response (MFIR) filters used to approximate the behavior of pole filters. General expressions to calculate the signal to round-off noise ratio of a cascade structure of Finite Impulse Response (FIR) filters are obtained and applied on the special case of MFIR filters. The analysis is based on fixed-point implemen...

  In this paper imprecise target models has been proposed to investigate the relation between imprecise data envelopment analysis (IDEA) and mini-max reference point formulations. Through these models, the decision makers' preferences are involved in interactive trade-off analysis procedures in multiple objective linear programming with imprecise data. In addition, the gradient projection type...

Energy and power consumption are major limitations to continued scaling of computing systems. Inexactness where the quality of the solution can be traded for energy savings has been proposed as a counterintuitive approach to overcoming those limitation. However, in the past, inexactness has been necessitated the need for highly customized or specialized hardware. In order to move away from cust...

The aim of this study was to establish which cut-off point for the forced expiratory volume in 1 s (FEV1)/forced vital capacity (FVC) ratio (i.e. fixed 0.70 or lower limit of normal (LLN) cut-off point) best predicts accelerated lung function decline and exacerbations in middle-aged smokers. We performed secondary analyses on the Lung Health Study dataset. 4045 smokers aged 35-60 years with mil...

in this paper, polyacrylamide/chromium acetate gel polymer system was prepared as water shut-off system to control water production in one of the iranian oil reservoirs condition. effect of various parameters such as temperature (90 °c) and water formation from view point of salinity and divalent cations, was evaluated on the gelation kinetic and gel strength using bottle testing method. the re...