Sciweavers

3670 search results - page 379 / 734
» Linear Recursive Functions
Sort
View
ENTCS
2008
90views more  ENTCS 2008»
15 years 6 months ago
Quantum Data and Control Made Easier
In this paper we define nQML, a functional quantum programming language that follows the "quantum data and control" paradigm. In comparison to Altenkirch and Grattage�...
Michael Lampis, Kyriakos G. Ginis, Michalis A. Pap...
ENTCS
2006
118views more  ENTCS 2006»
15 years 6 months ago
Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields
This paper extends the domain theoretic method for solving initial value problems, described in [8], to unbounded vector fields. Based on a sequence of approximations of the vecto...
Abbas Edalat, Dirk Pattinson
JGTOOLS
2008
98views more  JGTOOLS 2008»
15 years 6 months ago
Efficient GPU-Based Texture Interpolation using Uniform B-Splines
Abstract. This article presents uniform B-spline interpolation, completely contained on the graphics processing unit (GPU). This implies that the CPU does not need to compute any l...
Daniel Ruijters, Bart M. ter Haar Romeny, Paul Sue...
JSCIC
2006
92views more  JSCIC 2006»
15 years 6 months ago
Moving Mesh Discontinuous Galerkin Method for Hyperbolic Conservation Laws
In this paper, a moving mesh discontinuous Galerkin (DG) method is developed to solve the nonlinear conservation laws. In the mesh adaptation part, two issues have received much a...
Ruo Li, Tao Tang
EOR
2007
159views more  EOR 2007»
15 years 6 months ago
Solving the semi-desirable facility location problem using bi-objective particle swarm
In this paper, a new model for the semi-obnoxious facility location problem is introduced. The new model is composed of a weighted minisum function to represent the transportation...
Haluk Yapicioglu, Alice E. Smith, Gerry V. Dozier