Organisme de normalisationUn organisme de normalisation est un organisme dont les activités premières sont l'établissement puis le maintien de normes destinées à des utilisateurs extérieurs à cette organisation. Leurs activités peuvent inclure le développement, la coordination, la promulgation, la révision, la modification, la réédition ou l'interprétation de telles normes. Pour les désigner, on utilise parfois le sigle anglais SDO pour Standard Development Organisation.
International standardAn international standard is a technical standard developed by one or more international standards organizations. International standards are available for consideration and use worldwide. The most prominent such organization is the International Organization for Standardization (ISO). Other prominent international standards organizations including the International Telecommunication Union (ITU) and the International Electrotechnical Commission (IEC). Together, these three organizations have formed the World Standards Cooperation alliance.
Pot catalytiqueLe pot catalytique ou catalyseur est un élément de l'ensemble du pot d'échappement des moteurs à combustion interne qui vise à réduire la nocivité des gaz d'échappement. thumb|Vue « en écorché » d'un pot catalytique à enveloppe en inox.Dès la toute fin du , alors que seulement quelques milliers de voitures « à pétrole » sont en circulation, sont conçus en France des premiers prototypes de pots catalytiques automobiles, constitués d'une matière inerte « de contact » imprégnée de platine, d'iridium et de palladium, enfermée dans un cylindre métallique à double paroi isolante traversé de part en part par les gaz d'échappement.
Modèle mathématiquevignette|Un automate fini est un exemple de modèle mathématique. Un modèle mathématique est une traduction d'une observation dans le but de lui appliquer les outils, les techniques et les théories mathématiques, puis généralement, en sens inverse, la traduction des résultats mathématiques obtenus en prédictions ou opérations dans le monde réel. Un modèle se rapporte toujours à ce qu’on espère en déduire.
De facto standardA de facto standard is a custom or convention that has achieved a dominant position by public acceptance or market forces (for example, by early entrance to the market). De facto is a Latin phrase (literally "in fact"), here meaning "in practice but not necessarily ordained by law" or "in practice or actuality, but not officially established".
American National Standards InstituteL’American National Standards Institute (ANSI, « Institut national de normalisation américain ») est un organisme privé à but non lucratif qui supervise le développement de normes pour les produits, les services, les procédés, les systèmes et les employés des États-Unis. Ces normes sont proposées à partir d’une démarche volontaire et consensuelle. L’organisation coordonne également la définition des normes américaines avec les normes internationales afin que les produits américains puissent être utilisés à l’étranger.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Psychologie mathématiqueLa psychologie mathématique est une approche de la recherche psychologique basée sur la modélisation mathématique des processus perceptifs, cognitifs et moteurs, et sur l'établissement de règles qui relient les caractéristiques de stimulus quantifiables à un comportement quantifiable. L'approche mathématique est utilisée dans le but de dériver des hypothèses plus exactes et de produire ainsi des validations empiriques plus strictes. Le comportement quantifiable est en pratique souvent constitué par la performance de la tâche.
Économie mathématiquevignette|Les acteurs économiques (STN et actionnaires) sont classés par importance décroissante, donnée par . Un point de données situé en () correspond à une fraction des principaux acteurs économiques détenant cumulativement la fraction du contrôle, de la valeur ou des revenus d'exploitation du réseau. Les différentes courbes se réfèrent au contrôle du réseau calculé avec trois modèles (LM, TM, RM), voir l'annexe S1, section 3.1, et aux revenus d'exploitation. La ligne horizontale indique une valeur égale à .
Enfermement propriétaireL'enfermement propriétaire est une situation où un fournisseur a créé une particularité, volontairement non standard, dans la machine, l'engin, le logiciel, vendu, empêchant son client de l'utiliser avec des produits d'un autre fournisseur, l'empêchant également de le modifier ou d'accéder aux caractéristiques de sa machine pour la modifier. C'est donc un cas particulier de clientèle captive, mais ce n'est pas le seul.