Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Lean (production)vignette|upright=1.3|Modèle du système « Lean production ». Le terme lean (de l'anglais lean, littéralement « maigre », « sans gras », « dégraissé ») sert à qualifier une méthode de gestion de la production qui se concentre sur la « gestion sans gaspillage », ou « gestion allégée » ou encore gestion « au plus juste ». L'école de gestion lean trouve ses sources au Japon dans le système de production de Toyota ou SPT (en anglais Toyota Production System ou TPS).
Dynamic lot-size modelThe dynamic lot-size model in inventory theory, is a generalization of the economic order quantity model that takes into account that demand for the product varies over time. The model was introduced by Harvey M. Wagner and Thomson M. Whitin in 1958. We have available a forecast of product demand dt over a relevant time horizon t=1,2,...,N (for example we might know how many widgets will be needed each week for the next 52 weeks).
Formule de WilsonIssue de la recherche opérationnelle, la formule de Wilson (1934) également connue sous le nom Quantité Economique de Commande ou EOQ (Economic Order Quantity) sous son nom original, ou aussi formule du lot économique détermine la période optimale de réapprovisionnement d'une unité de production (magasin, usine). Elle est couramment employée par les services logistiques. Elle a en fait été introduite dès 1913 par Ford W. Harris, mais a été attribué à Wilson car il en a fait l'analyse en profondeur.
Kanbanvignette|Une carte kanban avec le sac de boulons auquel elle se rapporte. Un kanban, du japonais , est une fiche cartonnée ou une étiquette RFID ou simplement un emballage que l'on fixe sur les bacs ou les conteneurs de pièces dans une ligne d'assemblage ou une zone de stockage. Le terme désigne aussi la méthode de gestion de production en flux tendu mise en œuvre à la fin des années 1950 dans les usines Toyota et consistant à asservir la production d'un poste en amont d'une chaîne de travail aux besoins exacts du poste en aval.
CongélationOn appelle congélation toute technique visant à faire passer un produit à l'état solide par des techniques de refroidissement forcé. On parle de congélation principalement pour l'eau et les produits qui en contiennent. La congélation est une technique de conservation des produits biologiques. D'un point de vue domestique, il s'agit principalement des aliments mais la congélation est également employée pour conserver des cellules vivantes telles que les gamètes (ovules et spermatozoïdes) ou les embryons.
Dosvignette|Dos humain En anatomie, chez les animaux vertébrés parmi lesquels les humains, le dos est la partie du corps consistant en les vertèbres et les côtes. Les dorsaux étaient les muscles les plus sollicités par les singes (déplacement arboricole), c'est pourquoi ce sont encore des muscles puissants et volumineux. Le dos humain se compose de sept vertèbres cervicales, douze vertèbres thoraciques (ou dorsales), cinq vertèbres lombaires (ou lombales), cinq vertèbres sacrales et le coccyx.
Function typeIn computer science and mathematical logic, a function type (or arrow type or exponential) is the type of a variable or parameter to which a function has or can be assigned, or an argument or result type of a higher-order function taking or returning a function. A function type depends on the type of the parameters and the result type of the function (it, or more accurately the unapplied type constructor · → ·, is a higher-kinded type).
HygièneL' est un ensemble de mesures destinées à prévenir les infections et l'apparition de maladies infectieuses. Elle se base essentiellement sur trois actions : le nettoyage et la détersion ; la désinfection ; la conservation. Il est possible de distinguer l'hygiène domestique et l'hygiène du corps. Par extension, on parle aussi d, d et d pour des actions et activités permettant de prévenir l'apparition de troubles, comme la pratique d'un sport, l'abstention de fumer ou de boire de l'alcool.
Rate of profitIn economics and finance, the profit rate is the relative profitability of an investment project, a capitalist enterprise or a whole capitalist economy. It is similar to the concept of rate of return on investment. The rate of profit depends on the definition of capital invested. Two measurements of the value of capital exist: capital at historical cost and capital at market value. Historical cost is the original cost of an asset at the time of purchase or payment.
