Benchmarking, Verification & Validation
10 papers for year 2026 from Europe PMC
Showing 1-10 of 10
A Review of Formal Methods in Quantum Circuit Verification
Govindankutty A.
2026
Europe PMC
Europe PMC
A verification scheme for universal quantum computers
Reddy A, TENE AG, Konrad T.
2026
Europe PMC
Europe PMC
Application of AI in Cyberattack Detection: A Review
Boateng Y, Mim N, Akhter N, Naha R, Mahanti A, Barros A.
2026
Europe PMC
Sensors (Basel)
Application of AI in Cyberattack Detection: A Review.
Boateng YJ, Mim NJ, Akhter N, Naha R, Mahanti A, Barros A.
2026
Europe PMC
Sensors (Basel)
Benchmarking MedMNIST dataset on real quantum hardware.
Singh G, Jin H, Merz KM.
2026
Europe PMC
Sci Rep
Enhancing quantum audio watermarking security through joint verification and certification.
Xing Z, Lam CT, Yuan X.
2026
Europe PMC
Sci Rep
Post-Quantum Link-based Ring Signature Model and Artificial Bee Colony (ABC) Algorithm for Effective Data Management in IoT-based Smart Cities
Shaker AA, Abduljabbar Rashid S, Al Mashhadany Y.
2026
Europe PMC
Europe PMC
Quantifying venom in African snakes: Insights into protein content, yield and body size associations.
French S, Da Silva R, Have MT, Crittenden E, Rowley P, Cullen IC, Holland Z, Wilkinson MC, Modahl CM.
2026
Europe PMC
Toxicon X
Quantum benchmarking of high-fidelity noise-biased operations on a detuned Kerr-cat qubit.
Qing B, Hajr A, Wang K, Koolstra G, Nguyen LB, Hines J, Huang I, Bhandari B, Chen L, Kang Z, Jünger C, Goss N, Jain N, Kim H, Lee KH, Hashim A, Frattini NE, Pedramrazi Z, Dressel J, Jordan AN, Santiago DI, Siddiqi I.
2026
Europe PMC
Proc Natl Acad Sci U S A
Verifiable blind observable estimation
Yang B, Kashefi E, Ollivier H.
2026
Europe PMC
Europe PMC