We propose a method for compiling a class of Σ-protocols (3-move public-coin protocols) into non-interactive zero-knowledge arguments. The method is based on homomorphic encryption and does not use random oracles. It only requires that a private/public key pair is set up for the verifier. The method applies to all known discrete-log based Σ-protocols. As applications, we obtain non-interactive ...

technology advancement improves the way we interact with computer systems. keyboard, mouse, and touchpad provide an easier and more natural way of interaction with a computer system. nowadays, by introducing low cost and high performance depth cameras like kinect and xtion, new opportunities are available for creating even more natural interfaces. in this paper, a new model was demonstrated for...

An efficient numerical method for the design and synthesis of compensator for a relay type control system is developed and discussed. Previous works based on the interactive graphic method are reviewed and it is shown that the combination of the trequency and time domain numerical techniques provide a powerful tool in design of a wide class of relay control systems. An example is presented to d...

the purpose of this study barriers and challenges to the development of swimming in iran sports university has focuses on mental and physical health between students and academics. thus the existence of justice is essential to increase its quality in this critical environment. this study investigates distributive and interactive justice in athletic departments' countries universities. popu...

multiple objective programming (mop) problems have become famous among many researchers due to more practical and realistic implementations. there have been a lot of methods proposed especially during the past four decades. in this paper, we develop a new algorithm based on a new approach to solve mop problems by starting from a utopian point (which is usually infeasible) and moving towards the...

writers ensure the expected (re)construction of concepts in the mind of the audience through effective signposting of the inevitably linear linguistic stream, which is a main aspect of metadiscourse called interactive metadiscourse. in this study, the use of interactive metadiscourse markers in research articles was investigated to examine any probable difference existing between different disc...

Keyword Spotting is a well-known method in document image retrieval. In this method, Search in document images is based on query word image. In this Paper, an approach for document image retrieval based on keyword spotting has been proposed. In proposed method, a framework using relevance feedback is presented. Relevance feedback, an interactive and efficient method is used in this paper to imp...