Classe moyenne supérieureLa classe moyenne supérieure est une classe sociale qui regroupe les individus de la classe moyenne dont le niveau de richesse est le plus élevé. Ce dernier est en effet supérieur à celui de la classe moyenne inférieure mais demeure inférieur à celui de la classe dirigeante (soit, en France, « les 1 % » de la population, dont le revenu mensuel minimum en 2018 – avant impôt et prestations sociales – s'élève à pour une personne seule et à pour un couple avec deux enfants de moins de quatorze ans et qui dispose d'un patrimoine minimum net – une fois l'endettement déduit – de d'euros).
Style de programmationLe style de programmation est un ensemble de règles ou de lignes directrices utilisées lors de l'écriture du code source d'un programme informatique. Il est souvent affirmé que suivre un style de programmation particulier aidera les programmeurs à lire et à comprendre le code source conforme au style, et aidera à éviter les erreurs. Un ouvrage classique sur le sujet, , est écrit dans les années 1970, et illustré avec des exemples dans les langages de programmations Fortran et PL/I.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Conscience de classeLa conscience de classe est un concept utilisé dans les champs de la sociologie, de la psychologie et du militantisme. Il tire son origine de la théorie marxiste, qui en fait une pierre angulaire de la lutte des classes. Le concept de conscience de classe est utilisé par Karl Marx et tient une place prépondérante dans son édifice intellectuel. Marx ne définit pas la classe sociale seulement par la place qu'elle occupe dans le rapport de production.
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.
GTK (boîte à outils)GTK (The GIMP Toolkit, anciennement GTK+) est un ensemble de bibliothèques logicielles, c'est-à-dire un ensemble de fonctions permettant de réaliser des interfaces graphiques. Cette bibliothèque a été développée originellement pour les besoins du logiciel de traitement d'images GIMP. GTK+ est maintenant utilisé dans de nombreux projets, dont les environnements de bureau GNOME, Xfce, Lxde et ROX. GTK est un projet libre (licence GNU LGPL 2.1) et multiplate-forme.
Attribut (informatique)En informatique, le terme "attribut" a plusieurs significations : en programmation, les attributs sont des entités qui définissent les propriétés d'objets, d'éléments, ou de fichiers. Les attributs sont habituellement composés d'un identificateur (ou nom ou clé) et d'une valeur, en compilation les attributs sont des valeurs sémantiques assignées aux nœuds de l'arbre syntaxique. Le présent article ne traite que le premier des deux concepts.
File attributeFile attributes are a type of meta-data that describe and may modify how and/or in a behave. Typical file attributes may, for example, indicate or specify whether a file is visible, modifiable, compressed, or encrypted. The availability of most file attributes depends on support by the underlying filesystem (such as , NTFS, ext4) where attribute data must be stored along with other control structures. Each attribute can have one of two states: set and cleared. Attributes are considered distinct from other metadata, such as dates and times, s or .
Texture filteringIn computer graphics, texture filtering or texture smoothing is the method used to determine the texture color for a texture mapped pixel, using the colors of nearby texels (pixels of the texture). There are two main categories of texture filtering, magnification filtering and minification filtering. Depending on the situation texture filtering is either a type of reconstruction filter where sparse data is interpolated to fill gaps (magnification), or a type of anti-aliasing (AA), where texture samples exist at a higher frequency than required for the sample frequency needed for texture fill (minification).
Texture procéduraleUne texture procédurale est une créée en utilisant un algorithme de génération procédurale conçu pour produire une représentation réaliste d'éléments naturels tels que le bois, le marbre, le métal ou la pierre, ou au contraire une texture abstraite. L'aspect naturel du résultat est habituellement obtenu par l'emploi de bruit fractal et de fonctions de turbulence. Ces fonctions servent à reproduire le caractère aléatoire de ce qu'on trouve dans la nature.
Attributs étendusEn informatique, les attributs étendus (EA - Extended Attributes) sont une fonctionnalité du système de fichiers. On distingue en fait les attributs dits réguliers, réservés à l'usage du système de fichiers lui-même, des attributs dits étendus, qui en sont une extension. Ces derniers permettent à l'utilisateur d'un système de fichier d'associer des métadonnées, autrement dit un certain nombre d'informations supplémentaires, à un inode.
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.
