科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
蒋萍;
河南省洛阳市委党校;
单调; 严格单调; 单调递增; 严格单调递增;
机译:经典等距不等式的另一个简单证明
机译:贝塞尔函数的叉积:单调性模式和函数不等式
机译:修改后的DINI函数:单调性模式和函数不等式
机译:不等式涉及超越函数的不等式证明:组合SDP和MAX-Plus近似
机译:模型检查和定理证明:一个统一的框架。
机译:广义digamma和polygamma函数的一些单调性和不等式
机译:评估鲁棒机构设计的条件摘要:我们评估了鲁棒机构设计文献中确定的不同条件的强度。我们关注三个条件:事后激励兼容性,强大的单调性和强大的可测量性。事后激励兼容性已被证明对于任何稳健实现的概念都是必要的,而稳健单调性和鲁棒可测量性已被证明分别对于健壮(完全)精确和虚拟实现是必要的。本文表明,虽然违反事后激励兼容性和强健单调性的行为不容易消失,但我们在环境中确定了一个温和的条件,在这些环境中,所有社会选择函数都满足一阶类型的开放和密集子集的鲁棒可测量性。我们得出结论,确切地说,健壮的虚拟实现可以比强大的精确实现更加宽松。
机译:n <或= 5的对称函数不等式的初等证明
机译:通过生成,确定列的单调性来优化数据库查询,该列的单调性为未检查谓词列表中的每个剩余不等式谓词生成表达式
机译:检测和跟踪单调性以加速范围和不等式查询
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。