We present a practical attack on the soundness of Peng and Bao’s ‘batch zero-knowledge proof and verification’ protocol for proving knowledge and equality of one-out-of-n pairs of discrete logarithms. Fixing the protocol seems to require a commitment scheme with a nonstandard, mercurial-esque binding property: the prover commits to just n− 1 values, but later opens the commitment to n values wi...

Background: The present study aimed to analyze the situation of knowledge management among the faculty members in the four components, including creation, linking, organization and storage, and application. Methods: This is a survey research and the results are presented descriptively and analytically. The study tool was a questionnaire of knowledge management with 84 questions (creation of kno...

Conventional microprocessor designs treat register operands as atomic units. In such designs, no portion of an operand may be consumed until the entire operand has been produced. In practice, logic circuits and arithmetic units that generate some portion of an operand in advance of the remaining portions are both feasible and desirable, and have been employed in several existing designs. In thi...

We investigate how sociological argumentation di ers from the classical rstorder logic. We focus on theories about age dependence of organizational mortality. The overall pattern of argument does not comply with the classical monotonicity principle: adding premises does not overturn conclusions in an argument. The cause of nonmonotonicity is the need to derive conclusions from partial knowledge...

Representing domain knowledge is crucial for any task. There has been a wide range of techniques developed to represent this knowledge, from older logic based approaches to the more recent deep learning based techniques (i.e. embeddings). In this paper, we discuss some of these methods, focusing on the representational expressiveness tradeoffs that are often made. In particular, we focus on the...

in this paper, we obtain a suitable mathematical model for the seismic response of dams. by using the shear beam model (sb model), we give a mathematical formulation that it is a partial differential equation and transform it to the sturm-liouville equation.

introduction: the purpose of this study was determine the application of knowledge management among the staff members of central, faculty, and hospital libraries at tabriz university of medical sciences (tabriz, iran), based on hissig model. hissig model consists of four processes including knowledge creation, storage, sharing, and application. methods: this descriptive survey included all of t...