3145 search results - page 9 / 629 » Algebraic Linear Orderings |
FOSSACS
2004
Springer
14 years 22 days ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
ADCM
2004
13 years 7 months ago
2004
We give an algebraic interpretation of the well
SIAMSC
2010
13 years 5 months ago
2010
This paper develops a nested iteration algorithm to solve time-dependent nonlinear systems of partial differential equations. For each time step, Newton’s method is used to form...
SOFSEM
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Since its very beginning, linear algebra is a highly algorithmic subject. Let us just mention the famous Gau
PODS
2005
ACM
14 years 7 months ago
2005
ACM
We show that any expression of the relational division operator in the relational algebra with union, difference, projection, selection, constant-tagging, and joins, must produce ...