The process of proving some mathematical theorems can be greatly reduced by relying on numericallyintensive computations with a certified arithmetic. This article presents a formalization of floatingpoint arithmetic that makes it possible to efficiently compute inside the proofs of the Coq system. This certified library is a multi-radix and multi-precision implementation free from underflow and...

A simple emulator of memristive system, containing only passive electronic components, namely resistors, capacitor, and no-DC biased transistor is described. Unlike other hitherto published emulators it does not exploit DC power supply. Moreover, it provides effective emulation of grounded as well as floating memristive systems. The circuit idea enables interesting experiments, demonstrating th...

ultimate limits of an open pit, which define its size and shape at the end of the mine’s life, is the pit with the highest profit value. a number of algorithms such as floating or moving cone method, floating cone method ii and the corrected forms of this method, the korobov algorithm and the corrected form of this method, dynamic programming and the lerchs and grossmann algorithm based on grap...

Objective To give a comprehensive and basic understanding of diabetes and its risk factors in floating people in China. Method We use "(diabetes or type 2 diabetes or chronic disease) and (floating population or employed floating population)" as the key words to search in the China academic literature database (CNKI), Wan Fang database, PubMed and Web of Science for relevant literature and ex...

In this paper, adaptive control of free-floating space manipulators is considered. The dynamics based on the momentum conservation law for the free-floating space manipulator has non-linear parameterization properties. Therefore, the adaptive control based on a linear parameterization model cannot be used in this dynamics. In this paper, the dynamics of the free-floating space manipulator syste...

A new drug delivery system for H2 receptor antagonist Ranitidine hydrochloride, was developed utilizing both the concepts of adhesiveness and of flotation, in order to obtain a unique drug delivery system which could remain in the stomach for a much longer period of tim Floating-Mucoadesive tablets of Ranitidine hydrochloride were developed to prolong its release and improve bioavailability. Ra...

A multiple-unit floating drug delivery system based on gas formation technique was developed, in order to prolong the gastric residence time and to increase the overall bioavailability of the dosage form. The floating bead formulations were prepared by dispersing nevirapine together with calcium carbonate in a mixture of sodium alginate and hydroxypropyl methylcellulose solution and then drippi...

A multiple-unit oral floating system was prepared using the emulsification-solvent diffusion method to prolong the gastric emptying time of theophylline. For this purpose, theophylline, ethyl cellulose and dibutyl phthalate were dissolved in an ethanol/dichloromethane mixture, added to 0.1 M HCl containing NaCl (20%) or saturated theophylline and/or different concentrations of polysorbate 80 an...

The most common approach for achieving sustained drug release is by the use of hydrophilic polymeric excipients directly compressed with active ingredients into tablets. Hydrophilic polymers swell in the presence of water to form hydrogel structures from which drugs are released by slow diffusion. The purpose of this study was to prepare a floating drug delivery system of levofloxacin, a fluoro...

A multiple-unit oral floating system was prepared using the emulsification-solvent diffusion method to prolong the gastric emptying time of theophylline. For this purpose, theophylline, ethyl cellulose and dibutyl phthalate were dissolved in an ethanol/dichloromethane mixture, added to 0.1 M HCl containing NaCl (20%) or saturated theophylline and/or different concentrations of polysorbate 80 an...