Algorithms; Mathematical models; Numerical analysis; Problem solving; Approximation; Least squares method; Simulation; Transformations (Mathematics);
机译:类型化答案集编程Lambda演算理论及其反Lambda算法的正确性
机译:回答答案集编程中的“为什么” –解释方法的调查
机译:答案集编程中解决优化问题的算法
机译:在回答数据库的查询时披露限制的新方法:根据数据或算法保护对Insider威胁的数字机密数据
机译:基于介体的数据集成系统,用于使用优化的扩展逆规则算法进行查询应答。
机译:利用冗余探针集的两个样本t检验统计数据来评估GeneChip研究中的不同探针集算法
机译:键入的答案设置编程Lambda微积分和逆Lambda算法的正确性相对于它们
机译:当前自动化信息评估方法及其对优先情报需求回答的适用性。