Extensional and transtensional continental arc basins preserve very thick, continuous sequences and are an important contributor to the growth of continents; therefore, it is important to understand how they evolve. In this chapter, I describe four continental arc basin types, using Mesozoic to Cenozoic case studies from the SW US: (1) early-stage, low-lying extensional; (2) early-stage, low-ly...

In this paper we present a revised formulation and a correctness proof of Yaghi’s [18] transformation algorithm from first-order extensional programs to intensional programs of nullary variables. The formal definition of the algorithm is a functional one, and its main difference from the one given in [18] is that if two expressions in the source program are identical, then they are assigned ide...

In order to study the effects of extensional viscosities on turbulent drag reduction, experimental studies using two-dimensional turbulence have been made. Anisotropic structures and variations of energy transfer induced by polymers are considered. Polyethyleneoxide and hydroxypropyl cellulose having different flexibility, which is due to different characteristics of extensional viscosity, are ...

We investigate several approaches to resolution based automated theorem proving in classical higher-order logic (based on Church’s simply typed λ-calculus) and discuss their requirements with respect to Henkin completeness and full extensionality. In particular we focus on Andrews’ higher-order resolution (Andrews 1971), Huet’s constrained resolution (Huet 1972), higher-order E-resolution, and ...

Active XML (AXML) documents combine extensional XML data with intentional data defined through Web service calls. The dynamic properties of these documents pose challenges to both storage and data materialization techniques. We present ARAXA, a non-intrusive approach to store AXML documents. It takes advantage of complex objects from object-relational DBMS to represent both extensional and inte...

This letter reports on the performances of a frequency-tunable lead-zirconate-titanate-transduced fully differential mechanically coupled high-overtone width-extensional filter. The demonstrated electric field tuning provides channel agility and bandwidth adjustability for the incorporation of analog spectral processors in modern radio receiver architectures. We designed and experimentally char...

the mechanism and the parameters affecting the matrix-fibril morphology in melt spun polyblend fibers are discussed. the properties of polymeric blends depend considerably on their final morphologies. blending of two miscible polymers, normally gives rise to formation of a single-phase morphology while blending of two immiscible polymers can create a two or three (in case of using compatibilize...

Graham Priest has recently proposed a solution to the problem of One and Many which involves inconsistent objects non-transitive identity relation. We show that his entails either object everything is identical with nothing or they are mutual parts; depending on whether goes for an extensional non-extensional mereology.

The complete phononic band gap (PnBG) of a phononic crystal (PnC) slab is used to efficiently and simultaneously confine both flexural and extensional (longitudinal) elastic vibrations in a resonator. The PnC structure is fabricated by etching a hexagonal (honeycomb) array of air holes in a silicon (Si) slab. Flexural and extensional acoustic modes in the structure are directly excited by a pie...

Linear dependent types [8] allow to precisely capture both the extensional behaviour and the time complexity of λ-terms, when the latter are evaluated by Krivine’s abstract machine. In this work, we show that the same paradigm can be applied to call-by-value evaluation. A system of linear dependent types for Plotkin’s PCF is introduced, called dlPCFV, whose types reflect the complexity of evalu...