Théorie des cordesEn physique fondamentale, la théorie des cordes est un cadre théorique dans lequel les particules ponctuelles de la physique des particules sont représentées par des objets unidimensionnels appelés cordes. La théorie décrit comment ces cordes se propagent dans l'espace et interagissent les unes avec les autres. Sur des échelles de distance supérieures à l'échelle de la corde, cette dernière ressemble à une particule ordinaire, avec ses propriétés de masse, de charge et autres, déterminées par l'état vibratoire de la corde.
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.
Série de LaurentCet article traite du développement en série de Laurent en analyse complexe. Pour la définition et les propriétés des séries de Laurent formelles en algèbre, veuillez consulter l'article Série formelle. En analyse complexe, la série de Laurent (aussi appelée développement de Laurent) d'une fonction holomorphe f est une manière de représenter f au voisinage d'une singularité, ou plus généralement, autour d'un « trou » de son domaine de définition. On représente f comme somme d'une série de puissances (d'exposants positifs ou négatifs) de la variable complexe.
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.
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.
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 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.
