LuminositéEn astronomie, la luminosité est la quantité totale d'énergie émise par unité de temps (le flux énergétique), par une étoile, une galaxie, ou n'importe quel autre objet céleste. Elle s'exprime en pratique en luminosité solaire ( = ). Le flux lumineux, qui mesure plus particulièrement l'émission en lumière visible, peut également s'exprimer sur une échelle logarithmique par la magnitude absolue. En astronomie, elle représente la quantité totale d'énergie rayonnée (dans le domaine de l'électromagnétisme) par unité de temps par un astre.
Fraction continue généraliséeEn mathématiques, une fraction continue généralisée est une expression de la forme : comportant un nombre fini ou infini d'étages. C'est donc une généralisation des fractions continues simples puisque dans ces dernières, tous les a sont égaux à 1. Une fraction continue généralisée est une généralisation des fractions continues où les numérateurs et dénominateurs partiels peuvent être des complexes quelconques : où an (n > 0) sont les numérateurs partiels et les bn les dénominateurs partiels.
Signal logiqueUn signal logique est un signal physique qui ne peut prendre que 2 valeurs, un niveau haut (en anglais "high" = "H"), et un niveau bas (en anglais "low" = "L"). Dans les ordinateurs et d'autres systèmes numériques, une forme d'onde qui alterne entre deux niveaux de tension représentant les deux états d'une valeur booléenne (0 et 1) est désigné comme un signal logique. Pour tout ce qui concerne la logique combinatoire ces deux niveaux suffisent.
Lambda liftingLambda lifting is a meta-process that restructures a computer program so that functions are defined independently of each other in a global scope. An individual "lift" transforms a local function into a global function. It is a two step process, consisting of; Eliminating free variables in the function by adding parameters. Moving functions from a restricted scope to broader or global scope. The term "lambda lifting" was first introduced by Thomas Johnsson around 1982 and was historically considered as a mechanism for implementing functional programming languages.
Fraction continue de GaussEn analyse complexe, une fraction continue de Gauss est un cas particulier de fraction continue dérivé des fonctions hypergéométriques. Ce fut l'un des premiers exemples de fractions continues analytiques. Elles permettent de représenter des fonctions élémentaires importantes, ainsi que des fonctions spéciales transcendantes plus compliquées. Lambert a publié quelques exemples de fractions continues généralisées de cette forme en 1768, démontrant entre autres l'irrationalité de π ( § « Applications à F » ci-dessous).
Radioactivitévignette|Pictogramme signalant la présence de matière radioactive. (☢) vignette|La maison de Georges Cuvier, au Jardin des plantes de Paris, où Henri Becquerel découvrit la radioactivité en 1896. La radioactivité est le phénomène physique par lequel des noyaux atomiques instables (dits radionucléides ou radioisotopes) se transforment spontanément en d'autres atomes (désintégration) en émettant simultanément des particules de matière (électrons, noyaux d'hélium, neutrons) et de l'énergie (photons et énergie cinétique).
Typed lambda calculusA typed lambda calculus is a typed formalism that uses the lambda-symbol () to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below). From a certain point of view, typed lambda calculi can be seen as refinements of the untyped lambda calculus, but from another point of view, they can also be considered the more fundamental theory and untyped lambda calculus a special case with only one type.
Traitement numérique du signalLe traitement numérique du signal étudie les techniques de traitement (filtrage, compression, etc), d'analyse et d'interprétation des signaux numérisés. À la différence du traitement des signaux analogiques qui est réalisé par des dispositifs en électronique analogique, le traitement des signaux numériques est réalisé par des machines numériques (des ordinateurs ou des circuits dédiés). Ces machines numériques donnent accès à des algorithmes puissants, tel le calcul de la transformée de Fourier.
Lambda cubethumb|Le lambda-cube. Initialement proposé par Henk Barendregt, le -cube permet de visualiser les différentes dimensions pour lesquelles le calcul des constructions apporte une généralisation par rapport au lambda-calcul simplement typé où un terme ne peut dépendre que d'un autre terme. Chaque axe représente une nouvelle forme d'abstraction : Terme dépendant de type : le polymorphisme ; Type dépendant de type : présence d'opérateurs de types ; Type dépendant de terme. Catégorie:Calculabilité Catégorie:Théor
Magnitude absolueEn astronomie, la magnitude absolue indique la luminosité intrinsèque d'un objet céleste, au contraire de la magnitude apparente qui dépend de la distance à l'astre et de l'extinction dans la ligne de visée. Pour un objet situé à l'extérieur du Système solaire, elle est définie par la magnitude apparente qu'aurait cet astre s'il était placé à une distance de référence fixée à 10 parsecs (environ 32,6 années-lumière) en l'absence d'extinction interstellaire.
