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.
Analyse du discoursL’analyse de discours est un champ des sciences humaines et sociales dont l'objet est le discours et qui implique une considération méthodologique. L’analyse de discours est une approche multidisciplinaire, qualitative et quantitative, qui étudie le contexte et le contenu des discours oraux ou écrits. L’analyse de discours est une approche multidisciplinaire qui s'est développée en France, en Grande-Bretagne et aux États-Unis à partir des années 1960.
Wavelet transformIn mathematics, a wavelet series is a representation of a square-integrable (real- or complex-valued) function by a certain orthonormal series generated by a wavelet. This article provides a formal, mathematical definition of an orthonormal wavelet and of the integral wavelet transform. A function is called an orthonormal wavelet if it can be used to define a Hilbert basis, that is a complete orthonormal system, for the Hilbert space of square integrable functions.
Analyse harmonique (mathématiques)thumb|upright=1.2|Analyseur harmonique mécanique de Lord Kelvin datant de 1878. L'analyse harmonique est la branche des mathématiques qui étudie la représentation des fonctions ou des signaux comme superposition d'ondes de base. Elle approfondit et généralise les notions de série de Fourier et de transformée de Fourier. Les ondes de base s'appellent les harmoniques, d'où le nom de la discipline.
Éjecta volcaniquethumb|Éjectas : cendres, lapilli et bombes au volcan de Capelinhos, Faial, Açores. Les éjectas volcaniques, téphras (du grec , « cendres ») ou pyroclastes (du grec , formé de , « feu » et , « fragment ») sont des fragments de roche solides expulsés dans l’air ou dans l'eau pendant l’éruption d’un volcan. Les pyroclastes sont des fragments de roche magmatique solidifiés à un moment de l’éruption par désintégration d'un magma lorsque les gaz sont relâchés par décompression et éjectés d'un évent volcanique, ou plus fréquemment pendant son parcours aérien, ou arrachés à l’état solide par érosion des structures géologiques existant le long des conduites éruptives.
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.
Analyse constructiveL'analyse constructive est une branche des mathématiques constructives. Elle critique l'analyse mathématique classique et vise à fonder l'analyse sur des principes constructifs. Elle s'inscrit dans le courant de pensée constructiviste ou intuitionniste, dont les principaux membres ont été Kronecker, Brouwer ou Weyl. La critique porte sur la façon dont est utilisée la notion d'existence, de disjonction et sur l'utilisation du raisonnement par l'absurde.
Saisonvignette|Apparence d'un arbre feuillu en fonction des saisons et de l'influence de ces dernières sur les cernes des arbres. Une saison est une période de l'année qui observe une relative constance du climat et de la température. D'un point de vue astronomique, une saison correspond à l'intervalle de temps durant lequel la Terre occupe une portion de l'espace de sa révolution (rotation) autour du Soleil.
Niveau piézométriqueLe niveau, la cote ou la surface piézométrique est l'altitude ou la profondeur (par rapport à la surface du sol) de la limite entre la nappe phréatique et la zone vadose dans une formation aquifère. Ce niveau est mesuré à l'aide d'un piézomètre. La cote piézométrique au point i s'écrit : Cp(i) en mètres (m). Le niveau piézométrique théorique normal moyen en un lieu et à une date donnée dans l'année est le niveau de référence par rapport auquel on dira que la rivière est en situation de crue ou d'étiage, ou que la nappe est rechargée ou en manque d'eau.
Pattern formationThe science of pattern formation deals with the visible, (statistically) orderly outcomes of self-organization and the common principles behind similar patterns in nature. In developmental biology, pattern formation refers to the generation of complex organizations of cell fates in space and time. The role of genes in pattern formation is an aspect of morphogenesis, the creation of diverse anatomies from similar genes, now being explored in the science of evolutionary developmental biology or evo-devo.
