博文
全部博文|计算机软件理论与工程|
开源软件项目研究与分析|
信息安全理论与工程|
数据库与知识库|
IT评论与高校教学心得|
ACM图灵奖|
IEEE计算机先驱奖|
信息＆工程＆逻辑哲学|
其它方面|
并行计算与分布式处理|
计算机网络理论与工程|
计算机科学数学与逻辑|
集群、虚拟、网格、云|
计算机算法理论与工程|
学术研究辅助工具和软件|
信息管理与信息系统研究|
系统科学与系统哲学|
智能科学与技术|
电子商务与商业智能|
服务计算与普适计算|
认知科学与认知哲学|
物联网工程|
计算语言学/自然语言工程|
信息检索与搜索引擎|
数据挖掘与机器学习|
信息对抗理论与技术|
国外交叉资料阅读笔记|
模式识别|
复杂网络与复杂系统|
智能交通系统|
- NPC问题集
- 来自维基百科的NPC问题收集,大多数问题来自： Garey and Johnson's seminal book Computers and Intractability: A Guide to the Theory of NP-Completeness List of NP-complete problem s
- 图模型(Graphical Models)100424
-
图模型 (Graphical Models) 在概率论与图论之间建立起了联姻关系。它提供了一种自然工具来处理应用数学与工程中的两类问题——不确定性 (Uncertainty) 和复杂性 (Complexity) 问题，特别是在机器学习算法的分析与设计中扮演着重要角色。图模型的基本理念是模块化的思想，复杂系统是通过组合简 ...
- 数学宗谱查询
-
今天在通过几大搜索引擎查阅2010图灵奖获得者信息时，偶然发现一个数学宗谱工程（ Mathematics Genealogy Project ) 的页面。提供给大家分享，已备后用。Leslie G. Valiant （还是用英文称呼吧）教授的宗谱如下： Ph.D. University of Warwick 1974 ...
- 专门研究贝叶斯理论的ISBA
- 主页 简单贝叶斯（Naive Bayesian) 贝叶斯网络（Bayesian network) 贝叶斯神经网络（Bayesian neural network) 还有其它模型。 贝叶斯方法应用广泛，我感兴趣的是不确定知识的表达与因果推理、学习理论与算法等。 以下信息来源于这个站点 ...
- 分离逻辑（separation logic)创始人20100107
- 分离逻辑继承与发展了霍尔逻辑，进一步发展了程序推理与验证理论,拓展了程序逻辑理论。 Peter O'Hearn Professor of Computer Science Royal Society Wolfson Research Merit Award Holder Member of Theory Research Group ...
- Pure and Applied Logic
- 信息来自 ：http://logic.cmu.edu/ The Pure and Applied Logic (PAL) program is an interdisciplinary Ph.D. program at Carnegie Mellon University with faculty from: the Department of Computer Science in the School of Computer Science the Department of Mathematical Sciences in ...
- 形式化方法的另类悖论
- 神话有待发展，如果神话变成现实，那将大大改善软件技术的未来。 贬低者说 ---- 形式化方法是难处理的、高代价的、并没有被广泛应用的。 拥护者说 ---- 形式化方法能带来革命性的进展。 1 、形式化方法能使软件变得更加完美 2 、能够证明程序是正确的 3 、能给强约束性、高严格性关键系统 ...
- 欧洲计算机科学逻辑协会
- The EACSL was founded on July 14th 1992, by computer scientists and logicians from 14 countries. The Association acts as an international professional non-profit organization. Computer science logic is an interdisciplinary field between mathematical logic and computer science. The EACSL promotes ...
本页有 2 篇博文因作者的隐私设置或未通过审核而隐藏
