نتایج جستجو برای: floating in

تعداد نتایج: 16981268  

2014
Sowjanya Battu V. Umamaheswara Rao

The objective of the present investigation is to formulate Nizatidine loaded superporous floating hydrogel tablets. In the present study Nizatidine floating tablets were prepared by effervescence method using sodium bicarbonate as a gas generating agent. The tablets were formulated using direct compression technology by employing polymers like chitosan, carbopol 934p and ethyl cellulose. The pr...

2013
Sukhvir Kaur Parminder Singh Jassal

Floating point arithmetic is widely used in many areas, especially scientific computation and signal processing. The main applications of floating points today are in the field of medical imaging, biometrics, motion capture and audio applications. Multipliers play an important role in today‟s digital signal processing and various other applications. A system‟s performance is generally determine...

2010
Philipp Rümmer

Floating-point arithmetic is an essential ingredient of embedded systems, such as in the avionics and automotive industries. By nature, many of these applications are safety-critical, requiring rigorous mathematical methods such as model checking to verify the adherence to safety standards. One of the bottlenecks in comparing different approaches to the floating-point program verification probl...

2011
Olivier Ponsini Claude Michel Michel Rueher

Floating-point arithmetic differs from real arithmetic, which makes programming with floating-point numbers tricky. Estimating the precision of a floating-point computation in a program, i.e., estimating the difference with the result of the same sequence of operations in an idealized real number semantics, is then necessary. Tools like Fluctuat, based on abstract interpretation, have been desi...

2007
Jacques Timmermans

Specific : buoyancy, clinical study, cut-off size, dimension monitoring, dosage form size, floating dosage form, floating force, gamma scintigraphy triple radiolabeling and monitoring technique, gastric emptying, gastric residence time, Hydrodynamically Balanced System (HBS), intragastric buoyancy, monolithic hydrophilic matrix, non-floating dosage form, resultant-weight measuring apparatus and...

2014
S. K Bisoi G. Devi

The multiple-input floating gate transistors were used to simplify the design of multiple valued logic. The Quasi-floating gate node have a well defined DC operating point. The multi-input quasi-floating gate is used for low voltage applications because its effective threshold voltage will be controllered to a low value.

2002
Jeff Good

The focus of this paper is on several cases of tone raising in Saramaccan, an Atlantic creole spoken in Surinam, which appear to be best analyzed as the manifestation of morphological floating high tones. Floating tones have been a well-recognized part of modern linguistic theory since at least Goldsmith (1976:57–62) who defined a floating tone as “a segment specified only for tone which, at so...

Journal: :Electr. Notes Theor. Comput. Sci. 2015
Charles Jacobsen Alexey Solovyev Ganesh Gopalakrishnan

We present a new, open-source formalization of fixed and floating-point numbers for arbitrary radix and precision that is now part of the HOL Light distribution [10]. We prove correctness and error bounds for the four different rounding modes, and formalize a subset of the IEEE 754 [1] standard by gluing together a set of fixed-point and floating-point numbers to represent the subnormals and no...

2015
Yougang Sun Wanli Li Dashan Dong Xiao Mei Haiyan Qiang

Original scientific paper The floating cranes, which transfer payloads during offshore constructions, need meet rigorous demands for efficiency and safety in serious sea conditions while the unexpected motion of the floating crane caused by wave make it even harder. This paper analyses the dynamics of a floating crane and presents an active heave compensation system (HCS) to allow the payloads ...

2012
Mamidi Nagaraju Geedimatla Shekar

In this project we explore the capability and flexibility of FPGA solutions in a sense to accelerate scientific computing applications which require very high precision arithmetic, based on IEEE 754 standard 128-bit floating-point number representations. Field Programmable Gate Arrays (FPGA) is increasingly being used to design high end computationally intense microprocessors capable of handlin...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید