Analyse des donnéesL’analyse des données (aussi appelée analyse exploratoire des données ou AED) est une famille de méthodes statistiques dont les principales caractéristiques sont d'être multidimensionnelles et descriptives. Dans l'acception française, la terminologie « analyse des données » désigne donc un sous-ensemble de ce qui est appelé plus généralement la statistique multivariée. Certaines méthodes, pour la plupart géométriques, aident à faire ressortir les relations pouvant exister entre les différentes données et à en tirer une information statistique qui permet de décrire de façon plus succincte les principales informations contenues dans ces données.
Program analysisIn computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do.
Théorie critiqueLa théorie critique est une approche de la philosophie sociale qui vise à analyser la société et la culture en mobilisant les sciences sociales et les humanités afin de révéler et mettre en question les structures de pouvoir. Elle considère que les problèmes sociaux sont créés et influencés davantage par des structures sociétales et des présupposés culturels que par des facteurs individuels ou psychologiques. La théorie critique a été établie comme une école de pensée soutenant que l'idéologie est le principal obstacle à la libération humaine.
Analyse statique de programmesEn informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débugage ou le profiling) qui s'attachent, elles, au suivi de l’exécution du programme. L’analyse statique est utilisée pour repérer des erreurs formelles de programmation ou de conception et pour déterminer la facilité ou la difficulté à maintenir le code.
Loi normaleEn théorie des probabilités et en statistique, les lois normales sont parmi les lois de probabilité les plus utilisées pour modéliser des phénomènes naturels issus de plusieurs événements aléatoires. Elles sont en lien avec de nombreux objets mathématiques dont le mouvement brownien, le bruit blanc gaussien ou d'autres lois de probabilité. Elles sont également appelées lois gaussiennes, lois de Gauss ou lois de Laplace-Gauss des noms de Laplace (1749-1827) et Gauss (1777-1855), deux mathématiciens, astronomes et physiciens qui l'ont étudiée.
Forme sonateEn musique classique, la forme sonate est une forme musicale qui est composée de trois parties : l'exposition, le développement et la réexposition (ou récapitulation). La forme sonate est le plus souvent fondée sur deux thèmes musicaux, utilisés lors de l'exposition et la récapitulation, et souvent combinés ou se répondant lors du développement. Attention à ne pas confondre la forme sonate et la sonate. Généralement, le premier mouvement d'une sonate - mais aussi d'une symphonie, d'un concerto - est de forme sonate.
Forme binaireEn musique classique, la forme binaire est une structure musicale particulière de l'œuvre musicale composée de deux sections — A et B — exécutées deux fois chacune, soit : AABB. Sur une partition, la forme binaire est le plus souvent notée au moyen de barres de reprise. La section A s'achève habituellement dans une tonalité voisine — très souvent, la tonalité de la dominante. La section B au contraire, commence par cette tonalité voisine, et, après un nombre variable de modulations, s'achève sur la tonalité de départ.
Forme musicaleLe terme forme désigne, dans le domaine musical, la structure d'une œuvre musicale. Le travail d'analyse des œuvres musicales a notamment pour tâche de comprendre la forme des œuvres, qui peut être très simple (forme strophique, forme couplet-refrain) ou très complexe. Évidemment, le terme structure doit se comprendre à plusieurs niveaux, c'est-à-dire qu'une œuvre musicale pourra avoir une forme générale en un ou plusieurs mouvements, dans l'un des mouvements il y aura une forme en plusieurs sections, et dans chaque section il y aura des phrases distinctes.
Loi log-normaleEn théorie des probabilités et statistique, une variable aléatoire X est dite suivre une loi log-normale de paramètres et si la variable suit une loi normale d'espérance et de variance . Cette loi est parfois appelée loi de Galton. Elle est habituellement notée dans le cas d'une seule variable ou dans un contexte multidimensionnel. Une variable peut être modélisée par une loi log-normale si elle est le résultat de la multiplication d'un grand nombre de petits facteurs indépendants.
Convergence de variables aléatoiresDans la théorie des probabilités, il existe différentes notions de convergence de variables aléatoires. La convergence (dans un des sens décrits ci-dessous) de suites de variables aléatoires est un concept important de la théorie des probabilités utilisé notamment en statistique et dans l'étude des processus stochastiques. Par exemple, la moyenne de n variables aléatoires indépendantes et identiquement distribuées converge presque sûrement vers l'espérance commune de ces variables aléatoires (si celle-ci existe).
Loi normale multidimensionnelleEn théorie des probabilités, on appelle loi normale multidimensionnelle, ou normale multivariée ou loi multinormale ou loi de Gauss à plusieurs variables, la loi de probabilité qui est la généralisation multidimensionnelle de la loi normale. gauche|vignette|Différentes densités de lois normales en un dimension. gauche|vignette|Densité d'une loi gaussienne en 2D. Une loi normale classique est une loi dite « en cloche » en une dimension.
Forme quadratiquethumb|L'annulation d'une forme quadratique donne le cône de lumière de la relativité restreinte, son signe fait la différence entre les événements accessibles ou inaccessibles dans l'espace-temps. En mathématiques, une forme quadratique est un polynôme homogène de degré 2 avec un nombre quelconque de variables. Les formes quadratiques d'une, deux et trois variables sont données respectivement par les formules suivantes (a,b,c,d,e,f désignant des coefficients) : L'archétype de forme quadratique est la forme x + y + z sur R, qui définit la structure euclidienne et dont la racine carrée permet de calculer la norme d'un vecteur.
