Information om | Engelska ordet EXTENSIONAL

Exempel på hur man kan använda EXTENSIONAL i en mening

• Definitions can be classified into two large categories: intensional definitions (which try to give the sense of a term), and extensional definitions (which try to list the objects that a term describes).
• In plate tectonics, a divergent boundary or divergent plate boundary (also known as a constructive boundary or an extensional boundary) is a linear feature that exists between two tectonic plates that are moving away from each other.
• During the late stages of the Alpine Orogeny, as the African Plate collided with Eurasian Plate, Mesozoic extensional structures, such as the Weald Basin of southern England, underwent structural inversion.
• Type-theoretical foundations of mathematics are generally not extensional in this sense, and setoids are commonly used to maintain a difference between intensional equality and a more general equivalence relation (which generally has poor constructibility or decidability properties).
• 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.
• Simons clarifies something that is very difficult to determine by reading Leśniewski and his students, namely that Polish mereology is a first-order theory equivalent to what is now called classical extensional mereology (modulo choice of language).
• The Vosges Mountains in France were formed by isostatic uplift in response to the opening of the Rhine Graben, a major extensional basin.
• In geology, a rift is a linear zone where the lithosphere is being pulled apart and is an example of extensional tectonics.
• On the other hand, north–south extensional movements, yet unexplained, are pulling the plate apart, creating normal extensional faults and generating a parallel sequence of horsts and grabens, or rift valleys, running in a north–south direction.
• Nonlinear viscoelasticity also elucidates observed phenomena such as normal stresses, shear thinning, and extensional thickening in viscoelastic fluids.
• The UML specification explicitly states that associations in class models are extensional and this is in fact self-evident by considering the extensive array of additional "adornments" provided by the specification over and above those provided by any of the prior candidate "semantic modelling languages".
• In contrast, setoids may be used when a difference between identity and equivalence must be maintained, often with an interpretation of intensional equality (the equality on the original set) and extensional equality (the equivalence relation, or the equality on the quotient set).
• This volcanic formation was a result of crustal extensional rifting of the eastern Laurentian margin of the supercontinent Rodinia.
• Deciding on extensional equality is undecidable in general and even for functions with finite domains often intractable.
• The transition from compressional to extensional tectonics in the central Balkan Mts occurred around 6 million years ago, with the oldest lake sediments being Pliocene, possibly 3-5 million years old.
• During the Triassic, the central High Atlas extensional basin was characterized by the synrift deposition of red beds and localized evaporites capped by extensive basaltic lava flows.
• If arbitrary values are allowed in dependent types, then deciding type equality may involve deciding whether two arbitrary programs produce the same result; hence the decidability of type checking may depend on the given type theory's semantics of equality, that is, whether the type theory is intensional or extensional.
• The northern portion of Samarkand Sulci was found to consist of linear fractures, suggesting that rather than a compressional fold belt, the northern part of Samarkand Sulci may in fact be an extensional rift.
• Subsequent to the compressional regime back-arc extension of the Hellenic arc, the outer ring of islands, opened the Aegean Sea and initiated the extensional regime that is opening the Peloponnesus.
• Rheometry investigates materials in relatively simple flows like steady shear flow, small amplitude oscillatory shear, and extensional flow.

Förberedelsen av sidan tog: 321,25 ms.