Edge coloringIn graph theory, a proper edge coloring of a graph is an assignment of "colors" to the edges of the graph so that no two incident edges have the same color. For example, the figure to the right shows an edge coloring of a graph by the colors red, blue, and green. Edge colorings are one of several different types of graph coloring. The edge-coloring problem asks whether it is possible to color the edges of a given graph using at most k different colors, for a given value of k, or with the fewest possible colors.
MulticastIn computer networking, multicast is group communication where data transmission is addressed to a group of destination computers simultaneously. Multicast can be one-to-many or many-to-many distribution. Multicast should not be confused with physical layer point-to-multipoint communication. Group communication may either be application layer multicast or network-assisted multicast, where the latter makes it possible for the source to efficiently send to the group in a single transmission.
Cassini–HuygensCassini–Huygens (kəˈsiːni_ˈhɔɪɡənz ), commonly called Cassini, was a space-research mission by NASA, the European Space Agency (ESA), and the Italian Space Agency (ASI) to send a space probe to study the planet Saturn and its system, including its rings and natural satellites. The Flagship-class robotic spacecraft comprised both NASA's Cassini space probe and ESA's Huygens lander, which landed on Saturn's largest moon, Titan. Cassini was the fourth space probe to visit Saturn and the first to enter its orbit, where it stayed from 2004 to 2017.
Coherent topologyIn topology, a coherent topology is a topology that is uniquely determined by a family of subspaces. Loosely speaking, a topological space is coherent with a family of subspaces if it is a topological union of those subspaces. It is also sometimes called the weak topology generated by the family of subspaces, a notion that is quite different from the notion of a weak topology generated by a set of maps. Let be a topological space and let be a family of subsets of each having the subspace topology.
Polar topologyIn functional analysis and related areas of mathematics a polar topology, topology of -convergence or topology of uniform convergence on the sets of is a method to define locally convex topologies on the vector spaces of a pairing.
Voyager programThe Voyager program is an American scientific program that employs two robotic interstellar probes, Voyager 1 and Voyager 2. They were launched in 1977 to take advantage of a favorable alignment of the two gas giants Jupiter and Saturn and the ice giants, Uranus and Neptune, to fly near them while collecting data for transmission back to Earth. After launch the decision was made to send Voyager 2 near Uranus and Neptune to collect data for transmission back to Earth.
Net (mathematics)In mathematics, more specifically in general topology and related branches, a net or Moore–Smith sequence is a generalization of the notion of a sequence. In essence, a sequence is a function whose domain is the natural numbers. The codomain of this function is usually some topological space. The motivation for generalizing the notion of a sequence is that, in the context of topology, sequences do not fully encode all information about functions between topological spaces.
Linear probingLinear probing is a scheme in computer programming for resolving collisions in hash tables, data structures for maintaining a collection of key–value pairs and looking up the value associated with a given key. It was invented in 1954 by Gene Amdahl, Elaine M. McGraw, and Arthur Samuel and first analyzed in 1963 by Donald Knuth. Along with quadratic probing and double hashing, linear probing is a form of open addressing. In these schemes, each cell of a hash table stores a single key–value pair.
Huygens (spacecraft)Huygens (ˈhɔɪɡənz ) was an atmospheric entry robotic space probe that landed successfully on Saturn's moon Titan in 2005. Built and operated by the European Space Agency (ESA), launched by NASA, it was part of the Cassini–Huygens mission and became the first spacecraft to land on Titan and the farthest landing from Earth a spacecraft has ever made. The probe was named after the 17th-century Dutch astronomer Christiaan Huygens, who discovered Titan in 1655. The combined Cassini–Huygens spacecraft was launched from Earth on October 15, 1997.