Submissions from 1996
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 Malý
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
Convergence of the two-phase Stefan problem to the one-phase problem, Barbara Stoth
Remarks on optimal design problems, Luc Tartar
Remarks on some interpolation spaces, Luc Tartar
Monodromy matrix for linear difference operators with almost constant coefficients, Aurelija Trgo
Algorithms for computing motion by mean curvature, Noel Walkington
Submissions from 1993
Lower semicontinuity problems in Sobolev spaces with respect to a measure, Luigi Ambrosio, Giuseppe Buttazzo, and Irene Fonseca