Application momentEn géométrie symplectique, aux actions hamiltoniennes d'un groupe de Lie sur une variété symplectique est associée une application G-équivariante , appelée l'application moment. En un certain sens, elle généralise le moment rencontré en mécanique classique. L'application moment est définie par : où est le champ de vecteurs correspondant à l'action infinitésimale de . Action de groupe Action hamiltonienne Symplectomorphisme Difféomorphisme hamiltonien Contribution à l'étude de l'application moment, EL AZIRI Abdelhamid ; MARLE Charles-Miche Convexity properties of hamiltonian group actions, Principal Guillemin, Victor W.
Crochet de PoissonEn mécanique hamiltonienne, on définit le crochet de Poisson de deux observables et , c'est-à-dire de deux fonctions sur l'espace des phases d'un système physique, par : où les variables, dites canoniques, sont les coordonnées généralisées et les moments conjugués . C'est un cas particulier de crochet de Lie. Avant de continuer, soulignons au passage qu'il existe deux conventions de signes au crochet de Poisson. La définition donnée ci-haut est dans la convention de signe employée par Dirac, Arnold , Goldstein et de Gosson pour n'en citer que quelques-uns.
ITXITX (où ITX signifie Information Technology eXtended) est un format de carte mère développé par VIA pour ses plates-formes miniatures à faible dissipation thermique. En 2001, pendant qu'Intel et AMD en étaient encore à s'affronter à coup de gigahertz sans grand égard pour la dissipation, VIA présente ce format complètement à contre-courant. Ses produits remporteront un succès indiscutable mais limité par le manque de puissance globale du système.
Mesure sigma-finieSoit (X, Σ, μ) un espace mesuré. On dit que la mesure μ est σ-finie lorsqu'il existe un recouvrement dénombrable de X par des sous-ensembles de mesure finie, c'est-à-dire lorsqu'il existe une suite (E) d'éléments de la tribu Σ, tous de mesure finie, avec Mesure finie Mesure de comptage sur un ensemble dénombrable Mesure de Lebesgue. En effet, l'ensemble des intervalles pour tous les nombres entiers est un recouvrement dénombrable de , et chacun des intervalles est de mesure 1.
Line graphEn théorie des graphes, le line graph L(G) d'un graphe non orienté G, est un graphe qui représente la relation d'adjacence entre les arêtes de G. Le nom line graph vient d'un article de Harary et Norman publié en 1960. La même construction avait cependant déjà été utilisée par Whitney en 1932 et Krausz en 1943. Il est également appelé graphe adjoint. Un des premiers et des plus importants théorèmes sur les line graphs est énoncé par Hassler Whitney en 1932, qui prouve qu'en dehors d'un unique cas exceptionnel, la structure de G peut être entièrement retrouvée à partir de L(G) dans le cas des graphes connexes.
Graphe planaireDans la théorie des graphes, un graphe planaire est un graphe qui a la particularité de pouvoir se représenter sur un plan sans qu'aucune arête (ou arc pour un graphe orienté) n'en croise une autre. Autrement dit, ces graphes sont précisément ceux que l'on peut plonger dans le plan, ou encore les graphes dont le nombre de croisements est nul. Les méthodes associées à ces graphes permettent de résoudre des problèmes comme l'énigme des trois maisons et d'autres plus difficiles comme le théorème des quatre couleurs.
Théorie des graphesvignette|Un tracé de graphe. La théorie des graphes est la discipline mathématique et informatique qui étudie les graphes, lesquels sont des modèles abstraits de dessins de réseaux reliant des objets. Ces modèles sont constitués par la donnée de sommets (aussi appelés nœuds ou points, en référence aux polyèdres), et d'arêtes (aussi appelées liens ou lignes) entre ces sommets ; ces arêtes sont parfois non symétriques (les graphes sont alors dits orientés) et sont alors appelées des flèches ou des arcs.
ComputationA computation is any type of arithmetic or non-arithmetic calculation that is well-defined. Common examples of computations are mathematical equations and computer algorithms. Mechanical or electronic devices (or, historically, people) that perform computations are known as computers. The study of computation is the field of computability, itself a sub-field of computer science. The notion that mathematical statements should be ‘well-defined’ had been argued by mathematicians since at least the 1600s, but agreement on a suitable definition proved elusive.
Graphe nulEn mathématiques, plus spécialement en théorie des graphes, un graphe nul désigne soit un graphe d'ordre zéro (i.e. sans sommets), soit un graphe avec sommets mais sans arêtes (on parle aussi dans ce dernier cas de graphe vide). Lorsqu'un graphe nul contient des sommets tous isolés, on le note où représente le nombre de sommets du graphe. La taille (i.e. le nombre d'arêtes ou d'arcs) d'un graphe nul est toujours zéro. L'ordre (i.e. le nombre de sommets) d'un graphe nul n'est pas nécessairement zéro.
Graphe (mathématiques discrètes)Dans le domaine des mathématiques discrètes, la théorie des graphes définit le graphe, une structure composée d'objets et de relations entre deux de ces objets. Abstraitement, lesdits objets sont appelés sommets (ou nœuds ou points), et les relations entre eux sont nommées arêtes (ou liens ou lignes). On distingue les graphes non orientés, où les arêtes relient deux sommets de manière symétrique, et les graphes orientés, où les arêtes, alors appelées arcs (ou flèches), relient deux sommets de manière asymétrique.
Format ATXLe format ATX (en anglais Advanced Technology Extended) est un facteur de forme de carte mère créé en 1995 par Intel. Il s’agissait de la première modification depuis l’introduction du format AT en 1984, dont il corrige la plupart des défauts. Le format BTX, introduit en 2005 par Intel afin de remédier aux défauts du format ATX, n’a pas réussi à le supplanter. ATX se décline aussi dans des formats plus petits dénommés Mini ATX et Micro ATX destinés notamment aux barebones. Une carte mère ATX a comme dimensions : 12 × ( × ).
Mini PCUn mini PC (ou SFF, small form factor) est un ordinateur compatible PC de petite taille (10 à de large, 10 à de long, 3 à d'épaisseur) conçu pour le besoin basique de consultation grand public du web en liaison filaire ou sans fil, le multimédia et pour le nomadisme commercial des entreprises. Il est utilisé aussi comme seconde machine bureautique chez des particuliers. Sa très faible consommation électrique et son absence de pièces mobiles le rendent intéressant en domotique.
