Reproducible Research, Uncertainty Quantification, and Verification & Validation nork Lorena A. Barba (97553)

Gaiak:

Algorithm verification. nork Dmitrii Smirnov (8822324)

Gaiak:

Model establishment and verification. nork Jian Zhang (1682)

Gaiak: “...Hepatocyte Growth Factor Modification Enhances...”

ProVerif Validation – Summary of Verification. nork Ismail Keshta (17727699)

Gaiak:

Verification. nork Peng Peng (321387)

“...<p>Verification.</p>...”

Experimental verification of sgRNA-1. nork Manuel Stemmer (471879)

Gaiak:

Comparison of message verification complexity. nork Eko Fajar Cahyadi (11419223)

Gaiak:

Verification and Validation of Computational Modeling and Simulation - A community effort nork Tina Morrison (556289)

Gaiak:

Primer sequences for sequencing, subcloning and PCR verification. nork Zhiqiang Zhang (1522858)

Gaiak:

Verification paths. nork Adeeb A. Ahmed (20404825)

Verification results. nork Xiaolei Zhang (316541)

Test of verification. nork Yixin Chen (64217)

“...<p>Test of verification.</p>...”

Independent verification. nork Sverre Holm (337844)

verification.rar nork Ivan Švogor (2580775)

“...Verification of the I-IV Allocation framework.<div>Contains:</div><div> - measurements of average execution time and average power consumption of software components allocated on the CPU, GPU and FPGA</div><div> - 2 different execution scenarios for image processing</div><div> - data sets (including usage of the synergy effect)</div><div> - analysis</div>...”

The verification of the output nork Paul A. Gagniuc (1818325)

“...<p dir="ltr"><b>The verification of the output</b>. (A) initial transition matrix (T1) of the simulator. ...”

Signature verification. nork Wei Xiong (58411)

Sample verification. nork Lauren Lanahan (3165426)

Verification paths. nork Adeeb A. Ahmed (20404825)

Verification of prohibitin. nork Hongwu Du (550901)

Hypotheses verification. nork Gonzalo Luna-Cortés (6824231)