Results 261 to 270 of about 6,639 (299)
Some of the next articles are maybe not open access.
To Verify or Not to Verify — That is the Question
Noise & Vibration Worldwide, 2001Ian Campbell reports on the meeting of the Institute of Acoustic's Measurement and Instrumentation Group, held in London on February 14.
openaire +1 more source
Information Processing Letters, 1986
An algebra is called rigid if it has no other endomorphism than identity. We prove that the problem whether a finite algebra A is nonrigid is NP- complete as soon as the type of A has either one binary or two unary symbols. The apparently harder problem whether \(| End A| >k\), for a given integer \(k\geq 1\), can be reduced to the nonrigidity problem ...
Pavel Goralcik, Václav Koubek
openaire +2 more sources
An algebra is called rigid if it has no other endomorphism than identity. We prove that the problem whether a finite algebra A is nonrigid is NP- complete as soon as the type of A has either one binary or two unary symbols. The apparently harder problem whether \(| End A| >k\), for a given integer \(k\geq 1\), can be reduced to the nonrigidity problem ...
Pavel Goralcik, Václav Koubek
openaire +2 more sources
Computing in Science & Engineering, 2002
At the recent Joint Mathematics Meetings held in San Diego, I ran into an old friend who told me he is now doing "post-modern" mathematics, or PMM for short. Without even being asked, he explained that PMM is the term that replaced the phrase, "I believe the following mathematical statement to be true, but I can't prove it (yet)."
openaire +1 more source
At the recent Joint Mathematics Meetings held in San Diego, I ran into an old friend who told me he is now doing "post-modern" mathematics, or PMM for short. Without even being asked, he explained that PMM is the term that replaced the phrase, "I believe the following mathematical statement to be true, but I can't prove it (yet)."
openaire +1 more source
Totally verified systems: Linking verified software to verified hardware
1990We describe exploratory efforts to design and verify a compiler for a formally verified microprocessor as one aspect of the eventual goal of building totally verified systems. Together with a formal proof of correctness for the microprocessor this yields a precise and rigorously established link between the semantics of the source language and the ...
openaire +1 more source
Journal of Medical Ethics, 2013
I agree with Dr Eyal that the ‘trust-promotion argument for informed consent’ fails to account for common sense intuitions about informed consent.1 Appealing to ‘social trust, especially trust in caretakers and medical institutions’ cannot, by itself, justify informed consent requirements. And stipulating, in the trust-promoting argument's first clause,
openaire +2 more sources
I agree with Dr Eyal that the ‘trust-promotion argument for informed consent’ fails to account for common sense intuitions about informed consent.1 Appealing to ‘social trust, especially trust in caretakers and medical institutions’ cannot, by itself, justify informed consent requirements. And stipulating, in the trust-promoting argument's first clause,
openaire +2 more sources
IEEE Security & Privacy, 2014
Do you believe the software packages you buy and install are secure? Today that belief is largely a matter of faith. Could a third-party verification process, whether similar to Underwriters Laboratories or the US Food and Drug Administration, give us greater assurance of secure software?
openaire +1 more source
Do you believe the software packages you buy and install are secure? Today that belief is largely a matter of faith. Could a third-party verification process, whether similar to Underwriters Laboratories or the US Food and Drug Administration, give us greater assurance of secure software?
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, 2021Nicola Palena +2 more
exaly
Discriminating deceptive from truthful statements using the verifiability approach: A meta‐analysis
Applied Cognitive Psychology, 2021Bruno Verschuere +2 more
exaly