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 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.
InterférenceEn mécanique ondulatoire, les interférences sont la combinaison de deux ondes susceptibles d'interagir. Ce phénomène apparaît souvent en optique avec les ondes lumineuses, mais il s'obtient également avec des ondes électromagnétiques d'autres longueurs d'onde, ou avec d'autres types d'ondes comme des ondes sonores. À savoir aussi, le phénomène d'interférence se produit uniquement lors de la combinaison de deux ondes de même fréquence. L' onde se modélise par une fonction , étant la position dans l'espace et t étant le temps.
Analyse (mathématiques)L'analyse (du grec , délier, examiner en détail, résoudre) a pour point de départ la formulation rigoureuse du calcul infinitésimal. C'est la branche des mathématiques qui traite explicitement de la notion de limite, que ce soit la limite d'une suite ou la limite d'une fonction. Elle inclut également des notions comme la continuité, la dérivation et l'intégration. Ces notions sont étudiées dans le contexte des nombres réels ou des nombres complexes.
ÉlectronL'électron, un des composants de l'atome avec les neutrons et les protons, est une particule élémentaire qui possède une charge élémentaire de signe négatif. Il est fondamental en chimie, car il participe à presque tous les types de réactions chimiques et constitue un élément primordial des liaisons présentes dans les molécules. En physique, l'électron intervient dans une multitude de rayonnements et d'effets.
High dynamic rangeHigh dynamic range (HDR) is a dynamic range higher than usual, synonyms are wide dynamic range, extended dynamic range, expanded dynamic range. The term is often used in discussing the dynamic range of various signals such as s, videos, audio or radio. It may apply to the means of recording, processing, and reproducing such signals including analog and digitized signals. The term is also the name of some of the technologies or techniques allowing to achieve high dynamic range images, videos, or audio.
Dynamic linkerIn computing, a dynamic linker is the part of an operating system that loads and links the shared libraries needed by an executable when it is executed (at "run time"), by copying the content of libraries from persistent storage to RAM, filling jump tables and relocating pointers. The specific operating system and executable format determine how the dynamic linker functions and how it is implemented.
Induction motorAn induction motor or asynchronous motor is an AC electric motor in which the electric current in the rotor needed to produce torque is obtained by electromagnetic induction from the magnetic field of the stator winding. An induction motor can therefore be made without electrical connections to the rotor. An induction motor's rotor can be either wound type or squirrel-cage type. Three-phase squirrel-cage induction motors are widely used as industrial drives because they are self-starting, reliable, and economical.
Electron donorIn chemistry, an electron donor is a chemical entity that donates electrons to another compound. It is a reducing agent that, by virtue of its donating electrons, is itself oxidized in the process. Typical reducing agents undergo permanent chemical alteration through covalent or ionic reaction chemistry. This results in the complete and irreversible transfer of one or more electrons. In many chemical circumstances, however, the transfer of electronic charge to an electron acceptor may be only fractional, meaning an electron is not completely transferred, but results in an electron resonance between the donor and acceptor.
Spectroscopie térahertz dans le domaine temporelvignette| Impulsion typique mesurée par THz-TDS. En physique, la spectroscopie TéraHertz dans le domaine temporel ( THz-TDS ) est une technique spectroscopique dans laquelle les propriétés de la matière sont sondées avec de courtes impulsions de rayonnement térahertz. Le schéma de génération et de détection est sensible à l'effet de l'échantillon sur l'amplitude et la phase du rayonnement térahertz. En mesurant dans le domaine temporel, la technique peut fournir plus d'informations que la spectroscopie à transformée de Fourier conventionnelle, qui n'est sensible qu'à l'amplitude.
