Template:Selected anniversaries/September 25: Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
No edit summary
No edit summary
Line 49: Line 49:
File:Mars Observer diagram.png|link=Mars Observer (nonfiction)|1992: NASA launches the [[Mars Observer (nonfiction)|Mars Observer]], a $511 million probe to [[Mars (nonfiction)|Mars]], in the first U.S. mission to the planet in 17 years. The probe will fail eleven months later.
File:Mars Observer diagram.png|link=Mars Observer (nonfiction)|1992: NASA launches the [[Mars Observer (nonfiction)|Mars Observer]], a $511 million probe to [[Mars (nonfiction)|Mars]], in the first U.S. mission to the planet in 17 years. The probe will fail eleven months later.


||2001: Robert W (Bob) Floyd dies ... computer scientist. His contributions include the design of the Floyd–Warshall algorithm (independently of Stephen Warshall), which efficiently finds all shortest paths in a graph, Floyd's cycle-finding algorithm for detecting cycles in a sequence, and his work on parsing. In one isolated paper he introduced the important concept of error diffusion for rendering images, also called Floyd–Steinberg dithering (though he distinguished dithering from diffusion). A significant achievement was pioneering the field of program verification using logical assertions with the 1967 paper Assigning Meanings to Programs. This was an important contribution to what later became Hoare logic.
||2001: Robert W (Bob) Floyd dies ... computer scientist. His contributions include the design of the Floyd–Warshall algorithm (independently of Stephen Warshall), which efficiently finds all shortest paths in a graph, Floyd's cycle-finding algorithm for detecting cycles in a sequence, and his work on parsing. In one isolated paper he introduced the important concept of error diffusion for rendering images, also called Floyd–Steinberg dithering (though he distinguished dithering from diffusion). A significant achievement was pioneering the field of program verification using logical assertions with the 1967 paper Assigning Meanings to Programs. This was an important contribution to what later became Hoare logic. Pic: https://cs.stanford.edu/memoriam/professor-robert-w-floyd


||2002: Arnold Ephraim Ross dies ... a mathematician and educator who founded the Ross Mathematics Program, a number theory summer program for gifted high school students. Pic.
||2002: Arnold Ephraim Ross dies ... a mathematician and educator who founded the Ross Mathematics Program, a number theory summer program for gifted high school students. Pic.

Revision as of 12:48, 3 September 2018