Évaluation paresseuseL’évaluation paresseuse (), appelée aussi appel par nécessité ou évaluation retardée est une technique d'implémentation des programmes récursifs pour laquelle l'évaluation d'un paramètre de fonction ne se fait pas avant que les résultats de cette évaluation ne soient réellement nécessaires. Ces résultats, une fois calculés, sont préservés pour des réutilisations ultérieures. Dans un langage comme Haskell, l'évaluation est paresseuse par défaut.
Limite supérieure et limite inférieurevignette|upright=1.8|Exemple de recherche de limites inférieure et supérieure. La suite (x) est représentée en bleu. En mathématiques, plus précisément en analyse réelle, les limites inférieures et supérieures sont des outils d'étude des suites de nombres réels. Une telle suite n'est en général ni monotone, ni convergente. L'introduction des limites supérieure et inférieure permet de retrouver, partiellement, de telles propriétés. Il s'agit d'un cas particulier de valeurs d'adhérence de la suite.
EvaluationIn common usage, evaluation is a systematic determination and assessment of a subject's merit, worth and significance, using criteria governed by a set of standards. It can assist an organization, program, design, project or any other intervention or initiative to assess any aim, realisable concept/proposal, or any alternative, to help in decision-making; or to ascertain the degree of achievement or value in regard to the aim and objectives and results of any such action that has been completed.
Théorème des gendarmesthumb|upright=1.5|Deux fonctions et qui admettent la même limite au point , et une fonction prise en « étau » entre et dans le voisinage de . Selon le théorème du sandwich, admet comme limite en . En analyse, le théorème des gendarmes (également appelé théorème de l'étau, théorème d'encadrement ou théorème du sandwich) est un théorème concernant la limite d'une fonction. Selon ce théorème, si deux fonctions ( et ) admettent la même limite en un point , et qu'une troisième fonction est prise en « étau » (ou « encadrée » ou « prise en sandwich ») entre et dans le voisinage de , alors admet en une limite, égale à la limite commune de et .
Quantum dot displayA quantum dot display is a display device that uses quantum dots (QD), semiconductor nanocrystals which can produce pure monochromatic red, green, and blue light. Photo-emissive quantum dot particles are used in LCD backlights or display color filters. Quantum dots are excited by the blue light from the display panel to emit pure basic colors, which reduces light losses and color crosstalk in color filters, improving display brightness and color gamut.
Excitonvignette|Représentation schématique d'un exciton de Frenkel, dans un cristal (points noirs). Un exciton est, en physique, une quasi-particule que l'on peut voir comme une paire électron-trou liée par des forces de Coulomb. Une analogie souvent utilisée consiste à comparer l'électron et le trou respectivement à l'électron et au proton d'un atome d'hydrogène. Ce phénomène se produit dans les semi-conducteurs et les isolants. En 2008, le premier dispositif électronique basé sur des excitons a été démontré, fonctionnant à des températures cryogéniques.
Quantité de matièreEn chimie ou en physique, selon le Bureau international des poids et mesures, Il s'agit d'une grandeur physique dont l'unité correspondante dans le Système international d'unités (SI) est la mole. La quantité de matière unitaire est donc « une mole » de la matière considérée, quelle que soit cette matière. L'expression « quantité de matière » n'a été définie qu'en 1969. L'expression « nombre de moles », préexistante, reste correcte et est encore répandue parmi les chimistes.
Macroscopic quantum phenomenaMacroscopic quantum phenomena are processes showing quantum behavior at the macroscopic scale, rather than at the atomic scale where quantum effects are prevalent. The best-known examples of macroscopic quantum phenomena are superfluidity and superconductivity; other examples include the quantum Hall effect and topological order. Since 2000 there has been extensive experimental work on quantum gases, particularly Bose–Einstein condensates. Between 1996 and 2016 six Nobel Prizes were given for work related to macroscopic quantum phenomena.
Short-circuit evaluationShort-circuit evaluation, minimal evaluation, or McCarthy evaluation (after John McCarthy) is the semantics of some Boolean operators in some programming languages in which the second argument is executed or evaluated only if the first argument does not suffice to determine the value of the expression: when the first argument of the AND function evaluates to false, the overall value must be false; and when the first argument of the OR function evaluates to true, the overall value must be true.
Limite (mathématiques élémentaires)La notion de limite est très intuitive malgré sa formulation abstraite. Pour les mathématiques élémentaires, il convient de distinguer une limite en un point réel fini (pour une fonction numérique) et une limite en ou (pour une fonction numérique ou une suite), ces deux cas apparemment différents pouvant être unifiés à travers la notion topologique de voisinage. Les limites servent (entre autres) à définir les notions fondamentales de continuité et de dérivabilité.
