نتایج جستجو برای: extensional rheometry
تعداد نتایج: 3817 فیلتر نتایج به سال:
How to approximate an arbitrary fuzzy subset by an adequate extensional one is a key question within the theory of Extensional Fuzzy Subsets. In a recent paper by the authors [19] different methods were provided to find good approximations. In this work these methods are compared in order to understand better the performance and improvement they give.
New Horizons images of Pluto's companion Charon show a variety of terrains that display extensional tectonic features, with relief surprising for this relatively small world. These features suggest a global extensional areal strain of order 1% early in Charon's history. Such extension is consistent with the presence of an ancient global ocean, now frozen.
We show how a well-known superposition-based inference system for first-order equational logic can be used almost directly for deciding satisfiability in various theories including lists, encryption, extensional arrays, extensional finite sets, and combinations of them. We also give a superposition-based decision procedure for homomorphism. 2003 Elsevier Science (USA). All rights reserved.
[1] The current structure of the South Armorican Domain in the French Variscan Belt, provides an excellent record of the late orogenic evolution, as documented by the complex interactions between extensional structures and partial melting. In the Golfe du Morbihan, the South Brittany Migmatite Belt (SBMB), tectonically overlain by non‐melted metamorphic units, was studied by combined structural...
Pliocene and Quaternary tectonic structures mainly consisting of segmented northwest–southeast normal faults, and associated seismicity in the central Betics do not agree with the transpressive tectonic nature of the Africa–Eurasia plate boundary in the Ibero-Maghrebian region. Active extensional deformation here is heterogeneous, individual segmented normal faults being linked by relay ramps a...
A graph G is said to be a set graph if it admits an acyclic orientation that is also extensional, in the sense that the out-neighborhoods of its vertices are pairwise distinct. Equivalently, a set graph is the underlying graph of the digraph representation of a hereditarily finite set. In this paper, we continue the study of set graphs and related topics, focusing on computational complexity as...
The speciication language Z is based on classical logic and extensional set theory. These are mathematical choices which are largely independent of Z and its calculus of schemata. This paper explores the possibilities of replacing classical logic with intuitionistic logic and extensional set theory with intensional set theory, and some of the consequences of these changes for principles of prog...
We have prepared a viscous bicontinuous microemulsion consisting of water / [20 wt% POE-GIS + 30 wt% PEPTME + 47.5 wt% POE/POP-PDMS + 2.5 wt% OA)] / DMPS system. A pseudoternary phase diagram was constructed for the mixture, and the bicontinuous microemulsion phase was characterized by means of rheometry and freeze-fracture transmission electron microscopy (FF-TEM).
This paper presents a method to translate a proof in an extensional version of the Calculus of Constructions into a proof in the Calculus of Inductive Constructions extended with a few axioms. We use a specific equality in order to translate the extensional conversion relation into an intensional system.
We answer Klop and de Vrijer’s question whether adding surjective-pairing axioms to the extensional lambda calculus yields a conservative extension. The answer is positive. As a byproduct we obtain a “syntactic” proof that the extensional lambda calculus with surjective pairing is consistent.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید