É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.
Génétique des populationsLa génétique des populations (GDP) est l'étude de la distribution et des changements de la fréquence des versions d'un gène (allèles) dans les populations d'êtres vivants, sous l'influence des « pressions évolutives » (sélection naturelle, dérive génétique, recombinaison, mutation, et migration). Les changements de fréquence des allèles sont un aspect majeur de l'évolution, la fixation de certains allèles conduit à une modification génétique de la population, et l'accumulation de tels changements dans différentes populations peut conduire au processus de spéciation.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
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).
Histoire de la logiqueL'histoire de la logique, en Occident, prend ses racines dans la philosophie et les mathématiques de la Grèce antique pour se développer en richesse au . Des développements parallèles ont notamment eu lieu en Chine et en Inde. Le développement de la logique dans le monde arabo-musulman s'intègre à celui de l'Europe, du fait de leur proximité. La logique chinoise est longtemps restée isolée des développements de la logique en Europe et dans le monde arabo-musulman. 400 ans avant notre ère, la fondation de l'école du moïsme est attribuée à Mozi.
Classe ouvrièrethumb|200px|Mécanicien travaillant sur une pompe à vapeur, Lewis Hine, 1920. La notion de classe ouvrière, qui est d'abord une notion politique, se détermine par l'appartenance de fait à la catégorie sociale des prolétaires, ceux qui ne disposent pas de la propriété des moyens de production et doivent vendre leur force de travail pour vivre.
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.
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.
Grand New Yorkupright=1.5|vignette|Les comtés et les cinq divisions métropolitaines constituant l'aire urbaine du Grand New York : thumb|upright=1.5|Vue satellite de la région de New York de nuit. Le Grand New York (New York Metropolitan area, Greater New York ou communément Tri-state area), est l'aire urbaine la plus peuplée des États-Unis et la huitième du monde, avec une population de habitants au recensement de 2020.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
