Sciweavers

806 search results - page 2 / 162
» Algebraic Structures of B-series
Sort
View
DSOM
2003
Springer
13 years 10 months ago
On the Algebraic Structure of Convergence
Abstract. Current self-healing systems are built from “convergent” actions that only make repairs when necessary. Using an algebraic model of system administration, we challeng...
Alva L. Couch, Yizhan Sun
SLOGICA
2011
12 years 11 months ago
The Quasi-lattice of Indiscernible Elements
The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algeb...
Mauri Cunha do Nascimento, Décio Krause, H&...
SAJ
2000
101views more  SAJ 2000»
13 years 4 months ago
Algebraic results for structured operational semantics
This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...
Vashti C. Galpin
AI
2008
Springer
13 years 5 months ago
Semiring induced valuation algebras: Exact and approximate local computation algorithms
Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra. There are many models of this alge...
Jürg Kohlas, Nic Wilson
BTW
2007
Springer
164views Database» more  BTW 2007»
13 years 11 months ago
Integrating Structural Joins into a Tuple-Based XPath Algebra
: Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. The only laudable exception is the Natix Algebra (NAL) which defines the tran...
Christian Mathis