Neural networks; Verification; Refinement types;
机译:利用动态数据类型细化探索性能的网络方法在网络应用中的能量权衡
机译:基于人工神经网络的无线传感器网络的安全节点检测技术
机译:SecureNets:不可信任的云上的深度神经网络的安全推断
机译:神经网络,通过建设安全:探索改进类型
机译:随时随地进行连接主义理论改进的方法:改进基于知识的神经网络的拓扑。
机译:基于海绵结构和混沌神经网络设计两种安全键控散列功能
机译:使用动态数据类型细化探索性能 - 在网络应用中的能源折衷的系统方法
机译:神经波束形成器II:通过神经网络进一步探索自适应波束形成。