The extensional collapse of the Scandinavian Caledonides resulted in rapid tectonic denudation of the orogen, exhumation of highand ultra-high-pressure metamorphic rocks and provided a structural template for the formation of Devonian supra-detachment sedimentary basins. The geometry and intensity of the extensional deformation show considerable variation vertically in the crustal section as we...

In the discipline of non-Newtonian materials, the ability to control viscoelastic stresses is very desirable in ascertaining important properties of the influenced materials. We apply the nonlinear geometric control theory to examine the controllability of various popular constitutive models with imposed homogeneous extensional flow. The subsequent constitutive laws considered here include the ...

A novel rheometry termed ultrasonic spinning (USR) is overviewed in this paper. This methodology utilizes velocity profiling as a representative velocimetry for various complex fluids including multi-phase state. The USR determines optimal properties from cost function which calculated both equation of motion and constitutive test by substituting the measured profiles. Various examples are expl...

Extensional higher-order logic programming has been recently proposed as an interesting extension of classical logic programming. An important characteristic of the new paradigm is that it preserves all the well-known properties of traditional logic programming. In this paper we enhance extensional higher-order logic programming with constructive negation. We argue that the main ideas underlyin...

Query processing in global information systems integrating multiple heterogeneous sources is a challenging issue in relation to the effective extraction of information available on-line. In this report we delineate the functional specifications of a query manager in the context of a data integration, wrapper/mediator based system, the MOMIS system. The developed techniques rely on the availabil...