We examine the concurrent composition of zero-knowledge proofs. By concurrent composition, we indicate a single prover that is involved in multiple, simultaneous zero-knowledge pro...
—Algorithmic enhancements are described that enable large computational reduction in mean square-error data clustering. These improvements are incorporated into a parallel data-c...
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
This paper presents two k-winners-take-all (k-WTA) networks with discontinuous activation functions. The k-WTA operation is first converted equivalently into linear and quadratic ...
This paper discusses an interdisciplinary educational initiative led by an instructional team with backgrounds in engineering and psychology in the context of an ergonomics course...
Alexandra Branzan Albu, K. Malakuti, H. Tuokko, W....