#### Submissions from 1994

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

General contact-angle conditions with and without kinetics, Sigurd B. Angenent and Morton E. Gurtin

Linearly induced mappings between cones of quadratic forms, Ray E. Artz and W Noll

Linearly Induced Mappings between Cones of Quadratic Forms, Ray E. Artz and Walter Noll

Relaxation of bulk and interfacial energies, Ana Cristina. Barosso

Maxwell equations in a nonlinear Kerr medium, Oscar P. Bruno and Fernando Reitich

Numerical solution of diffraction problems : a method of variation of boundaries., Oscar P. Bruno and Fernando Reitich

Phase field computations of single-needle crystals, crystal growth and motion by mean curvature, G Caginalp and Eduardo Socolovsky

On the kinematics of incoherent phase transitions, Paolo Cermelli and Morton E. Gurtin

On the Lavrentiev phenomenon for autonomous second order integrands, Chih-Wen Cheng and Victor J. Mizel

A nonlinear elliptic equation arising from gauge field theory and cosmology, X Chen

Perfect matchings in random r-regular, s-uniform hypergraphs, Colin Cooper

Structured deformations of continua, G Del Piero and David R. Owen

Finite element methods for the time-dependent Ginzburg-Landau model of superconductivity, Qiang Du

The critical temperature and gap solution in the Bardeen-Cooper-Schrieffer theory of superconductivity, Qiang Du and Yisong Yang

Approximately counting Hamilton paths and cycles in dense graphs, Martin Dyer, Frieze, and Jerrum

Deducing strings from sub-string counts : a problem in computational biology, Martin Dyer, Frieze, and Stephen Suen

Local invertibility of Sobolev functions, Irene Fonseca and Wilfrid Gangbo

Energy functionals depending on elastic strain and chemical composition, Irene Fonseca, David Kinderlehrer, and Pedregal

Relaxation in BV x L[infinity] of functionals depending on strain and composition, Irene Fonseca, David Kinderlehrer, and Pedregal

Dynamic solid-solid transitions with phase characterized by an order parameter, Eliot Fried and Morton E. Gurtin

Semi-quadratic variational problems for multiphase equilibria, Eliot Fried and Morton E. Gurtin

Sampling from log-concave distributions, Frieze, Ravi Kannan, and Nicholas G. Polson

Covering the edges of a random graph by cliques, Frieze and Bruce A. Reed

On the complexity of computing the diameter of a polytope, Frieze and Shang-Hua Teng

Fractional derivatives and smoothing in nonlinear conservation laws, G Gripenberg and Stig-Olof Londen

Planar motion of an anisotropic interface, Morton E. Gurtin

Thermomechanics and the formulation of the Stefan problem for fully faceted interfaces, Morton E. Gurtin and Jose Matias

Geometric singularities for solutions of single conservation laws, Shyuichi Izumiya and Georgios T. Kossioris

Semi-local classification of geometric singularities for Hamilton-Jacobi equations, Shyuichi Izumiya and Georgios T. Kossioris

Mathematical approaches to the study of smart materials, Richard D. James and David Kinderlehrer

Theory of magnetostriction with applications to TbxDy1-xFe2, Richard D. James and David Kinderlehrer

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

Spurious oscillations in computing microstructures, David Kinderlehrer, Roy A. Nicolaides, and Han Wang

The elementary defects of the Oseen-Frank energy for a liquid crystal, David Kinderlehrer, Noel Walkington, and Biao Ou

A unifying principle for extensional higher-order logic, Kohlhase

Computation of magnetostrictive materials, Ling Ma

On algorithms for non-convex optimization, Ling Ma and Noel Walkington

Mathematical Structures of Special Relativity, Vincent J. Matsko and Walter Noll

On distribution functions of the derivatives of weakly differentiable mappings, Victor J. Mizel

Ginzburg-Landau equation and motion by mean curvature., H. Mete. Soner

Ginzburg-Landau equation and motion by mean curvature., H. Mete. Soner

Cotopological completions and hulls of concrete categories, Oswald Wyler

Fuzzy logic and categories of fuzzy sets, Oswald Wyler

The existence of Ginzburg-Landau solution on the plane by a direct variational method, Yisong Yang

#### Submissions from 1992

Workshop on shear bands : March 23-25, 1992 (abstracts)

On "multibump" bound states for certain semilinear elliptic equations, Stanley Alama and Yan Yan. Li

On semilinear elliptic equations with indefinite nonlinearities, Stanley Alama and Gabriella Tarantello

Measures on the random graph, Michael H. Albert

On the propagation of singularities of semi-convex functions, I Ambrosio, Piermarco Cannarsa, and H. Mete. Soner

H-measures applied to symmetric systems, N Antonic╠ü

Memory effects in homogenisation linear second order equation, N Antonic╠ü

Front propagation and phase field theory, Guy Barles, H. Mete. Soner, and Panagiotis E. Souganidis

Anisotropic singular perturbations : the vectorial case, Ana Cristina. Barroso and Irene Fonseca

Constitutive laws for pseudo-elastic materials, Deborah Brandon and Robert C. Rogers

Near-perfect token distribution, Andrei Zary. Broder

Existence and construction of edge disjoint paths on expander graphs, Andrei Zary. Broder, Frieze, and Eli Upfal

On the slow dynamics for the Cahn-Hilliard equation in one space dimension, Lia Bronsard and Danielle Hilhorst

On three-phase boundary motion and the singular limit of a vector-valued Ginzburg-Landau equation, Lia Bronsard and Fernando Reitich

Approximation of analytic functions : a method of enhanced convergence, Oscar P. Bruno and Fernando Reitich

Numerical solution of diffraction problems : a method of variation of boundaries., Oscar P. Bruno and Fernando Reitich

A dynamic programming approach to nonlinear boundary control problems of parabolic type, Piermarco Cannarsa, Fausto Gozzi, and H. Mete. Soner

On key storage in secure networks, Martin Dyer

On the size of a random maximamal [sic] graph, Erdo╠és, Stephen Suen, and P Winkler

Relaxation of quasiconvex functionals in B V (Ω, p) for integrands f(x,u,Δu), Irene Fonseca and Stefan Mu╠êller

On the independence number of random cubic graphs, Frieze

When is the assignment bound tight for the asymmetric traveling-salesman problem?, Frieze, Richard M. Karp, and Bruce Reed

Multicolored trees in random graphs, Frieze and Brendan D. McKay

Analysis of two simple heuristics on a random instance of k-SAT, Frieze and Stephen Suen

On the weak lower semicontinuity of energies with polyconvex integrands, Wilfrid Gangbo

Infinite homogeneous bipartite graphs with unequal sides, Martin Goldstern, Rami Grossberg, and Menachem Kojman

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

Thermodynamics and the supercritical Stefan equations with nucleations, Morton E. Gurtin

The continuum mechanics of coherent two-phase elastic solids with mass transport, Morton E. Gurtin and Peter W. Voorhees

Generalized motion by mean curvature with Neumann conditions and the Allen-Cahn model for phase transitions, Markos Katsoulakis, Georgios T. Kossioris, and Fernando Reitich

Some methods of analysis in the study of microstructure, David Kinderlehrer

Remarks about gradient Young measures generated by sequences in Soblev [i.e., Sobolev] spaces, David Kinderlehrer and Pedregal

Computation of microstructure utilizing Young measure representations, Roy A. Nicolaides and Noel Walkington

Strong convergence of numerical solutions to degenerate variational problems, Roy A. Nicolaides and Noel Walkington

The geometry of contact, separation and reformation of continuous bodies, W Noll

Isocategories and Tensor Functors, Walter Noll

Isocategories and tensor functors, Walter Noll

Monoids, Walter Noll

Shear bands as discontinuities, W. E. Olmstead, S Nemat-Nasser, and L Ni

Deformations and stresses with and without microslip, David R. Owen

Deformations and stresses with and without microslip, David R. Owen

A Gronwall inequality for weakly Lipschitzian mappings, David R. Owen, Jack Schaeffer, and Keming Wang

Jensen's inequality in the calculus of variations, Pedregal

Singularities and uniqueness of cylindrically symmetric surfaces moving by mean curvature, H. Mete. Soner and Panagiotis E. Souganidis

Cosmic string solutions of the Einstein-matter-gauge equations, Joel Spruck and Yisong Yang

Simply typed λ calculus with surjective pairing, Richard Statman

Energy minimization and the formation of microstructure in dynamic anti-plane shear, Pieter J. Swart and Holmes

Multiplicity results for an inhomogeneous Neumann problem with critical exponent, Gabriella Tarantello