BACKGROUND Horizontal gene transfer (HGT) is one of the major mechanisms contributing to microbial genome diversification. A number of computational methods for finding horizontally transferred genes have been proposed in the past decades; however none of them has provided a reliable detector yet. In existing parametric approaches, only one single compositional property can participate in the d...

Allowing a proxy signer to generate a signature on behalf of an original signer, a proxy signature should satisfy the property of strong unforgeability: anyone except the designated proxy signer cannot create a valid proxy signature on behalf of the original signer. Since proxy signatures, as well as their derivatives, can be used in many applications in reality, such as secure mobile agent, e-...

We design and numerically validate a local discontinuous Galerkin (LDG) method to compute solutions to the initial value problem for a nonlinear variational wave equation originally proposed tomodel liquid crystals. For the semi-discrete LDG formulation with a class of alternating numerical fluxes, the energy conserving property is verified. A dissipative scheme is also introduced by locally im...

When studying the DPA resistance of S-boxes, the research community is divided in their opinions on what properties should be considered. So far, there exist only a few properties that aim at expressing the resilience of S-boxes to side-channel attacks. Recently, the confusion coefficient property was defined with the intention to characterize the resistance of an S-box. However, there exist no...

Customary rules governing access to land and other natural resources in village societies have characteristics that allow them to fulfil social security functions and achieve equity objectives. This is true of both common-property resources and land parcels held under individualized tenure. However, when land pressure increases under the combined influences of population growth and market integ...

We develop well-balanced finite-volume central schemes on overlapping cells for the SaintVenant shallow water system and its variants. The main challenge in deriving the schemes is related to the fact that the Saint-Venant system contains a geometric source term due to nonflat bottom topography and therefore a delicate balance between the flux gradients and source terms has to be preserved. We ...