Stephen Cook
Stephen Arthur Cook (1939, Búfalo (Nueva York)) es un reconocido científico de la computación.Cook formalizó el concepto de NP-completitud en un famoso artículo de 1971 titulado «The Complexity of Theorem Proving Procedures» («La complejidad de los procedimientos de demostración de teoremas»), donde también formuló el problema de la relación entre las clases de complejidad P y NP.
Cook recibió el Premio Turing en 1982 por su descubrimiento:
''Por su avance en nuestra comprensión de la complejidad computacional de un modo significativo y profundo. Su artículo pionero, ''The Complexity of Theorem Proving Procedures,'' presentado en el ''ACM SIGACT Symposium on the Theory of Computing'' de 1971, sentó los cimientos de la teoría de NP-completitud. La exploración de los límites de la clase de complejidad NP-completo ha sido una de las actividades investigadoras más activas e importantes en las ciencias de la computación durante la última década.''Recibió su licenciatura en 1961 por la Universidad de Míchigan. En la Universidad de Harvard, recibió su título de máster en 1962, y se doctoró en 1966. Desde 1966 hasta 1970 fue profesor asistente en la Universidad de California, Berkeley. Se unió al profesorado de la Universidad de Toronto en 1970 como profesor asociado, siendo ascendido a profesor en 1975 y profesor universitario en 1985 en el [http://www.cs.utoronto.ca Departamento de Informática] y en el de [https://web.archive.org/web/20040618202131/http://www.math.utoronto.ca/dept/dirfac.html Matemáticas].
El matemático ha sido galardonado con el Premio Fundación BBVA Fronteras del Conocimiento 2015 en la categoría de Tecnologías de la Información y la Comunicación «por su importante papel a la hora de determinar qué pueden los ordenadores resolver de forma eficiente y qué no», según señala el acta del jurado. Además, destacaron que su trabajo «ha tenido un impacto decisivo en todos aquellos campos en los que los cálculos complejos son de vital importancia». proporcionado por Wikipedia
Mostrando 1 - 20 Resultados de 28 Para Buscar 'Cook, Stephen', tiempo de consulta: 0.05s
Limitar resultados
-
1por Cook, Stephen C.
Publicado 2022
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
2
-
3
-
4
-
5
-
6
-
7por Verhaert, David, Arruda, Janine, Thavendiranathan, Paaladinesh, Cook, Stephen C, Raman, Subha V
Publicado 2010
Enlace del recurso
Enlace del recurso
Texto -
8por Stahlhut, Richard W., van Wijngaarden, Edwin, Dye, Timothy D., Cook, Stephen, Swan, Shanna H.
Publicado 2007
Enlace del recurso
Enlace del recurso
Texto -
9por Madan, Ajay, Luo, Rosa, Cook, Stephen Ferrara, Struthers, Scott, van Marle, Sjoerd, Krasner, Alan
Publicado 2020
Enlace del recurso
Online Artículo Texto -
10por Salkeld, Samantha L., Patron, Laura P., Lien, Joan C., Cook, Stephen D., Jones, Deryk G.
Publicado 2016
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
11por Geyer, Leah, Raman, Subha V, Balasubramanian, Vijay, McCarfthy, Beth, Simonetti, Orlando P, Cook, Stephen C
Publicado 2011
Enlace del recurso
Texto -
12por da Silveira, Juliana Serafim, Geyer, Leah, Craft, Jason, Raman, Subha V, Simonetti, Orlando P, Cook, Stephen C
Publicado 2014
Enlace del recurso
Online Artículo Texto -
13
-
14por Schutt, Robert C, Gordon, Trish A, Bhabhra, Ruchi, Cathro, Helen P, Cook, Stephen L, McCartney, Christopher R, Weiss, Geoffrey R
Publicado 2013
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
15por Beale, David J., Karpe, Avinash V., Ahmed, Warish, Cook, Stephen, Morrison, Paul D., Staley, Christopher, Sadowsky, Michael J., Palombo, Enzo A.
Publicado 2017
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
16por Button, Alyssa M., Paluch, Rocco A., Schechtman, Kenneth B., Wilfley, Denise E., Geller, Nancy, Quattrin, Teresa, Cook, Stephen R., Eneli, Ihouma U., Epstein, Leonard H.
Publicado 2023
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
17por Peterson, Delaney M., Flynn, Sarah M., Lanfear, Riley S., Smith, Chelsea, Swenson, Logan J., Belskis, Alice M., Cook, Stephen C., Wheeler, Christopher T., Wilhelm, Jessica F., Burgin, Amy J.
Publicado 2023
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
18por Tanifum, Eric A., Dasgupta, Indrani, Srivastava, Mayank, Bhavane, Rohan C., Sun, Li, Berridge, John, Pourgarzham, Hoda, Kamath, Rashmi, Espinosa, Gabriela, Cook, Stephen C., Eriksen, Jason L., Annapragada, Ananth
Publicado 2012
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
19por Kennedy, Betty M., Davison, Genevieve, Fowler, Lauren A., Rodriguez-Guzman, Erika, Collins, Myra L., Baker, Alison, Cook, Stephen, Lindros, Jeanne, Wilfley, Denise E., Zebrick, Ava J., Staiano, Amanda E.
Publicado 2021
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
20por Wong, Timothy C, Piehler, Kayla, Puntil, Kathy S, Moguillansky, Diego, Meier, Christopher G, Lacomis, Joan M, Kellman, Peter, Cook, Stephen C, Schwartzman, David S, Simon, Marc A, Mulukutla, Suresh R, Schelbert, Erik B
Publicado 2013
Enlace del recurso
Enlace del recurso
Online Artículo Texto
Herramientas de búsqueda:
RSS