Manuel Blum oor Engels

Manuel Blum

Vertalings in die woordeboek Spaans - Engels

Manuel Blum

voorbeelde

Manuel Blum y Sampath Kannan (1995) han mostrado un verificador probabilístico para programas de isomorfismo gráfico.
Manuel Blum and Sampath Kannan (1995) have shown a probabilistic checker for programs for graph isomorphism.

Blum Blum Shub (BBS) es un generador pseudoaleatorio de números propuesto por Lenore Blum, Manuel Blum y Michael Shub en 1986.
Blum Blum Shub (B.B.S.) is a pseudorandom number generator proposed in 1986 by Lenore Blum, Manuel Blum and Michael Shub that is derived from Michael O. Rabin's one-way function.

En Teoría de la complejidad computacional el teorema del aumento de velocidad de Blum, dado primero por Manuel Blum en 1967, es un teorema importante sobre la complejidad de funciones computables.
In computational complexity theory, Blum's speedup theorem, first stated by Manuel Blum in 1967, is a fundamental theorem about the complexity of computable functions.

Blume, Caterina y Manuela salieron.
Blume, Caterina, and Manuela walked out.

—Así que la madre de Manuela Ludovisi se llama Angela Solazzi —dijo Blume—.
"""So Manuela Ludovisi's mother is called Angela Solazzi,"" said Blume."

—Así que la madre de Manuela Ludovisi se llama Angela Solazzi —dijo Blume—.
“So Manuela Ludovisi’s mother is called Angela Solazzi,” said Blume.

Durante su estancia en Caracas, se reunió con Manuel Blum, que fue también de una familia judía.
While in Caracas, she met Manuel Blum, who was also from a Jewish family.

Manuel Blum En reconocimiento por sus aportes a los fundamentos de la teoría de complejidad computacional y su aplicabilidad a la criptografía.
In recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking.

El término se empezó a utilizar en el año 2000 por Luis von Ahn, Manuel Blum y Nicholas J. Hopper de la Carnegie Mellon University, y John Langford de IBM.
The term was coined in 2000 by Luis von Ahn, Manuel Blum, and Nicholas J. Hopper of Carnegie Mellon University, and John Langford of IBM.

Después de su tesis, tal vez su próximo importante pieza de trabajo fue Hacia una teoría matemática de inferencia inductiva, información y control que publicó conjuntamente con su esposo Manuel Blum.
After her thesis, perhaps her next important piece of work was Towards a Mathematical Theory of Inductive Inference, Information and Control which she published jointly with her husband Manuel Blum.

Fue a Estados Unidos a hacer la universidad y un posgrado, obteniendo una licenciatura en matemáticas en Duke y un Ph.D. en ciencias de la computación en Carnegie Mellon (CMU), Pennsylvania, donde estudió con Manuel Blum, ganador del Premio Turing en 1995, conocido como el Premio Nobel de Computación.
He went to America for college and graduate school, earning a bachelor’s in math at Duke and a Ph.D. in computer science at Carnegie Mellon (CMU), where he studied under Manuel Blum, 1995 winner of the Turing Award, known within the field as the Nobel Prize of computing.

El término se empezó a utilizar en el año 2000 por el guatemalteco Luis von Ahn,[2] así como por Manuel Blum y Nicholas J. Hopper[3] de la Universidad Carnegie Mellon, junto a John Langford de IBM.[1][4] Consiste en que el usuario introduzca correctamente un conjunto de caracteres que se muestran en una imagen distorsionada que aparece en pantalla.
The term was coined in 2003 by Luis von Ahn, Manuel Blum, Nicholas J. Hopper, and John Langford.[2] The most common type of CAPTCHA (displayed as Version 1.0) was first invented in 1997 by two groups working in parallel. This form of CAPTCHA requires that the user type the letters of a distorted image, sometimes with the addition of an obscured sequence of letters or digits that appears on the screen.