From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

On the Formalization of Importance Measures using HOL Theorem Proving., , , и . CoRR, (2019)Triangular Geometrized Sampling Heuristics for Fast Optimal Motion Planning, , , , , и . International Journal of Advanced Robotic Systems, (февраля 2015)UnbiasedNets: A Dataset Diversification Framework for Robustness Bias Alleviation in Neural Networks., , , и . CoRR, (2023)Yield aware inter-logic-layer communication in 3-D ICs: Early design stage recommendations., , и . MWSCAS, стр. 222-225. IEEE, (2014)A Generic Virtual Reality Training Simulator for Intracytoplasmic Sperm Injection., , и . ICCCS, стр. 400-403. IEEE, (2019)Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency., , и . IEEE Access, (2019)Decision Tree-based Adaptive Approximate Accelerators for Enhanced Quality., , , и . SysCon, стр. 1-5. IEEE, (2020)A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis., , и . SMACD, стр. 1-4. IEEE, (2022)Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach., и . SETTA, том 9984 из Lecture Notes in Computer Science, стр. 264-279. (2016)Power profiling of microcontroller's instruction set for runtime hardware Trojans detection without golden circuit models., , , и . DATE, стр. 294-297. IEEE, (2017)