Graphe orienté acycliqueEn théorie des graphes, un graphe orienté acyclique (en anglais directed acyclic graph ou DAG), est un graphe orienté qui ne possède pas de circuit. Un tel graphe peut être vu comme une hiérarchie. Un graphe orienté acyclique est un graphe orienté qui ne possède pas de circuit. On peut toujours trouver un sous-graphe couvrant d’un graphe orienté acyclique qui soit un arbre (resp. une forêt). Dans un graphe orienté acyclique, la relation d'accessibilité R(u, v) définie par « il existe un chemin de u à v » est une relation d'ordre partielle.
Système d'information géographiqueUn système d'information géographique ou SIG (en anglais, geographic information system ou GIS) est un système d'information conçu pour recueillir, stocker, traiter, analyser, gérer et présenter tous les types de données spatiales et géographiques. L’acronyme SIG est parfois utilisé pour définir les « sciences de l’information géographique » ou « études sur l’information géospatiale ». Cela se réfère aux carrières ou aux métiers qui impliquent l'usage de systèmes d’information géographique et, dans une plus large mesure, qui concernent les disciplines de la géo-informatique (ou géomatique).
Fondements des mathématiquesLes fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science. Le logicisme a été prôné notamment par Gottlob Frege et Bertrand Russell. La mathématique pure présente deux caractéristiques : la généralité de son discours et la déductibilité du discours mathématique . En ce que le discours mathématique ne prétend qu’à une vérité formelle, il est possible de réduire les mathématiques à la logique, les lois logiques étant les lois du « vrai ».
Ground-based augmentation systemLe ground-based augmentation system (GBAS) anciennement local-area augmentation system (LAAS) est un système d'atterrissage d'avion tous temps basé sur la correction différentielle temps réel du signal GPS. Dans un aéroport, des récepteurs GPS locaux de référence envoient des données à un système central à l'aéroport. Ces données sont utilisées pour former un message de correction, qui est alors transmis aux utilisateurs (avions) par l'intermédiaire d'une liaison de transmission de données VHF.
Algorithmethumb|Algorithme de découpe d'un polygone quelconque en triangles (triangulation). Un algorithme est une suite finie et non ambiguë d'instructions et d’opérations permettant de résoudre une classe de problèmes. Le domaine qui étudie les algorithmes est appelé l'algorithmique. On retrouve aujourd'hui des algorithmes dans de nombreuses applications telles que le fonctionnement des ordinateurs, la cryptographie, le routage d'informations, la planification et l'utilisation optimale des ressources, le , le traitement de textes, la bio-informatique L' algorithme peut être mis en forme de façon graphique dans un algorigramme ou organigramme de programmation.
Location awarenessLocation awareness refers to devices that can passively or actively determine their location. Navigational instruments provide location coordinates for vessels and vehicles. Surveying equipment identifies location with respect to a well-known location wireless communications device. The term applies to navigating, real-time locating and positioning support with global, regional or local scope. The term has been applied to traffic, logistics, business administration and leisure applications.
Véhicule (transport physique)vignette|Train de conteneurs. Un véhicule est mais cet article se focalise sur ce qui concerne le transport physique, quel que soit le milieu (terre, air, mer) et les moyens mis en œuvre pour y arriver (force animale ou mécanique par exemple). Il s'agit le plus souvent d'un moyen de transport motorisé, mais sa finalité première n'est pas toujours le transport en lui-même (engins de loisirs, travaux publics, machines agricoles, engins militaires).
Algorithme de rechercheEn informatique, un algorithme de recherche est un type d'algorithme qui, pour un domaine, un problème de ce domaine et des critères donnés, retourne en résultat un ensemble de solutions répondant au problème. Supposons que l'ensemble de ses entrées soit divisible en sous-ensemble, par rapport à un critère donné, qui peut être, par exemple, une relation d'ordre. De façon générale, un tel algorithme vérifie un certain nombre de ces entrées et retourne en sortie une ou plusieurs des entrées visées.
Véhicule à moteurUn véhicule à moteur ou véhicule motorisé (terrestre) ou véhicule automobile (au sens littéral: qui peut se mouvoir par lui-même) est un véhicule équipé d'un moteur qui fournit l'énergie mécanique nécessaire à son déplacement. Il peut se déplacer sur route et éventuellement en tout-terrain, et est généralement équipé de roues, parfois de chenilles. Le moteur employé est généralement un moteur à explosion ou un moteur électrique, parfois plusieurs, parfois les deux combinés dans le cas d'un véhicule hybride.
Propulsion alternativeLa propulsion alternative des véhicules (voitures, camions, navires) consiste en deux catégories : les moteurs à combustion et explosion alimentés par des carburants alternatifs tels les biocarburants, biodiesels, biogaz, diesters, huiles végétales carburant ; les systèmes alimentés par d'autres sources, dont les moteurs Stirling, piles à combustible, batteries d'accumulateurs, moteurs à air comprimé, panneaux solaires ou éoliennes.