The goal of this paper is to explain the analogy between certain results in algebraic geometry, namely the Riemann-Roch theorems due to Baum,Fulton, and MacPherson ([BFM2],and [FMac]); and recent results in geometric topology due to Dwyer, Weiss and myself [DWW]. One reason for doing this is that the bivariant viewpoint introduced by Fulton-MacPherson in their memoir [FMac], becomes particularl...

This paper is devoted to an online variant of the minimum spanning tree problem in randomly weighted graphs. We assume that the input graph is complete and the edge weights are uniform distributed over [0, 1]. An algorithm receives the edges one by one and has to decide immediately whether to include the current edge into the spanning tree or to reject it. The corresponding edge sequence is det...

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