Matrice (mathématiques)thumb|upright=1.5 En mathématiques, les matrices sont des tableaux d'éléments (nombres, caractères) qui servent à interpréter en termes calculatoires, et donc opérationnels, les résultats théoriques de l'algèbre linéaire et même de l'algèbre bilinéaire. Toutes les disciplines étudiant des phénomènes linéaires utilisent les matrices. Quant aux phénomènes non linéaires, on en donne souvent des approximations linéaires, comme en optique géométrique avec les approximations de Gauss.
Modélisation de la dispersion atmosphériqueLa modélisation de la dispersion atmosphérique est une simulation de la dispersion de panaches de pollution dans un contexte et une temporalité donnée, faite à l'aide d'outils mathématiques et de logiciels informatiques et cartographiques. Les modèles cherchent à prendre en compte les conséquences directes et indirectes, dans l'espace et dans le temps des rejets (accidentels ou non) de substances (gaz, particules, aérosols, radionucléides...) indésirables, dangereuses ou toxiques.
Supervision (informatique)La supervision est une technique industrielle de suivi et de pilotage informatique de procédés de fabrication automatisés. La supervision concerne l'acquisition de données (mesures, alarmes, retour d'état de fonctionnement) et des paramètres de commande des processus généralement confiés à des automates programmables. Dans l'informatique, la supervision est la surveillance du bon fonctionnement d’un système ou d’une activité. À ne pas confondre avec l'hypervision, qui elle correspond à la centralisation des outils de supervision, d’infrastructure, d'applications et de référentiels (ex.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
Œuvre dérivéeEn droit de la propriété intellectuelle, une œuvre dérivée est une œuvre créée à partir d'une ou plusieurs œuvres préexistantes. Parmi les travaux dérivés on peut citer les traductions, les arrangements musicaux, les adaptations à un autre média, les résumés, etc. La notion d’œuvre dérivée est assimilée à celle d'œuvre composite par une partie de la doctrine. Pour la Convention de Berne pour la protection des œuvres littéraires et artistiques, un travail dérivé suppose une transformation, modification ou adaptation qui constitue par elle-même une œuvre de l'esprit, originale et susceptible d'être protégée par le droit d'auteur.
Matrice diagonalisableEn mathématiques, une matrice diagonalisable est une matrice carrée semblable à une matrice diagonale. Cette propriété est équivalente à l'existence d'une base de vecteurs propres, ce qui permet de définir de manière analogue un endomorphisme diagonalisable d'un espace vectoriel. Le fait qu'une matrice soit diagonalisable dépend du corps dans lequel sont cherchées les valeurs propres, ce que confirme la caractérisation par le fait que le polynôme minimal soit scindé à racines simples.
Matrix ringIn abstract algebra, a matrix ring is a set of matrices with entries in a ring R that form a ring under matrix addition and matrix multiplication . The set of all n × n matrices with entries in R is a matrix ring denoted Mn(R) (alternative notations: Matn(R) and Rn×n). Some sets of infinite matrices form infinite matrix rings. Any subring of a matrix ring is a matrix ring. Over a rng, one can form matrix rngs. When R is a commutative ring, the matrix ring Mn(R) is an associative algebra over R, and may be called a matrix algebra.
Roadway air dispersion modelingRoadway air dispersion modeling is the study of air pollutant transport from a roadway or other linear emitter. Computer models are required to conduct this analysis, because of the complex variables involved, including vehicle emissions, vehicle speed, meteorology, and terrain geometry. Line source dispersion has been studied since at least the 1960s, when the regulatory framework in the United States began requiring quantitative analysis of the air pollution consequences of major roadway and airport projects.
Matrice inversibleEn mathématiques et plus particulièrement en algèbre linéaire, une matrice inversible (ou régulière ou encore non singulière) est une matrice carrée A pour laquelle il existe une matrice B de même taille n avec laquelle les produits AB et BA sont égaux à la matrice identité. Dans ce cas la matrice B est unique, appelée matrice inverse de A et notée B = A. Cette définition correspond à celle d’élément inversible pour la multiplication dans l’anneau des matrices carrées associé.
Sciences numériquesLes sciences numériques (traduction de l'anglais computational sciences), autrement dénommées calcul scientifique ou informatique scientifique, ont pour objet la construction de modèles mathématiques et de méthodes d'analyse quantitative, en se basant sur l'utilisation des sciences du numérique, pour analyser et résoudre des problèmes scientifiques. Cette approche scientifique basée sur un recours massif aux modélisations informatiques et mathématiques et à la simulation se décline en : médecine numérique, biologie numérique, archéologie numérique, mécanique numérique, par exemple.
Work for hireA work made for hire (work for hire or WFH), in copyright law in the United States, is a work that is subject to copyright and is created by employees as part of their job or some limited types of works for which all parties agree in writing to the WFH designation. Work for hire is a statutorily defined term () and so a work for hire is not created merely because parties to an agreement state that the work is a work for hire. It is an exception to the general rule that the person who actually creates a work is the legally-recognized author of that work.
