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

14 years 11 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 »

103

click to vote

CSL
2005
Springer

106views Automated Reasoning» more CSL 2005»

Towards a Typed Geometry of Interaction

15 years 5 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 »

115

click to vote

MSCS
2007

125views more MSCS 2007»

On categorical models of classical logic and the Geometry of Interaction

14 years 11 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

15 years 5 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