Logique temporelle linéaireEn logique, la logique temporelle linéaire (LTL) est une logique temporelle modale avec des modalités se référant au temps. En LTL, on peut coder des formules sur l'avenir d'un chemin infini dans un système de transitions, par exemple une condition finira par être vraie, une condition sera vraie jusqu'à ce qu'une autre devienne vraie, etc. Cette logique est plus faible que la logique CTL*, qui permet d'exprimer des conditions sur des ramifications de chemins et pas seulement sur un seul chemin.
Accès à l'informationL'accès à l'information est une extension de la liberté d'expression qui recouvre notamment la liberté de la presse. L’information est l’ensemble de données dans les domaines techniques, scientifiques, économiques, institutionnels, culturels et historiques pouvant être sous forme d’images, de textes, de discours et de sons. L’accès à l’information a pour objectif de garantir à un public le plus large possible, la mise à disposition de tout événement, tout fait, tout jugement et tout document par tous moyens telle la télévision, la radio, la presse et Internet sachant que ce dernier diffuse les informations plus rapidement et à niveau mondial.
Environmental Systems Research InstituteEsri (pour Environmental systems research institute) est une société américaine pionnière du concept logiciel SIG (Système d'Information Géographique). Depuis 1969, Esri développe un système SIG complet : ArcGIS. Esri a été fondée en 1969, par Jack Dangermond (président et détenteur de Esri en 2013) en tant que compagnie de consultants en aménagement du territoire. Le siège de la société est basé aux États-Unis, à Redlands, en Californie. Esri est implanté aux États-Unis et dans le monde entier grâce à un réseau de 80 distributeurs.
