Publication

Louis I. Kahn, Exposed Concrete and Hollow Stones, 1949-1959

Concepts associés (19)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Norme et standard techniques

Une norme technique est un référentiel établi par un organisme de normalisation officiellement agréé par un État via une organisation nationale de standardisation (comme Afnor pour la France), agréé au niveau Européen (comme le CEN ou le ETSI), ou encore issu d'un traité international (comme ISO). Comme la langue anglaise ne marque pas la différence entre norme et standard (« norme » se dit « standard » en anglais), on parle pour les normes de standards de jure et pour les simples standards, de standards de facto.

Expression (mathématiques)

In mathematics, an expression or mathematical expression is a finite combination of symbols that is well-formed according to rules that depend on the context. Mathematical symbols can designate numbers (constants), variables, operations, functions, brackets, punctuation, and grouping to help determine order of operations and other aspects of logical syntax. Many authors distinguish an expression from a formula, the former denoting a mathematical object, and the latter denoting a statement about mathematical objects.

Living building material

A living building material (LBM) is a material used in construction or industrial design that behaves in a way resembling a living organism. Examples include: self-mending biocement, self-replicating concrete replacement, and mycelium-based composites for construction and packaging. Artistic projects include building components and household items. The development of living building materials began with research of methods for mineralizing concrete, that were inspired by coral mineralization.

Parsing expression grammar

In computer science, a parsing expression grammar (PEG) is a type of analytic formal grammar, i.e. it describes a formal language in terms of a set of rules for recognizing strings in the language. The formalism was introduced by Bryan Ford in 2004 and is closely related to the family of top-down parsing languages introduced in the early 1970s. Syntactically, PEGs also look similar to context-free grammars (CFGs), but they have a different interpretation: the choice operator selects the first match in PEG, while it is ambiguous in CFG.

Bladder stone

A bladder stone is a stone found in the urinary bladder. Bladder stones are small mineral deposits that can form in the bladder. In most cases bladder stones develop when the urine becomes very concentrated or when one is dehydrated. This allows for minerals, such as calcium or magnesium salts, to crystallize and form stones. Bladder stones vary in number, size and consistency. In some cases bladder stones do not cause any symptoms and are discovered as an incidental finding on a plain radiograph.

Lithiase urinaire

La lithiase urinaire (du grec lithos, pierre) est une maladie caractérisée par la formation de calculs (du latin calculus, caillou), c’est-à-dire des accrétions cristallines qui se forment, à partir de minéraux dissous dans l'urine, dans les voies urinaires : cavités rénales (calices et bassinet), uretères et vessie. La taille des calculs varie d'un grain de sable à celle d'une balle de golf. Les plus gros, dits « coralliformes », moulent l'intérieur du rein, ayant ainsi l'aspect de branches de corail.

Démonstration formelle

Une démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. La dernière proposition de la séquence est un théorème d'un système formel. La notion de théorème n'est en général pas effective, donc n'existe pas de méthode par laquelle nous pouvons à chaque fois trouver une démonstration d'une proposition donnée ou de déterminer s'il y en a une.

Spécification (norme technique)

vignette|Exemple de spécifications relatives à un appareil de sécurité. vignette|Plaque de tare d'un camion. Une spécification est un ensemble explicite d'exigences à satisfaire par un matériau, produit ou service. Si un matériau, produit ou service ne parviennent pas à satisfaire à une ou plusieurs des spécifications applicables, il peut être désigné comme étant hors spécification.

Algebraic expression

In mathematics, an algebraic expression is an expression built up from constant algebraic numbers, variables, and the algebraic operations (addition, subtraction, multiplication, division and exponentiation by an exponent that is a rational number). For example, 3x2 − 2xy + c is an algebraic expression. Since taking the square root is the same as raising to the power 1/2, the following is also an algebraic expression: An algebraic equation is an equation involving only algebraic expressions.