Kaiser windowThe Kaiser window, also known as the Kaiser–Bessel window, was developed by James Kaiser at Bell Laboratories. It is a one-parameter family of window functions used in finite impulse response filter design and spectral analysis. The Kaiser window approximates the DPSS window which maximizes the energy concentration in the main lobe but which is difficult to compute. The Kaiser window and its Fourier transform are given by: where: I0 is the zeroth-order modified Bessel function of the first kind, L is the window duration, and α is a non-negative real number that determines the shape of the window.
Optimisation convexevignette|320x320px|Optimisation convexe dans un espace en deux dimensions dans un espace contraint L'optimisation convexe est une sous-discipline de l'optimisation mathématique, dans laquelle le critère à minimiser est convexe et l'ensemble admissible est convexe. Ces problèmes sont plus simples à analyser et à résoudre que les problèmes d'optimisation non convexes, bien qu'ils puissent être NP-difficile (c'est le cas de l'optimisation copositive). La théorie permettant d'analyser ces problèmes ne requiert pas la différentiabilité des fonctions.
Sine and cosineIn mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is opposite that angle to the length of the longest side of the triangle (the hypotenuse), and the cosine is the ratio of the length of the adjacent leg to that of the hypotenuse. For an angle , the sine and cosine functions are denoted simply as and .
Principe de complémentaritéEn physique, le principe de complémentarité formulé par Niels Bohr en 1927 est un énoncé relevant de l'interprétation de la mécanique quantique qui vise à expliquer la dualité onde-corpuscule et le principe d'indétermination de Werner Heisenberg. Il consiste à dire que les comportements corpusculaires et ondulatoires qui cohabitent dans les phénomènes quantiques, ainsi que les paires de propriétés incompatibles de par le principe d'indétermination sont en fait des aspects complémentaires d'une même réalité.
Gestionnaire de fenêtres par pavagethumb|Écran organisé en pavés Un gestionnaire de fenêtres par pavage ou gestionnaire de fenêtres en mosaïque est un gestionnaire de fenêtres organisant les fenêtres comme si l’écran était constitué de pavés. C’est-à-dire que les fenêtres ne se superposent pas mais se juxtaposent. Ratpoison est un gestionnaire de fenêtres par pavage ayant pour but de remplacer la souris par le clavier, i3 est un gestionnaire de fenêtres libre, xmonad est un gestionnaire de fenêtres écrit en Haskell. awesome — un dérivé de dwm écrit en C.
Théorème de TykhonovLe théorème de Tychonov (ou Tychonoff) est un théorème de topologie qui affirme qu'un produit d'espaces topologiques compacts est compact au sens de la topologie produit. Il a été publié en 1930 par le mathématicien russe Andreï Nikolaïevitch Tikhonov. Il a plusieurs applications en topologie algébrique et différentielle, particulièrement en analyse fonctionnelle, pour la preuve du théorème de Banach-Alaoglu-Bourbaki et le compactifié de Stone-Čech.
Windows APIWin16, Win32 et Win32s sont des ensembles normalisés de fonctions qui permettent aux logiciels applicatifs de se servir des fonctionnalités des différents systèmes d'exploitation de la famille Windows. Win32 est l'ensemble de fonctions le plus souvent utilisé, et les programmes dits pour Windows sont généralement des programmes utilisant Win32. Win32, successeur de Win16, a été introduit en 1993, dans les produits 32 bits de la famille Windows comme Windows NT, Windows 2000, Windows 95 ou leurs successeurs.
Théorème de compacitévignette|420x420px|Si toute partie finie d'une théorie est satisfaisable (schématisée à gauche), alors la théorie est satisfaisable (schématisée à droite). En logique mathématique, un théorème de compacité énonce que si toute partie finie d'une théorie est satisfaisable alors la théorie elle-même est satisfaisable. Il existe des logiques où il y a un théorème de compacité comme le calcul propositionnel ou la logique du premier ordre (on parle de logiques compactes). Il existe aussi des logiques sans théorème de compacité.
PeriodogramIn signal processing, a periodogram is an estimate of the spectral density of a signal. The term was coined by Arthur Schuster in 1898. Today, the periodogram is a component of more sophisticated methods (see spectral estimation). It is the most common tool for examining the amplitude vs frequency characteristics of FIR filters and window functions. FFT spectrum analyzers are also implemented as a time-sequence of periodograms. There are at least two different definitions in use today.
Ultrafiltrevignette|Le diagramme de Hasse montre l'ensemble de tous les sous-ensembles de {1,2,3,4}, partiellement ordonnés par inclusion d'ensemble (⊆). L'ensemble supérieur ↑{1,4} est surligné en vert foncé, c'est un filtre. Cependant, ce n'est pas un ultrafiltre, car il peut toujours être étendu au filtre correctement plus grand ↑{1}, représenté en vert clair. Ce dernier ne peut pas être étendu à son tour à un filtre non trivialement plus grand, il s'agit donc d'un ultrafiltre.
