Results 161 to 170 of about 1,009,763 (185)

Necessity and realization of universally verifiable secret sharing

Proceedings. 1998 IEEE Symposium on Security and Privacy (Cat. No.98CB36186), 2002
Argues the necessity of universally verifiable secret sharing for secrets as individual users' cryptographic keys, and proposes protocols to realize such secret sharing for two most common public-key cryptosystems: discrete logarithm-based and integer factorization-based.
openaire   +2 more sources

A quasi-universal realization of automata

2012
We consider a categorical approach to the theory of automata by which the realization of non deterministic automata is universal in a 2-categorical sense (lax).
Betti, Renato, Kasangian, Stefano
openaire   +2 more sources

A Universal Realizability Model for Sequential Functional Computation

2008
We construct a universal and even logically fully abstract realizability model for the sequential functional programming language of call-by-name FPC. This model is defined within the category of modest sets over the total combinatory algebra L of observational equivalence classes of closed terms of the untyped programming language lambda+Error.
openaire   +2 more sources

Realization is continuously universal

1975
openaire   +1 more source

To Realize the Universal

2012
openaire   +1 more source

Generalized Realizability and Basic Logic

ACM Transactions on Computational Logic, 2021
exaly  

On hyperarithmetical realizability

Mathematical Notes, 2016
V E Plisko
exaly  

Turbulence Fluctuations and New Universal Realizability Conditions in Modeling

Physical Review Letters, 1997
Gregory L Eyink, Francis J Alexander
exaly  

TECHNIQUE OF REALIZATION OF A UNIVERSAL EMULATOR

CAD/EDA, Modeling and Simulation in Modern Electronics. Part 2, 2018
Vladimir Panischev, Aleksandr Veremchuk
openaire   +1 more source

The Role of the University President in Realizing the Multicultural University

American Behavioral Scientist, 1990
openaire   +1 more source