For each benchmark, the verification engine was invoked by manually setting file name, timeout, and bit-vector-arithmetic solver7.
It is therefore convincing in this case that the different benchmarks yielded higher accuracies for each of the verification and identification scenarios.
This property allows us to give heuristic estimates of FMRs that are much smaller than 1/I: For each single impostor verification, we compute the success probability based on the size of the unlocking set and the number of correct points contained, and finally, we estimate the FMR as the mean over all verifications.
For each drug reported, verification was obtained by asking the participant to show the medication container.
We specified a strict clock for each gene after verification of clock-like rates using a stepping-stone model and a Bayes factor comparison in MrBayes v3.2.1 [ 46].
Although some items on our SC can only be completed with the participation of various members of the surgical team, each professional involved in the surgical process was responsible for each item's verification.
Sylvain Poux outlined the manual curation process, which consists of a review of the experimental data in the literature for each protein, the verification of the protein sequence and the annotation of the supporting evidence.
Participants then kept a daily diary for 1-week, in which they recorded and described (for verification) each of their flashbacks, i.e., spontaneously occurring image-based intrusions of the trauma film (based on [24]).
Digital signal processing, post-test AE feature extraction and time measurements performed on acquired waveform streams that contain the total continuous acoustic emission during each pass for verification.
One suitable tag was manually selected and annotated to each segment for performance verification.
