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).
Rock 'n' rollLe rock 'n' roll (rock and roll, rock & roll, rock'n'roll ou rock'n roll) est un genre musical populaire apparu aux États-Unis à la fin des années 1940. Il découle directement de styles musicaux tels que le gospel, le blues, le jazz, le boogie woogie, le jump blues, le rhythm and blues et la musique country. Alors que des éléments musicaux de ce qui allait devenir le rock'n'roll peuvent être entendus dans les disques de blues des années 1920 et dans les disques de country des années 1930, le genre n'a acquis son nom qu'en 1954.
Folk rockLe folk rock est un genre musical mêlant des éléments de musiques folk et rock. En son sens initial, le terme décrit un genre lancé aux États-Unis et au Royaume-Uni au milieu des années 1960. Pendant les années 1950 et 1960, la musique folk est renouvelée et jumelée grâce au mouvement rock 'n' roll de l'époque. Le genre est dit officiellement lancé par le groupe The Byrds, originaire de Los Angeles, qui jouera de la musique folk traditionnelle et de rock inspiré par les Beatles, et d'autres groupes britanniques.
Constraint logic programmingConstraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses. An example of a clause including a constraint is . In this clause, is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming. This clause states one condition under which the statement A(X,Y) holds: X+Y is greater than zero and both B(X) and C(Y) are true.
Charge (hydraulique)vignette|Variation des trois termes de la charge le long du coursier d'un moulin : la somme des termes reste constante de l'amont à l'aval, bien que leur part respective varie. jaune : énergie cinétique ; bleu : travail des forces de pression ; bistre foncé : énergie potentielle de pesanteur. En hydraulique, la charge est une grandeur homogène à une longueur (hauteur de la colonne d'eau dans un tube de Pitot). Cette grandeur est proportionnelle à l'énergie mécanique d'une molécule de fluide.
Béton armévignette|Armatures métalliques de renforcement du béton. vignette|« Cancer du béton » : lorsque le front de carbonatation atteint l'armature métallique, celle-ci est atteinte de rouille qui fait augmenter le volume de l'acier, conduisant à l'éclatement du béton d'enrobage, ce qui provoque des délaminations, ou comme ici des épaufrures qui mettent à nu les armatures oxydées. Le béton armé est un matériau composite constitué de béton et de barres d'acier alliant les propriétés mécaniques complémentaires de ces matériaux (bonne résistance à la compression du béton et bonne résistance à la traction de l'acier).
Constraint Handling RulesConstraint Handling Rules (CHR) is a declarative, rule-based programming language, introduced in 1991 by Thom Frühwirth at the time with European Computer-Industry Research Centre (ECRC) in Munich, Germany. Originally intended for constraint programming, CHR finds applications in grammar induction, type systems, abductive reasoning, multi-agent systems, natural language processing, compilation, scheduling, spatial-temporal reasoning, testing, and verification.
Rock chrétienLe rock chrétien est une forme de musique rock interprétée par des artistes et des groupes chrétiens et qui fait référence à des thèmes liés à la foi chrétienne. La plupart des groupes chrétiens sont liés aux labels de musique chrétienne contemporaine, mais certains artistes sont indépendants. Il y a plusieurs définitions de ce qui qualifie un groupe de «rock chrétien». Les groupes de rock chrétiens qui expriment explicitement leurs croyances et utilisent l'imagerie religieuse dans leurs textes, comme Servant, Third Day et Petra, ont tendance à être considérés comme faisant partie de l'industrie de la musique chrétienne contemporaine (CCM).
Programmation par contraintesLa programmation par contraintes (PPC, ou CP pour constraint programming en anglais) est un paradigme de programmation apparu dans les années 1970 et 1980 permettant de résoudre des problèmes combinatoires de grande taille tels que les problèmes de planification et d'ordonnancement. En programmation par contraintes, on sépare la partie modélisation à l'aide de problèmes de satisfaction de contraintes (ou CSP pour Constraint Satisfaction Problem), de la partie résolution dont la particularité réside dans l'utilisation active des contraintes du problème pour réduire la taille de l'espace des solutions à parcourir (on parle de propagation de contraintes).
Suivi de chargeLe suivi de charge est, dans le domaine de la production d'électricité, la pratique qui consiste à faire varier la puissance de fonctionnement d'une centrale de façon à l'adapter aux variations de la demande des consommateurs : la centrale « suit » la charge, c'est-à-dire l'appel de puissance causé par la demande. Les centrales qui ont la capacité d'effectuer des suivis de charge sont dites pilotables, c'est-à-dire modulables ou dispatchables. Le centre de contrôle qui pilote ces centrales pour réaliser l'ajustement offre-demande d'électricité est appelé dispatching.
Problème de satisfaction de contraintesLes problèmes de satisfaction de contraintes ou CSP (Constraint Satisfaction Problem) sont des problèmes mathématiques où l'on cherche des états ou des objets satisfaisant un certain nombre de contraintes ou de critères. Les CSP font l'objet de recherches intenses à la fois en intelligence artificielle et en recherche opérationnelle. De nombreux CSP nécessitent la combinaison d'heuristiques et de méthodes d'optimisation combinatoire pour être résolus en un temps raisonnable.
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.
