Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Circulation routièrethumb|Bouchon routier La circulation routière est le déplacement réglementé des automobiles, d'autres véhicules ou des piétons; au sens large, sur une route, une autoroute ou tout autre type de voirie. vignette|Convention de Genève de 1949 vignette|Convention de Vienne de 1968 La circulation routière s'est développée au vingtième siècle, localement et internationalement. Pour faciliter le développement international de la circulation routière, des conventions ont été établies.
Accident de la routevignette|Accident de la route à une intersection. thumb|Nettoyage de la chaussée après un accident de voitures frontal sur l'avenue Charles-de-Gaulle à Ouagadougou. Un accident de la route (ou accident sur la voie publique : AVP, ou en France accident de la circulation) est une collision non intentionnelle, qui a lieu sur le réseau routier entre un engin roulant (notamment automobile, camion, moto, vélo) et tout autre véhicule ou personne ou animal, se déplaçant ou non, qui engendre au moins des dégâts matériels, voire des traumatismes ou le décès d'une ou plusieurs personnes impliquées.
GéotechniqueDans le groupe des géosciences, la géotechnique est la technoscience consacrée à l’étude pratique de la subsurface terrestre sur laquelle notre action directe est possible pour son aménagement et/ou son exploitation, lors d’opérations de BTP (génie civil, bâtiment, carrières), de gestion des eaux souterraines (exploitation, drainage) et de prévention des risques naturels.
Traffic flowIn mathematics and transportation engineering, traffic flow is the study of interactions between travellers (including pedestrians, cyclists, drivers, and their vehicles) and infrastructure (including highways, signage, and traffic control devices), with the aim of understanding and developing an optimal transport network with efficient movement of traffic and minimal traffic congestion problems.
Flexion (matériau)En physique (mécanique), la flexion est la déformation d'un objet sous l'action d'une charge. Elle se traduit par une courbure. Dans le cas d'une poutre, elle tend à rapprocher ses deux extrémités. Dans le cas d'une plaque, elle tend à rapprocher deux points diamétralement opposés sous l'action. L'essai de flexion d'une poutre est un essai mécanique utilisé pour tester la résistance en flexion. On utilise la flexion dite « trois points » et la flexion dite « quatre points ».
Diagramme des efforts intérieursEn théorie des poutres, les diagrammes des efforts intérieurs désignent le tracé des efforts subis par la poutre en fonction de la position le long de cette dernière. Les principaux diagrammes des efforts intérieurs sont ceux de l'effort tranchant (V) et du moment de flexion (M). On parle alors de diagrammes V-M. Les diagrammes V-M sont généralement tracés l'un sous l'autre directement sous la poutre.
GéométrieLa géométrie est à l'origine la branche des mathématiques étudiant les figures du plan et de l'espace (géométrie euclidienne). Depuis la fin du , la géométrie étudie également les figures appartenant à d'autres types d'espaces (géométrie projective, géométrie non euclidienne ). Depuis le début du , certaines méthodes d'étude de figures de ces espaces se sont transformées en branches autonomes des mathématiques : topologie, géométrie différentielle et géométrie algébrique.
Plancher bétonLes planchers de béton sont des éléments structurels de plancher réalisés à partir d'éléments préfabriqués ou non, essentiellement dont le principal matériau mis en œuvre est le béton. Les planchers en béton se divisent en quatre groupes principaux : Les éléments de plancher en béton Les éléments de plancher en béton cellulaire Les prédalles Les poutrains et claveaux Disponibles en béton armé ou précontraint, ce type d'éléments préfabriqués, plus communément appelés hourdis, est une solution idéale pour poser un plancher de façon simple, rapide et extrêmement solide.
ConsiderationConsideration is a concept of English common law and is a necessity for simple contracts but not for special contracts (contracts by deed). The concept has been adopted by other common law jurisdictions. The court in Currie v Misa declared consideration to be a “Right, Interest, Profit, Benefit, or Forbearance, Detriment, Loss, Responsibility”. Thus, consideration is a promise of something of value given by a promissor in exchange for something of value given by a promisee; and typically the thing of value is goods, money, or an act.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
StructureA structure is an arrangement and organization of interrelated elements in a material object or system, or the object or system so organized. Material structures include man-made objects such as buildings and machines and natural objects such as biological organisms, minerals and chemicals. Abstract structures include data structures in computer science and musical form. Types of structure include a hierarchy (a cascade of one-to-many relationships), a network featuring many-to-many links, or a lattice featuring connections between components that are neighbors in space.
