18429 search results - page 238 / 3686 » Typing dynamic typing |
150
click to vote
AMCS
2007
15 years 6 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...
199
click to vote
BMCBI
2007
2007
Application of amino acid occurrence for discriminating different folding types of globular proteins
15 years 6 months ago
Background: Predicting the three-dimensional structure of a protein from its amino acid sequence is a long-standing goal in computational/molecular biology. The discrimination of ...
144
click to vote
CORR
2008
Springer
15 years 6 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 ...
183
click to vote
CORR
2008
Springer
2008
Springer
Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell
15 years 6 months ago
This paper is an exploration in a functional programming framework of isomorphisms between elementary data types (natural numbers, sets, finite functions, permutations binary deci...
266
click to vote
LMCS
2006
15 years 6 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 ...