机译:计算战略上等效的Bimatrix游戏的代数几何方法
机译:计算战略上等效的Bimatrix游戏的代数几何方法
机译:使用二元假设检验和共识从观测数据中检测Markov链模型
机译:UUV应用支持海军海底电缆保护办公室2011年2月3日 - (PPT)
机译:设想美国的舰队:1965年至1898年海军军官如何影响海军现代化的智力历史
机译:BioJazz:使用基于规则的建模以无限的复杂性对蜂窝网络进行计算机模拟
机译:重写逻辑中的反思和策略11受海军研究合同办公室N00014-95-C-0225和N00014-96-C-0114,美国国家科学基金会拨款CCR-9224005的支持以及日本信息技术促进局的支持,作为工业科学技术的一部分由NEDO(新能源和工业技术开发组织)赞助的前沿计划“软件体系结构的新模型”。
机译:支持非确定性和同步的语言的操作和指示模型。