Information Flow; Min-Entropy; Belief-Min-Entropy; Information Theory; Vulnerability; Theorem Proving; Higher-order Logic; HOL4;
机译:时变数据最小熵估计的分析与改进
机译:电价的置换最小熵与统计复杂度分析
机译:开普敦对木材和纸张的物质流分析:是否有可能改变正规和非正规部门的流向,以促进将其用作可再生资源?
机译:使用Min-Entopy和信仰熵的信息流程正式分析
机译:非洲裔美国主要护理人员中正式护理使用的障碍:受到的污名,歧视性信仰,宗教承诺和不信任。
机译:置换熵和排列矿熵在RRI时间序列的多种情绪状态分析中的应用
机译:利用min-Entropy和Belief min-Entropy对信息流进行形式化分析
机译:铬中信息流的形式分析和运行时监控:技术附录。