Routethumb|upright=1.0|Effet de lumière sur une route australienne. thumb|À Grimaldi (Italie), cette route secondaire semble plonger dans la mer Méditerranée. Une route () est au sens littéral une voie terrestre (au niveau du sol ou sur viaduc) aménagée pour permettre la circulation de véhicules à roues. Ce terme s'applique plutôt aux voies importantes situées en rase campagne et ne peut être apparenté à une rue. Dans les pays vastes et peu peuplés, à la fin du , de nombreuses routes étaient encore des chemins empierrés ou damés (les "sentiers battus").
Système embarqué mobilevignette|Trajet en taxi à travers Kyoto, système de navigation GPS installé. Le système embarqué mobile est un système embarqué dont la localisation (sa position relative au reste du système d'information) change fréquemment en fonction du temps, tel un récepteur GPS installé dans une automobile. Ainsi on peut appliquer cette définition par récurrence et parler d'imbrication de systèmes embarqués mobiles dans d'autres systèmes embarqués ; par exemple, un composant terminal GPS qui est embarqué/enfoui dans un terminal GSM, mobile lui aussi.
Time travel in fictionTime travel is a common theme in fiction, mainly since the late 19th century, and has been depicted in a variety of media, such as literature, television, film, and advertisements. The concept of time travel by mechanical means was popularized in H. G. Wells' 1895 story, The Time Machine. In general, time travel stories focus on the consequences of traveling into the past or the future.
Catégorie trianguléeEn mathématiques, une catégorie triangulée est une catégorie dotée d'une structure supplémentaire. De telles catégories ont été suggérées par Alexander Grothendieck et développées par Jean-Louis Verdier dans sa thèse de 1963 pour traiter les catégories dérivées. La notion de t-structure, qui y est directement liée, permet de reconstruire (en un sens partiel) une catégorie à partir d'une catégorie dérivée.
Brown's representability theoremIn mathematics, Brown's representability theorem in homotopy theory gives necessary and sufficient conditions for a contravariant functor F on the Hotc of pointed connected CW complexes, to the Set, to be a representable functor. More specifically, we are given F: Hotcop → Set, and there are certain obviously necessary conditions for F to be of type Hom(—, C), with C a pointed connected CW-complex that can be deduced from alone. The statement of the substantive part of the theorem is that these necessary conditions are then sufficient.
Foncteur représentableOn rencontre en mathématiques de nombreuses propriétés universelles. Le formalisme des catégories permet d'exprimer ces propriétés de façon très simple. Soit une catégorie localement petite et F un foncteur contravariant, respectivement covariant, de dans Ens (catégorie des ensembles). On dit que F est représentable s'il existe un objet X de tel que F soit isomorphe au foncteur , respectivement au foncteur . Les transformations naturelles de dans F correspondent bijectivement aux éléments de .
Floating car dataLe floating car data (« données de véhicule traceur ») ou FCD est une méthode pour connaître le trafic sur le réseau routier. Elle est basée sur la collecte de données de localisation, de vitesse, de sens du déplacement des véhicules roulant dans le trafic. Ces données sont des sources essentielles pour l'information sur le trafic et plus encore pour les systèmes de transport intelligent ou STI. Cela signifie que tout véhicule équipé de manière appropriée peut agir comme une sonde pour le réseau routier.
Théorie des catégoriesLa théorie des catégories est l'étude des structures mathématiques et de leurs relations. Ce domaine est né du constat de l'abondance de caractéristiques partagées par diverses classes liées à des structures mathématiques. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l'informatique théorique et en mathématiques de la physique. Elles forment une notion unificatrice.
Bombe guidéeUne bombe guidée (en anglais, smart bomb, guided bomb unit ou GBU) est un engin explosif largué depuis un avion ayant un système de guidage capable d’orienter sa chute vers un objectif précis. L'armée de l'air américaine a résumé l'intérêt du guidage des munitions de la manière suivante : Une bombe guidée parcourt moins de distance qu’un missile air-sol et est plus précise qu’une bombe classique. vignette|gauche|Bombe Henschel Hs 293 A. Les premières bombes guidées sont les Henschel Hs 293 A allemandes, dont le développement a débuté en 1939.
Système de transport intelligentLes systèmes de transport intelligents (STI) (en anglais : intelligent transportation systems - ITS) sont les applications des nouvelles technologies de l'information et de la communication au domaine des transports et de sa logistique. On les dit « intelligents » parce que leur développement repose sur des fonctions généralement associées à l'intelligence : capacités sensorielles et de choix, mémoire, communication, traitement de l'information et comportement adaptatif.
