Premio Gödel - Historial de revisiones

Goilime en 04:22 1 abr 2011

2011-04-01T04:22:16Z

Goilime: Premio Godel trasladada a Premio Gödel: La grafía del apellido es con diéresis sobre la o

2011-04-01T00:06:28Z

Premio Godel trasladada a Premio Gödel: La grafía del apellido es con diéresis sobre la o

Goilime: Se completó la informacion de las investigaciones que dieron lugar al premio, de las instituciones implicadas y se crearon referencias. Se cambió la plantilla. (No funciona un campo - DESCRIPCIÓN)

2011-04-01T00:04:22Z

Se completó la informacion de las investigaciones que dieron lugar al premio, de las instituciones implicadas y se crearon referencias. Se cambió la plantilla. (No funciona un campo - DESCRIPCIÓN)

Goilime: /* Ganadores */

2011-03-31T22:42:13Z

‎Ganadores

LasTunas3 jc: /* Enlaces externos */

2011-03-01T18:02:15Z

‎Enlaces externos

LasTunas3 jc: /* Enlaces externos */

2011-03-01T17:58:33Z

‎Enlaces externos

LasTunas3 jc: /* Ganadores */

2011-03-01T17:52:45Z

‎Ganadores

Judith ciget.hol en 17:58 7 feb 2011

2011-02-07T17:58:17Z

Judith ciget.hol en 17:47 7 feb 2011

2011-02-07T17:47:57Z

LasTunas3 jc: Página creada con '{{Evento|nombre= Premio Gödel|imagen=|descripción=Ocupa grandes personalidades en problemas Informaticos |tipo= Concurso|fecha= Anualmente 1993-2009|país=}} '''Premio Göde...'

2011-01-23T22:05:06Z

Página creada con '{{Evento|nombre= Premio Gödel|imagen=|descripción=Ocupa grandes personalidades en problemas Informaticos |tipo= Concurso|fecha= Anualmente 1993-2009|país=}} '''Premio Göde...'

Página nueva

{{Evento|nombre= Premio Gödel|imagen=|descripción=Ocupa grandes personalidades en problemas Informaticos |tipo= Concurso|fecha= Anualmente 1993-2009|país=}}

'''Premio Gödel'''. El Premio Gödel es un premio que se entrega a autores de artículos relacionados con teoría de la computación. El nombre del premio se debe al matemático [[Kurt Godel|Kurt Gödel]], y es otorgado por la European Association for Theoretical Computer Science (EATCS) y el Special Interest Group on Algorithms and Computation Theory de la Association for Computing Machinery (ACM).

El Premio Gödel se entrega anualmente desde [[1993|1993]], ya sea en el STOC (ACM Symposium on Theory of Computing), una de las principales conferencias de norteamérica en el área de [[Informática|informática]] teórica, o bien en el ICALP (International Colloquium on Automata, Languages, and Programming), una de las principales conferencias europeas en la misma área. Aparte de la distinción, incluye un bono de 5000 dólares. Como requisito para recibir el premio, el artículo ganador debe haber sido publicado en una revista científica hace máximo 14 años atrás (anteriormente eran sólo 7 años).

== Ganadores<br> ==

*1993 - László Babai, Shafi Goldwasser, Silvio Micali, Shlomo Moran y Charles Rackoff, por el desarrollo de sistemas de demostración interactivos.
*1994 - Johan Håstad, por encontrar una cota inferior exponencial en función del tamaño de profundidad-constante de un circuito booleano para la función paridad.
*1995 - Neil Immerman y Róbert Szelepcsényi, por el Teorema de Immerman-Szelepcsényi.
*1996 - Mark Jerrum y Alistair Sinclair
*1997 - Joseph Halpern y Yoram Moses
*1998 - Seinosuke Toda
*1999 - Peter Shor, por el Algoritmo de Shor para factorizar números en tiempo polinomial en un computador cuántico
*2000 - Moshe Y. Vardi y Pierre Wolper
*2001 - Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan y Mario Szegedy
*2002 - Géraud Sénizergues, por demostrar que la equivalencia de autómatas de pila deterministas es decidible.
*2003 - Yoav Freund y Robert Schapire, por el algoritmo AdaBoost
*2004 - Maurice Herlihy, Mike Saks, Nir Shavit y Fotios Zaharoglou, por aplicar topología a la teoría de computación distribuida
*2005 - Noga Alon, Yossi Matias y Mario Szegedy
*2006 - Manindra Agrawal, Neeraj Kayal, Nitin Saxena, por el Test de primalidad AKS
*2007 - Alexander Razborov y Steven Rudich, por las demostraciones naturales
*2008 - Shanghua Teng y Daniel Spielman, por el análisis Smoothed de logaritmos
*2009 - Omer Reingold, Avi Wigderson y Salil Vadhan, por el análisis de SL (complejidad) <br>

== Enlaces externos<br> ==

[http://sigact.acm.org/prizes/godel/ Página del premio con la lista de ganadores]

[[Category:Solicitada]]

@@ Línea 27: / Línea 27: @@
 |publicación =
 |web =
-}} El '''Premio Gödel''' es un premio que se entrega a autores de artículos relacionados con teoría de la computación. El nombre del premio se debe al matemático [[Kurt Godel|Kurt Gödel]], y es otorgado por la European Association for Theoretical Computer Science (EATCS) y el Special Interest Group on Algorithms and Computation Theory de la Association for Computing Machinery (ACM).
+}} El '''Premio Gödel''' es un premio que se entrega a autores de artículos relacionados con teoría de la computación. El nombre del premio se debe al matemático [[Kurt Gödel|Kurt Gödel]], y es otorgado por la European Association for Theoretical Computer Science (EATCS) y el Special Interest Group on Algorithms and Computation Theory de la Association for Computing Machinery (ACM).
 El Premio Gödel se entrega anualmente desde [[1993]], ya sea en el STOC (ACM Symposium on Theory of Computing), una de las principales conferencias de norteamérica en el área de [[informática]] teórica, o bien en el ICALP (International Colloquium on Automata, Languages, and Programming), una de las principales conferencias europeas en la misma área.
 Aparte de la distinción, incluye un bono de 5000 dólares. Como requisito para recibir el premio, el artículo ganador debe haber sido publicado en una revista científica hace máximo 14 años atrás (anteriormente eran sólo 7 años).

@@ Línea 1: / Línea 1: @@
-{{Evento|nombre= Premio Gödel|imagen=|descripción=Ocupa grandes personalidades en problemas Informaticos |tipo= Concurso|fecha= Anualmente [[1993]]-[[2009]]|país=}}{{Mejorar}}
+{{Ficha Institución
-'''Premio Gödel'''. El Premio Gödel es un premio que se entrega a autores de artículos relacionados con teoría de la computación. El nombre del premio se debe al matemático [[Kurt Godel|Kurt Gödel]], y es otorgado por la European Association for Theoretical Computer Science (EATCS) y el Special Interest Group on Algorithms and Computation Theory de la Association for Computing Machinery (ACM).
+==  Instituciones que lo otorgan  ==
-El Premio Gödel se entrega anualmente desde [[1993|1993]], ya sea en el STOC (ACM Symposium on Theory of Computing), una de las principales conferencias de norteamérica en el área de [[Informática|informática]] teórica, o bien en el ICALP (International Colloquium on Automata, Languages, and Programming), una de las principales conferencias europeas en la misma área. Aparte de la distinción, incluye un bono de 5000 dólares. Como requisito para recibir el premio, el artículo ganador debe haber sido publicado en una revista científica hace máximo 14 años atrás (anteriormente eran sólo 7 años).
+===  European Association for Theoretical Computer Science  ===
 == Ganadores<br>  ==
@@ Línea 25: / Línea 87: @@
 *[[2009|2009]] - Omer Reingold, Avi Wigderson y Salil Vadhan, por el análisis de SL (complejidad) <br>
 *[[2010|2010]] - Sanjeev Arora, Joseph S. B. Mitchell, por su descubrimiento simultáneo de un Esquema de Aproximación tiempo-polinomial para el Problema del Vendedor Viajero. <br>
 == Enlaces externos<br>  ==
@@ Línea 31: / Línea 98: @@
 <br>
 [[Category:Premios_y_Reconocimientos]]

@@ Línea 10: / Línea 10: @@
 *[[1994|1994]] - Johan Håstad, por encontrar una cota inferior exponencial en función del tamaño de profundidad-constante de un circuito booleano para la función paridad.
 *[[1995|1995]] - Neil Immerman y Róbert Szelepcsényi, por el Teorema de Immerman-Szelepcsényi.
-*[[1996|1996]] - Mark Jerrum y Alistair Sinclair
+*[[1996|1996]] - Mark Jerrum y Alistair Sinclair, por el trabajo en las Cadenas Markov y la aproximación de el permanente.
-*[[1997|1997]] - Joseph Halpern y Yoram Moses
+*[[1997|1997]] - Joseph Halpern y Yoram Moses, por definir una noción formal de "conocimiento" en ambientes distribuídos.
-*[[1998|1998]] - Seinosuke Toda
+*[[1998|1998]] - Seinosuke Toda, por el Teorema Toda, con el cual mostró una conexión entre las Soluciones de Conteo (PP) y la alternancia de cuantificadores.
 *[[1999|1999]] - Peter Shor, por el Algoritmo de Shor para factorizar números en tiempo polinomial en un computador cuántico
-*[[2000|2000]] - Moshe Y. Vardi y Pierre Wolper
+*[[2000|2000]] - Moshe Y. Vardi y Pierre Wolper, por trabajar en el chequeo modelo con autómatas finitos.
-*[[2001|2001]] - Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan y Mario Szegedy
+*[[2001|2001]] - Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan y Mario Szegedy, por el Teorema PCP y sus aplicaciones a la resistencia de aproximación.
 *[[2002|2002]] - Géraud Sénizergues, por demostrar que la equivalencia de autómatas de pila deterministas es decidible.
-*[[2003|2003]] - Yoav Freund y Robert Schapire, por el algoritmo AdaBoost
+*[[2003|2003]] - Yoav Freund y Robert Schapire, por el algoritmo AdaBoost.
-*[[2004|2004]] - Maurice Herlihy, Mike Saks, Nir Shavit y Fotios Zaharoglou, por aplicar topología a la teoría de computación distribuida
+*[[2004|2004]] - Maurice Herlihy, Mike Saks, Nir Shavit y Fotios Zaharoglou, por aplicar topología a la teoría de computación distribuida.
-*[[2005|2005]] - Noga Alon, Yossi Matias y Mario Szegedy
+*[[2005|2005]] - Noga Alon, Yossi Matias y Mario Szegedy, por su contribución fundacional a los Streaming Algorithms.
 *[[2006|2006]] - Manindra Agrawal, Neeraj Kayal, Nitin Saxena, por el Test de primalidad AKS
 *[[2007|2007]] - Alexander Razborov y Steven Rudich, por las demostraciones naturales
 *[[2008|2008]] - Shanghua Teng y Daniel Spielman, por el análisis Smoothed de logaritmos
 *[[2009|2009]] - Omer Reingold, Avi Wigderson y Salil Vadhan, por el análisis de SL (complejidad) <br>
 == Enlaces externos<br>  ==

@@ Línea 28: / Línea 28: @@
 [http://sigact.acm.org/Prizes/Godel/ Página del premio con la lista de ganadores]
 <br>
 [[Category:Premios_y_Reconocimientos]]

@@ Línea 1: / Línea 1: @@
-{{Evento|nombre= Premio Gödel|imagen=|descripción=Ocupa grandes personalidades en problemas Informaticos |tipo= Concurso|fecha= Anualmente [[1993]]-[[2009]]|país=}}
+{{Evento|nombre= Premio Gödel|imagen=|descripción=Ocupa grandes personalidades en problemas Informaticos |tipo= Concurso|fecha= Anualmente [[1993]]-[[2009]]|país=}}{{Mejorar}}
 '''Premio Gödel'''. El Premio Gödel es un premio que se entrega a autores de artículos relacionados con teoría de la computación. El nombre del premio se debe al matemático [[Kurt Godel|Kurt Gödel]], y es otorgado por la European Association for Theoretical Computer Science (EATCS) y el Special Interest Group on Algorithms and Computation Theory de la Association for Computing Machinery (ACM).
@@ Línea 31: / Línea 31: @@
 <br>
 <br>
 <br>
 [[Category:Premios_y_Reconocimientos]]

← Revisión anterior	Revisión del 00:06 1 abr 2011
(Sin diferencias)

@@ Línea 7: / Línea 7: @@
 == Ganadores<br>  ==
-*1993 - László Babai, Shafi Goldwasser, Silvio Micali, Shlomo Moran y Charles Rackoff, por el desarrollo de sistemas de demostración interactivos.
+*[[1993|1993]] - László Babai, Shafi Goldwasser, Silvio Micali, Shlomo Moran y Charles Rackoff, por el desarrollo de sistemas de demostración interactivos.
-*1994 - Johan Håstad, por encontrar una cota inferior exponencial en función del tamaño de profundidad-constante de un circuito booleano para la función paridad.
+*[[1994|1994]] - Johan Håstad, por encontrar una cota inferior exponencial en función del tamaño de profundidad-constante de un circuito booleano para la función paridad.
-*1995 - Neil Immerman y Róbert Szelepcsényi, por el Teorema de Immerman-Szelepcsényi.
+*[[1995|1995]] - Neil Immerman y Róbert Szelepcsényi, por el Teorema de Immerman-Szelepcsényi.
-*1996 - Mark Jerrum y Alistair Sinclair
+*[[1996|1996]] - Mark Jerrum y Alistair Sinclair
-*1997 - Joseph Halpern y Yoram Moses
+*[[1997|1997]] - Joseph Halpern y Yoram Moses
-*1998 - Seinosuke Toda
+*[[1998|1998]] - Seinosuke Toda
-*1999 - Peter Shor, por el Algoritmo de Shor para factorizar números en tiempo polinomial en un computador cuántico
+*[[1999|1999]] - Peter Shor, por el Algoritmo de Shor para factorizar números en tiempo polinomial en un computador cuántico
-*2000 - Moshe Y. Vardi y Pierre Wolper
+*[[2000|2000]] - Moshe Y. Vardi y Pierre Wolper
-*2001 - Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan y Mario Szegedy
+*[[2001|2001]] - Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan y Mario Szegedy
-*2002 - Géraud Sénizergues, por demostrar que la equivalencia de autómatas de pila deterministas es decidible.
+*[[2002|2002]] - Géraud Sénizergues, por demostrar que la equivalencia de autómatas de pila deterministas es decidible.
-*2003 - Yoav Freund y Robert Schapire, por el algoritmo AdaBoost
+*[[2003|2003]] - Yoav Freund y Robert Schapire, por el algoritmo AdaBoost
-*2004 - Maurice Herlihy, Mike Saks, Nir Shavit y Fotios Zaharoglou, por aplicar topología a la teoría de computación distribuida
+*[[2004|2004]] - Maurice Herlihy, Mike Saks, Nir Shavit y Fotios Zaharoglou, por aplicar topología a la teoría de computación distribuida
-*2005 - Noga Alon, Yossi Matias y Mario Szegedy
+*[[2005|2005]] - Noga Alon, Yossi Matias y Mario Szegedy
-*2006 - Manindra Agrawal, Neeraj Kayal, Nitin Saxena, por el Test de primalidad AKS
+*[[2006|2006]] - Manindra Agrawal, Neeraj Kayal, Nitin Saxena, por el Test de primalidad AKS
-*2007 - Alexander Razborov y Steven Rudich, por las demostraciones naturales
+*[[2007|2007]] - Alexander Razborov y Steven Rudich, por las demostraciones naturales
-*2008 - Shanghua Teng y Daniel Spielman, por el análisis Smoothed de logaritmos
+*[[2008|2008]] - Shanghua Teng y Daniel Spielman, por el análisis Smoothed de logaritmos
-*2009 - Omer Reingold, Avi Wigderson y Salil Vadhan, por el análisis de SL (complejidad) <br>
+*[[2009|2009]] - Omer Reingold, Avi Wigderson y Salil Vadhan, por el análisis de SL (complejidad) <br>
 == Enlaces externos<br>  ==