Sciweavers

1296 search results - page 66 / 260
» The Number Field Sieve
Sort
View
SIAMAM
2008
89views more  SIAMAM 2008»
15 years 5 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
15 years 9 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»
16 years 7 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»
15 years 7 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»
15 years 4 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...