Delimited continuationIn programming languages, a delimited continuation, composable continuation or partial continuation, is a "slice" of a continuation frame that has been reified into a function. Unlike regular continuations, delimited continuations return a value, and thus may be reused and composed. Control delimiters, the basis of delimited continuations, were introduced by Matthias Felleisen in 1988 though early allusions to composable and delimited continuations can be found in Carolyn Talcott's Stanford 1984 dissertation, Felleisen et al.
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).
Inverse beta decayInverse beta decay, commonly abbreviated to IBD, is a nuclear reaction involving an electron antineutrino scattering off a proton, creating a positron and a neutron. This process is commonly used in the detection of electron antineutrinos in neutrino detectors, such as the first detection of antineutrinos in the Cowan–Reines neutrino experiment, or in neutrino experiments such as KamLAND and Borexino. It is an essential process to experiments involving low-energy neutrinos (< 60 MeV) such as those studying neutrino oscillation, reactor neutrinos, sterile neutrinos, and geoneutrinos.
The TimesThe Times est un quotidien britannique de centre-droit fondé en 1785 par John Walter. Depuis 1981, il est une filiale de News Corporation, le groupe du milliardaire Rupert Murdoch. Son siège est basé à Londres. vignette|gauche|redresse=1.5|Sur le logo, figure la devise de la monarchie britannique Dieu et mon droit. Il est fondé en 1785 par John Walter sous le nom de London Daily Universal Register. Il est le premier journal à avoir été imprimé sur rotative à vapeur en 1814, un dispositif développé par Friedrich Koenig.
Continuation (informatique)En informatique, la continuation d'un système est son futur, c'est-à-dire la suite des instructions qu'il lui reste à exécuter à un moment précis. C'est un point de vue pour décrire l'état de la machine. Dans certains langages de programmation, les continuations peuvent être manipulées explicitement en tant qu'objets du langage à part entière : on peut stocker la continuation courante dans une variable que l'on peut donc manipuler en tant que telle ; puis plus loin, on peut restaurer la continuation, ce qui a pour effet de dérouter l'exécution du programme actuel vers le futur que l'on avait enregistré.
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.
Émission de positronL'émission de positron ou désintégration β+ est un type de désintégration radioactive β dans laquelle un proton est converti en neutron, avec émission d'une particule β+ (positron) et d'un neutrino: Les protons et neutrons ne sont pas des particules élémentaires, mais sont chacun constitués de trois quarks : un proton est constitué de deux quark up de charge +2/3 et d'un quark down de charge −1/3 (uud), ce qui lui confère une charge +1 ; un neutron est constitué de deux quarks down et un quark up (udd), d'o
Financial TimesLe Financial Times (FT) est un quotidien économique et financier britannique. Il est généralement considéré comme le quotidien économique de référence en Europe. Le journal compte plus d'un million d'abonnés dont près d'un tiers est installé au Royaume-Uni. La version papier est tirée à exemplaires. Le Financial Times est particulièrement lu par les élites économiques et financières en Europe et aux États-Unis. Le journal est publié en cinq éditions différentes : Royaume-Uni, Europe, États-Unis, Asie et Moyen-Orient.
Brillance de surfaceEn astronomie, la brillance de surface d'un corps céleste étendu comme une galaxie désigne la densité de flux reçue par unité d'angle solide. Elle est souvent mesurée en magnitude par seconde d'arc au carré (). Certains auteurs donnent aussi cette mesure en employant la minute d'arc. Les unités de la brillance de surface sont alors () La mesure de la brillance de surface dans les longueurs d'onde visible, ou dans l'infrarouge, est la photométrie. Le fond du ciel désigne la brillance de surface du ciel.
Logique combinatoireEn logique mathématique, la logique combinatoire est une théorie logique introduite par Moses Schönfinkel en 1920 lors d'une conférence et développée dès 1929 par Haskell Brooks Curry pour supprimer le besoin de variables en mathématiques, pour formaliser rigoureusement la notion de fonction et pour minimiser le nombre d'opérateurs nécessaires pour définir le calcul des prédicats à la suite de Henry M. Sheffer. Plus récemment, elle a été utilisée en informatique comme modèle théorique de calcul et comme base pour la conception de langages de programmation fonctionnels.
