计算的美丽–1985年图灵奖获得者Richard Karp

Sina WeiboBaiduLinkedInQQGoogle+RedditEvernote分享

Richard Manning Karp(01/03/1935–)

图灵奖获得时间:

1985年。 第二十位图灵奖(1985年)获得者。

图灵奖引用(Turing Award Citation) :

For his continuing contributions to the theory of algorithms including the development of efficient algorithms for network flow and other combinatorial optimization problems, the identification of polynomial-time computability with the intuitive notion of algorithmic efficiency, and, most notably, contributions to the theory of NP-completeness. Karp introduced the now standard methodology for proving problems to be NP-complete which has led to the identification of many theoretical and practical problems as being computationally difficult.

【笔者译:】

( 授予Richard M. Karp图灵奖以表彰其在) 算法理论方面的持续性的贡献,其中包括在网络流(network flow) 和其他组合优化问题领域的高效算法的研究,在多项式时间可计算性算法方面,特别是对NP完全理论的贡献。Karp引入了现已经成为标准方法的用来证明一个问题是否是属于NP完全。Karp的方法使得许多理论和实际问题被确认为从可计算性角度而言是复杂的或困难的。

阅读全文»

(1个打分, 平均:5.00 / 5)

计算的美丽–1984年图灵奖获得者Niklaus Wirth

Niklaus Wirth(02/15/1934–)

图灵奖获得时间:

1984年。 第十九位图灵奖(1984年)获得者。

图灵奖引用(Turing Award Citation):

For developing a sequence of innovative computer languages, EULER, ALGOL-W, MODULA and PASCAL. PASCAL has become pedagogically significant and has provided a foundation for future computer language, systems, and architectural research.

【笔者译:】

 ( 授予Niklaus Wirth 图灵奖以表彰其) 开发了一系列的计算机程序语言,EULER, ALGOL-W, MODULEA和PASCAL。PASCAL语言被用在计算机程序语言教学上具有重要的意义,并为将来的计算机语言,系统和结构设计提供了一个基础。

阅读全文»

(没有打分)

计算的美丽–1983年图灵奖获得者Ken Thompson

Ken Thompson(02/04/1943–)

图灵奖获得时间:

1983年 。 第十八位图灵奖(1983年)获得者。

图灵奖引用(Turing Award Citation) :

For their development of generic operating systems theory and specifically for the implementation of the UNIX operating system.

【笔者译:】 

( 授予Ken Thompson和Dennis Ritchie图灵奖以表彰其在)通用操作系统理论领域的贡献,特别是Unix操作系统的开发与实现。

阅读全文»

(没有打分)

亚马逊开展点播出版业务

amazon

亚马逊在2005年收购了一家小公司BookSurge,这家小公司的业务是点播出版。所谓点播出版,英文是On-Demand Publish,就是只有当客户下单购买某一出版物的时候,BookSurge才付诸印刷。好处当然是减少了库存,降低了成本。另外,有些紧张的书籍可能会缺货,而点播出版就不会有这个问题。坏处当然也有,对于消费者来说价格较高,因为有运费。而且等待时间可能比较长。

整个媒体世界都在向电子化,虚拟化和随时随地的方向转移,例如视频点播、网络电视、电子阅读器(亚马逊Kindle)、MP3随身听等等。此次亚马逊宣布的这项点播出版服务,也能在一定程度上简化出版过程。就好象个人可以在iTunes上广播自己的PodCast,在YouTube上发布自己的视频片段,上载PDF到BookSurge上面也能出版、印刷并最终销售给消费者。从这个意义上讲,亚马逊也是一家媒体公司。

(没有打分)

社交网络简史

      社交网络(social network)已经成为今天热得不可开交的话题了,myspace,facebook,linkedin,bebo,大家都知道这些社交网络会成功,就等着看有多成功了,是不是下一个谷歌雅虎会出自社交网络。社交网络这个东西的前身是什么?笔者认为,是虚拟社区(virtual community)。如果谈虚拟社区,这个概念可是早在拨号上网时代就出现了。(笔者的潜台词是,别以为你换了衣服我就不认识了)。

      弯曲评论(www.tektalk.cn)这里带读者看看从虚拟社区到社交网络的历程。

年代 标志产品 描述 经典照片
1980年前 Usenet 兴趣相投的人们在新闻组上张贴自己的意见 image
1985 The Well 最早的在线社区在美国旧金山启动 很遗憾,找不到照片了
1988年 Internet Relay Chat(IRC) 第一个实时聊天工具! image
1995年 Wikiwikiweb 互联网在这一年正式商业化。第一个维基(Wiki)软件出现,让人们在线交互合作。
Wiki这个词来自于夏威夷的土著语wiki-wiki,原文为“快速”的意思。至今夏威夷机场的大巴名字还叫wiki-wiki。
image
1996年 ICQ 大名鼎鼎的全互联网范围的首个端到端(Peer-to-peer)即时通信工具,其名称来自于英文I seek you,即“我寻找你”。
有多少人还记得腾讯的QQ在中国最初叫OICQ,随后因为名称版权官司而改名为QQ?
image
1997年 AOL IM 美国在线即时通信(AOL Instant Messenger)。至今还是即时通信三马车之一(雅虎IM,微软msn,美国在线IM)。 image
1999年 LiveJournal 用户可以通过在线日记交流。这是博客(部落格,blog)的前身。 image
2002年 Friendster 第一个主流的社交网络终于出现了 image
2003年 LinkedIn和MySpace LinkedIn:第一个商业社交网络
MySpace:目前最大的社交网络
image
image
2004年 facebook 不用我多说了吧? image
2005年 Webkinz和ClubPenguin 儿童的社交网络 image
image
2006年 Twitter 随时更新您的状态。请参考弯曲评论相关报道:

Twitter:“想吃饭的踢(T)我”

image
(2个打分, 平均:5.00 / 5)

Facebook用户隐私保护急待改善

Mark

作为世界上最大、发展最快的社交网站之一,Facebook拥有几千万用户的个人资料。这些资料一旦泄漏,就会给用户带来不便,甚至巨大损失,但Facebook在这方面却做得很差。本应该是只有朋友才可以看到的个人页面,却只要知道其URL,任何人都可以看,没有任何保护措施。这使得大量的私人资料,照片公布于众。Facebook创始人,Mark Zuckerberg,首先尝到苦果。他的秘密女友的照片,就被人从Facebook网站挖了出来(见上图,她的名字叫Priscilla Chan,是Mark在哈佛大学的同学,她目前在Facebook工作,从名字上看是华裔)。还有他在Facebook的主页,相册等,

Mark Zuckerberg Facebook主页地址:

http://www.facebook.com/profile.php?id=4

Mark Zuckerberg Facebook相册地址:

http://harvard.facebook.com/photo.php?pid=30054437&id=4&l=ae012

当然,Mark Zuckerberg不是唯一的受害者,另一个例子是,谷歌创始人Larry Page的新婚夫人Lucy Southworth的照片(见下图)也被公布。Lucy是Larry明媒正娶的夫人,她的照片不是秘密,但问题是,照片中没有Larry,而Lucy坐在另一个男人的腿上。URL在这儿:

http://www.facebook.com/photo.php?pid=32776033&id=2610146&op=1&view=all

今年才23岁的Mark Zuckerberg从哈佛大学(Harvard University)辍学,开办Facebook已有两三年。Hey, Mark!现在已经不是在学校了,Facebook也不是你用来对付教授的作业,认真一点儿!这样管理用户的私人数据,Facebook怎么办得下去?!

image

(3个打分, 平均:5.00 / 5)

微软眼中医疗的未来

科技无处不在,也许有些太科技化。不过能实现其中一部分就非常方便了。

(没有打分)

海外学人–陈通文教授

Chen tongwei      陈通文现为加拿大阿尔伯塔大学(University of Alberta)电子和计算机工程系正教授,他还曾任教于加拿大的卡尔加里大学(University of Calgary)。他于2006年获选美国电气和电子工程师协会院士(IEEE Fellow) (Citation: "for contributions to sampled-data control and multirate systems",汉译:“对采样数据控制和多速率系统的研究做出贡献”)。陈教授1984年毕业于清华大学自动化系,并于1988年和1991年获得加拿大多伦多大学(University of Toronto)电子工程系硕士和博士学位。

      陈教授现在负责阿尔伯塔大学的高级控制系统实验室,他的研究领域包括电源系统,网络化控制系统,计算机控制系统和应用等。他还属于多家学术期刊的编委会,如IEEE Transactions on Automatic Control等,并参与组织多个学术会议。他的博士毕业生有A Saadat Mehr,D. Li,A.K. Tangirala,J. Sheng,G. Zhang,Y.Shi,D. Chu,和J. Wang等。

点击这里进入陈教授主页(英文)。

(1个打分, 平均:5.00 / 5)

计算的美丽–1983年图灵奖获得者Dennis Ritchie

Dennis MacAlistair Ritchie(09/09/1941–)

图灵奖获得时间:

1983年 。 第十八位图灵奖(1983年)获得者。

图灵奖引用(Turing Award Citation) :

For their development of generic operating systems theory and specifically for the implementation of the UNIX operating system.

【笔者译:】 

( 授予Dennis Ritchie和Ken Thompson 图灵奖以表彰其在)通用操作系统理论领域的贡献,特别是Unix操作系统的开发与实现。

阅读全文»

(1个打分, 平均:5.00 / 5)

计算的美丽–1982年图灵奖获得者Stephen Cook

Stephen Arthur Cook(1939–)

图灵奖获得时间:

1982年。 第十七位图灵奖(1982年)获得者。

图灵奖引用(Turing Award Citation) :

For his advancement of our understanding of the complexity of computation in a significant and profound way. His seminal paper, “The Complexity of Theorem Proving Procedures,” presented at the 1971 ACM SIGACT Symposium on the Theory of Computing, Laid the foundations for the theory of NP-Completeness. The ensuing exploration of the boundaries and nature of NP-complete class of problems has been one of the most active and important research activities in computer science for the last decade.

 【笔者译:】

( 授予Stephen A. Cook 图灵奖以表彰其) 对我们深刻理解计算复杂性的开创性的贡献。Cook的开创性文章,1971年发表在ACM SIGACT Symposium on the Theory of Computing, “The Complexity of Theorem Proving Procedures”, 揭开了计算复杂性中NP完全性的研究。在此基础上的关于NP完全性问题的本质和边界的研究与探讨 成为过去十年来计算机科学最活跃和重要的研究领域之一。

阅读全文»

(没有打分)