31686 search results - page 246 / 6338 » Resource typing in Guru |
AMCS
2007
13 years 11 months ago
2007
We study a new Hermite type interpolating operator arising in a semi-lagrangian scheme for solving the Vlasov equation. Numerical results on uniform and adaptive grid are shown and...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Periodic-finite-type shifts (PFT's) form a class of sofic shifts that strictly contains the class of shifts of finite type (SFT's). In this paper, we investigate how the ...
LMCS
2006
13 years 10 months ago
2006
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps ...
AMC
2005
13 years 10 months ago
2005
The power hazard function is defined by h(t) = atk . In this investigation, we use the least squares type estimation to estimate the parameter a when k is known, the parameter k w...
CORR
2004
Springer
13 years 10 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...