PaillassonUn paillasson (ou essuie-pied(s), spécialement pour les grand modèles utilisées dans les halls d'immeubles ou les entrées de magasins) est un objet à l'origine de paille tressée, plus récemment en tissu ou en matières plastiques, placé le plus souvent devant la porte d'entrée des logements afin que les personnes y pénétrant puissent y essuyer leurs chaussures. Le tapis-brosse en est un type particulier. Il peut désigner aussi la mosaïque qui marque l'entrée d'une boutique et qui se situe quelquefois sur le trottoir, l'entrée d'une pièce d'habitation antique, d'un hôtel particulier, d'un immeuble.
Solution tamponEn chimie, une solution tampon est une solution qui maintient approximativement le même pH malgré l'addition de petites quantités d'un acide ou d'une base, ou malgré une dilution. Si l'un de ces trois critères n'est pas vérifié alors la solution est une solution pseudo-tampon. Une solution tampon est composée : soit d'un acide faible HA et de son anion A−. Il s'agit par exemple du couple CH3COOH/CH3COO− ; soit d'une base faible B et de son cation BH+ comme le couple NH4+/NH3.
Philosophie analytiqueL'expression « philosophie analytique » désigne un mouvement philosophique qui se fonda dans un premier temps sur la nouvelle logique contemporaine, issue des travaux de Gottlob Frege et Bertrand Russell à la fin du et au début du , pour éclairer les grandes questions philosophiques. Sa démarche s'appuie sur une analyse logique du langage cherchant à mettre en évidence les erreurs de raisonnement que celui-ci peut induire et faisant ainsi de la « clarification logique des pensées » le but de la philosophie selon le mot de Ludwig Wittgenstein dans le célèbre Tractatus logico-philosophicus.
Tapis microbiendroite|vignette| Un tapis d'algues formé par des cyanobactéries, dans lac salé au bord de la mer Blanche. Un tapis microbien est une pellicule multicouche constituée de micro-organismes, principalement des bactéries et des archées. Il correspond à un biofilm suffisamment épais pour que la cohérence entre les micro-organismes soit très forte et maintenue même lorsqu'on sépare ce tapis de son support d’accrochage. Ces tapis se développent aux interfaces entre différents types de matériaux, principalement sur des surfaces immergées ou humides, bien que quelques-uns survivent dans les déserts.
Cinématique inverseLa cinématique inverse (souvent abrégée IK, de l'anglais inverse kinematics) désigne l'ensemble des méthodes de calcul des positions et rotations d'un modèle articulaire afin d'obtenir une pose désirée. Les méthodes de cinématique inverse sont principalement utilisées en infographie, en robotique, en animation ou encore en chimie. Le terme cinématique inverse renvoie au fait que la résolution des calculs est généralement basée sur les équations cinématiques du modèle articulaire.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Oscillateur harmonique quantiqueL'oscillateur harmonique quantique correspond au traitement par les outils de la mécanique quantique de l'oscillateur harmonique classique. De façon générale, un oscillateur est un système dont l'évolution dans le temps est périodique. Il est dit de plus harmonique si les oscillations effectuées sont sinusoïdales, avec une amplitude et une fréquence qui ne dépendent que des caractéristiques intrinsèques du système et des conditions initiales.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Système de fichiersLe terme système de fichiers (abrégé « FS » pour File System, parfois filesystem en anglais) désigne de façon ambigüe : soit l'organisation hiérarchique des fichiers au sein d'un système d'exploitation (on parle par exemple du file system d'une machine unix organisé à partir de sa racine (/) ) soit l'organisation des fichiers au sein d'un volume physique ou logique, qui peut être de différents types (par exemple NTFS, , FAT32, ext2fs, ext3fs, ext4fs, zfs, btrfs, etc.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
