12459 search results - page 70 / 2492 » cans 2006 |
JSW
2006
13 years 9 months ago
2006
Abstract-- This paper describes a technique combining higher order functions, algebraic datatypes, and monads to incrementally implement syntax driven logics. Extensions can be com...
JCC
2002
13 years 8 months ago
2002
: A new method for the characterization of molecules based on the model approach of molecular surfaces is presented. We use the topographical properties of the surface as well as t...
JSC
2006
13 years 9 months ago
2006
In this paper we give formulas for performing row reduction of a matrix of Ore polynomials in a fraction-free way. The reductions can be used for finding the rank and left nullspa...
FUIN
2002
13 years 8 months ago
2002
Abstract. In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired by some basic features of living cells: trans...
MOR
2007
13 years 8 months ago
2007
A discrete-time financial market model is considered with a sequence of investors whose preferences are described by utility functions Un defined on the whole real line. It is s...