Search Sciweavers | Sciweavers

622 search results - page 12 / 125

» Interactive geometry remeshing

click to vote

CPHYSICS
2004

93views more CPHYSICS 2004»

Modeling plasma-wall interactions in First Wall-Limiter geometry

13 years 7 months ago

Download staff.polito.it

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...

F. Subba, R. Zanino

claim paper

Read More »

click to vote

CSL
2005
Springer

106views Automated Reasoning» more CSL 2005»

Towards a Typed Geometry of Interaction

14 years 1 months ago

Download www.site.uottawa.ca

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...

Esfandiar Haghverdi, Philip J. Scott

claim paper

Read More »

click to vote

MSCS
2007

125views more MSCS 2007»

On categorical models of classical logic and the Geometry of Interaction

13 years 7 months ago

Download www.abdn.ac.uk

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...

Carsten Führmann, David J. Pym

claim paper

Read More »

click to vote

SI3D
2006
ACM

100views Computer Graphics» more SI3D 2006»

Interactive refraction on complex static geometry using spherical harmonics

14 years 1 months ago

$Interactive refraction on complex static geometry using spherical harmonics$

Download lsiit.u-strasbg.fr

Olivier Génevaux, Frédéric La...

claim paper