Chaudière de récupérationUne chaudière de récupération est un échangeur de chaleur qui permet de récupérer l’énergie thermique d’un écoulement de gaz chaud. Elle produit de la vapeur qui peut être utilisée dans un procédé industriel ou pour alimenter une turbine à vapeur. Une application usuelle pour une chaudière de récupération est dans la centrale électrique à cycle combiné, où les gaz d’échappement de la turbine à gaz alimentent la chaudière de récupération pour générer de la vapeur qui alimentera la turbine à vapeur.
Polyestervignette|Fibres de polyester observées au MEB Un polyester est un polymère dont les motifs de répétition de la chaîne principale contiennent la fonction ester. La méthode de synthèse la plus simple et la plus courante est appelée polycondensation par estérification. Il s'agit de la réaction d'un diacide carboxylique ou de l'un de ses dérivés comme le dianhydride d'acide avec un diol, donnant l'ester et un autre composé (eau, acide carboxylique).
Courbe de l'oubliLa courbe de l'oubli ou courbe d'oubli est une hypothèse sur le déclin de rétention de la mémoire dans le temps. Elle fut découverte par le philosophe et psychologue allemand Hermann Ebbinghaus. vignette|droite|300px| Cette courbe montre comment l'information est perdue au fil du temps quand le cerveau ne cherche pas à la conserver. Cette courbe est liée au concept de la force de la mémoire qui se réfère à la durabilité que la mémoire trace dans le cerveau. Plus la mémoire est forte plus une personne pourra s'en souvenir longtemps.
Calcul des constructionsLe calcul des constructions (CoC de l'anglais calculus of constructions) est un lambda-calcul typé d'ordre supérieur dans lequel les types sont des valeurs de première classe. Il est par conséquent possible, dans le CoC, de définir des fonctions qui vont des entiers vers les entiers, mais aussi des entiers vers les types ou des types vers les types. Le CoC est fortement normalisant, bien que, d'après le théorème d'incomplétude de Gödel, il soit impossible de démontrer cette propriété dans le CoC lui-même, puisqu'elle implique sa cohérence.
