In this short note, we present an extension of Nguyen’s bilinear-map based accumulator scheme [8] to support non-membership witnesses and corresponding non-membership proofs, i.e., cryptographic proofs that an element has not been accumulated to a given set. This complements the non-membership proofs developed by Li et al. [7] for the RSA accumulator [2, 3, 5], making the functionality of the b...

Configurations of adders and registers, which are available in tnany datapaths, can be utilized to generate pattems and to compact test responses. This paper unalyzes tlie patiern sequences produced by different types of accuriiulators and shows that they can achieve similar ,fault coverage as pseudo-random patterns. Corizpared to file well-known selftest tnethods that insert test registers, th...

A processor for the adaptation of the coefficients in high throughput adaptive equalizers will be presented. The accumulation operation fundamental basis of the adaptation process is split into two steps: A fine-grain carry-save accumulation with timesharing factor 2 collects the products of estimated error and input symbols over a blocklength of 16 input symbols and operates at twice the symbo...

Mathematical model for numerical simulation of the transient heat transfer and fluid flows in water thermal energy storage tanks is developed. The allows analysis fields accumulators at different schemes modes charging discharging. It was verified validated based on experimentally obtained information about temperature stratification a accumulator laboratory solar system. proposed approach stud...

Elevated cadmium (Cd) levels in cacao products have been detected a major cacao-producing region of Colombia, with concentrations well above those permitted for export and posing potential threat to human health. Geochemical petrographic analyses fertilizer, soil rocks from three farms were used determine the origin Cd. Parent main source Cd soils, while organic fertilizer may further contribut...

The primary goal of work described in this paper is to evaluate and enhance a virtual refrigerant charge sensor, developed in a previous study. The virtual refrigerant charge sensor algorithm employs low-cost and non-invasive measurements (i.e. surface mounted temperature measurements) to estimate refrigerant charge level for packaged air conditioning systems. It can be embedded within a portab...

Decisions typically comprise several elements. For example, attention must be directed towards specific objects, their identities recognized, and a choice made among alternatives. Pairs of competing accumulators and drift-diffusion processes provide good models of evidence integration in two-alternative perceptual choices, but more complex tasks requiring the coordination of attention and decis...