Sciweavers

1296 search results - page 66 / 260
» The Number Field Sieve
Sort
View
SIAMAM
2008
89views more  SIAMAM 2008»
13 years 10 months ago
An Interaction Theory for Scattering by Defects in Arrays
Wave scattering by an array of bodies that is periodic except for a finite number of missing or irregular elements is considered. The field is decomposed into contributions from a...
I. Thompson, C. M. Linton
TYPES
2000
Springer
14 years 1 months ago
Constructive Reals in Coq: Axioms and Categoricity
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...
Herman Geuvers, Milad Niqui
VIS
2008
IEEE
121views Visualization» more  VIS 2008»
14 years 11 months ago
Direct Volume Editing
In this work we present basic methodology for interactive volume editing on GPUs, and we demonstrate the use of these methods to achieve a number of different effects. We present f...
Kai Bürger, Jens Krüger, Rüdiger Westermann
VMV
2008
190views Visualization» more  VMV 2008»
13 years 11 months ago
GPU-Based Streamlines for Surface-Guided 3D Flow Visualization
Visualizing 3D flow fields intrinsically suffers from problems of clutter and occlusion. A common practice to alleviate these issues is to restrict the visualization to feature su...
Markus Üffinger, Thomas Klein, Magnus Strenge...
TVCG
2010
114views more  TVCG 2010»
13 years 8 months ago
Topology-Aware Evenly Spaced Streamline Placement
—This paper presents a new streamline placement algorithm that produces evenly spaced long streamlines while preserving topological features of a flow field. Singularities and se...
Keqin Wu, Zhanping Liu, Song Zhang, Robert J. Moor...