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.
Designvignette|Chaise de Charles Rennie Mackintosh, 1897. Le design, le stylisme ou la stylique est une activité de création souvent à vocation industrielle ou commerciale, pouvant s’orienter vers les milieux sociaux, politiques, scientifiques et environnementaux. Le but premier du design est d’inventer, d’améliorer ou de faciliter l’usage ou le processus d’un élément ayant à interagir avec un produit ou un service matériel ou virtuel.
CaloducCaloduc, du latin calor « chaleur » et de ductus « conduite », désigne des éléments conducteurs de chaleur. Appelé heat pipe en anglais (signifiant littéralement « tuyau de chaleur »), un caloduc est destiné à transporter la chaleur grâce au principe du transfert thermique par transition de phase d'un fluide (chaleur latente). Un caloduc se présente sous la forme d’une enceinte hermétique renfermant un fluide à l'état d'équilibre liquide-vapeur, généralement en absence de tout autre gaz.
Sound recording and reproductionSound recording and reproduction is the electrical, mechanical, electronic, or digital inscription and re-creation of sound waves, such as spoken voice, singing, instrumental music, or sound effects. The two main classes of sound recording technology are analog recording and digital recording. Sound recording is the transcription of invisible vibrations in air onto a storage medium such as a phonograph disc. The process is reversed in sound reproduction, and the variations stored on the medium are transformed back into sound waves.
Enregistrement binauralvignette|Microphone binaural Le binaural est une des méthodes d'enregistrement cherchant à reproduire la perception sonore naturelle humaine et ce, par restitution au casque. Le principe est d'envoyer à chaque oreille un son le plus similaire possible à celui que reçoivent les oreilles quand elles écoutent une scène sonore naturelle. Cela implique d'enregistrer avec une tête artificielle et la restitution du son par un casque, car la restitution par haut-parleur introduit inévitablement une diaphonie détruisant l'effet binaural, ce qui n'a pas lieu avec un casque.
Convection thermiqueLa convection (thermique) désigne le transfert d'énergie thermique au sein d'un fluide en mouvement ou entre un fluide en mouvement et une paroi solide. Ce transfert d'énergie est réalisé par deux modes de transfert élémentaire combinés que sont l'advection et la diffusion. La convection constitue, avec la conduction et le rayonnement, l'un des trois modes d'échange de chaleur entre deux systèmes, et diffère de ces derniers par la méthode de transfert.
Animation par ordinateurthumb|Réalisé avec le logiciel Blender, Caminandes est un exemple de court métrage animé par ordinateur. L’animation par ordinateur ou animation en images de synthèse est toute animation dont chaque photogramme est une entièrement créée avec un ordinateur. Certaines animations par ordinateur sont intégrées au sein de prise de vues réelles ou d'animations obtenues par d'autres procédés. C'est d'ailleurs comme ça que l'animation par ordinateur a commencé à être utilisée avant que des films ou des vidéos soient entièrement animés avec l'outil informatique.
Digital recordingIn digital recording, an audio or video signal is converted into a stream of discrete numbers representing the changes over time in air pressure for audio, or chroma and luminance values for video. This number stream is saved to a storage device. To play back a digital recording, the numbers are retrieved and converted back into their original analog audio or video forms so that they can be heard or seen.
Dissipateur thermiqueUn dissipateur thermique est un dispositif destiné à évacuer la chaleur résultante de l'effet Joule dans un élément semi-conducteur d'électronique de puissance. Il s'agit de dispositifs généralement munis d'ailettes, qui doivent de préférence être montées verticalement pour faciliter le refroidissement par convection.
Transfert de masseDans le jargon automobile, le transfert de masse se rapporte à la redistribution du poids soutenu par chaque pneu pendant l'accélération (longitudinale et latérale). Cela inclut le freinage et la décélération (qui est une accélération négative). Le transfert de masse est un concept crucial en dynamique des véhicules. Le transfert de masse se produit lorsque le centre de gravité du véhicule se déplace pendant les manœuvres. L'accélération fait pivoter la masse suspendue autour d'un axe géométrique, ce qui a pour résultat la relocalisation du centre de masse.
Énergie aérothermiqueAn air source heat pump (ASHP) is a type of heat pump that can absorb heat from outside a structure and release it inside using the same vapor-compression refrigeration process and much the same equipment as air conditioners but used in the opposite direction. Unlike an air conditioning unit, most ASHPs are reversible and are able to either warm or cool buildings and in some cases also provide domestic hot water. In a typical setting, an ASHP can gain 4 kWh thermal energy from 1 kWh electric energy.
Type constructorIn the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Basic types are considered to be built using nullary type constructors. Some type constructors take another type as an argument, e.g., the constructors for product types, function types, power types and list types. New types can be defined by recursively composing type constructors.
