University of California San Diego;
机译:使用SCSCP轻松编写符号计算软件:一种用于符号计算的新型Lingua Franca
机译:在恶意模型中确保隐马尔可夫模型的安全计算和安全浮点算术
机译:SecuredTrust:用于多主体系统中的安全通信的动态信任计算模型
机译:计算数学,计算逻辑和符号计算
机译:针对实际设置和安全模型的高效安全计算。
机译:基本规则学习的计算模型回顾:神经系统符号辩论及其他
机译:人类认知计算模型中的象征和次象征表征可以从生物学中学到什么?
机译:符号计算在结构材料本构模型中的应用