Publication

The Definition of Transitive Closure with OCL: Limitations and Applications

Concepts associés (34)

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

Plastique renforcé de fibres

thumb|Cuves en plastique à renfort fibre de verre. thumb|Tissu fibre de verre/aramide (pour haute traction et compression). Un plastique renforcé de fibres ou polymère renforcé de fibres (en anglais, fibre-reinforced plastic ou FRP) est un matériau composite constitué d’une matrice polymère (appelée résine) renforcée par de fines fibres (souvent synthétiques) à haut module. La résine est généralement un polyester thermodurcissable, un époxyde, un vinylester, ou thermoplastique (polyamide...

Puits de pétrole

Un puits de pétrole est un équipement chargé d'extraire le pétrole brut du sous-sol, comprenant un puits d'exploitation et du matériel de pompage ainsi que des systèmes de contrôle et/ou sécurité. Généralement il est précédé d'un ou plusieurs « puits d'exploration » qui débouche sur un « puits d'appréciation » permettant d'estimer la quantité de pétrole qui pourra être extraite pendant la durée d'exploitation. Les premiers forages pétroliers connus aujourd'hui se situaient en Chine vers l’an 347.

Gettier problem

The Gettier problem, in the field of epistemology, is a landmark philosophical problem concerning the understanding of descriptive knowledge. Attributed to American philosopher Edmund Gettier, Gettier-type counterexamples (called "Gettier-cases") challenge the long-held justified true belief (JTB) account of knowledge. The JTB account holds that knowledge is equivalent to justified true belief; if all three conditions (justification, truth, and belief) are met of a given claim, then we have knowledge of that claim.

DataBase For Objects

db4o (database for objects) was an embeddable open-source object database for Java and .NET developers. It was developed, commercially licensed and supported by Actian. In October 2014, Actian declined to continue to actively pursue and promote the commercial db4o product offering for new customers. The term object-oriented database system dates back to around 1985, though the first research developments in this area started during the mid-1970s.