Android 将来或成谷歌重要收入来源
在全球已售出的智能手机中，3/4都使用谷歌(微博)的移动操作系统Android，而且其在应用下载生态系统中占据主导地位。近来两家市场研究公司公布的报告显示，Android可能成为谷歌潜在的一大收入来源。全球第一大移动广告网络Opera Mediaworks宣称，从移动广告产生的收入角度来看，Android已经超越苹果iOS系统。Opera Mediaworks在报告中称，Android在移动广...详情
梵蒂冈图书馆用开源文件格式存档历史
梵蒂冈图书馆认为开源文件格式是数字时代人类保存历史的唯一可靠方式。CIO Luciano Ammenti说，为了将手稿转成可读的数字文件，梵蒂冈图书馆选择了开源工具，读取它不需要使用私有软件如Microsoft Office。“我们将它保存为图像，因为图像的寿命比文件更长。你不要依赖PowerPoint或Word。50年内它们仍然可以被阅读。存档文件时人 们通常会选择TIFF格式。但它有几个问题，...详情
计算机正在改变数学证明的验证
Vladimir Voevodsky于 1966年6月4日出生在莫斯科，为了理解物理学他对数学产生了兴趣，随后他又一发不可收拾的爱上了抽象代数。虽然他没有读完数学的本科学业，但在 1989年共产党倒台后这一切变得无关紧要，他用论文证明了自己。他和Misha Kapranov发展了高维数学对象和类，在1990年发表了一个重要结果。他甚至没有申请就被哈佛接受读博，1992年的博士论文标志着代数几何的一...详情
