Département des Transports (Royaume-Uni)Le département des Transports (Department for Transport ou DfT) est un département exécutif du gouvernement britannique chargé des transports. Il est dirigé par le secrétaire d'État aux Transports. Le DfT a été créé en 1919.
Transport en communvignette|Un tramway à Cracovie (2014). vignette|Gare de Paris-Nord, rencontre du Thalys et du métro parisien. Le transport en commun ou transport public est un mode de transport consistant à transporter plusieurs personnes ensemble sur un même trajet. Il est généralement accessible en contrepartie d'un titre de transport comme un billet, un ticket ou une carte. Néanmoins il peut être mis à disposition du public à titre gracieux dans certaines circonstances (pic de pollution par exemple).
Transport maritimevignette|redresse=1.5|Carte des principales routes maritimes, des principaux en (détroits, canaux transocéaniques), et des plus grands ports à conteneurs (en 2018). vignette|redresse=1.5|Répartition du tonnage mondial par catégories de navires de charge : navires à unités de charge 25 % (, , porte-conteneurs), navires de vrac 75 % (vraquier liquide, vraquier sec). vignette|Dans un porte-conteneurs, les « boîtes » sont empilées à la fois en cale et sur le pont.
Écomobilitévignette|Mère transportant ses enfants dans un vélo cargo. Un mode de transport en fort développement dans les pôles urbains. vignette|Le vélo à assistance électrique permet d'étendre le rayon d'utilisation du vélo pour les trajets domicile-travail et cible ainsi davantage des utilisateurs périurbains ou éloignés de leur lieu de travail. vignette|Tramway à droite et tram-train à gauche à Mulhouse. Ce dernier mode de transport circule à la fois sur le réseau de tramway urbain et sur le réseau ferroviaire périurbain, qui se retrouvent ainsi interconnectés.
Land transportLand transport is the transport or movement of people, animals or goods from one location to another location on land. The two main forms of land transport can be considered to be rail transport and road transport. Several systems of land transport have been devised, from the most basic system of humans carrying things from place to sophisticated networks of ground-based transportation utilising different types of vehicles and infrastructure.
Logique modaleEn logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie des . Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité : Il est nécessaire qu'''il pleuve ; Demain, il pleut ; Christophe Colomb croit quil pleut ; Il est démontré qu'''il pleut ; Il est obligatoire quil pleuve.
Logique épistémiqueLa logique épistémique est une logique modale qui permet de raisonner à propos de la connaissance d'un ou plusieurs agents. Elle permet aussi de raisonner sur les connaissances des connaissances des autres agents, etc. Son nom est tiré du nom grec epistḗmē qui signifie « connaissance » (du verbe epístamai « savoir »), d'où vient aussi le mot épistémologie. L'application de la logique épistémique à l'économie a été promue par Robert Aumann, Prix Nobel d'économie 2005. Elle a été introduite par et Jaakko Hintikka.
Logique dynamiqueLa logique dynamique est une extension de la logique modale destiné au raisonnement portant sur des programmes informatiques et appliqué plus tard à des comportements complexes plus généraux découlant de la linguistique, de la philosophie, IA, et d'autres domaines. Vaughan Pratt, "Semantical Considerations on Floyd-Hoare Logic", Proc. 17th Annual IEEE Symposium on Foundations of Computer Science, 1976, 109-121. David Harel, Dexter Kozen, and Jerzy Tiuryn, "Dynamic Logic". MIT Press, 2000 (450 pp).
Loi normaleEn théorie des probabilités et en statistique, les lois normales sont parmi les lois de probabilité les plus utilisées pour modéliser des phénomènes naturels issus de plusieurs événements aléatoires. Elles sont en lien avec de nombreux objets mathématiques dont le mouvement brownien, le bruit blanc gaussien ou d'autres lois de probabilité. Elles sont également appelées lois gaussiennes, lois de Gauss ou lois de Laplace-Gauss des noms de Laplace (1749-1827) et Gauss (1777-1855), deux mathématiciens, astronomes et physiciens qui l'ont étudiée.
Logique philosophiqueLa logique philosophique est un domaine de la philosophie dans lequel les méthodes de la logique ont traditionnellement été utilisées pour résoudre ou faire avancer la discussion des problèmes philosophiques. Parmi les contributeurs à ce domaine, Sibyl Wolfram souligne l'étude de l'argumentation, du sens et de la vérité, tandis que Colin McGinn présente l'identité, l'existence, la prédication, la nécessité et la vérité comme les thèmes principaux de son livre sur le sujet.
Logique déontiquevignette|"Justicia", Giotto di Bondone (1267-1337), Capilla Scrovegni, Padoue, Italie. La logique déontique (du grec déon, déontos : devoir, ce qu'il faut, ce qui convient) tente de formaliser les rapports qui existent entre les quatre caractéristiques d'une loi : l'obligation, l'interdiction, la permission et le facultatif. Gottfried Wilheim Leibniz en 1670 proposa le premier d'appliquer la logique modale à la morale en remarquant l'analogie suivante : .
Loi de Cauchy (probabilités)La loi de Cauchy, appelée aussi loi de Lorentz, est une loi de probabilité continue qui doit son nom au mathématicien Augustin Louis Cauchy. Une variable aléatoire X suit une loi de Cauchy si sa densité , dépendant des deux paramètres et ( > 0) est définie par : La fonction ainsi définie s'appelle une lorentzienne. Elle apparaît par exemple en spectroscopie pour modéliser des raies d'émission. Cette distribution est symétrique par rapport à (paramètre de position), le paramètre donnant une information sur l'étalement de la fonction (paramètre d'échelle).
