Results 21 to 30 of about 1,573,175 (303)
Теория и практика судебной экспертизы, 2022 The article addresses the problems of methodical support for establishing the statute of limitations when conducting a forensic document examination, directly affecting the admissibility of an expert’s opinion as evidence in legal proceedings ...
M. V. Zhizhina, V. B. Danilovich
doaj +1 more source
A Communication Proof Equilibrium Concept [PDF]
, 1996 This paper proposes an equilibrium concept for the classes of environments in which players can communicate with each other but cannot make binding agreements.
Ferreira, José Luis
core +1 more source
Different Proofs are Good Proofs
EPiC Series in Computing, 2018 In order to compare the quality of proofs, it is necessary to measure artifacts of the proofs, and evaluate the measurements to determine differences between the proofs. This paper discounts the approach of ranking measurements of proof artifacts, and takes the position that different proofs are good proofs.
Geoff Sutcliffe +4 more
openaire +2 more sources
Journal of Computer and System Sciences, 1994 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alexander A. Razborov, Steven Rudich
openaire +4 more sources
Effect of sound insulation by adhesion of laminated sound insulation materials
Nihon Kikai Gakkai ronbunshu, 2016 This report shows effect of sound insulation by adhesion of porous materials and film laminated panel. It deals a technique for estimating damped vibration of automotive body panels with sound-proof structures.
Yoshio KUROSAWA +3 more
doaj +1 more source
Political rhetoric used by the main parties in the final debate before the 1999 election
Communicare, 2022 In order to identify the rhetorical characteristics of the participants, this study aimed to describe, interpret and evaluate the verbal strategies and tactics used by the five debaters who participated.
Paul Schutte
doaj +1 more source
Proofs, Proofs, Proofs, and Proofs [PDF]
, 2010 In logic there is a clear concept of what constitutes a proof and what not. A proof is essentially defined as a finite sequence of formulae which are either axioms or derived by proof rules from formulae earlier in the sequence. Sociologically, however, it is more difficult to say what should constitute a proof and what not.
openaire +3 more sources
, 2012 TLA+ is a specification language based on standard set theory and temporal logic that has constructs for hierarchical proofs. We describe how to write TLA+ proofs and check them with TLAPS, the TLA+ Proof System. We use Peterson's mutual exclusion algorithm as a simple example to describe the features of TLAPS and show how it and the Toolbox (an IDE ...
Cousineau, Denis +5 more
openaire +5 more sources
Journal of Clinical Tuberculosis and Other Mycobacterial Diseases, 2019 The Lancet Commission on High-Quality Health Systems called for a ‘revolution’ in the quality of care provided in low- and middle-income countries.
Helene-Mari van der Westhuizen +4 more
doaj +1 more source
Non-interactive Proofs of Proof-of-Work
, 2020 Decentralized consensus protocols based on proof-of-work (PoW) mining require nodes to download data linear in the size of the blockchain even if they make use of Simplified Payment Verification (SPV). In this work, we put forth a new formalization of proof-of-work verification by introducing a primitive called Non-Interactive Proofs of Proof-of-Work ...
Kiayias, A., Miller, A., Zindros, D.
openaire +4 more sources