www.wikidata.uk-ua.nina.az
Premiya Parisa Kanellakisa za teoretichni ta praktichni dosyagnennya angl Paris Kanellakis Theory and Practice Award shorichna naukova premiya Asociaciyi obchislyuvalnoyi tehniki ASM sho vruchayetsya za osoblivi teoretichni dosyagnennya yaki mali znachnij i pomitnij vpliv na praktichnij rozvitok informacijnih tehnologij 1 Premiya Kanellakisaangl Paris Kanellakis Theory and Practice AwardKrayina SShATip nagorodaVruchaye Association for Computing MachineryPidstava Za osoblivi teoretichni dosyagnennya sho zrobili znachnij vpliv na praktichnij rozvitok informacijnih tehnologijStatus vruchayetsya shorichnoNa chest Paris KanellakisNagorodzhennyaParametri Groshova vinagoroda u 10000Zasnovano 1996Nagorodzheni Kategoriya Laureati premiyi Kanellakisa 34 ChergovistSajt awards acm org kanellakis Zmist 1 Istoriya 2 Nagoroda 3 Nagorodzheni 4 Primitki 5 PosilannyaIstoriya RedaguvatiZasnovana u 1996 roci v pam yat pro Parisa Kanellakisa grecko amerikanskogo vchenogo v galuzi informatiki yakij zaginuv razom zi svoyeyu rodinoyu v aviakatastrofi v amerikanskomu shtati Kolumbiya v 1995 roci rejs 965 American Airlines 2 Nagoroda RedaguvatiLaureatam vruchayetsya groshova premiya u rozmiri 10 tis yaka shorichno zabezpechuyetsya vneskami batkiv Parisa Kanellakisa a takozh dodatkovoyu finansovoyu pidtrimkoyu dekilkoh tematichnih grup Asociaciyi obchislyuvalnoyi tehniki SIGACT en SIGDA en SIGMOD en SIGPLAN en Fondom proyektiv ACM SIG 3 a takozh individualnimi sponsorskimi programami 1 Nagorodzheni RedaguvatiRik Laureat Obgruntuvannya nagorodi1996 Leonard Maks Adleman Vitfild Diffi Martin Gellman Ralf Charlz Merkle Ronald Linn Rivest ta Adi Shamir Za zadum i pershu efektivnu realizaciyu kriptosistem z vidkritim klyuchem 4 1997 Avraam Lempel ta Yakov Ziv Za novatorsku robotu zi stisnennya danih sho prizvelo do stvorennya algoritmu LZ77 yakij zabezpechuye najkrashe stisnennya bez vtrat yaku mozhna dosyagti najshvidshimi koduvalnikami i jogo mozhna znajti praktichno na kozhnomu suchasnomu komp yuteri 5 1998 Rendel Brajnt Edmund Klark Ernest Allen Emerson ta Kennet L Makmillan za yihnij vinahid perevirki simvolnoyi modeli metodu avtomatichnoyi formalnoyi verifikaciyi sistemi sho shiroko vikoristovuyetsya u virobnictvi komp yuteriv 6 1999 Deniel Slitor ta Robert Andre Tar yan za vinahid strukturi danih rozshiryuvanogo dereva odnu z najbilsh shiroko vikoristovuvanih struktur danih vinajdenih v ostanni 20 rokiv 7 2000 Narendra Karmarkar Za rozrobku metodu vnutrishnoyi tochki dlya linijnogo programuvannya yakij dokazovo pracyuye v polinomialnomu chasi a takozh za realizaciyu cogo metodu 8 2001 Yudzhin Mayers en za vnesok u rozshifrovku genomu lyudini povnogo skladu DNK lyudskoyi klitini ta koduvannya vsih yiyi geniv osnovnih budivelnih blokiv zhittya 9 2002 Petr Franashek za fundamentalnij i rezultativnij vnesok u teoriyu ta praktiku zastosuvannya obmezhenogo kanalnogo koduvannya 8 bitnih poslidovnostej v 10 bitni 10 2003 Geri Miller Mihael Osher Rabin Robert Solovej ta Folker Shtrassen za vnesok u praktichnu realizaciyu kriptografiyi ta demonstraciyu mozhlivostej algoritmiv perevirki prostoti zavdyaki roboti yaka privela do dvoh jmovirnisnih testiv prostoti vidomih yak test Soloveya Shtrassena ta test Millera Rabina 11 2004 Joav Frojnd ta Robert Shapiro za osnovopolozhnu robotu ta vidatnij vnesok u rozvitok teoriyi ta praktiki bustingu zagalnogo ta dovedeno efektivnogo metodu stvorennya dovilno tochnih pravil prognozuvannya shlyahom poyednannya slabkih pravil navchannya zokrema dlya AdaBoost yihnogo algoritmu mashinnogo navchannya yakij mozhna vikoristovuvati dlya znachnogo zmenshennya pomilok algoritmiv sho vikoristovuyutsya v analizi danih filtruvanni elektronnoyi poshti optichnomu rozpiznavanni simvoliv segmentuvanni rinku ta v inshih dodatkah 12 2005 Dzherard Golcmann Robert Kurshan Moshe Vardi ta P yer Volpe Za vnesok v instrumentarij yakij zabezpechuye potuzhni formalni zasobi formalnoyi verifikaciyi aparatnih i programnih sistem 13 2006 Robert Brajton za innovacijnij vnesok u sintez logiki i simulyaciyu elektronnih komponentiv yaki zrobili mozhlivim tehnologiyi shvidkogo proyektuvannya shemotehniki dlya program proyektuvannya elektronnih sistem 14 2007 Bruno Buhberger Za rol u rozvitku teoriyi bazisu Grobnera yaka vidigraye klyuchovu rol u sistemi komp yuternoyi algebri ta shiroko vikoristovuyetsya v nauci inzheneriyi ta informatici 15 2008 Korinna Kortes ta Volodimir Vapnik za revolyucijnu rozrobku visokoefektivnogo algoritmu rozpiznavannya za dopomogoyu metodu opornih vektoriv SVM naboru vidpovidnih odnotipnih metodiv kerovanogo navchannya dlya zavdannya klasifikaciyi ta regresiyi danih yakij ye odnim iz najbilsh chasto vikoristovuvanih metodiv mashinnogo navchannya i shiroko zastosovuyetsya dlya medichnoyi diagnostiki prognozu pogodi ta sistemi viyavlennya vtorgnen tosho 16 2009 Mihir Bellare ta Fillip Rogauej za rozrobku sistem dovedenoyi bezpeki oriyentovanoyi na praktiku yaka prizvela do visokoyakisnoyi ta ekonomichno efektivnoyi kriptografiyi klyuchovogo komponenta Internet bezpeki v epohu burhlivogo zrostannya onlajn tranzakcij 17 2010 Kurt Melgorn za fundamentalnij vnesok u rozrobku algoritmiv sho sklali osnovu stvorennya Biblioteki efektivnih tipiv danih i algoritmiv LEDA angl Library of Efficient Data types and Algorithms 18 2011 Hanan Samet za novatorski doslidzhennya zadach sortuvannya dereva kvadrantiv ta inshih bagatovimirnih prostorovih struktur prostorovih danih dlya sortuvannya prostorovoyi informaciyi a takozh za jogo knigi yaki vplinuli na zastosuvannya cih struktur 19 2012 Andrej Broder Mozes Charikar ta Pjotr Indik za novatorsku robotu z lokalno chutlivogo heshuvannya yaka mala velikij vpliv u bagatoh galuzyah informatiki vklyuchayuchi komp yuternij zir bazi danih informacijnij poshuk mashinne navchannya ta obrobku signaliv 20 2013 Robert Blyumof ta Charlz Erik Lejzerson za vnesok u paralelni ta rozpodileni obchislennya vklyuchayuchi algoritm planuvannya zavdan ta Cilk 21 2014 Dzhejms Demmel za vneski v algoritmi ta programne zabezpechennya dlya chiselnoyi linijnoyi algebri v tomu chisli LAPACK sho vikoristovuyetsya v naukovih obchislennyah ta analizi velikomasshtabnih danih 22 2015 Majkl Labi za novatorskij vnesok u nadlishkovi kodi yaki neobhidni dlya pokrashennya yakosti peredachi video cherez Internet 23 2016 Amos Fiat en ta Moni Naor en Za novatorskij vnesok dlya vidstezhennya shirokomovnogo shifruvannya ta piratstva zakladennya osnov suchasnogo zahistu avtorskih prav Blu ray diskiv ta inshih zasobiv masovoyi informaciyi 24 25 2017 Skott Shenker en Za novatorskij vnesok u spravedlive formuvannya chergi z komutaciyeyu paketiv sho malo velikij vpliv na suchasnu praktiku komp yuternih komunikacij 26 2018 Pevzner Pavlo Arkadijovich en Za novatorskij vnesok u teoriyu proektuvannya ta realizaciyu algoritmiv rekonstrukciyi poslidovnostej ta yih zastosuvannya v skladanni genomu 27 2019 Noga Alon Pilip Gibons en Joshi Matias en Mario Zhegedi en Za provedenu robotu z osnov potokovih algoritmiv ta yih zastosuvannya do analizu velikomasshtabnih danih 28 2020 Josi Azar Andrej Broder Anna Karlin en Mihael Micenmaher en ta Eli Apfal en Za vidkrittya ta analiz zbalansovanogo rozpodilu vidomogo yak sila dvoh variantiv ta yih shiroke zastosuvannya na praktici 29 2021 Avrim Blyum en Irit Dinur Sintiya Dvork Frenk MakSherri en Kobbi Nisim en ta Adam D Smit en Za fundamentalnij vnesok u rozvitok diferencijovanoyi konfidencijnosti 30 Primitki Redaguvati a b Paris Kanellakis Theory and Practice Award ACM Arhiv originalu za 17 bereznya 2013 Procitovano 8 kvitnya 2018 ACM Paris Kanellakis Award Conduit Brown CS Dept 5 1 4 1996 ACM SIGs SIG Project Fund SPF ACM Arhiv originalu za 17 bereznya 2013 Procitovano 8 kvitnya 2018 The first Paris Kanellakis Theory and Practice Award goes to founders of public key cryptography presreliz ACM 12 lyutogo 1997 Arhiv originalu za 11 lyutogo 2012 Procitovano 14 lyutogo 2021 The ACM Paris Kanellakis Theory and Practice Award goes to pioneers in data compression presreliz ACM 26 bereznya 1998 Arhiv originalu za 11 lyutogo 2012 Procitovano 12 grudnya 2012 ACM bestows Kanellakis Award for development of symbolic model checking used in testing computer system designs presreliz ACM 26 bereznya 1999 Arhiv originalu za 5 chervnya 2011 Procitovano 12 grudnya 2012 ACM Paris Kanellakis Theory and Practice Award 1999 ACM Procitovano 22 listopada 2017 Interior point presreliz ACM 2000 Arhiv originalu za 2 kvitnya 2012 Procitovano 12 grudnya 2012 ACM honors developer of key software for sequencing the human genome presreliz ACM 22 sichnya 2002 Arhiv originalu za 11 lyutogo 2012 Procitovano 12 grudnya 2012 ACM honors Peter Franaszek for contributions to data encoding presreliz ACM 21 travnya 2003 Arhiv originalu za 11 lyutogo 2012 Procitovano 12 grudnya 2012 ACM honors creators of methods to improve cryptography presreliz ACM 24 travnya 2004 Arhiv originalu za 11 lyutogo 2012 Procitovano 12 grudnya 2012 ACM Paris Kanellakis Theory and Practice Award 2004 ACM Procitovano 22 listopada 2017 ACM honors creators of verification tools for software hardware presreliz ACM 15 bereznya 2006 Procitovano 12 grudnya 2012 ACM honors electronic design automation technologies pioneer presreliz ACM 29 bereznya 2007 Arhiv originalu za 2 grudnya 2012 Procitovano 12 grudnya 2012 ACM Kanellakis Award honors innovator of automated tools for mathematics presreliz ACM 13 travnya 2008 Arhiv originalu za 2 travnya 2013 Procitovano 12 grudnya 2012 ACM awards recognize innovators in computer science presreliz ACM 17 bereznya 2009 Arhiv originalu za 2 travnya 2013 Procitovano 12 grudnya 2012 ACM awards recognize computer scientists for innovations that have real world impact presreliz ACM 30 bereznya 2010 Arhiv originalu za 2 grudnya 2012 Procitovano 12 grudnya 2012 ACM honors computing innovators for advances in research commerce and education presreliz ACM 6 kvitnya 2011 Arhiv originalu za 2 travnya 2013 Procitovano 12 grudnya 2012 ACM honors computing innovators for advances in research education and industry presreliz ACM 26 kvitnya 2012 Arhiv originalu za 2 travnya 2013 Procitovano 12 grudnya 2012 ACM Paris Kanellakis Theory and Practice Award 2012 ACM Arhiv originalu za 17 bereznya 2013 Procitovano 5 travnya 2013 ACM Paris Kanellakis Theory and Practice Award 2013 ACM Procitovano 22 listopada 2017 ACM Paris Kanellakis Theory and Practice Award 2014 ACM Procitovano 17 lipnya 2015 ACM Paris Kanellakis Theory and Practice Award 2015 ACM Procitovano 29 kvitnya 2016 ACM Paris Kanellakis Theory and Practice Award 2016 ACM Procitovano 22 listopada 2017 ACM Honors Eminent Researchers for Technical Innovations 2016 Recipients Made Contributions in Areas Including Big Data Analysis Computer Vision and Encryption ACM Procitovano 14 lyutogo 2021 ACM Paris Kanellakis Theory and Practice Award Scott J Shenker Procitovano 16 travnya 2019 ACM Paris Kanellakis Theory and Practice Award Pavel Pevzner Procitovano 16 travnya 2019 https awards acm org kanellakis Creators of Balanced Allocations Paradigm Receive Kanellakis Award Contributors to the Development of Differential Privacy Receive Kanellakis Award Posilannya RedaguvatiParis Kanellakis Theory and Practice Award on the ACM website The Paris Kanellakis Theory and Practice Award Committee on the ACM website Otrimano z https uk wikipedia org w index php title Premiya Kanellakisa amp oldid 40142023