Multiple results in the literature exist that indicate that all computed solutions to chaotic dynamical systems are time-step dependent. That is, solutions with small but different time steps will decouple from each other after a certain (small) finite amount of simulation time. When using double precision floating point arithmetic time step independent solutions have been impossible to compute...

PURPOSE The purpose of this study was to develop an algorithm based on region-based segmentation for automated calculations of human cone photoreceptor density of en face images obtained by an adaptive optics scanning laser ophthalmoscope (AOSLO). SUBJECTS AND METHODS Cone mosaics of 15 eyes of 15 healthy subjects were photographed by a custom-built AOSLO. The cone density was calculated at 0...

An oral sustained-release floating tablet formulation of metformin HCl was designed and developed. Effervescence and swelling properties were attributed on the developed tablets by sodium bicarbonate and HPMC-PEO polymer combination, respectively. Tablet composition was optimized by response surface methodology (RSM). Seventeen (17) trial formulations were analyzed according to Box-Behnken desi...

This paper introduces a design and fabrication pipeline for creating floating forms. Our method optimizes for buoyant equilibrium and stability of complex 3D shapes, applying a voxel-carving technique to control the mass distribution. The resulting objects achieve a desired floating pose defined by a user-specified waterline height and orientation. In order to enlarge the feasible design space,...

The verification of programs performing floating-point computations is a key issue in the development of critical software. Reasoning on floatingpoint computations is a tricky task that requires dedicated tools: floatingpoint arithmetic is not correctly handled by solvers over the reals. Several methods have been developed in order to verify programs working with floating-point numbers. Some of...

High speed execution of arithmetic operations and high degree of precision in real time system are of major concern in any digital signal processing (DSP). Speed of DSP depends on speed of multiplier and algorithm used. In this paper we propose Residue Number System method for fast “carry free” floating point arithmetic operations. Floating Point RNS units have obvious advantages over tradition...

Despite nearly universal support for the IEEE 754 floating-point standard on modern generalpurpose processors, a wide variety of more specialized processors do not provide hardware floating-point units and rely instead on integer-only pipelines. Ray tracing on these platforms thus requires an integer rendering process. Toward this end, we clarify the details of an existing fixed-point ray/trian...

Floating-point arithmetic provides a fast but inexact way of computing geometric predicates. In order for these predicates to be exact, it is important to rule out all the numerical situations where floating-point computations could lead to wrong results. Taking into account all the potential problems is a tedious work to do by hand. We study in this paper a floating-point implementation of a f...

Floating Point (FP) multiplication is widely used in large set of scientific and signal processing computation. Multiplication is one of the common arithmetic operations in these computations. Quadruple, double, and single precision floating point multipliers are implemented using conventional, Canonical Signed Digit (CSD), Vedic, and radix-4 Booth multiplier methods using Verilog language and ...