Syntax Tree Generator (Alg. 4) specification

Although there are machine-certified proofs of correctness of Alg. W and Alg. J, the correctness proof of Wand’s type reconstruction has never been machine checked. We give here a brief description of our attempt at machine-certified proof of correctness of Wand’s algorithm. The correctness is essentially given in terms of completeness and soundness with respect to the Hindley-Milner type syste...

BACKGROUND Targeted drug delivery to colon would ensure direct treatment at the disease site, decrease in dose administration and reduction side effects improved drug utilization. OBJECTIVE The purpose of this research was to decrease gastric side effects of piroxicam by formulating microspheres of alginate and algino-pectinate beads of the drug. MATERIALS AND METHODS Ionotropic gelation wa...

In multi-sensor target tracking systems, measurements from the same target can arrive out of sequence, called the out-of-sequence measurements (OOSMs). The resulting problem – how to update the current state estimates with the “old” measurements – has been solved optimally and sub-optimally for onelag as well as multi-lag OOSM update. In general, the existing algorithms assume perfect target de...

The aboveground growth, physiological and biochemical parameters of two clones of the cosmopolitan wetland grass Phragmites australis, grown at four treatment combinations of temperature and CO2, were investigated to elucidate whether their climate response differed due to inherent differences in their ecological adaptation. The two phylogeographically distinct P. australis clones (DK clone, Eu...

Abstract : The goal of this paper is to find a close to isomorphic presentation of 3-manifolds in terms of Hopf algebraic expressions. To this end we define and compare three different braided tensor categories that arise naturally in the study of Hopf algebras and 3-dimensional topology. The first is the category Cob of connected surfaces with one boundary component and 3-dimensional relative ...

Multi-competitive enzymatic reactions were performed to determine the selectivity properties of enzymes immobilised in polyacrylamide-alginate (pAAm-Alg) microcapsules. The transesterification of fatty acid ethyl esters of different chain lengths (C2–C14) with various alcohols catalysed by the enzyme lipase Mucor Miehei was chosen as a test system. While the free enzyme exhibited higher selecti...

Introduction: In this study, antidiabetic activity of 6% curcumin and chi-alg-encapsulated 6% curcumin isolated from the curumina longa (commonly called as turmeric) mother rhizome were evaluated and compared. Materials and Methods: The 6% curcumin-chi-alg encapsulated nanoparticles were prepared and characterized using scanning electron microscope and Fourier transform infrared. The antidiabet...

The progress of medical therapies, which rely on the transplantation of microencapsulated living cells, depends on the quality of the encapsulating material. Such material has to be biocompatible, and the microencapsulation process must be simple and not harm the cells. Alginate-poly(ethylene glycol) hybrid microspheres (alg-PEG-M) were produced by combining ionotropic gelation of sodium algina...

Mucoadhesive polymer-coated pellets containing metformin hydrochloride were prepared by the powder-layering technique using a centrifugal fluidizing (CF)-granulator. Four high-viscosity polymers were applied to make the pellets: 1) hydroxymethylcellulose (HPMC), 2) sodium alginate (Na-Alg), 3) HPMC/Carbopol, and 4) sodium carboxylmethylcellulose (Na-CMC). The physical crushing test, mucoadhesiv...