622 search results - page 12 / 125 » Interactive geometry remeshing |
111
Voted
CPHYSICS
2004
15 years 2 months ago
2004
We test the standard edge plasma code B2-solps5.0 on a model First-Wall Limiter (FWL) geometry. The presence of a tangency point between the solid wall and the magnetic separatrix...
136
Voted
CSL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
140
Voted
MSCS
2007
15 years 2 months ago
2007
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
SI3D
2006
ACM
15 years 8 months ago
2006
ACM
102
Voted
GRAPHITE
2005
ACM
15 years 8 months ago
2005
ACM