Turing mükafatı - Turing Award

Vikipediya, Açıq Ensiklopediya

Pin
Send
Share
Send

ACM Turing mükafatı
Turing heykəli-Bletchley 11.jpg
Üçün mükafatlandırıldıİlə əla qatqılar kompyuter elmləri
ÖlkəAmerika Birləşmiş Ştatları
Təqdim etdiHesablama Maşınları Birliyi (ACM)
Mükafat (lər)1.000.000 ABŞ dolları[1]
Birincisi mükafatlandırıldı1966; 54 il əvvəl (1966)
Son mükafatlandırıldı2019
Veb səhifəamturing.acm.org

The ACM A. M. Turing mükafatı tərəfindən verilən illik mükafatdır Hesablama Maşınları Birliyi (ACM) "kompüter sahəsi üçün davamlı və böyük texniki əhəmiyyətə sahib" töhfələrə görə.[2] Ümumiyyətlə ən yüksək fərq kimi tanınır kompyuter elmlərivə ya "Nobel Hesablama Mükafatı".[3][4][5][6]

Mükafat adlanır Alan Turingİngilis kim idi riyaziyyatçıoxucu riyaziyyatda Manchester Universiteti. Turing tez-tez əsas qurucusu kimi tanınır nəzəri kompüter elmisüni intellekt.[7] 2007-ci ildən 2013-cü ilədək mükafat, maliyyə dəstəyi ilə 250.000 ABŞ dolları əlavə bir mükafat ilə müşayiət olundu IntelGoogle.[2] 2014-cü ildən bəri mükafat Google tərəfindən təmin edilən maliyyə dəstəyi ilə 1 milyon ABŞ dolları mükafat ilə müşayiət olunur.[1][8]

İlk alıcı, 1966-cı ildə oldu Alan Perlis, of Carnegie Mellon Universiteti. İlk qadın alıcı oldu Frances E. Allen of IBM 2006-cı ildə.[9]

Alıcılar

İlAlıcıŞəkilƏsas
1966Alan PerlisQabaqcıl sahədəki təsirinə görə kompüter proqramlaşdırma texnika və tərtibçi Tikinti.[10]
1967Maurice WilkesMaurice Vincent Wilkes 1980 (3, əkilmiş) .jpgWilkes ən yaxşı qurucu və dizayneri kimi tanınır EDSACdaxili saxlanan ilk kompüter proqram. 1949-cu ildə tikilmiş EDSAC a civə gecikmə xətti yaddaşı. 1951-ci ildə "Elektron Rəqəmsal Kompüterlər üçün Proqramların Hazırlanması" adlı bir cildin Wheeler və Gill ilə birlikdə müəllifi kimi də tanınır. proqram kitabxanaları effektiv şəkildə təqdim edildi.[11]
1968Richard HammingOnun işi üçün ədədi üsullar, avtomatik kodlama sistemləri və səhv aşkarlama və səhv düzəltmə kodları.[12]
1969Marvin MinskyMarvin Minsky OLPCc.jpg-dəSahəsini yaratmaq, formalaşdırmaq, təşviq etmək və inkişaf etdirməkdəki mərkəzi roluna görə süni intellekt.[13]
1970James H. WilkinsonTədqiqatı üçün ədədi analiz hesablamalardakı işi üçün xüsusi bir qiymətləndirmə alaraq yüksək sürətli rəqəmsal kompüterin istifadəsini asanlaşdırmaq xətti cəbr və "geriyə" səhv təhlili.[14]
1971John McCarthyJohn McCarthy Stanford.jpgMcCarthy'nin "Süni İntellekt üzrə Tədqiqatın İndiki Vəziyyəti" mühazirəsi, işləri ilə kifayət qədər tanınmasına nail olduğu sahəni əhatə edən bir mövzudur.[15]
1972Edsger W. DijkstraEdsger Wybe Dijkstra.jpgEdsger Dijkstra, 1950-ci illərin sonlarında inkişafına əsas qatqı təmin etdi ALGOL, yüksək səviyyədə proqramlaşdırma dili aydınlıq və riyazi sərtlik modelinə çevrilmişdir. Ümumilikdə elm və proqramlaşdırma dilləri sənətinin əsas müdafiəçilərindən biridir və onların quruluşunu, təqdimatını və tətbiqini başa düşməyimizə çox kömək etmişdir. Onun on beş illik nəşrləri qraf nəzəriyyəsinə dair nəzəri məqalələrdən əsas dərsliklərə, izahlı mətnlərə və proqramlaşdırma dilləri sahəsində fəlsəfi düşüncələrə qədər uzanır.[16]
1973Charles BachmanCharles Bachman 2012.jpgGörkəmli töhfələrinə görə verilənlər bazası texnologiya.[17]
1974Donald KnuthKnuthAtOpenContentAlliance.jpgAlqoritmlərin təhlilinə və proqramlaşdırma dillərinin dizaynına verdiyi böyük töhfələrə görə və xüsusən "Kompüter Proqramlaşdırma Sənəti"bu adla davamlı bir seriyada tanınmış kitabları vasitəsilə.[18]
1975Allen NewellƏvvəlcə ilə əməkdaşlıq edərək iyirmi ildən çoxdur ki, ortaq elmi səylərdə J. C. Shaw da, də RAND Corporationvə daha sonra çoxsaylı müəllim və tələbə həmkarları ilə Carnegie Mellon Universiteti, süni zəkaya, insan idrak psixologiyasına və siyahı işlənməsinə əsas töhfələr verdilər.[19]
Herbert A. SimonHerbert simon qırmızı əkilmiş.jpg
1976Michael O. RabinM O Rabin.jpgBirgə məqaləsi üçün "Sonlu Avtomatlar və Onların Qərar Problemi"[20] ideyasını təqdim edən qeyri-müəyyən maşınlar, olduqca qiymətli bir konsepsiya olduğunu sübut etdi. Onların (Scott & Rabin) klassik kağızları bu sahədə sonrakı işlər üçün davamlı ilham mənbəyi olmuşdur.[21][22]
Dana ScottScott Dana small.jpg
1977John BackusJohn Backus 2.jpgXüsusilə üzərində işləyərək praktiki yüksək səviyyəli proqramlaşdırma sistemlərinin dizaynına dərin, təsirli və davamlı töhfələr üçün FORTRANvə spesifikasiyası üçün rəsmi prosedurların seminal nəşri üçün proqramlaşdırma dilləri.[23]
1978Robert W. FloydSəmərəli və etibarlı proqram təminatının yaradılması üçün metodologiyalara aydın təsir göstərdiyinizə görə aşağıdakı mühüm alt sahələrin tapılmasına kömək etdiyinizə görə kompyuter elmlərinəzəriyyəsi təhlil, semantik proqramlaşdırma dillərinin, avtomatik proqram yoxlanışı, avtomatik proqram sintezialqoritmlərin təhlili.[24]
1979Kenneth E. IversonKei cavan.jpgProqramlaşdırma dillərində və riyazi qeydlərdə qabaqcıl səy göstərdiyinə görə hesablama sahəsinin indi bildiyi ilə nəticələnir APL, interaktiv sistemlərin tətbiqinə, APL-in təhsil məqsədlərinə və proqramlaşdırma dili nəzəriyyəsinə və tətbiqinə verdiyi töhfələrə görə.[25]
1980Tony HoareSir Tony Hoare IMG 5125.jpgProqramlaşdırma dillərinin tərifi və dizaynına verdiyi töhfələrə görə.[26]
1981Edgar F. CoddVerilənlər bazası idarəetmə sistemlərinin nəzəriyyəsi və praktikasına verdiyi təməl və davamlı töhfələrə görə, esp. əlaqəli verilənlər bazaları.[27]
1982Stephen CookProf.Cook (əkilmiş) .jpgHesablamanın mürəkkəbliyini başa düşməyimizi əhəmiyyətli və dərindən inkişaf etdirdiyinə görə.[28]
1983Ken ThompsonKen Thompson 02.jpgÜmumi əməliyyat sistemləri nəzəriyyəsinin inkişafı üçün və xüsusən UNIX əməliyyat sistemi.[29][30]
Dennis RitchieDennis Ritchie 2011.jpg
1984Niklaus WirthNiklaus Wirth, UrGU (əkilmiş) .jpgYenilikçi kompüter dillərinin ardıcıllığını inkişaf etdirmək üçün, EULER, ALGOL-W, MODULAPaskal.
1985Richard M. KarpKarp mg 7725-b.cr2.jpgŞəbəkə axını və digər kombinatorial optimallaşdırma problemləri üçün səmərəli alqoritmlərin inkişafı, alqoritmik səmərəliliyin intuitiv anlayışı ilə polinom zaman hesablamasının müəyyənləşdirilməsi və ən başlıcası nəzəriyyəyə verdiyi töhfələr daxil olmaqla alqoritmlər nəzəriyyəsinə verdiyi töhfələrə görə NP-tamlıq.
1986John HopcroftHopcrofg (əkilmiş) .jpgAlqoritmlərin və məlumat strukturlarının dizaynı və təhlili sahəsində əsas nailiyyətlər üçün.
Robert TarjanBob Tarjan.jpg
1987John CockeTərtibçilərin dizaynı və nəzəriyyəsi, böyük sistemlərin memarlığı və inkişafındakı əhəmiyyətli töhfələrə görə azaldılmış təlimat dəsti kompüterlər (RISC).
1988Ivan SutherlandIvan Sutherland, CHM.jpg-dəPioner və vizyoner töhfələrinə görə kompüter qrafikasıilə başlayır Sketchpadvə sonra davam edir.
1989William KahanWilliam Kahan 2008 (əkilmiş) .jpgÜçün verdiyi əsas töhfələrə görə ədədi analiz. Haqqında ən qabaqcıl mütəxəssislərdən biridir üzən nöqtə hesablamalar. Kahan özünü "dünyanı ədədi hesablamalar üçün təhlükəsiz hala gətirməyə" həsr etmişdir.
1990Fernando J. CorbatóFernando Corbato.jpgKonsepsiyalar təşkil edən və ümumi məqsədli, geniş miqyaslı inkişafa rəhbərlik etdiyi ilk işinə görə, vaxt paylaşma və resurs paylaşma kompüter sistemləri, CTSSMultics.
1991Robin MilnerÜç fərqli və tam nailiyyət üçün: 1) LCF, ehtimal ki, nəzəri cəhətdən əsaslanan, lakin praktik vasitə olan Scott'un Hesablana bilən İşləklərin Məntiqi mexanizasiyası maşın dəstəkli sübut tikinti; 2) ML, polimorfik daxil edən ilk dil tip nəticə ilə birlikdə təhlükəsizdir istisna-istifadə mexanizm; 3) CCS, ümumi bir nəzəriyyə paralellik. Bundan əlavə, o, formalaşdırdı və güclü şəkildə inkişaf etdi tam abstraksiyaarasındakı əlaqənin öyrənilməsi əməliyyattərifli semantik.[31]
1992Uşak W. LampsonProfessional Geliştiriciler Konfransı 2009 Texniki Liderlər Paneli 6 (əkilmiş) .jpgPaylanmış, fərdi hesablama mühitinin və onların tətbiqi texnologiyasının inkişafına verdiyi töhfələrə görə: iş yerləri, şəbəkələr, əməliyyat sistemləri, proqramlaşdırma sistemləri, göstərir, təhlükəsizliksənəd nəşri.
1993Juris HartmanisJuris Hartmanis (2002) .jpgSahəsinin təməlini qoyan seminal sənədlərinin tanınması üçün hesablama mürəkkəbliyi nəzəriyyəsi.[32]
Richard E. StearnsDick Stearns (əkilmiş) .jpg
1994Edward Feigenbaum27. Dr. Edward A. Feigenbaum 1994-1997.jpgSüni zəka texnologiyasının praktik əhəmiyyətini və potensial ticari təsirini nümayiş etdirən geniş miqyaslı süni zəka sistemlərinin dizaynına və qurulmasına öncülük etmək üçün.[33]
Raj ReddyProfReddys Photo Cropped.jpg
1995Manuel BlumBlum manuel (əkilmiş) .jpgTəməllərinə verdiyi töhfələrə görə hesablama mürəkkəbliyi nəzəriyyəsi və onun tətbiqi kriptoqrafiyaproqram yoxlanışı.[34]
1996Amir PnueliAmir Pnueli.jpgSeminal iş təqdim etmək üçün müvəqqəti məntiq kompüter elminə və proqrama və sistemlərə verdiyi böyük töhfələrə görə yoxlama.[35]
1997Douglas EngelbartDouglas Engelbart 2008.jpgİnteraktiv hesablamanın gələcəyinə dair ilhamverici vizyon və bu vizyonun həyata keçirilməsinə kömək edəcək əsas texnologiyaların ixtirası üçün.[36]
1998Jim GrayJim Grey Computing in the 21st Century 2006 (əkilmiş) .jpgÜçün əsas töhfələr üçün verilənlər bazasıəməliyyat emalı sistemin tətbiqində tədqiqat və texniki liderlik.
1999Frederick P. BrooksFred Brooks (əkilmiş) .jpgGörkəmli töhfələr üçün kompüter memarlığı, əməliyyat sistemləriproqram mühəndisliyi.
2000Andrew YaoAndrew Yao MFO (əkilmiş) .jpgTəməl töhfələrini nəzərə alaraq hesablama nəzəriyyəsi, kompleksliyə əsaslanan nəzəriyyə də daxil olmaqla yalan təsadüfi ədədin yaranması, kriptoqrafiyarabitə mürəkkəbliyi.
2001Ole-Johan DahlFikirlərin ortaya çıxması üçün obyekt yönümlü proqramlaşdırma, proqramlaşdırma dillərinin dizaynları sayəsində Simula ISimula 67.
Kristen NygaardKristen-Nygaard-SBLP-1997-head.png
2002Ron RivestRonald L Rivest photo.jpgÜçün onların dahiyanə töhfələri etmək üçün ümumi açar kriptoqrafiya praktikada faydalıdır.
Adi ŞamirAdi Shamir at TU Darmstadt (2013).jpg
Leonard AdlemanLen-mankin-pic.jpg
2003Alan KayAlan Kay (3097597186) (əkilmiş) .jpgÇağdaşın kökündəki fikirlərin bir çoxunun öncülüyünə görə obyekt yönümlü proqramlaşdırma dilləri, inkişaf etmiş komandaya rəhbərlik edir Smalltalkvə fərdi kompüterə əsas qatqılar üçün.
2004Vint CerfDr Vint Cerf ForMemRS (cropped).jpgPioner işləmək üçün internet işləmədizaynı və tətbiqi daxil olmaqla İnternetəsas rabitə protokolları, TCP / IPvə şəbəkələrdə ilhamlı liderlik üçün.
Bob KahnBob Kahn.jpg
2005Peter NaurPeternaur.JPGƏsas qatqılar üçün proqramlaşdırma dili dizaynı və tərifi ALGOL 60, to tərtibçi dizayn və kompüter proqramlaşdırma sənətinə və tətbiqinə.
2006Frances E. AllenAllen mg 2528-3750K-b.jpgMüasir optimallaşdırma tərtibçiləri və avtomatik paralel icrası üçün zəmin yaradan kompilyator texnikalarının optimallaşdırılması nəzəriyyəsinə və praktikasına verdiyi töhfələr üçün.
2007Edmund M. ClarkeEdmund Clarke FLoC 2006 (cropped).jpgİnkişafdakı rollarına görə model yoxlanışı hardware və proqram sənayesində geniş tətbiq edilmiş yüksək effektiv bir yoxlama texnologiyasına.[37]
E. Allen Emerson
Joseph SifakisJoseph Sifakis img 0966.jpg
2008Barbara LiskovBarbara Liskov MIT computer scientist 2010.jpgProqramlaşdırma dilinin və sistem dizaynının praktiki və nəzəri əsaslarına, xüsusən də məlumatların götürülməsi, səhvlərə qarşı dözümlülük və paylanmış hesablama ilə əlaqəli töhfələr üçün.
2009Charles P. ThackerChuckthacker (cropped).jpgOnun qabaqcıl dizaynı və həyata keçirilməsi üçün Xerox Alto, ilk müasir fərdi kompüter və əlavə olaraq Ethernet və Tablet PC-yə verdiyi töhfələrə görə.
2010Leslie ValiantLeslie Valiant (əkilmiş) .jpgÜçün transformator töhfələr üçün hesablama nəzəriyyəsiehtimal ki, təxminən doğru olan nəzəriyyə (PAC) öyrənmə, sayma və cəbri hesablamanın mürəkkəbliyi və paralel və paylanmış hesablama nəzəriyyəsi.
2011Yəhudi İnci[38]Judea Pearl at NIPS 2013 (11781981594) (cropped).jpgSüni zəkaya ehtimallı və səbəbli düşüncə hesabının inkişafı yolu ilə əsas qatqılar üçün.[39]
2012Silvio MicaliSilvio Micali (cropped).jpgKriptoqrafiya elminin mürəkkəblik-nəzəri əsaslarını qoyan transformasiya işləri üçün və bu müddətdə mürəkkəblik nəzəriyyəsində riyazi sübutların səmərəli yoxlanılması üçün yeni metodlar yaratdı.[40]
Shafi GoldwasserShafi Goldwasser.JPG
2013Leslie LamportLeslie Lamport.jpgDağıtılmış və paralel sistemlərin nəzəriyyəsi və praktikasına, xüsusən səbəb və məntiqi saatlar, təhlükəsizlik və canlılıq, təkrarlanan dövlət maşınları və ardıcıl tutarlılıq kimi anlayışların icadına əsas qatqılar üçün.[41][42]
2014Michael StonebrakerMichael Stonebraker P1120062.jpgMüasir verilənlər bazası sistemlərinin əsasını təşkil edən konsepsiya və təcrübələrə əsas qatqı təmin etmək üçün[43]
2015Whitfield DiffieWhitfield Diffie Royal Society (cropped).jpgMüasir kriptoqrafiyaya əsas qatqılar üçün. Diffie və Hellmanın 1976-cı ildə atdığı "Kriptoqrafiyada Yeni İstiqamətlər" adlı yenilikçi bir sənəd.[44] İnternetdə bu gün ən çox istifadə olunan təhlükəsizlik protokollarının təməli olan açıq açar kriptoqrafiya və rəqəmsal imzaların fikirlərini təqdim etdi.[45]
Martin HellmanMartin-Hellman.jpg
2016Tim Berners-LeeSir Tim Berners-Lee (cropped).jpgİcad etdiyi üçün Ümumdünya şəbəkəsi, birinci veb brauzervə Vebin genişlənməsinə imkan verən əsas protokollar və alqoritmlər.[46]
2017John L. HennessyJohn L Hennessy (cropped).jpgMikroprosessor sənayesində davamlı təsiri olan kompüter arxitekturasının dizaynı və qiymətləndirilməsinə sistematik, kəmiyyət yanaşmasının təşəbbüsü üçün.[47]
David PattersonDavid A Patterson.jpg
2018Yoshua BengioYoshua Bengio - 2017.jpgKonseptual və mühəndislik uğurları üçün dərin sinir şəbəkələri hesablamanın kritik bir hissəsi.[48]
Geoffrey HintonGeoffrey Hinton at UBC (cropped).jpg
Yann LeCunYann LeCun - 2018 (əkilmiş) .jpg
2019Edwin CatmullVES Awards 89 cropped.jpg3-ölçülü kompüter qrafika və bu texnikaların film çəkilişində və digər tətbiqetmələrdə kompüter tərəfindən yaradılan görüntülərə (CGI) inqilabi təsiri üçün əsas qatqılar üçün.[49]
Pat HanrahanPat Hanrahan Tableau Customer Conference 2009.jpg

Həmçinin bax

İstinadlar

  1. ^ a b Cacm Staff (2014). "ACM's Turing Award mükafatı 1 milyon dollara yüksəldi". ACM rabitəsi. 57 (12): 20. doi:10.1145/2685372.
  2. ^ a b "A. M. Turing Mükafatı". ACM. Arxivləşdirilib orijinal 2009-12-12. Alındı 2007-11-05.
  3. ^ Dasgupta, Sanjoy; Papadimitriou, Christos; Vəzirani, Umesh (2008). Alqoritmlər. McGraw-Hill. səh.317. ISBN 978-0-07-352340-8.
  4. ^ Turing mükafatı mühazirələrinin biblioqrafiyası, DBLP
  5. ^ Geringer, Steven (27 iyul 2007). "ACM'nin Turing Mükafatı Mükafatı 250.000 Dollara qaldırıldı". ACM mətbuat şərhi. Arxivləşdirilib orijinal 30 dekabr 2008-ci il tarixdə. Alındı 2008-10-16.
  6. ^ Həmçinin bax: Qəhvəyi, Bob (6 iyun 2011). "Niyə hesablama sahəsində Nobel mükafatı yoxdur". Şəbəkə Dünyası. Alındı 3 iyun 2015.
  7. ^ Homer, Steven və Alan L. (2001). Hesablama və mürəkkəblik nəzəriyyəsi. səh. 35. ISBN 978-0-387-95055-6. Alındı 2007-11-05.
  8. ^ "ACM-nin Turing mükafatı 1 milyon dollara qaldırıldı". ACM. Arxivləşdirilib orijinal 2015-11-23 tarixlərində. Alındı 2014-11-13.
  9. ^ "ACM Turing mükafatını alan ilk qadın" (Mətbuat şərhi). Hesablama Maşınları Birliyi. 21 Fevral 2007. Arxivləşdirildi orijinal 2 iyul 2007-ci ildə. Alındı 2007-11-05.
  10. ^ Perlis, A. J. (1967). "Alqoritmik Sistemlərin Sintezi". ACM jurnalı. 14: 1–9. doi:10.1145/321371.321372. S2CID 12937998.
  11. ^ Wilkes, M. V. (1968). "Kompüterlər o vaxt və indi". ACM jurnalı. 15: 1–7. doi:10.1145/321439.321440. S2CID 9846847.
  12. ^ Hamming, R. W. (1969). "Kompüter elminə bir insanın baxışı". ACM jurnalı. 16: 3–12. doi:10.1145/321495.321497. S2CID 6868310.
  13. ^ Minsky, M. (1970). "Kompüter elmində forma və məzmun (1970 ACM mühazirəsi)". ACM jurnalı. 17 (2): 197–215. doi:10.1145/321574.321575. S2CID 15661281.
  14. ^ Wilkinson, J. H. (1971). "Rəqəmsal Analitikdən Bəzi Şərhlər". ACM jurnalı. 18 (2): 137–147. doi:10.1145/321637.321638. S2CID 37748083.
  15. ^ McCarthy, J. (1987). "Süni intellektdə ümumilik". ACM rabitəsi. 30 (12): 1030–1035. doi:10.1145/33447.33448. S2CID 1045033.
  16. ^ Dijkstra, E. W. (1972). "Təvazökar proqramçı". ACM rabitəsi. 15 (10): 859–866. doi:10.1145/355604.361591.
  17. ^ Bachman, C. W. (1973). "Proqramçı naviqator kimi". ACM rabitəsi. 16 (11): 653–658. doi:10.1145/355611.362534.
  18. ^ Knuth, D. E. (1974). "Kompüter proqramlaşdırma sənət kimi". ACM rabitəsi. 17 (12): 667–673. doi:10.1145/361604.361612.
  19. ^ Newell, A .; Simon, H. A. (1976). "Kompüter elmləri empirik sorğu kimi: Simvollar və axtarış". ACM rabitəsi. 19 (3): 113. doi:10.1145/360018.360022.
  20. ^ Rabin, M. O .; Scott, D. (1959). "Sonlu Avtomatlar və Onların Qərar Problemləri". IBM Araşdırma və İnkişaf Jurnalı. 3 (2): 114. doi:10.1147 / rd.32.0114. S2CID 3160330.
  21. ^ Rabin, M. O. (1977). "Hesablamaların mürəkkəbliyi". ACM rabitəsi. 20 (9): 625–633. doi:10.1145/359810.359816.
  22. ^ Scott, D. S. (1977). "Məntiq və proqramlaşdırma dilləri". ACM rabitəsi. 20 (9): 634–641. doi:10.1145/359810.359826.
  23. ^ Backus, J. (1978). "Proqramlaşdırma von Neumann üslubundan azad edilə bilərmi?: İşlək bir üslub və onun proqram cəbri". ACM rabitəsi. 21 (8): 613–641. doi:10.1145/359576.359579.
  24. ^ Floyd, R. W. (1979). "Proqramlaşdırma paradiqmaları". ACM rabitəsi. 22 (8): 455–460. doi:10.1145/359138.359140.
  25. ^ Iverson, K. E. (1980). "Fikir aləti kimi notasiya". ACM rabitəsi. 23 (8): 444–465. doi:10.1145/358896.358899.
  26. ^ Hoare, C. A. R. (1981). "İmperatorun köhnə paltarları". ACM rabitəsi. 24 (2): 75–83. doi:10.1145/358549.358561.
  27. ^ Codd, E. F. (1982). "Əlaqəli verilənlər bazası: məhsuldarlıq üçün praktik təməl". ACM rabitəsi. 25 (2): 109–117. doi:10.1145/358396.358400.
  28. ^ Cook, S. A. (1983). "Hesablama mürəkkəbliyinə ümumi baxış". ACM rabitəsi. 26 (6): 400–408. doi:10.1145/358141.358144.
  29. ^ "A.M. Turing mükafatı laureatı - Kenneth Lane Thompson". amturing.acm.org. Alındı 4 Noyabr 2018.
  30. ^ "A.M. Turing mükafatı laureatı - Dennis M. Ritchie". amturing.acm.org. Alındı 4 Noyabr 2018.
  31. ^ Milner, R. (1993). "Qarşılıqlı təsir elementləri: Turing mükafatı mühazirəsi". ACM rabitəsi. 36: 78–89. doi:10.1145/151233.151240.
  32. ^ Stearns, R. E. (1994). "Turing Mükafatı mühazirəsi: vaxta yenidən baxmağın vaxtı gəldi". ACM rabitəsi. 37 (11): 95–99. doi:10.1145/188280.188379.
  33. ^ Reddy, R. (1996). "Mümkün olan xəyalları görmək". ACM rabitəsi. 39 (5): 105–112. doi:10.1145/229459.233436.
  34. ^ "A.M. Turing mükafatı laureatı - Manuel Blum". amturing.acm.org. Alındı 4 Noyabr 2018.
  35. ^ "A.M. Turing mükafatı laureatı - Amir Pnueli". amturing.acm.org. Alındı 4 Noyabr 2018.
  36. ^ "A.M. Turing mükafatı laureatı - Douglas Engelbart". amturing.acm.org. Alındı 4 Noyabr 2018.
  37. ^ 2007 Turing mükafatı qalibləri açıqlandı
  38. ^ Pearl, Judea (2011). Nedensel nəticələrin mexanizasiyası: "mini" Turing Testi və Beyond (mp4). ACM Turing mükafatı mühazirələri. doi:10.1145/1283920.2351636 (hərəkətsiz 2020-11-11). ISBN 978-1-4503-1049-9.CS1 maint: DOI, Noyabr 2020-ci il tarixinə qədər aktiv deyil (link)
  39. ^ "Judea Pearl". ACM.
  40. ^ "Turing mükafatı 2012". ACM. Arxivləşdirilib orijinal 2013-03-18.
  41. ^ "Turing mükafatı 2013". ACM.
  42. ^ Lamport, L. (1978). "Vaxt, saatlar və tədbirlərin paylanmış sistemdə sıralanması" (PDF). ACM rabitəsi. 21 (7): 558–565. CiteSeerX 10.1.1.155.4742. doi:10.1145/359545.359563. S2CID 215822405.
  43. ^ "Turing mükafatı 2014". ACM.
  44. ^ Diffie, W .; Hellman, M. (1976). "Kriptoqrafiyada yeni istiqamətlər" (PDF). Məlumat nəzəriyyəsi üzrə IEEE Əməliyyatları. 22 (6): 644–654. CiteSeerX 10.1.1.37.9720. doi:10.1109 / TIT.1976.1055638.
  45. ^ "Kriptoqrafiya Pionerləri 2015 ACM A.M. Turing mükafatını alırlar". ACM.
  46. ^ "Turing mükafatı 2016". ACM.
  47. ^ "Müasir Kompüter Memarlığının Öncüləri ACM A.M. Turing mükafatını alırlar". ACM.
  48. ^ Dərin Öyrənmə İnqilabının Ataları ACM A.M. Turing mükafatı
  49. ^ ACM A.M. ilə tanınan müasir kompüter qrafikasının qabaqcılları Turing Mükafatı - Hanrahan və Catmull’un İnnovasiyaları Bugünün 3 Ölçülü Cizgi Filmləri üçün Yol Açdı. İstifadə tarixi 19 Mart 2020.

xarici linklər

Pin
Send
Share
Send