Due to the potential of compact imaging systems with magnified spatial resolution and contrast, cone-beam x-ray differential phase-contrast computed tomography (DPC-CT) has attracted significant interest. The current proposed FDK reconstruction algorithm with the Hilbert imaginary filter will induce severe cone-beam artifacts when the cone-beam angle becomes large. In this paper, we propose an ...

Abstract In this paper, we present an inexact multiblock alternating direction method for the point-contact friction model of force-optimization problem (FOP). The friction-cone constraints FOP are reformulated as Cartesian product circular cones. We focus on convex quadratic circular-cone programming FOP, which is exact cone-programming model. Coupled with separable objective function, recast ...

The IEEE Standard 754-1985 for Binary Floating-Point Arithmetic [1] is being revised [2], and an important addition to the current text is the definition of decimal floating-point arithmetic [3]. This is aimed mainly to provide a robust, reliable framework for financial applications that are often subject to legal requirements concerning rounding and precision of the results in the areas of ban...

this study was performed to design bilayer regioselective floating tablets of atenolol and lovastatin to give immediate release of lovastatin and sustained release of atenolol. bilayer floating tablets comprised two layers, i.e immediate release and controlled release layers. the immediate release layer comprised sodium starch glycollate as a super disintegrant and the sustained release layer c...

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...

A higher-order sandwich theory is implemented in conjunction with an equivalent mobility-based power flow progressive method to determine power flow for a sandwich configured floating raft vibration isolation system. The power spectrum changes in whole frequency range effectively when core materials’ properties change. It is also shown that the loss factors of the sandwich configured floating r...

This report presents a formalisation of the IEEE standard for binary floating-point arithmetic in the set-theoretic specification language Z. The formal specification is refined into four sequential components which unpack the operands, perform the arithmetic, pack and round the result. This refinement follows proven rules and so demonstrates a mathematically rigorous method of program developm...

abstract                                                                               the new drug delivery systems have been developed, which can remain in the stomach for prolonged period of time. the effervescent floating tablet is one of these systems. iron deficiency anaemia is a common disease in the world. ferrous sulphate is the most common ferrous preparation used to treat and prevent...

In this paper we introduce the cone bounded linear mapping and demonstrate a proof to show that the cone norm is continuous. Among other things, we prove the open mapping theorem and the closed graph theorem in TVS-cone normed spaces. We also show that under some restrictions on the cone, two cone norms are equivalent if and only if the topologies induced by them are the same. In the sequel, we...