#### Submissions from 1996

On the radius-edge condition in the control volume method, Gary L. Miller

On the ubiquity of fracture in nonlinear elasticity, Victor J. Mizel

Dynamics of labyrinthine pattern formation in magnetic fluids : a mean-field theory, Felix Otto

Structured deformations and the refinements of balance laws induced by microslip, David R. Owen

An elementary proof of the fundamental property of a perfect gas, David R. Owen and Pedregal

The simplex algorithm for linear programming is of polynomial complexity, Roger N. Pederson

An effective one-step Church-Rosser strategy for combinators, Richard Statman

An effective one-step hyperperpetual reduction strategy for combinators, Richard Statman

Effective reduction and conversion strategies for combinators, Richard Statman

On Cartesian monoids, Richard Statman

An induction measure on λ-terms and its applications, Hongwei Xi

On weak and strong normalisations, Hongwei Xi

Upper bounds for standardisations and an application, Hongwei Xi

#### Submissions from 1995

TPS : a theorem proving system for classical type theory, P. B.(Peter Bruce) Andrews

Characterizations of the finite cover property and stability, John T. Baldwin, Rami Grossberg, and Saharon Shelah

A change of variables formula for mappings in BV, Rustum Choksi and Irene Fonseca

A new variational method for crystals with defects, Rustum Choksi and Irene Fonseca

Risk-sensitive and robust escape criteria, Paul Dupuis and William M. McEneaney

Variational techniques for problems in materials sciences, Irene Fonseca

Regularity results for anisotropic image segmentation models, Irene Fonseca and Nicola Fusco

Relaxation of multiple integrals in Sobolev spaces below the growth exponent for the energy density, Irene Fonseca and Jan Maly╠ü

A phase-field theory for solidification based on a general anisotropic sharp-interface theory with interfacial energy and entropy, Eliot Fried and Morton E. Gurtin

Dynamical theories of electromagnetism and superconductivity based on gauge invariance and energy, Morton E. Gurtin

Configurational forces and the basic laws for crack propagation, Morton E. Gurtin and Paolo Podio-Guidugli

Two-phase binary fluids and immiscible fluids described by an order parameter, Morton E. Gurtin, Debra Polignone, and Jorge Vinals

Lower bounds for generalized Ginzburg-Landau functionals, Robert L. Jerrard

Dynamics of Ginzburg-Landau vortices, Robert L. Jerrard and H. Mete. Soner

Scaling limits and regularity results for a class of Ginzburg-Landau systems, Robert L. Jerrard and H. Mete. Soner

An extended variational principle, Richard Jordan

Maximum entropy states and coherent structures in two-dimensional microtearing turbulence, Richard Jordan

Ideal magnetofluid turbulence in two dimensions, Richard Jordan and Bruce Turkington

Maximum entropy states and coherent structures in magnetohydrodynamics, Richard Jordan and Bruce Turkington

The hysteric event in the computation of magnetization, David Kinderlehrer and Ling Ma

A proof of Shelah's theorem, Menachem Kojman

On universal graphs without cliques or without large bipartite graphs, Menachem Kojman

Representing embeddability as set inclusion, Menachem Kojman

The A,B,C of pcf : a companion to pcf theory., Menachem Kojman

A ZFC Dowker space in Nω+ 1 : an application of pcf theory to topology, Menachem Kojman and Saharon Shelah

There is a maximal homogeneous family over ω, Menachem Kojman and Saharon Shelah

Quasiconvexification in W 1,1 and optimal jump microstructure in BV relaxation, Christopher J. Larsen

Partial regularity of the dynamic system modeling the flow of liquid crystals, Fanghua Lin and Chun Liu

Numerical methods for a nonconvex optimization problem modeling martensitic phase transitions, Roy A. Nicolaides, Noel Walkington, and Han Wang

On material frame-indifference, W Noll

The chain rule for higher derivatives, Walter Noll

The Chain Rule for Higher Derivatives, Walter Noll

The Conceptual Infrastructure of Mathematics, Walter Noll

Behavior at a corner for solutions of the one dimensional heat equation, Roger N. Pederson

New results in the simplex method in linear programming, Roger N. Pederson

Runge-Kutta approximations of arbitrary order for y'= f(x,y), Roger N. Pederson

Coexistent phases in nonlinear thermoelasticity : radially symmetric equilibrium states of aelotropic bodies, Mikhail M. Shvartsman and S. S.(Stuart S.) Antman

Hyperbases exist, Richard Statman

There is an effective one-step cofinal reduction strategy for combinators, Richard Statman

Beyond Young measures, Luc Tartar

Remarks on the homogenization method in optimal design problems, Luc Tartar

On numerical approximation of non-convex variational problems using stochastic optimization algorithm, Aurelija Trgo and Noel Walkington

A relation between Shannon-Weaver entropy and "theoretical dimension" for classes of smooth functions, Aurelija Trgo and Mladen Victor. Wickerhauser

#### Submissions from 1994

Level set approach to mean curvature flow in arbitrary codimension, Luigi Ambrosio and H. Mete. Soner

TPS : a theorem proving system for classical type theory, P. B.(Peter Bruce) Andrews

Volume preserving mean curvature flow as a limit of a nonlocal Ginzburg-Landau equation, Lia Bronsard and Barbara Stoth

On a gap phenomenon for isoperimetrically constrained variational problems, Giuseppe Buttazzo and Victor J. Mizel

The dynamics of solid-solid phase transitions., Paolo Cermelli and Morton E. Gurtin

Uniqueness of the positive radial solution on an annulus of the Dirichlet problem for Δu - u + u3 = 0, C. V.(Charles Vernon) Coffman

Integral-gradient formulae for structured deformations, G Del Piero and David R. Owen

Young measure solutions for a nonlinear parabolic equation of forward-backward type, Sophia Demoulini

The effect of applied loads on the magnetostrictive response of a Terfenol-D-type material : a micromagnetic analysis, Antonio DeSimone

Ordering clone libraries in computational biology, Martin Dyer, Frieze, and Stephen Suen

Relaxation of multiple integrals in subcritical Sobolev spaces, Irene Fonseca

Dynamics and oscillatory microstructure in a model of displacive phase transformations, Irene Fonseca, Deborah Brandon, and Pieter J. Swart

Relaxation in BV versus quasiconvexification in W1,p : a model for the interaction between fracture and damage, Irene Fonseca and Gilles Francfort

Γ-convergence, minimizing movements and generalized mean curvature evolution, Irene Fonseca and Markos Katsoulakis

Fourth order moments of nonnegative measures on S² and applications, Gilles Francfort, Franc╠ºois Murat, and Luc Tartar

Dynamics as a mechanism preventing the formation of finer and finer microstructure, G Friesecke and J. B. McLeod

Perfect matchings in random s-uniform hypergraphs, Frieze and Svante Janson

Improved approximation algorithms for MAX k-CUT and MAX BISECTION, Frieze and Jerrum

A comparison theorem for crystalline evolution in the plane, Yoshikazu Giga and Morton E. Gurtin

Universal bridge free graphs, Martin Goldstern and Menachem Kojman

The volume preserving motion by mean curvature as an asymptotic limit of reaction diffusion equations, Dmitry Golovaty

Bounds and extremal microstructures for two-component composites : a unified treatment based on the translation method, Yury Grabovsky

Explicit solution of an optimal design problem with non-affine displacement boundary conditions, Yury Grabovsky

Microstructures minimizing the energy of a two phase elastic composite in two space dimensions., Yury Grabovsky and Robert V. Kohn

Microstructures minimizing the energy of a two phase elastic composite in two space dimensions., Yury Grabovsky and Robert V. Kohn

Generalized Ginzburg-Landau and Cahn-Hilliard equations based on a microforce balance, Morton E. Gurtin

Generalized phase field theories, Morton E. Gurtin

The nature of configurational forces, Morton E. Gurtin

The thermodynamics of evolving interfaces far from equilibrium, Morton E. Gurtin and P. W.(Peter W.) Voorhees

Singular limits of scalar Ginzburg-Landau equations with multiple-well potentials, Robert L. Jerrard

A statistical equilibrium model of coherent structures in magnetohydrodynamics, Richard Jordan

Computational hysteresis in modeling magnetic systems, David Kinderlehrer and Ling Ma

The simulation of hysteresis in nonlinear systems, David Kinderlehrer and Ling Ma

Homogeneous families and their automorphism groups, Menachem Kojman and Saharon Shelah

Low frequency expansions for two-dimensional interface scattering problems, Richard C. MacCamy

Geometry of Differentiable Manifolds, Walter Noll and Sea-Mean Chiou

Disarrangements in continua and the geometry of microstructure, David R. Owen

A necessary and sufficient condition that a non-degenerate linear constraint set be empty or contain a redundant constraint, Roger N. Pederson

Another look at the simplex method in linear programming, Roger N. Pederson

Three-phase boundary motions under constant velocities., Fernando Reitich and H. Mete. Soner

Nonlinear stability of flows of Jeffreys fluids at low Weissenberg numbers, Michael Renardy

Convergence of the phase field equations to the Mullins-Sekerka problem with kinetic undercooling, H. Mete. Soner

On the existence of n but not n+1 easy combinators, Richard Statman

Recursive types and the subject reduction theorem, Richard Statman