The importance of clarifying the goals of a cryptographic protocol is widely recognised. The majority of authors have addressed intensional goals which are concerned with correct operation within the protocol itself. Extensional goals are properties independent of the protocol and deene what the protocol is designed to achieve. This paper reviews the previous literature on goals in protocols an...

This study examines the effect of discretization schemes for the convection term in the constitutive equation on numerical solutions of viscoelastic fluid flows. For this purpose, a temporally evolving mixing layer, a two-dimensional vortex pair interacting with a wall, and a fully developed turbulent channel flow are selected as test cases, and eight different discretization schemes are consid...

It is well known that the extensional axiom of choice (ACext) implies the law of excluded middle (EM). We here prove that the converse holds as well if we have the intensional (‘type-theoretical’) axiom of choice ACint, which is provable in Martin-Löf’s type theory, and a weak extensionality principle (Ext−), which is provable in Martin-Löf’s extensional type theory. In particular, EM ⇔ ACext h...

Alluvial slopes are piedmonts characterized by parallel steam channels rather than alluvial fans. They are common landforms in extensional basins of the south-western United States but have received little attention from geomorphologists or sedimentologists. Persistence of channellized flow across piedmonts, as opposed to sheetflooding due to loss of flow confinement on alluvialfan surfaces, di...

We investigate a variety of different polymer solutions in shear and elongational flow. The shear flow is created in the cone-plate-geometry of a commercial rheometer. We use capillary thinning of a filament that is formed by a polymer solution in the Capillary Breakup Extensional Rheometer (CaBER) as an elongational flow. We compare the relaxation time and the elongational viscosity measured i...

Mesozoic strata in the Cowhole Mountains, eastern Mojave block California, include 200–800 m of eolian quartz arenite (Aztec Sandstone) overlain by more than 575 m of silicic ignimbrites, lava flows, and minor sedimentary rocks (Cowhole volcanics). U-Pb zircon geochronologic data on a crystal-rich dacite lava flow in the Aztec Sandstone indicate that the sandstone is Middle Jurassic and is ther...

Combining extensional rheology with in-situ synchrotron ultrafast x-ray scattering, we studied flow-induced phase behaviors of polyethylene (PE) in a wide temperature range up to 240 °C. Non-equilibrium phase diagrams of crystallization and melting under flow conditions are constructed in stress-temperature space, composing of melt, non-crystalline δ, hexagonal and orthorhombic phases. The non-...

We introduce a new particle shape which shows preferential rotation in three dimensional homogeneous isotropic turbulence. We call these particles chiral dipoles because they consist of a rod with two helices of opposite handedness, one at each end. 3D printing is used to fabricate these particles with a length in the inertial range and their rotations are tracked in a turbulent flow between os...

In this work, we optimise microfluidic converging/diverging geometries in order to produce constant strain-rates along the centreline of the flow, for performing studies under homogeneous extension. The design is examined for both two-dimensional and three-dimensional flows where the effects of aspect ratio and dimensionless contraction length are investigated. Initially, pressure driven flows ...