Results 231 to 240 of about 2,976 (263)
Some of the next articles are maybe not open access.
1990
The concept of Design for Verifiability is introduced as a means of attacking the complexity problem encountered when verifying the correctness of hardware designs using mathematical proof techniques. The inherent complexity of systems implemented as integrated circuits results in a comparable descriptive complexity when modelling them in any framework
openaire +1 more source
The concept of Design for Verifiability is introduced as a means of attacking the complexity problem encountered when verifying the correctness of hardware designs using mathematical proof techniques. The inherent complexity of systems implemented as integrated circuits results in a comparable descriptive complexity when modelling them in any framework
openaire +1 more source
New England Journal of Medicine, 2005
Dr. Eric Topol asks, How can a drug that is associated with higher rates of both renal dysfunction and death than placebo — and that costs 50 times as much as standard therapies — be given to more than 600,000 patients and be promoted throughout the United States for serial outpatient use, an indication not listed on the label?
openaire +2 more sources
Dr. Eric Topol asks, How can a drug that is associated with higher rates of both renal dysfunction and death than placebo — and that costs 50 times as much as standard therapies — be given to more than 600,000 patients and be promoted throughout the United States for serial outpatient use, an indication not listed on the label?
openaire +2 more sources
The Verifiability Approach: A Meta-Analysis
Journal of Applied Research in Memory and Cognition, 2021Aldert Vrij +2 more
exaly
On Verifying Hypotheses by Verifying Their Implicates
The American Journal of Psychology, 1954openaire +2 more sources
Discriminating deceptive from truthful statements using the verifiability approach: A meta‐analysis
Applied Cognitive Psychology, 2021Glynis Bogaard +2 more
exaly
Surveying definitions of election verifiability
Information Processing Letters, 2022Ben Smyth, Michael R Clarkson
exaly
Provably Improving Election Verifiability in Belenios
Lecture Notes in Computer Science, 2021Sjouke Mauw, Jun Pang, Sergiu Bursuc
exaly
Privacy and verifiability in voting systems: Methods, developments and trends
Computer Science Review, 2013Sjouke Mauw, Jun Pang, Hugo Jonker
exaly
Fading lies: applying the verifiability approach after a period of delay
Psychology, Crime and Law, 2020Aldert Vrij +2 more
exaly