Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,154,637 papers from all fields of science
Search
Sign In
Create Free Account
Soundness (interactive proof)
Soundness is a property of interactive proof systems that requires that no prover can make the verifier accept for a wrong statement except with some…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Interactive proof system
Proof of knowledge
Zero-knowledge proof
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Discovering Evolution Chains in Dynamic Networks
Corrado Loglisci
,
Michelangelo Ceci
,
D. Malerba
NFMCP
2012
Corpus ID: 2556942
Most of the works on learning from networked data assume that the network is static. In this paper we consider a different…
Expand
2011
2011
Directly Coupled Electromagnetic Field-Electric Circuit Model for Analysis of a Vector-Controlled Wound Field Brushless Starter Generator
J. Bangura
IEEE transactions on energy conversion
2011
Corpus ID: 1123381
Directly coupled electromagnetic field-electric circuit modeling approach for coupling an electrical machine to its associated…
Expand
2010
2010
Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance
L. Osterweil
,
L. Clarke
,
A. Ellison
,
E. Boose
,
R. Podorozhny
,
A. Wise
IEEE Transactions on Automation Science and…
2010
Corpus ID: 9724105
With the availability of powerful computational and communication systems, scientists now readily access large, complicated…
Expand
2007
2007
Contextualization of a DL Knowledge Base
K. Goczyła
,
W. Waloszek
,
A. Waloszek
Description Logics
2007
Corpus ID: 16239631
In the paper we propose a method of structuring a knowledge base into hierarchically related contexts and present how this…
Expand
2006
2006
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption
V. Cortier
,
Heinrich Hördegen
,
B. Warinschi
ICS@SYNASC
2006
Corpus ID: 3204800
2004
2004
Direct reasoning
M. Sitaraman
,
Gregory Kulczycki
2004
Corpus ID: 67478687
References are indispensable to computing practice. Unlike deep copying, reference copying permits constant-time data assignment…
Expand
2002
2002
Two-Loop Correction to the Orthopositronium Decay Rate
G. Adkins
,
R. N. Fell
,
J. Sapirstein
2002
Corpus ID: 55464356
We give a detailed description of our calculation of the O(α 2 ) correction to the orthopositronium decay rate. The resulting…
Expand
2000
2000
A Generalized Let-Polymorphic Type Inference Algorithm
Ropas Memo
,
Oukseh Lee
,
K. Yi
2000
Corpus ID: 118966738
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with…
Expand
1995
1995
A New Procedural Interpretation of Horn Clauses with Equality
A. Degtyarev
,
A. Voronkov
International Conference on Logic Programming
1995
Corpus ID: 19921321
We introduce the equality elimination method which is a new procedure for dealing with Horn clause logic programs with equality…
Expand
1991
1991
Who Is an Impartial Juror in an Age of Mass Media
F. Cate
,
N. Minow
1991
Corpus ID: 154106830
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE