Engin de chantiervignette|Différents engins de chantier, de gauche à droite : un bulldozer, un tombereau et une pelle mécanique hydraulique. Un engin de chantier ou engin de génie civil est un engin utilisé sur les chantiers pour effectuer différents travaux de terrassement. D'après Eugène Viollet-le-Duc, dans son « Dictionnaire raisonné de l’architecture française du », on donnait le nom d'engin Les premiers engins sont donc des machines complexes qui mettent en œuvre des machines simples qui sont connues depuis l'Antiquité : les leviers, roues, poulies, engrenages et treuils.
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.
Espace homogèneEn géométrie, un espace homogène est un espace sur lequel un groupe agit de façon transitive. Dans l'optique du programme d'Erlangen, le groupe représente des symétries préservant la géométrie de l'espace, et le caractère homogène se manifeste par l'indiscernabilité des points, et exprime une notion disotropie. Les éléments de l'espace forment une seule orbite selon G. Les espaces des géométries classiques (en dimension finie quelconque) de points sont des espaces homogènes pour leur groupe de symétries.
Earthquake-resistant structuresEarthquake-resistant or aseismic structures are designed to protect buildings to some or greater extent from earthquakes. While no structure can be entirely impervious to earthquake damage, the goal of earthquake engineering is to erect structures that fare better during seismic activity than their conventional counterparts. According to building codes, earthquake-resistant structures are intended to withstand the largest earthquake of a certain probability that is likely to occur at their location.
Pelle mécanique hydrauliquevignette|Une pelle hydraulique sur roues. La pelle mécanique hydraulique est un engin de chantier présentant un outil pelle monté sur une tourelle. Elle est également connue sous le nom de pelle hydraulique, pelleteuse ou excavatrice. Quand elle est de petite taille, on parle de minipelle, de midipelle ou encore de micropelle (lorsque l'engin pèse moins d'une tonne). Développée en une multitude de versions, elle est utilisée en génie civil et travaux publics.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Haut barrage d'AssouanLe haut barrage d'Assouan, aussi appelé barrage d'Assouan, en arabe السد العالي, translittéré en as-Sad al-'Aly, est un barrage hydroélectrique construit entre 1960 et 1970, à sept kilomètres en amont de l'ancien barrage d'Assouan, et environ dix kilomètres de la ville d'Assouan, sur le Nil en Haute-Égypte. Considéré comme l'un des plus importants au monde, sa capacité de retenue est de mètres cubes d'eau. Il a été construit en complément de l'ancien barrage d'Assouan (lui-même surélevé deux fois) qui ne donnait pas satisfaction en matière d'efficacité et de sécurité.
Fonction homogènevignette|Exemple de fonction homogène de degré 1 En mathématiques, une fonction homogène est une fonction qui a un comportement d’échelle multiplicatif par rapport à son ou ses arguments : si l'argument (vectoriel au besoin) est multiplié par un scalaire, alors le résultat sera multiplié par ce scalaire porté à une certaine puissance. Soient E et F deux espaces vectoriels sur un même corps commutatif K.
Barrage de St. FrancisLe barrage de St. Francis était un barrage dont le réservoir alimentait l'aqueduc de Los Angeles en Californie. Il fut construit entre 1924 et 1926 à quelques kilomètres de l'actuelle ville de Santa Clarita. Lors de son premier remplissage, le , le barrage s'est effondré et a entrainé l'inondation du San Francisquito Canyon qui a couté la vie à près de . C'est la plus grave erreur de génie civil survenue aux États-Unis, et la deuxième plus grave catastrophe dans l'histoire de la Californie, après le séisme de 1906 à San Francisco.
Principal homogeneous spaceIn mathematics, a principal homogeneous space, or torsor, for a group G is a homogeneous space X for G in which the stabilizer subgroup of every point is trivial. Equivalently, a principal homogeneous space for a group G is a non-empty set X on which G acts freely and transitively (meaning that, for any x, y in X, there exists a unique g in G such that x·g = y, where · denotes the (right) action of G on X).
Polynôme homogèneEn mathématiques, un polynôme homogène, ou forme algébrique, est un polynôme en plusieurs indéterminées dont tous les monômes non nuls sont de même degré total. Par exemple le polynôme x + 2xy + 9xy est homogène de degré 5 car la somme des exposants est 5 pour chacun des monômes ; les polynômes homogènes de degré 2 sont les formes quadratiques. Les polynômes homogènes sont omniprésents en mathématiques et en physique théorique. Soit K un corps commutatif. Un polynôme homogène de degré d en n variables est un polynôme dans K[X, .
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.
