词条 | Paris Kanellakis Award | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
释义 |
The Paris Kanellakis Theory and Practice Award is granted yearly by the Association for Computing Machinery (ACM) to honor "specific theoretical accomplishments that have had a significant and demonstrable effect on the practice of computing".[1] It was instituted in 1996, in memory of Paris C. Kanellakis, a computer scientist who died with his immediate family in an airplane crash in South America in 1995 (American Airlines Flight 965).[2] The award is accompanied by a prize of $10,000 and is endowed by contributions from Kanellakis's parents, with additional financial support provided by four ACM Special Interest Groups (SIGACT, SIGDA, SIGMOD, and SIGPLAN), the ACM SIG Projects Fund, and individual contributions.[1] Winners
Notes1. ^{{cite web |url=https://awards.acm.org/about/2016-technical-awards |title=ACM Honors Eminent Researchers for Technical Innovations: 2016 Recipients Made Contributions in Areas Including Big Data Analysis, Computer Vision, and Encryption |publisher=ACM |accessdate=2017-11-22}} [2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19][20][21][22][23][24]2. ^1 2 {{cite web |title=Paris Kanellakis Theory and Practice Award |publisher=ACM |url=http://awards.acm.org/homepage.cfm?srt=all&awd=147 |accessdate=2012-12-12}} 3. ^1 {{cite journal |title=ACM Paris Kanellakis Award |journal=Conduit |publisher=Brown CS Dept |year=1996 |volume=5 |issue=1 |page=4 |url=http://www.cs.brown.edu/publications/conduit/conduit_v5n1.pdf#page=4}} 4. ^1 {{cite press release |title = The first Paris Kanellakis Theory and Practice Award goes to founders of public key cryptography |date = 12 Feb 1997 |publisher = ACM |url = http://www.acm.org/announcements/pkaward.html |accessdate = 2012-12-12 |deadurl = yes |archiveurl = https://web.archive.org/web/20120211141338/http://www.acm.org/announcements/pkaward.html |archivedate = 2012-02-11 |df = }} 5. ^1 {{cite press release |title = The ACM Paris Kanellakis Theory and Practice Award goes to pioneers in data compression |date = 26 Mar 1998 |publisher = ACM |url = http://www.acm.org/announcements/kanellakis.html |accessdate = 2012-12-12 |deadurl = yes |archiveurl = https://web.archive.org/web/20120211141344/http://www.acm.org/announcements/kanellakis.html |archivedate = 2012-02-11 |df = }} 6. ^1 {{cite press release |title = ACM bestows Kanellakis Award for development of 'symbolic model checking,' used in testing computer system designs |date = 26 Mar 1999 |publisher = ACM |url = http://www.acm.org/announcements/kanellakis99.html |accessdate = 2012-12-12 |deadurl = yes |archiveurl = https://web.archive.org/web/20110605194419/http://www.acm.org/announcements/kanellakis99.html |archivedate = 2011-06-05 |df = }} 7. ^1 {{cite web |title=ACM Paris Kanellakis Theory and Practice Award 1999 |publisher=ACM |url=https://awards.acm.org/award_winners/sleator_0340141 |accessdate=2017-11-22}} 8. ^1 {{cite press release |title = Interior point |year = 2000 |publisher = ACM |url = http://awards.acm.org/citation.cfm?id=0424282&srt=all&aw=147&ao=KANELLAK&yr=2000 |archive-url = https://web.archive.org/web/20120402212312/http://awards.acm.org/citation.cfm?id=0424282&srt=all&aw=147&ao=KANELLAK&yr=2000 |dead-url = yes |archive-date = 2012-04-02 |accessdate = 2012-12-12}} 9. ^1 {{cite press release |title = ACM honors developer of key software for sequencing the human genome |date = 22 Jan 2002 |publisher = ACM |url = http://www.acm.org/announcements/kanellakis_2001.html |accessdate = 2012-12-12 |deadurl = yes |archiveurl = https://web.archive.org/web/20120211141411/http://www.acm.org/announcements/kanellakis_2001.html |archivedate = 2012-02-11 |df = }} 10. ^1 {{cite press release |title = ACM honors Peter Franaszek for contributions to data encoding |date = 21 May 2003 |publisher = ACM |url = http://www.acm.org/announcements/kanellakis_2002.html |accessdate = 2012-12-12 |deadurl = yes |archiveurl = https://web.archive.org/web/20120211141420/http://www.acm.org/announcements/kanellakis_2002.html |archivedate = 11 February 2012 |df = }} 11. ^1 {{cite press release |title=ACM honors creators of methods to improve cryptography |date=24 May 2004 |publisher=ACM |url=http://www.acm.org/announcements/kanellakis.5-26-2004.html |accessdate=2012-12-12}} 12. ^1 {{cite web |title=ACM Paris Kanellakis Theory and Practice Award 2004 |publisher=ACM |url=https://awards.acm.org/award_winners/freund_5914554 |accessdate=2017-11-22}} 13. ^1 {{cite press release |title=ACM honors creators of verification tools for software, hardware |date=15 Mar 2006 |publisher=ACM |url=http://www.cs.rice.edu/~vardi/kanellakis.html |accessdate=2012-12-12}} 14. ^1 {{cite press release |title = ACM honors electronic design automation technologies pioneer |date = 29 Mar 2007 |publisher = ACM |url = http://www.acm.org/press-room/news-releases-2007/kanellakis |accessdate = 2012-12-12 |deadurl = yes |archiveurl = https://web.archive.org/web/20121202054815/http://www.acm.org/press-room/news-releases-2007/kanellakis |archivedate = 2012-12-02 |df = }} 15. ^1 {{cite press release |title = ACM Kanellakis Award honors innovator of automated tools for mathematics |date = 13 May 2008 |publisher = ACM |url = http://www.acm.org/press-room/awards/kanellakis-award-07 |accessdate = 2012-12-12 |deadurl = yes |archiveurl = https://web.archive.org/web/20130502005225/http://www.acm.org/press-room/awards/kanellakis-award-07/ |archivedate = 2 May 2013 |df = }} 16. ^1 {{cite press release |title = ACM awards recognize innovators in computer science |date = 17 Mar 2009 |publisher = ACM |url = http://www.acm.org//press-room/awards/awards-08-groupa |accessdate = 2012-12-12 |deadurl = yes |archiveurl = https://web.archive.org/web/20130502005750/http://www.acm.org/press-room/awards/awards-08-groupa/ |archivedate = 2013-05-02 |df = }} 17. ^1 {{cite press release |title = ACM awards recognize computer scientists for innovations that have real world impact |date = 30 Mar 2010 |publisher = ACM |url = http://www.acm.org/press-room/news-releases/2010/awards-09-groupa |accessdate = 2012-12-12 |deadurl = yes |archiveurl = https://web.archive.org/web/20121202052752/http://www.acm.org/press-room/news-releases/2010/awards-09-groupa |archivedate = 2012-12-02 |df = }} 18. ^1 {{cite press release |title = ACM honors computing innovators for advances in research, commerce and education |date = 6 Apr 2011 |publisher = ACM |url = http://www.acm.org/press-room/awards/technical-awards-2010 |accessdate = 2012-12-12 |deadurl = yes |archiveurl = https://web.archive.org/web/20130502010135/http://www.acm.org/press-room/awards/technical-awards-2010/ |archivedate = 2013-05-02 |df = }} 19. ^1 {{cite press release |title = ACM honors computing innovators for advances in research, education, and industry |date = 26 Apr 2012 |publisher = ACM |url = http://www.acm.org/press-room/awards/technical-awards-2011 |accessdate = 2012-12-12 |deadurl = yes |archiveurl = https://web.archive.org/web/20130502010437/http://www.acm.org/press-room/awards/technical-awards-2011/ |archivedate = 2013-05-02 |df = }} 20. ^1 {{cite web |title=ACM Paris Kanellakis Theory and Practice Award 2012 |publisher=ACM |url=http://awards.acm.org/homepage.cfm?srt=all&awd=147 |accessdate=2013-05-05}} 21. ^1 2 {{cite web |title=ACM Paris Kanellakis Theory and Practice Award 2013 |publisher=ACM |url=https://awards.acm.org/award_winners/leiserson_1506955 |accessdate=2017-11-22}} 22. ^1 {{cite web |title=ACM Paris Kanellakis Theory and Practice Award 2014 |publisher=ACM |url=http://awards.acm.org/award_winners/demmel_6010135.cfm#147 |accessdate=2015-07-17}} 23. ^1 {{cite web |title=ACM Paris Kanellakis Theory and Practice Award 2015 |publisher=ACM |url=http://awards.acm.org/award_winners/luby_4157467.cfm |accessdate=2016-04-29}} 24. ^1 {{cite web |title=ACM Paris Kanellakis Theory and Practice Award 2016 |publisher=ACM |url=https://awards.acm.org/award_winners/fiat_8021946 |accessdate=2017-11-22}} }} External links
2 : Association for Computing Machinery|Computer science awards |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。