Search Results - Algorithm-based verification

Cost-Optimized and Highly Robust Latches Providing Complete Quadruple-Node-Upset Tolerance and Recovery With Algorithm-Based Verifications

Authors: Aibin Yan Chao Zhou Tianming Ni et al.

Source: IEEE Transactions on Aerospace and Electronic Systems. 61:6202-6216

HALTRAV: Design of a High-Performance and Area-Efficient Latch With Triple-Node-Upset Recovery and Algorithm-Based Verifications

Authors: Xing Guo Jiajia Zhang Xu Meng et al.

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 44:2367-2377

Cost-Optimized Double-Node-Upset-Recovery Latch Designs With Aging Mitigation and Algorithm-Based Verification for Long-Term Robustness Enhancement

Authors: Aibin Yan Changli Hu Jing Li et al.

Source: IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 33:1765-1773

Non-coherent Signal Detection Algorithm Based on Molecular Communication and Its Experimental Verification

Authors: Leifu Ren Yitao Hu Xiaoyi Bian et al.

Source: 2025 8th World Conference on Computing and Communication Technologies (WCCCT). :38-44

QtNURAV: A Robust Latch Design with Quintuple Node Upset Recovery and Algorithm based Verifications for Aerospace Applications

Authors: Aibin Yan Jing Li Han Bao et al.

Source: IEEE Transactions on Aerospace and Electronic Systems. :1-12

Cost Efficient Flip-Flop Designs With Multiple-Node Upset-Tolerance and Algorithm-Based Verifications

Authors: Aibin Yan Yuting He Zhengfeng Huang et al.

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 44:390-394

Feasibility study of a novel hash algorithm-based neutron activation analysis system for arms control treaty verification

Authors: Xiao-Suo He Yao-Dong Dai Xiao-Tao He et al.

Source: Nuclear Engineering and Technology, Vol 56, Iss 4, Pp 1330-1338 (2024)

Subject Terms: 0301 basic medicine, 0303 health sciences, 03 medical and health sciences, Nuclear disarmament verification, TK9001-9401, Nuclear engineering. Atomic power, Hash algorithm, Cryptographic radiation measurements, 16. Peace & justice, Nuclear arms control, Monte Carlo simulation

Access URL: https://doaj.org/article/cf4b4672ccd04a658557979327ba2de1

Multi-index federated aggregation algorithm based on trusted verification

Authors: Bao Zhenshan Wang Mengyuan Wei Bai et al.

Source: CCF Transactions on High Performance Computing. 6:632-645

The Debiasing Recommendation Algorithm Based on Pseudo-label Uncertainty Verification

Authors: Huiqiang Wu Ruoning Song Lan Ma et al.

Source: Proceedings of the 2024 10th International Conference on Communication and Information Processing. :668-674

Verification of a Numerical Algorithm Based on Quasi-Hydrodynamic Equations as Applied to Thermal Convection Problems

Authors: M. A. Kiryushina T. G. Elizarova A. S. Epikhin

Source: Computational Mathematics and Mathematical Physics. 64:2388-2398

DWSCNN Online Signature Verification Algorithm Based on CAE-MV Feature Dimensionality Reduction

Authors: Jianbin Zheng Ziyao Chen Liping Huang et al.

Source: IEEE Access, Vol 12, Pp 22144-22157 (2024)

Subject Terms: convolutional autoencoder-model verification, depth-wise separable convolution neural network, 0202 electrical engineering, electronic engineering, information engineering, deep learning, Online signature verification, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, TK1-9971

Access URL: https://doaj.org/article/69210d073ce6434f8a334c7430fb77c7

Verification Technical Scheme for Deep Learning Algorithm Based on Interactive Zero Knowledge Protocol

Authors: LYU Yanfeng, LYU Xuesheng, HUANG Shenghui, LIANG Qinglei

Source: Yuanzineng kexue jishu, Vol 59, Iss 4, Pp 946-956 (2025)

Subject Terms: monte carlo method, nuclear safeguard, Nuclear and particle physics. Atomic energy. Radioactivity, TK9001-9401, deep learning, Nuclear engineering. Atomic power, QC770-798, zero knowledge protocol, artificial intelligence

Access URL: https://doaj.org/article/65ba7a20ee2c4fe4a191d70af9cceb92

MURLAV: A Multiple-Node-Upset Recovery Latch and Algorithm-Based Verification Method

Authors: Aibin Yan Zhixing Li Zhongyu Gao et al.

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43:2205-2214

Study on Verification of Slope Angle Recognition Algorithm based on Vehicle Speed

Authors: Mingqi Gu Yang Gao Lele Han et al.

Source: 2024 36th Chinese Control and Decision Conference (CCDC). :4017-4021

Formal Verification Method for Fault Coverage Capability of March Algorithm based on SpinalHDL

Authors: Ensheng Wang Zhijian Dai Yindong Xiao

Source: 2024 7th World Conference on Computing and Communication Technologies (WCCCT). :86-91

Design of data verification algorithm based on XML compressed package

Authors: Xiangzhen Li Ping Huang peng zhang et al.

Source: Proceedings of the 2024 8th International Conference on Digital Signal Processing. :16-20

Verification Method of Intelligent Prosthetic Algorithm Based on Anthropomorphic Walking Robot

Authors: Honglei An Lei Sun Hongxu Ma et al.

Source: 2023 3rd International Conference on Robotics, Automation and Artificial Intelligence (RAAI). :156-161

Quantum genetic algorithm based fixed value verification of distributed grid relay protection

Authors: Wenwei Li

Source: Journal of Physics: Conference Series. 3065:012003

Automatic Design Framework of Dielectric Elastomer Actuators: Neural Network-Based Real-Time Simulation, Genetic Algorithm-Based Electrode Optimization, and Experimental Verification

Authors: Zijian Qin Jieji Ren Feifei Chen et al.

Source: Soft Robotics.

Access URL: https://pubmed.ncbi.nlm.nih.gov/39610306

A gravitational search algorithm-based control of an underactuated system with experimental verifications

Authors: Arabinda Ghosh Anjan Kumar Ray

Source: Soft Computing. 28:3353-3369