C language; computability; formal verification; multilayer perceptrons; neural nets; parallel architectures; program verification;
机译:粒子群优化算法训练的基于CUDA的人工神经网络对矩形微带天线的谐振频率建模
机译:通过人工神经网络检查基于过程的集水区模型
机译:ESBMC-GPU一个上下文关联的模型检查工具,用于验证CUDA程序
机译:CUDA中人工神经网络的增量有限模型检查
机译:人工神经网络的增量通信。
机译:基于人工神经网络和整数规划的有界分支高度的无循环化学化合物推断的新方法
机译:CUDA中人工神经网络的增量有限模型检查