Sciweavers

1399 search results - page 38 / 280
» Multi-party Finite Computations
Sort
View
DGCI
2000
Springer
14 years 2 months ago
A New Means for Investigating 3-Manifolds
The paper presents a new method of investigating topological properties of three-dimensional manifolds by means of computers. Manifolds are represented as finite cell complexes. Th...
Vladimir Kovalevsky
FIMH
2007
Springer
14 years 4 months ago
Open-Source Environment for Interactive Finite Element Modeling of Optimal ICD Electrode Placement
Placement of Implantable Cardiac Defibrillator (ICD) leads in children and some adults is challenging due to anatomical factors. As a result, novel ad hoc non-transvenous implant t...
Matthew Jolley, Jeroen Stinstra, David M. Weinstei...
CORR
2008
Springer
113views Education» more  CORR 2008»
13 years 10 months ago
A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
Paul Tarau
SIAMSC
2008
167views more  SIAMSC 2008»
13 years 9 months ago
New Finite Elements for Large-Scale Simulation of Optical Waves
We present a new method to simulate optical waves in large geometries. This method is based on newly developed finite elements, so-called Trigonometric Finite Wave Elements (TFWEs)...
Britta Heubeck, Christoph Pflaum, Gunther Steinle
IPPS
2008
IEEE
14 years 4 months ago
A parallel implementation of the Finite-Domain Time-Difference algorithm using MPJ express
This paper presents and evaluates a parallel Java implementation of the Finite-Difference Time-Domain (FDTD) method, which is a widely used numerical technique in computational el...
Aamir Shafi, Aftab Hussain, Jamil Raza