Physique théoriquevignette|Discussion entre physiciens théoriciens à l'École de physique des Houches. La physique théorique est la branche de la physique qui étudie l’aspect théorique des lois physiques et en développe le formalisme mathématique. C'est dans ce domaine que l'on crée les théories, les équations et les constantes en rapport avec la physique. Elle constitue un champ d'études intermédiaire entre la physique expérimentale et les mathématiques, et a souvent contribué au développement de l’une comme de l’autre.
Le Monde de DoryLe Monde de Dory ou Trouver Doris au Québec et au Nouveau-Brunswick (Finding Dory) est un film américain sorti en 2016. C’est un film d’animation réalisé par Andrew Stanton en , pour les studios Pixar. Il fait suite au film Le Monde de Nemo ou Trouver Nemo au Québec. C'est le 42e plus gros succès du box-office mondial. Dory, un poisson chirurgien bleu, est séparée de ses parents alors qu'elle n'est encore qu'une enfant. En grandissant, Dory les cherche en vain, puis les oublie à cause de ses troubles de la mémoire immédiate.
Transport maritimevignette|redresse=1.5|Carte des principales routes maritimes, des principaux en (détroits, canaux transocéaniques), et des plus grands ports à conteneurs (en 2018). vignette|redresse=1.5|Répartition du tonnage mondial par catégories de navires de charge : navires à unités de charge 25 % (, , porte-conteneurs), navires de vrac 75 % (vraquier liquide, vraquier sec). vignette|Dans un porte-conteneurs, les « boîtes » sont empilées à la fois en cale et sur le pont.
Le Monde de NemoLe Monde de Nemo ou Trouver Nemo au Québec (Finding Nemo) est le cinquième film d'animation en des studios Pixar. Il est produit par Walt Disney Pictures, réalisé par Andrew Stanton et Lee Unkrich et sorti en 2003. vignette|Costume de Nemo. Après la mort de sa compagne Corail et du reste de la couvée à la suite de l'attaque d'un barracuda, le poisson-clown Marin doit prendre soin de son fils unique, Nemo, handicapé par une nageoire atrophiée. Lors de son premier jour d'école, Marin, inquiet, décide de le suivre à l'occasion d'une sortie scolaire.
Puissance résiduellevignette|Puissance résiduelle après arrêt instantané du réacteur. La puissance résiduelle d'un réacteur nucléaire est la chaleur produite par le cœur postérieurement à l'arrêt de la réaction nucléaire en chaîne et constituée par l'énergie de désintégration des produits de fission. Dans le cas d'un réacteur électrogène ayant fonctionné un an à sa pleine puissance et brusquement arrêté, la puissance résiduelle instantanée vaut 6,5 % de la puissance thermique du réacteur immédiatement avant son arrêt ; elle décroît ensuite et vaut typiquement par valeur supérieure : 2,67 % quinze minutes après l'arrêt, 1,59 % après une heure, 0,67 % après une journée et 0,34 % après une semaine.
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
Admittance parametersAdmittance parameters or Y-parameters (the elements of an admittance matrix or Y-matrix) are properties used in many areas of electrical engineering, such as power, electronics, and telecommunications. These parameters are used to describe the electrical behavior of linear electrical networks. They are also used to describe the small-signal (linearized) response of non-linear networks. Y parameters are also known as short circuited admittance parameters.
Paramètres SLes paramètres S (de l'anglais Scattering parameters), coefficients de diffraction ou de répartition sont utilisés en hyperfréquences, en électricité ou en électronique pour décrire le comportement électrique de réseaux électriques linéaires en fonction des signaux d'entrée. Ces paramètres font partie d'une famille de formalismes similaires, utilisés en électronique, en physique ou en optique : les paramètres Y, les paramètres Z, les paramètres H, les paramètres T ou les paramètres ABCD.
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.
Chaleur de récupérationLa chaleur de récupération, ou chaleur fatale, est l'énergie thermique émise par un procédé dont elle n'est pas la finalité. Son exploitation demande le développement d'une technologie complémentaire. Il s'agit généralement d'améliorer à la fois l'efficacité énergétique et l'impact environnemental d'un système produisant, de manière annexe, de la chaleur. La chaleur de récupération, ou chaleur fatale, est la (définition retenue en France par la Programmation pluriannuelle de l'énergie).
