Substructural type systemSubstructural type systems are a family of type systems analogous to substructural logics where one or more of the structural rules are absent or only allowed under controlled circumstances. Such systems are useful for constraining access to system resources such as , locks, and memory by keeping track of changes of state that occur and preventing invalid states. Several type systems have emerged by discarding some of the structural rules of exchange, weakening, and contraction: Ordered type systems (discard exchange, weakening and contraction): Every variable is used exactly once in the order it was introduced.
Système nominatif de typesUn système nominatif de types est une classe majeure de système de types en programmation informatique. C'est avec lui qu'on détermine la compatibilité et l'équivalence de types par la déclaration explicite et/ou le nommage des types. On utilise les systèmes nominatifs pour déterminer si des types sont équivalents ou pour savoir si un type est un sous-type d'un autre. Ce système est en contraste avec le système structurel, où les comparaisons sont fondées sur la structure des types en question et donc ces types ne nécessitent pas de déclarations explicites.
Gamme dynamiqueLa gamme dynamique, ou plage dynamique ou simplement dynamique est le rapport de la plus grande à la plus petite valeur d'une grandeur. Cette grandeur peut caractériser l'intensité d'un son ou d'une lumière. Elle est mesurée par une valeur logarithmique en base 10 (décibels) ou en base 2 (bits ou « diaphs »). En photographie, le terme décrit le rapport entre l'intensité lumineuse la plus élevée et l'intensité la plus faible qu'un appareil photographique peut capturer.
Physique des particulesLa physique des particules ou la physique subatomique est la branche de la physique qui étudie les constituants élémentaires de la matière et les rayonnements, ainsi que leurs interactions. On l'appelle aussi parfois physique des hautes énergies car de nombreuses particules élémentaires, instables, n'existent pas à l'état naturel et peuvent seulement être détectées lors de collisions à hautes énergies entre particules stables dans les accélérateurs de particules.
Postulats de la mécanique quantiquevignette|Participants au Congrès Solvay de 1927 sur la mécanique quantique Cet article traite des postulats de la mécanique quantique. La description du monde microscopique que fournit la mécanique quantique s'appuie sur une vision radicalement nouvelle, et s'oppose en cela à la mécanique classique. Elle repose sur des postulats. S'il existe un très large consensus entre les physiciens sur la manière de réaliser les calculs qui permettent de rendre compte des phénomènes quantiques et de prévoir leur évolution, il n'existe pas en revanche de consensus sur une manière unique de les expliquer aux étudiants.
Système FLe est un formalisme logique qui permet d'exprimer de façon très riche et très rigoureuse des fonctions et d'y démontrer formellement des propriétés difficiles. Plus précisément, le (également connu sous le nom de lambda-calcul polymorphe ou de lambda-calcul du second ordre) est une extension du lambda-calcul simplement typé introduite indépendamment par le logicien Jean-Yves Girard et par l'informaticien John C. Reynolds. Ce système se distingue du lambda-calcul simplement typé par l'existence d'une quantification universelle sur les types qui permet d'exprimer du polymorphisme.
Réduction du paquet d'ondeLa réduction du paquet d'onde est un concept de la mécanique quantique selon lequel, après une mesure, un système physique voit son état entièrement réduit à celui qui a été mesuré. Pendant longtemps, le processus par lequel cette réduction a lieu a été inconnu des physiciens, ce qui les a contraint à en faire un postulat afin de rester conforme aux résultats expérimentaux. Le concept de réduction du paquet d'onde implique de nombreuses difficultés sur le plan logique et épistémologique.
Oxyde d'azoteLes oxydes d'azote sont des composés chimiques formés d'oxygène et d'azote, correspondant à une formule chimique . Parmi les oxydes d'azote, le terme « » est utilisé spécifiquement pour caractériser les émissions de polluants correspondant à la somme des quantités de monoxyde d'azote NO et de dioxyde d'azote , alors que « » peut désigner l'ensemble plus large des composés azotés. Le monoxyde et le dioxyde d'azote sont les molécules les plus connues car leur somme correspond au terme .
Protoxyde d'azoteLe protoxyde d'azote, ou monoxyde de diazote, oxyde nitreux, hémioxyde d'azote ou gaz hilarant, est un composé chimique de formule . Ce gaz incolore a une odeur et un goût légèrement sucrés. Il est utilisé en anesthésie, en chirurgie, en odontologie, en pédiatrie comme adjuvant (en mélange équimolaire avec de l'oxygène) pour ses propriétés anesthésiques et antalgiques. Il est dit « gaz hilarant » car euphorisant à l'inhalation, d'où son usage comme drogue récréative hallucinogène.
