In this paper, we study the convergent property of a well known discretized scheme of Gaussian curvature, derived from Gauss-Bonnet theorem, over triangulated surface. Suppose the...
Typechecking consists of statically verifying whether the output of an XML transformation always conforms to an output type for documents satisfying a given input type. In this ge...
I propose a quantitative methodology to analyze the economic impact of e-government based on structural modeling, allowing for a careful description of the underlying theoretical ...
Mixed Multi-Unit Combinatorial Auctions extend and generalize all the preceding types of combinatorial auctions. In this paper, we try to make headway on the practical application...
The study of gene functions requires a DNA library of high quality, such a library is obtained from a large mount of testing and screening. Pooling design is a very helpful tool f...