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).
Couche réseauLa couche de réseau est la troisième couche du modèle OSI. À ne pas confondre avec la couche « accès réseau » du modèle TCP/IP. thumb|Position de la couche réseau dans le modèle OSI et dans TCP-IP La couche réseau construit une voie de communication de bout à bout à partir de voies de communication avec ses voisins directs. Ses apports fonctionnels principaux sont donc: le routage détermination d'un chemin permettant de relier les 2 machines distantes; le relayage retransmission d'un PDU (Protocol Data Unit ou Unité de données de protocole) dont la destination n'est pas locale pour le rapprocher de sa destination finale.
Études régionalesvignette|348x348px|Le monde selon la BULAC - carte des familles de langues. David Poullard / BULAC Les études régionales (en anglais area studies ou regional studies) désignent un ensemble de domaines de recherche interdisciplinaires se rapportant à des régions géographiques ou culturelles particulières s'opposant ainsi aux études dites mondiales. Le terme existe principalement comme une description générale des nombreux domaines de recherche hétérogènes, englobant à la fois les sciences sociales et les sciences humaines.
Informatiquealt=Salle informatique de la bibliothèque d'Art et d'Archéologie de Genève|vignette|Salle informatique de la bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques : des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches : théorique : concerne la définition de concepts et modèles ; pratique : s'intéresse aux techniques concrètes de mise en œuvre.
Database modelA database model is a type of data model that determines the logical structure of a database. It fundamentally determines in which manner data can be stored, organized and manipulated. The most popular example of a database model is the relational model, which uses a table-based format. Common logical data models for databases include: Hierarchical database model This is the oldest form of database model. It was developed by IBM for IMS (information Management System), and is a set of organized data in tree structure.
Base de données orientée documentsUne base de données orientée documents est une base de données destinée aux applications qui gèrent des documents. Egalement nommée "magasin de documents", c'est un programme informatique et un système de stockage de données conçu pour stocker, récupérer et gérer des informations orientées documents, également appelées données semi-structurées. Ce type de bases de données peut être une sur-couche d'une base de données relationnelle ou non. C'est également l'une des principales catégories de bases de données NoSQL.
GéoréférencementLe géoréférencement est le processus dans lequel on applique à une entité cartographique un emplacement spatial en lui donnant des coordonnées géographiques et en appliquant une transformation. Cette pratique ne doit pas être confondue avec la géolocalisation qui consiste à localiser un objet sur un plan. Dans le jargon des géomètres-experts, le géoréférencement est l’action de « rattacher » un relevé dans un système de coordonnées connu.
Transition démographiqueLa transition démographique est le processus historique par lequel une population passe d'un régime démographique caractérisé par un taux de mortalité et un taux de natalité élevés à un nouveau régime caractérisé par un taux de mortalité puis un taux de natalité faibles. Ce type d'évolution a été observé à partir de la fin du en France et au Royaume Uni, puis dans l'ensemble des autres pays au cours des trois siècles suivants. C'est une composante de la modernisation ou du développement socio-économique.
Registre de métadonnéesUn registre de métadonnées est, selon la définition qu’en donne le Dublin Core dans l’ébauche finale du , un « Système de gestion des métadonnées «, c’est-à-dire un système formel qui fournit l’information d’autorité sur la sémantique et la structure de chaque élément. Pour chaque élément, le registre en donne la définition, les qualificatifs qui lui sont associés, ainsi que les correspondances avec des équivalents dans d’autres langues ou d’autres schémas.
Agriculturethumb|Culture intensive de pomme de terre en plein champ, Maine (États-Unis), 2002|alt= vignette|Production de blé à Oman L’agriculture (du latin agricultura, composé à partir de ager, « champ », et de cultura, « culture ») est un processus par lequel les êtres humains aménagent leurs écosystèmes et contrôlent le cycle biologique d'espèces domestiquées, dans le but de produire des aliments et d'autres ressources utiles à leurs sociétés.
