3690 search results - page 603 / 738 » Computation with classical sequents |
RSA
2010
14 years 8 months ago
2010
Polygon spaces like Mℓ = {(u1, · · · , un) ∈ S1 × · · · S1 ; n i=1 liui = 0}/SO(2) or they three dimensional analogues Nℓ play an important rle in geometry and topolo...
SIAMAM
2010
14 years 8 months ago
2010
Above the critical temperature for the order-disorder transition, diblock copolymer melts have been observed to exhibit localized structures that exist within the homogeneous mixtu...
SIAMAM
2010
14 years 8 months ago
2010
Abstract. We present a mathematical model for a study of the mechanical properties of endovascular stents in their expanded state. The model is based on the theory of slender curve...
SIAMAM
2010
14 years 8 months ago
2010
A model equation for gravity-capillary waves in deep water is proposed. This model is a quadratic approximation of the deep water potential flow equations, and has wavepacket-type...
SIAMCOMP
2010
14 years 8 months ago
2010
Let G = (V, E) be a weighted undirected graph having non-negative edge weights. An estimate ˆδ(u, v) of the actual distance δ(u, v) between u, v ∈ V is said to be of stretch t...