(i) A study of the fluids in simple flow situations, such as those found in Rheometry. (ii) The construction of suitable constitutive equations for the non-Newtonian fluids under test. (iii) The use of these constitutive equations in the prediction of behavior in complex flows of practical importance. (iv) An experimental study of the behavior of non-Newtonian fluids in the complexflow situatio...

In this paper, a review of different techniques used to measure the slip length on superhydrophobic surfaces with large slip length is presented. First, we present the theoretical models used to calculate the effective slip length on superhydrophobic surfaces in different configurations of liquid flow. Then, we present the different techniques used to measure the slip past these superhydrophobi...

We prove the confluence and strong normalization properties for second order lambda calculus equipped with an expansive version of -reduction. Our proof technique, based on a simple abstract lemma and a labelled -calculus, can also be successfully used to simplify the proofs of confluence and normalization for first order calculi, and can be applied to various extensions of the calculus present...

We present a general method for constructing extensional models for the Girard-Reynolds polymorphic lambda calculus the polymorphic extensional collapse. The method yields models that satisfy additional, computationally motivated constraints like having only two polymorphic booleans and having only the numerals as polymorphic integers. Moreover, the method can be used to show that any simply ty...

A standard Instron testing machine, in which crosshead displacement varies linearly with time was modified so that crosshead displacement varies exponentially with time. This change permits testing at constant Hencky strain rate (c = fi/8), which provides a constant stretch history for both simple extensional flow and strip biaxial extensional flow. This results in a visualization of the steady...