Safety critical functions propositional analysis;
机译:由线性Heyting代数上的二阶直觉命题演算公式可定义的所有函数的描述
机译:函数的临界点和大的变化演算
机译:使用变化演算推导最节能的源函数
机译:使用视觉命题微积分来推导安全关键功能
机译:显式相关的高斯基函数:使用矩阵微积分求矩阵元素和梯度公式的实现
机译:评估重症成人的近红外光谱衍生的区域性脑氧合与神经功能障碍之间的关系:代表加拿大重症监护试验组的一项前瞻性观察性多中心方案
机译:在具有$ ALEPH_0} $ PROTIOCAL COMMULAL的一阶函数微积分的连接。
机译:命题计算的数字化和单一功能计算