Премия Париса Канеллакиса

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Премия Париса Канеллакиса за теоретические и практические достижения (англ. Paris Kanellakis Theory and Practice Award) вручается ежегодно Ассоциацией вычислительной техники (ACM) за "особые теоретические достижения, которые оказали значительное и неоспоримое воздействие на практическое развитие информационных технологий".[1] Премия была учреждена в 1996 году, в память Париса Канеллакиса, ученого, погибшего вместе с семьей в авиакатастрофе в Колумбии в 1995 году.[2] Премия включает денежный приз в $10 000, который субсидируют родители Канеллакиса, специализированные группы интересов ACM (англ. ACM SIG) (en:ACM SIGACT, en:Special Interest Group on Design Automation, en:SIGMOD и en:SIGPLAN), фонд проектов ACM SIG,[3] и индивидуальные спонсоры.[1]

Награжденные[править | править вики-текст]

За концепцию и первую эффективную реализацию криптосистем с открытым ключом.[4]
За построение наиболее эффективных для конечных кодирующих систем алгоритмов сжатия без потерь LZ77.[5]
За метод автоматической формальной верификации систем, широко используемый в производстве компьютеров.[6]
За структуру расширяющегося дерева - одну из наиболее широко используемых структур данных, изобретенных в последние 20 лет.[7]
За разработку метода внутренней точки (en:Interior Point method) для линейного программирования, который имеет полиномиальную скорость. И за реализацию этого метода, убеждающую, что он может быть эффективен на практике.[8]
За вклад в расшифровку генома человека, полного состава генов ДНК.[9]
За плодотворный вклад в теорию и практику кодирования 8-битовых символов в 10-битовые en:8b/10b encoding.[10]
За вклад в практическую реализацию криптографии и демонстрацию возможностей вероятностных алгоритмов тестирования простоты Соловея — Штрассена и Миллера — Рабина".[11]
За разработку и внедрение алгоритма машинного обучения AdaBoost, который значительно снижает ошибку распознавания при анализе данных, фильтрации электронной почты, оптическом распознавании символов и в других приложениях.[12]
За вклад в инструментарий формальной верификации программного и аппаратного обеспечения компьютеров.[13]
За инновационный вклад в синтез логики электронных систем, который ускорил проектирование в EDA индустрии.[14]
За алгоритм построения базиса Грёбнера, который играет ключевую роль в компьютерной алгебре и широко используется в науке и технике.[15]
За разработку высокоэффективного алгоритма распознавания с помощью метода опорных векторов, интегрированного множества однотипных методов обучения с учителем для задачи классификации и регрессии, который является наиболее часто используемым методом машинного обучения и широко применяется на практике.[16]
За разработку систем доказуемой безопасности (en:provable security), высококачественной и недорогой криптографии - ключевого компонента безопасности Интернета (en:Internet security).[17]
За фундаментальный вклад в разработку алгоритмов, который привел к созданию библиотеки эффективных структур и алгоритмов (en:Library of Efficient Data types and Algorithms).[18]
За исследование дерева квадрантов и других многомерных пространственных структур структур данных для целей сортировки информации.[19]

Примечания[править | править вики-текст]

  1. 1 2 Paris Kanellakis Theory and Practice Award. ACM. Проверено 12 декабря 2012. Архивировано из первоисточника 17 марта 2013.
  2. (1996) «ACM Paris Kanellakis Award». Conduit (Brown CS Dept) 5 (1).
  3. ACM SIGs: SIG Project Fund (SPF). ACM. Проверено 12 декабря 2012. Архивировано из первоисточника 17 марта 2013.
  4. ACM (12 Feb 1997). The first Paris Kanellakis Theory and Practice Award goes to founders of public key cryptography. Пресс-релиз. Проверено 2012-12-12.
  5. ACM (26 Mar 1998). The ACM Paris Kanellakis Theory and Practice Award goes to pioneers in data compression. Пресс-релиз. Проверено 2012-12-12.
  6. ACM (26 Mar 1999). ACM bestows Kanellakis Award for development of 'symbolic model checking,' used in testing computer system designs. Пресс-релиз. Проверено 2012-12-12.
  7. ACM (26 Apr 2000). Splay-tree data structure creators win 1999 Paris Kanellakis Award. Пресс-релиз. Проверено 2012-12-12.
  8. ACM. Interior point. Пресс-релиз. Проверено 2012-12-12.
  9. ACM (22 Jan 2002). ACM honors developer of key software for sequencing the human genome. Пресс-релиз. Проверено 2012-12-12.
  10. ACM (21 May 2003). ACM honors Peter Franaszek for contributions to data encoding. Пресс-релиз. Проверено 2012-12-12.
  11. ACM (24 May 2004). ACM honors creators of methods to improve cryptography. Пресс-релиз. Проверено 2012-12-12.
  12. ACM. Theory and practice of boosting. Пресс-релиз. Проверено 2012-12-12.
  13. ACM (15 Mar 2006). ACM honors creators of verification tools for software, hardware. Пресс-релиз. Проверено 2012-12-12.
  14. ACM (29 Mar 2007). ACM honors electronic design automation technologies pioneer. Пресс-релиз. Проверено 2012-12-12.
  15. ACM (13 May 2008). ACM Kanellakis Award honors innovator of automated tools for mathematics. Пресс-релиз. Проверено 2012-12-12.
  16. ACM (17 Mar 2009). ACM awards recognize innovators in computer science. Пресс-релиз. Проверено 2012-12-12.
  17. ACM (30 Mar 2010). ACM awards recognize computer scientists for innovations that have real world impact. Пресс-релиз. Проверено 2012-12-12.
  18. ACM (06 Apr 2011). ACM honors computing innovators for advances in research, commerce and education. Пресс-релиз. Проверено 2012-12-12.
  19. ACM (26 Apr 2012). ACM honors computing innovators for advances in research, education, and industry. Пресс-релиз. Проверено 2012-12-12.

См. также[править | править вики-текст]

Ссылки[править | править вики-текст]