Grammaire contextuelleUne grammaire contextuelle est une grammaire formelle dans laquelle les substitutions d'un symbole non terminal sont soumises à la présence d'un contexte gauche et d'un contexte droit. Elles sont plus générales que les grammaires algébriques. Les langages formels engendrés par les grammaires contextuelles sont les langages contextuels. Ils sont reconnus par les automates linéairement bornés. Les grammaires contextuelles ont été décrites par Noam Chomsky. Ce sont les grammaires de type 1 dans la hiérarchie de Chomsky.
Fermeture transitiveLa fermeture transitive est une opération mathématique pouvant être appliquée sur des relations binaires sur un ensemble, autrement dit sur des graphes orientés. La clôture transitive, ou fermeture transitive R d'une relation binaire R sur un ensemble X est la relation ce qui peut également se traduire ainsi : Si on nomme la relation "il existe un chemin de taille n entre a et b" On définit C'est la plus petite relation transitive sur X contenant R.
Matrices semblablesEn mathématiques, deux matrices carrées A et B sont dites semblables s'il existe une matrice inversible P telle que . La similitude est une relation d'équivalence. Deux matrices sont semblables si et seulement si elles représentent le même endomorphisme d'un espace vectoriel dans deux bases (éventuellement) différentes. Il ne faut pas confondre la notion de matrices semblables avec celle de matrices équivalentes. En revanche, si deux matrices sont semblables, alors elles sont équivalentes.
Groupe général linéaireEn mathématiques, le groupe général linéaire — ou groupe linéaire — de degré n d’un corps commutatif K (ou plus généralement d'un anneau commutatif unifère) est le groupe des matrices inversibles de taille n à coefficients dans K, muni du produit matriciel. On le note GL(K) ou GL(n, K) et il représente les automorphismes de l’espace vectoriel K. Ce groupe est non abélien dès lors que n > 1. Lorsque K est un corps commutatif, l’ensemble GL(n, K) est en outre un ouvert pour la topologie de Zariski.
PCI ExpressLe PCI Express (Peripheral Component Interconnect Express), officiellement abrégé PCI-E ou PCIe est un standard de bus d'extension utilisé pour les échanges entre les cartes d'extension (cartes graphiques, SSD, disques durs, cartes réseau,...) et avec la carte mère d'un ordinateur. Développé par Intel et introduit en 2004, il supplante les standards antérieurs PCI, PCI-X et AGP. Par analogie avec le modèle OSI, le standard PCI Express spécifie une couche physique, dont un bus local, couramment appelé (« bus PCI express »), une couche liaison de données et une couche de transaction.
État cohérentvignette|300px|droite|Un oscillateur harmonique classique (A et B) et en mécanique quantique (C à H). Les figures C à H représentent les solutions de l'équation de Schrödinger pour un même potentiel. L'axe horizontal est la position, et l'axe vertical la partie réelle (en bleu) et imaginaire (en rouge) de la fonction d'onde. (C,D,E,F) sont les états stationnaires (états propres d'énergie), et (G,H) non stationnaires.
Police d'écritureEn typographie, une police d’écriture, ou police de caractères, est un ensemble de glyphes, c’est-à-dire de représentations visuelles de caractères d’une même famille, qui regroupe tous les corps et graisses d’une même famille, dont le style est coordonné, afin de former un alphabet, ou la représentation de l’ensemble des caractères d’un langage, complet et cohérent. Selon le TLFI ou le dictionnaire Le Robert, le terme de « police » est apparenté au second sens de ce terme en français, celui de document écrit prouvant un fait (police de chargement, police d'assurance) et pourrait provenir du grec apodeixis, « preuve ».
High-definition videoHigh-definition video (HD video) is video of higher resolution and quality than standard-definition. While there is no standardized meaning for high-definition, generally any video image with considerably more than 480 vertical scan lines (North America) or 576 vertical lines (Europe) is considered high-definition. 480 scan lines is generally the minimum even though the majority of systems greatly exceed that. Images of standard resolution captured at rates faster than normal (60 frames/second North America, 50 fps Europe), by a high-speed camera may be considered high-definition in some contexts.
Action de groupe (mathématiques)En mathématiques, une action d'un groupe sur un ensemble est une loi de composition externe du groupe sur l'ensemble, vérifiant des conditions supplémentaires. Plus précisément, c'est la donnée, pour chaque élément du groupe, d'une permutation de l'ensemble, de telle manière que toutes ces bijections se composent de façon compatible avec la loi du groupe. Étant donné un ensemble E et un groupe G, dont la loi est notée multiplicativement et dont l'élément neutre est noté e, une action (ou opération) de G sur E est une application : vérifiant chacune des 2 propriétés suivantes : On dit également que G opère (ou agit) sur l'ensemble E.
Élément maximalDans un ensemble ordonné, un élément maximal est un élément tel qu'il n'existe aucun autre élément de cet ensemble qui lui soit supérieur, c'est-à-dire que a est dit élément maximal d'un ensemble ordonné (E, ≤) si a est un élément de E tel que : De même, a est un élément minimal de E si : Pour tout élément a de E, on a les équivalences et l'implication (stricte) : a est un majorant de E ⇔ a est la borne supérieure de E ⇔ a est l'élément maximum (ou « plus grand élément ») de E ⇒ a est l'unique élément maxima
AutosimilaritéL'autosimilarité est le caractère d'un objet dans lequel on peut trouver des similarités en l'observant à différentes échelles. Une définition simplifiée, faisant appel à l'intuition, pourrait être : un objet autosimilaire est un objet qui conserve sa forme, quelle que soit l'échelle à laquelle on l'observe. La définition mathématique, formelle et rigoureuse, dépend du contexte. L’expression autosimilaire n’est pas encore reconnue par l’Académie française.
Éther (physique)En physique, le terme d'éther a recouvert plusieurs notions différentes selon les époques. Les différents éthers considérés par les physiciens sont « des substances subtiles distinctes de la matière et permettant de fournir ou transmettre des effets entre les corps ».
