Entrepôtthumb|Gestion automatisée d'un entrepôt de pièces détachées. Un entrepôt est un bâtiment logistique destiné au stockage et à la distribution de biens. Les entrepôts sont utilisés par les industriels, les entreprises d'import-export, les grossistes, les transporteurs, les douanes, etc. Ce sont de grands bâtiments, depuis quelques centaines jusqu'à plusieurs dizaines de milliers de mètres carrés. Ces bâtiments sont situés le plus souvent dans des zones péri-urbaines.
Warehouse management systemWMS, ou warehouse management system (système de gestion d'entrepôts), désigne une catégorie de progiciels destinés à gérer les opérations d'un entrepôt de stockage. L'objet premier du WMS n'est pas de prendre les commandes mais de les prendre en compte et d'en optimiser la préparation. Le périmètre d'un WMS est limité et ne couvre pas toute la chaîne logistique. En général l'outil s'arrête à l'entrepôt.
Magasin automatiquevignette|Transstockeur Mini Load pour le stockage automatique d’unités et de caisses Un magasin automatique ou stockage automatique consiste à automatiser totalement ou partiellement les tâches effectuées dans un magasin, qui est un espace physique pour le stockage des biens dans la chaîne d’approvisionnement. Il s’agit d’un système de stockage spécialement conçu pour des solutions logistiques qui permettent d’augmenter au maximum les ratios de productivité, de réduire l’espace nécessaire et le nombre de mouvements à réaliser.
Entrepôt de donnéesvignette|redresse=1.5|Vue d'ensemble d'une architecture entrepôt de données. Le terme entrepôt de données ou EDD (ou base de données décisionnelle ; en anglais, data warehouse ou DWH) désigne une base de données utilisée pour collecter, ordonner, journaliser et stocker des informations provenant de base de données opérationnelles et fournir ainsi un socle à l'aide à la décision en entreprise. Un entrepôt de données est une base de données regroupant une partie ou l'ensemble des données fonctionnelles d'une entreprise.
Système formelUn système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.
Moroccan architectureMoroccan architecture reflects Morocco's diverse geography and long history, marked by successive waves of settlers through both migration and military conquest. This architectural heritage includes ancient Roman sites, historic Islamic architecture, local vernacular architecture, 20th-century French colonial architecture, and modern architecture. Much of Morocco's traditional architecture is marked by the style that developed during the Islamic period, from the 7th century onward.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
Déchet dangereuxthumb|Panneau à l'entrée d'une décharge de déchets dangereux (États-Unis, 1972). Les déchets dangereux sont une des catégories de déchets définies par la législation propre à chaque pays, qui s'oppose à la catégorie des déchets non dangereux. Ils se caractérisent par leur dangerosité pour l'environnement ou la santé à travers leurs effets directs ou indirects à court, moyen ou long terme. Pour cette raison, ils doivent être collectés, transportés et traités de manière appropriée, et plusieurs stratégies d'États, de collectivités (dont l'Union européenne) ou d'entreprises visent à réduire leur production.
Théorie des modèlesLa théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).
Architecturevignette|upright=1.2|La cathédrale Saint-Pierre de Beauvais, , toute en pierre de taille, est l’exemple le plus aérien et dématérialisé de l'architecture gothique qui atteint là ses limites techniques. vignette|upright=1.2|La coupole du Panthéon, construit dans l'Antiquité romaine au début du , est restée de loin la plus large coupole du monde durant de nombreux siècles. Elle ne sera égalée qu'au par le dôme de la cathédrale de Florence qui marque de ce fait le début de la Renaissance, pour n'être dépassée qu'à partir du par les dômes contemporains.
Architecture islamiquethumb|Entrée d'une mosquée a Tlemcen en Algérie, peinture orientaliste de 1882 par Valery Jacobi. L'architecture islamique est une expression qui fait référence à l'art de construire (al-bina) qui s'est développé du à nos jours sur un ensemble appelé communément « monde musulman ». Celui-ci s'étend sur l'Afrique et l'Asie, de la côte ouest de l'Océan Atlantique à l'Inde d'ouest en est, et de l'Asie centrale à l'Océan Indien du nord au sud. À cela on peut ajouter des pays qui ont connu ou connaissent une importante minorité musulmane, comme l'Espagne et la Chine.
Matière dangereuseLes matières dangereuses sont des matières ou objets qui présentent un risque pour la santé, la sécurité, les biens ou l'environnement. Celles-ci sont énumérées dans la liste des marchandises dangereuses des règlements du transport ou, si elles ne figurent pas sur cette liste, sont classées conformément aux réglementations internationales. L'ONU est l'institution internationale qui établit les règles de ces transports. Il existe donc des accords internationaux pour les transports routier, ferroviaire et fluvial.
Architecture vernaculairethumb|Cliff Palace à Mesa Verde thumb|Ksar Ouled Soltane à Tataouine L’architecture vernaculaire est un type d'architecture communément répandu dans un pays, un territoire ou une aire donnés à une époque donnée. Le terme « vernaculaire » n'est pas attesté avant le au sens de « tout ce qui est particulier à un pays ». Il s'agit d'un emprunt récent au latin vernaculus, « relatif aux esclaves nés dans la maison ». En linguistique, le terme de langue vernaculaire renvoie à une langue usuellement parlée dans les limites d'une communauté.
Modèle statistiqueUn modèle statistique est une description mathématique approximative du mécanisme qui a généré les observations, que l'on suppose être un processus stochastique et non un processus déterministe. Il s’exprime généralement à l’aide d’une famille de distributions (ensemble de distributions) et d’hypothèses sur les variables aléatoires X1, . . ., Xn. Chaque membre de la famille est une approximation possible de F : l’inférence consiste donc à déterminer le membre qui s’accorde le mieux avec les données.
