Huff-Duffthumb|upright=1.25|Huff-duff du croiseur HMS Belfast Huff-Duff est le surnom donné à un système de radiogoniométrie utilisé comme dispositif de repérage pendant et après la Seconde Guerre mondiale. Cet appareil est l'un principaux artisans de la victoire alliée dans la bataille de l'Atlantique. Ce nom évoque « HF/DF », abréviation de High Frequency/Direction Finding (« Haute fréquence/Découverte de direction »). Utiliser un ou plusieurs récepteurs radio pour localiser l'origine d'une émission radio-électrique est aussi vieille que la TSF elle-même.
Index setIn mathematics, an index set is a set whose members label (or index) members of another set. For instance, if the elements of a set A may be indexed or labeled by means of the elements of a set J, then J is an index set. The indexing consists of a surjective function from J onto A, and the indexed collection is typically called an indexed family, often written as {Aj}j∈J. An enumeration of a set S gives an index set , where f : J → S is the particular enumeration of S.
Problème de couverture par ensemblesEn informatique théorique, le problème de couverture par ensembles (Set Cover problem en anglais) est un problème d'algorithmique particulièrement important car c'est l'un des 21 problèmes NP-complets de Karp . Étant donné un ensemble A, on dit qu'un élément e est couvert par A si e appartient à A. Étant donné un ensemble U et une famille S de sous-ensembles de U, le problème consiste à couvrir tous les éléments U avec une sous-famille de S la plus petite possible.
Video coding formatA video coding format (or sometimes video compression format) is a content representation format for storage or transmission of digital video content (such as in a data file or bitstream). It typically uses a standardized video compression algorithm, most commonly based on discrete cosine transform (DCT) coding and motion compensation. A specific software, firmware, or hardware implementation capable of compression or decompression to/from a specific video coding format is called a video codec.
