Floating-point computations are quickly finding their way in the design of safetyand mission-critical systems, despite the fact that designing floating-point algorithms is significantly more difficult than designing integer algorithms. For this reason, verification and validation of floating-point computations is a hot research topic. An important verification technique, especially in some indu...

In recent years, non-cooperative objects, such as failed satellites and space junk, can be detected in space. These objects are usually manipulated or collected by free-floating dual-arm manipulators. Reinforcement learning methods show more promise trajectory planning for manipulators difficulties modeling manual parameter tuning have been recently surmounted. Although previous studies demonst...

the objective of the present investigation was to design a sustained release floating microcapsules of theophylline using two polymers of different permeability characteristics; eudragit rl 100 (eu rl) and cellulose acetate butyrate (cab) using the oil-in-oil emulsion solvent evaporation method. polymers were used separately and in combination to prepare different microcapsules. the effect of d...

the present study deals with development of a floating in-situ gel of the narrow absorption window drug baclofen. sodium alginate-based in-situ gelling systems were prepared by dissolving various concentrations of sodium alginate in deionized water, to which varying concentrations of drug and calcium bicarbonate were added. fourier transform infrared spectroscopy (ftir) and differential scannin...

In this paper, we present a full precision floating-point Cordic algorithm and a correponding word-serial Cordic architecture. The extension to existing block floating-point Cordic algorithms is in a floating-point representation for the angle. The angle is represented as a combination of exponent, micro-rotation bits and two bits to indicate prerotations over 2 and radians.

Ultra low-voltage (ULV) floating-gate (FG) differential amplifiers are presented. In this paper we present several different approaches to CMOS ULV amplifier design. Sinh-shaped and tanh-shaped transconductance amplifiers are described. Measured results are provided. Keywords— Floating-gate, low-voltage, low-power, lowvoltage amplifiers, analog floating-gate circuits.

This thesis examines a modern concept for machine numbers based on interval arithmetic called 'Unums' and compares it to IEEE 754 floating-point arithmetic, evaluating possible uses of this format where floating-point numbers are inadequate. In the course of this examination, this thesis builds theoretical foundations for IEEE 754 floating-point numbers, interval arithmetic based on the project...