Medalia John von Neumann

Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de versiunea revizuită la 14 septembrie 2022; verificarea necesită 1 editare .

Medalia John von Neumann [1] ( ing.  IEEE John von Neumann Medal ) este un premiu în domeniul tehnologiei informației stabilit de Consiliul de Administrație al IEEE în 1990. Premiat anual din 1992 pentru realizări remarcabile teoretice, tehnologice și de afaceri. Nu sunt luate în considerare doar noile realizări, ci și rezultatele semnificative din anii trecuți [2] . Într-o nominalizare, pot fi indicate de la 1 la 3 persoane, medalia a fost acordată de trei ori echipelor de doi oameni de știință, în alte cazuri, o persoană a fost premiată.

Medalia este sponsorizată de IBM Corporation . Numit după John von Neumann .

Laureații

Medalia John von Neumann a fost acordată: [3]

An Laureat Motivul atribuirii
1992 Gordon Bell Pentru contribuții inovatoare la arhitectura și designul computerelor.
1993 Frederic Brooks Text original  (engleză)[ arataascunde] „Pentru evoluții semnificative în arhitectura computerelor, observații perspicace asupra ingineriei software și pentru educația în informatică și servicii profesionale.”
1994 John Cock Pentru contribuții la industria calculatoarelor, inclusiv invenția, dezvoltarea și implementarea arhitecturii RISC și a tehnologiei de optimizare a software-ului.
1995 Donald Knuth Text original  (engleză)[ arataascunde] „Pentru contribuții fundamentale la teoria și practica informaticii și la arta programării computerelor”.
1996 Carver Mead Text original  (engleză)[ arataascunde] „Pentru leadership și contribuții inovatoare la VLSI și structurile microelectronice creative.”
1997 Maurice Wilks Text original  (engleză)[ arataascunde] „Pentru o carieră pe tot parcursul vieții de contribuții fundamentale la calcul, inclusiv primul computer cu program operațional stocat la scară completă și la bazele programării.”
1998 Ivan Sutherland Text original  (engleză)[ arataascunde] „Pentru contribuțiile de pionierat la grafica computerizată și designul microelectronic și leadership în sprijinul cercetării informatice și inginerești”
1999 Douglas Engelbart Text original  (engleză)[ arataascunde] „Pentru a crea bazele calculatoarelor personale interactive, în timp real, inclusiv ecrane CRT, ferestre, mouse-ul, legături hipermedia și conferințe și jurnale online.”
2000 John Hennessy și David Patterson Text original  (engleză)[ arataascunde] „Pentru crearea unei revoluții în arhitectura computerelor prin explorarea, popularizarea și comercializarea inovațiilor arhitecturale.”
2001 Butler Lampson Text original  (engleză)[ arataascunde] „Pentru conducerea tehnică în crearea de time-sharing, de calcul distribuit, de securitate în rețele și de limbaje de programe.”
2002 Ole-Johan Dahl și Kristen Nyugor Text original  (engleză)[ arataascunde] „Pentru introducerea conceptelor care stau la baza programării orientate pe obiecte prin proiectarea și implementarea SIMULA 67.”
2003 Alfred Aho Text original  (engleză)[ arataascunde] „Pentru contribuții la bazele informaticii și la domeniile algoritmilor și instrumentelor software”.
2004 Barbara Liskov Text original  (engleză)[ arataascunde] „Pentru contribuții fundamentale la limbajele de programare, metodologia de programare și sistemele distribuite.”
2005 Michael Spărgătorul de Pietre Text original  (engleză)[ arataascunde] „Pentru contribuții la proiectarea, implementarea și comercializarea sistemelor de baze de date relaționale și obiect-relaționale.”
2006 Ed Catmull Text original  (engleză)[ arataascunde] „Pentru contribuții fundamentale la grafica pe computer și un rol de pionierat în utilizarea animației pe computer în filme.”
2007 Charles Thacker Text original  (engleză)[ arataascunde] „Pentru un rol central în crearea computerului personal și dezvoltarea sistemelor informatice în rețea”.
2008 Leslie Lampport Text original  (engleză)[ arataascunde] „Pentru stabilirea bazelor calculului distribuit și concurent”.
2009 Susan Graham Text original  (engleză)[ arataascunde] „Pentru contribuții la proiectarea și implementarea limbajului de programare și pentru servicii exemplare la disciplina informatică”.
2010 John Hopcroft și Jeffrey Ullman Text original  (engleză)[ arataascunde] „Pentru a pune bazele domeniilor automatelor și teoriei limbajului și pentru multe contribuții fundamentale la informatica teoretică.”
2011 Charles Anthony Richard Hoare Text original  (engleză)[ arataascunde] „Pentru contribuții fundamentale la fundația științifică a designului software”.
2012 Edward McCluskey Text original  (engleză)[ arataascunde] „Pentru contribuțiile fundamentale care au modelat proiectarea și testarea sistemelor digitale”.
2013 Dennis Text original  (engleză)[ arataascunde] „Pentru abstracții fundamentale pentru implementarea protecției în sistemele de operare și pentru paradigma de programare a fluxului de date.”
2014 Clive Moler Text original  (engleză)[ arataascunde] „Pentru contribuții fundamentale și utilizate pe scară largă la algebra liniară numerică și la software-ul științific și de inginerie care au transformat știința computațională”.
2015 James Gosling Pentru limbajul de programare Java , mașina virtuală Java și alte contribuții la limbaje și medii de programare.
2016 Hristos Papadimitriou Text original  (engleză)[ arataascunde] „Pentru a oferi o înțelegere mai profundă a complexității computaționale și a implicațiilor acesteia pentru algoritmii de aproximare, inteligența artificială, economie, teoria bazelor de date și biologie”.
2017 Vladimir Vapnik Pentru dezvoltarea teoriei învățării statistice , bazele teoretice ale învățării automate și mașinile vectoriale de sprijin .
2018 Cousot Pentru introducerea interpretării abstracte , un cadru puternic pentru determinarea automată a proprietăților programelor cu aplicație largă în verificare și optimizare.
2019 Eva Tardosh Pentru contribuții la domeniul algoritmilor, inclusiv noi metode fundamentale de optimizare, aproximare și teoria jocurilor algoritmice.

Note

  1. ↑ Există și Premiul Teoretic Von Neumann , acordat de comunitatea Informs pentru contribuții la cercetarea operațională și teoria controlului .
  2. ↑ Medalia IEEE John von Neumann . IEEE. Consultat la 31 decembrie 2010 . Arhivat din original pe 6 septembrie 2012. ( 31.12.2010 )
  3. ^ IEEE John von Neumann Medal Recipients . IEEE. Consultat la 19 octombrie 2019. Arhivat din original la 22 aprilie 2019.

Link -uri

  1. include <stdio.h>
  2. include <limits.h>

int main() { long k,i,b,sum,a,n; scanf("%ld",&k); pentru(n=0;sum<=LONG_MAX-b;n++){

for(i=1,sum=0;i<=k;i++){ for(a=0,b=1;a<n;a++){ b*=2*i-1; } suma+=b; if(sum>=LONG_MAX-b&&b!=2*k-1){ printf("%ld\n%ld\n+",sum,n); pauză; } else if(sum>=LONG_MAX-b&&b==2*k-1){ printf("%ld\n%ld\n*",sum,n); pauză; } }

} }