Sciweavers

713 search results - page 20 / 143
» Saving Space by Algebraization
Sort
View
CIMCA
2008
IEEE
15 years 4 months ago
Space Based Architecture for Numerical Solving
A strategy for the analytical solving of ordinary differential equations and a first implementation of it based on mobile agent community, using jini javaspace framework, are pre...
Cyril Dumont, Fabrice Mourlin
FPLE
1995
15 years 1 months ago
Explaining Algebraic Theory with Functional Programs
Abstract. A hierarchy of six important structures from abstract algebra (groups, rings, fields etc.) is introduced as Gofer class definitions and laws about them. Many instance d...
Jeroen Fokker
STACS
1995
Springer
15 years 1 months ago
The Number of Views of Piecewise-Smooth Algebraic Objects
Abstract. A solid object in 3-dimensional space may be described by a collection of all its topologically distinct 2-dimensional appearances, its aspect graph. In this paper, we st...
Sylvain Petitjean
ENTCS
2006
127views more  ENTCS 2006»
14 years 10 months ago
Process Algebraic Non-product-forms
A generalization of the Reversed Compound Agent Theorem of Markovian process algebra is derived that yields separable, but non-product-form solutions for collections of interactin...
Peter G. Harrison
ENTCS
2008
124views more  ENTCS 2008»
14 years 9 months ago
Stability for Effective Algebras
We give a general method for showing that all numberings of certain effective algebras are recursively equivalent. The method is based on computable approximation-limit pairs. The...
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tuc...