Supersamplingvignette|Calcul de la valeur de la couleur finale en Le supersampling est un terme anglais définissant une action de suréchantillonnage. Dans le domaine de l'infographie, ou du rendu en temps réel, le supersampling est un procédé utilisé pour tenter d'anticréneler une image. En image, l'échantillonnage constitue les pixels, le crènelage s'opère dans l'espace. Le problème peut donc se constater sur des motifs répétitifs comme des damiers par exemple. Il s'agit d'une corrélation entre l'échantillonnage et le motif à visualiser.
PapeterieLe mot papeterie ou papèterie peut désigner : une usine à papier, également appelée papetière, spécialisée dans la transformation du bois, de vieux papiers, ou de pailles en papier ou d'autres fibres (chiffons) ; un magasin de fournitures de bureau ou de fournitures scolaires ; l'industrie papetière, c'est-à-dire l'industrie de fabrication du papier principalement à partir de pâte à papier ; un article de papeterie, un article fabriqué en tout ou partie avec du papier ; une petite boîte contenant le matérie
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
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.
Historic preservationHistoric preservation (US), built heritage preservation or built heritage conservation (UK), is an endeavor that seeks to preserve, conserve and protect buildings, objects, landscapes or other artifacts of historical significance. It is a philosophical concept that became popular in the twentieth century, which maintains that cities as products of centuries' development should be obligated to protect their patrimonial legacy. The term refers specifically to the preservation of the built environment, and not to preservation of, for example, primeval forests or wilderness.
Archivage électroniqueLarchivage électronique désigne l'archivage à long terme de documents et données numériques. Les problématiques liées à la pérennisation des données numériques sont le coût et la durée de vie des supports, mais aussi l'accès au contenu malgré les avancées technologiques rendant les anciens supports obsolètes. L'archivage électronique commence dès la création des documents et permet à l'organisation productrice de l'information de les exploiter pour toute la durée de leur cycle de vie.
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.
Conservation des documentsLe principe de conservation des documents en archivistique ou en sciences de l'information et des bibliothèques est l'un des piliers essentiels de ces disciplines, avec la collecte des documents, le classement des archives ou les classifications décimales ou documentaires des bibliothèques ou centres de ressources. Les mesures appliquées par les bibliothécaires et les archivistes, notamment, pour conserver les documents (livres, archives, objets) ont pour but initial de leur assurer une « durée de vie » maximale.
National Trust for Historic PreservationThe National Trust for Historic Preservation is a privately funded, nonprofit organization based in Washington, D.C., that works in the field of historic preservation in the United States. The member-supported organization was founded in 1949 by congressional charter to support the preservation of America’s diverse historic buildings, neighborhoods, and heritage through its programs, resources, and advocacy.
Stokes' theoremStokes' theorem, also known as the Kelvin–Stokes theorem after Lord Kelvin and George Stokes, the fundamental theorem for curls or simply the curl theorem, is a theorem in vector calculus on . Given a vector field, the theorem relates the integral of the curl of the vector field over some surface, to the line integral of the vector field around the boundary of the surface. The classical theorem of Stokes can be stated in one sentence: The line integral of a vector field over a loop is equal to the flux of its curl through the enclosed surface.
Abstraction (philosophie)L’abstraction est l'opération mentale, de l'esprit par laquelle les propriétés générales, universelles et nécessaires d'un objet sont distinguées de ses propriétés particulières et contingentes. Par cette opération, notre pensée prend une distance par rapport à l'expérience sensible et forme l'ensemble de nos idées qui seront consignées dans le langage. L'opération d'abstraction permet de distinguer entre l'abstrait et le concret. Ceux-ci forment une opposition conceptuelle fondamentale en philosophie.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
