Couche applicationLa couche application est la du modèle OSI. La couche application est surtout, du point de vue du modèle, le point d'accès aux services réseaux. Comme le modèle n'a pas pour rôle de spécifier les applications, il ne spécifie pas de service à ce niveau. La couche d'application représente des données pour l'utilisateur ainsi que du codage et un contrôle du dialogue : des mécanismes de communication offerts aux applications de l'utilisateur.
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.
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.
Toitvignette|Les Hospices de Beaune : les toits en tuile vernissée de Bourgogne multicolores à losanges de l'Hôtel-Dieu sont typiques de la Bourgogne. vignette|droite|Vue sur les toits de Prague. vignette|droite|Toits plats et dômes de la Grande Mosquée de Kairouan, en Tunisie. vignette|droite|Toits au Viêt Nam. vignette|droite|Toit bourguignon en tuiles plates, Avallon. Le toit est la surface ou couverture couvrant la partie supérieure d'un édifice, permettant principalement de protéger son intérieur contre les intempéries et l'humidité.
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.
Explorateur de fichiersExplorateur de fichiers (), précédemment l'Explorateur Windows () est le gestionnaire de fichiers fourni avec le système d'exploitation Microsoft Windows. Le gestionnaire permet, notamment, d'afficher et de modifier le nom des fichiers et des dossiers, de manipuler les fichiers et les dossiers (copier, déplacer, effacer), d'ouvrir les fichiers de données, et de lancer les programmes. L'Explorateur Windows est également le programme qui affiche le bureau de Microsoft Windows, notamment la barre des tâches et le menu Démarrer.
Natural buildingA natural building involves a range of building systems and materials that place major emphasis on sustainability. Ways of achieving sustainability through natural building focus on durability and the use of minimally processed, plentiful or renewable resources, as well as those that, while recycled or salvaged, produce healthy living environments and maintain indoor air quality. Natural building tends to rely on human labor, more than technology. As Michael G.
Mapping objet-relationnelUn mapping objet-relationnel (en anglais object-relational mapping ou ORM) est un type de programme informatique qui se place en interface entre un programme applicatif et une base de données relationnelle pour simuler une base de données orientée objet. Ce programme définit des correspondances entre les schémas de la base de données et les classes du programme applicatif. On pourrait le désigner par là « comme une couche d'abstraction entre le monde objet et monde relationnel ».
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).
Toiture végétalevignette|upright=1.0|Bøur, aux îles Féroé. vignette|upright=1.0|Toiture extensive de sédums, utile et pédagogique, centre d'interprétation de la Nature, parc national De Biesbosch, Pays-Bas. vignette|upright=1.0|Norðragøta (îles Féroé). vignette|upright=1.0|Reconstitution d'habitations Vikings au Labrador. vignette|upright=1.0|L'architecture militaire pour des raisons de camouflage ou de protection contre les obus a utilisé la terre et la végétation en couverture vignette|upright=1.
Domestic roof constructionDomestic roof construction is the framing and roof covering which is found on most detached houses in cold and temperate climates. Such roofs are built with mostly timber, take a number of different shapes, and are covered with a variety of materials. Modern timber roofs are mostly framed with pairs of common rafters or prefabricated wooden trusses fastened together with truss connector plates. Timber framed and historic buildings may be framed with principal rafters or timber roof trusses.
Portable Document FormatLe Portable Document Format, communément abrégé en PDF, est un langage de description de page présenté par la société Adobe Systems en 1992 et qui est devenu une norme ISO en 2008. La spécificité du PDF est de préserver la mise en page d’un document telle qu'elle a été définie par son auteur, et cela quels que soient le logiciel, le système d'exploitation et l'ordinateur utilisés pour l’imprimer ou le visualiser. Le Portable Document Format qui se traduit de l'anglais en « format de document portable », généralement abrégé en PDF, est un format de fichier informatique créé par Adobe Systems.
