BarrageUn barrage est un ouvrage d'art hydraulique construit en travers d'un cours d'eau et destiné à en réguler le débit et/ou à stocker de l'eau, notamment pour le contrôle des crues, l'irrigation, l'industrie, l'hydroélectricité, la pisciculture et la retenue d'eau potable. vignette|Barrage Hoover, États-Unis. vignette|Barrage de Limmern (canton de Glaris, Suisse). vignette|Évacuateur de crues du barrage de Matsumoto (préfecture de Nagano, Japon). vignette|L'écologie des berges des plans d'eau artificiels peut être perturbée par des variations brutales de niveau.
Béton de cimentthumb|upright=1.0|Un mètre cube de béton (représentant la production mondiale annuelle de béton par habitant). Le béton de ciment, couramment appelé béton, est un mélange de ciment, de granulats, d'eau et d'adjuvants. Histoire du béton de ciment Ciment Le ciment se compose essentiellement de chaux, de silice, d'alumine et d'oxyde de fer combinés au silicate et aluminate de calcium. Les différents ciments résultent du mélange de clinker, de calcaire, de laitier et de cendres volantes (qui sont des composés à effet pouzzolanique, mais non considérés comme des pouzzolanes).
Prestressed concretePrestressed concrete is a form of concrete used in construction. It is substantially "prestressed" (compressed) during production, in a manner that strengthens it against tensile forces which will exist when in service. This compression is produced by the tensioning of high-strength "tendons" located within or adjacent to the concrete and is done to improve the performance of the concrete in service. Tendons may consist of single wires, multi-wire strands or threaded bars that are most commonly made from high-tensile steels, carbon fiber or aramid fiber.
Bétonthumb|Aspect hétérogène de la surface d'un béton de ciment, appelé communément béton, et constitué de ciment, d'eau et de granulats fins (sable) et grossiers (graviers). Le béton est un assemblage de matériaux de nature généralement minérale. Il met en présence des matières inertes, appelées granulats ou agrégats (graviers, gravillons, sables), et un liant (ciment, bitume, argile), c'est-à-dire une matière susceptible d'en agglomérer d'autres ainsi que des adjuvants qui modifient les propriétés physiques et chimiques du mélange.
Barrage en remblaivignette|Long de , le barrage KA-5 est un ouvrage en enrochement de de hauteur qui ferme le bras Ouest de la rivière Caniapiscau, dans le nord du Québec. Le barrage est formé d'un noyau de moraine, de plusieurs filtres en pierre tamisée, le tout étant recouvert d'une couche de blocs d'un mètre. Son volume est . Un barrage en remblai est un barrage constitué d'un matériau meuble, qu'il soit très fin ou très grossier (enrochements). Cette famille regroupe plusieurs catégories, très différentes.
Microsoft ExcelMicrosoft Excel est un logiciel tableur de la suite bureautique Microsoft Office développé et distribué par l'éditeur Microsoft. La version la plus récente est Excel 2021. Il est destiné à fonctionner sur les plates-formes Microsoft Windows, Mac OS X, Android ou Linux (moyennant l'utilisation de Wine). Le logiciel Excel intègre des fonctions de calcul numérique, de représentation graphique, d'analyse de données (notamment de tableau croisé dynamique) et de programmation, laquelle utilise les macros écrites dans le langage VBA (Visual Basic for Applications) qui est commun aux autres logiciels de Microsoft Office.
Arc (architecture)vignette|Arche d'un pont (Ota, Corse). vignette|Quelques termes d'architecture. vignette|Arc plein cintre dans la cathédrale de Spire en Allemagne. vignette|Arcs brisés dans les ruines de l'abbaye de Bolton () dans le comté de Yorkshire du Nord (Angleterre).|alt= vignette|Arc de triomphe (Paris).|alt= vignette|Arcs sous la couverture de la Casa Milà (ou la Pedrera) à Barcelone (Espagne). Création d'Antoni Gaudí. vignette|Égypte antique, entrepôts du Ramesséum, bâtis avec des arcs en adobe.
Rupture de barragevignette|Le réservoir du barrage Teton se déversant lors de sa rupture en 1976 aux États-Unis. Une rupture de barrage se produit lorsque la structure cède du fait d'événements naturels (séisme, mouvement de terrain, crue, etc.) ou de défaillances humaines (mauvaise conception, négligence, sabotage, etc). Cette rupture a pour conséquence le déversement non contrôlé de l'eau ou de la boue contenues par le barrage. Ce type de catastrophe reste peu fréquent mais chaque occurrence engendre de graves conséquences humaines, environnementales et techniques.
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.
ConiqueEn géométrie euclidienne, une conique est une courbe plane algébrique, définie initialement comme l’intersection d'un cône de révolution (supposé prolongé à l’infini de part et d’autre du sommet) avec un plan. Lorsque le plan de coupe ne passe pas par le sommet du cône, la conique est dite non dégénérée et réalise l’une des trois formes de courbe suivantes : ellipse, parabole ou hyperbole (le cercle étant un cas particulier de l'ellipse, parfois appelé quatrième forme). Ces courbes sont caractérisées par un paramètre réel appelé excentricité.
Microsoft PowerPointMicrosoft PowerPoint est un logiciel de présentation édité par Microsoft. Il fait partie de la suite Microsoft Office. Microsoft PowerPoint fonctionne sous Windows et Mac OS. La version la plus récente est PowerPoint 2021. Elle fait partie de la suite Office 2021 et du service Microsoft 365. Depuis , l'application PowerPoint est disponible sur iPad, iPhone, Windows Phone et Android. Cela entre dans la logique « Office Mobile » de Microsoft de rendre ses logiciels disponibles sur le plus grand nombre de supports (ordinateurs, tablettes, smartphones).
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.
Microsoft OfficeMicrosoft Office est une suite bureautique propriété de la société Microsoft qui fonctionne avec les plates-formes fixes et mobiles. Elle s'installe sur ordinateur et fournit une suite de logiciels comme : Word, Excel, PowerPoint, OneNote, Outlook, Access et/ou Publisher selon les suites choisies. Microsoft Office propose une version web qui s'utilise directement en ligne depuis un navigateur web.
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.
Microsoft 365Microsoft 365, anciennement Office 365, est la marque désignant un abonnement à la dernière version de Microsoft Office et à un ensemble de services Cloud, par opposition aux licences dites perpétuelles qui s'installent pour une durée indéterminée sur un seul ordinateur à la fois. En mars 2023, le nombre d'abonnés à Microsoft 365 est de plus de 400 millions. Microsoft 365 est constitué de la suite Office (Word, Excel, PowerPoint, Outlook, OneNote, Publisher et Access), ainsi que d'un ensemble de services en ligne tels que OneDrive, Exchange Online, SharePoint Online, Teams et Yammer.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Disposition des touches d'un clavier de saisieLa disposition des touches d'un clavier de saisie permet de saisir les caractères de l'alphabet d'une langue sur une machine à écrire, un clavier d'ordinateur et sur certains appareils électroniques plus récents (téléphone portable, assistant personnel). La plupart des pays utilisent une ou plusieurs dispositions adaptées. Les dispositions de touches sont l'héritage des machines à écrire. Elles ont été adaptées aux claviers d'ordinateurs puis à d'autres périphériques.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
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.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
