Benchmarking, Verification & Validation
4 papers for year 2017
Showing 1-4 of 4
Clinical practice in community medicine: Challenges and opportunities
Rajesh Kumar
2017
DOAJ
Indian Journal of Community Medicine
Denotational validation of higher-order Bayesian inference
Adam Ścibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
2017
Crossref
Proceedings of the ACM on Programming Languages
PERBEDAAN HASIL BELAJAR MATEMATIKA SISWA YANG DIAJARKAN MENGGUNAKAN QUANTUM LEARNING TEKNIK MIND MAPPING DENGAN COOPERATIVE LEARNING TEKNIK JIGSAW DI SMP NEGERI 18 TANGERANG
Ahmad Fahrudin
2017
DOAJ
Keberlanjutan
Randomized Benchmarking of Barrier versus Tilt Control of a Singlet-Triplet Qubit.
Zhang C, Throckmorton RE, Yang XC, Wang X, Barnes E, Das Sarma S.
2017
Europe PMC
Phys Rev Lett