Results 1 - 10
of
20
The correct relatively stable category for idempotent modules ∗
, 708
"... We answer a question posed in [4], and demonstrate that in general Rickard modules in relatively stable categories are not idempotent modules even if one localizes with respect to a tensor ideal subcategory. We also show that there is a modification one can make so as to recover the idempotent behav ..."
Abstract
- Add to MetaCart
We answer a question posed in [4], and demonstrate that in general Rickard modules in relatively stable categories are not idempotent modules even if one localizes with respect to a tensor ideal subcategory. We also show that there is a modification one can make so as to recover the idempotent
Algebraic notions of nontermination: Omega and divergence in idempotent semirings
- J. Log. Algebr. Program
"... Abstract Two notions of nontermination are studied and compared in the setting of idempotent semirings: Cohen's omega operator and a divergence operator. They are determined for various computational models, and conditions for their existence and their coincidence are given. It turns out that ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
Abstract Two notions of nontermination are studied and compared in the setting of idempotent semirings: Cohen's omega operator and a divergence operator. They are determined for various computational models, and conditions for their existence and their coincidence are given. It turns out
Algebraic Notions of Non-Termination
"... Abstract. We study and compare two notions of non-termination on idempotent semirings: infinite iteration and divergence. We determine them in various models and develop conditions for their coincidence. It turns out that divergence yields a simple and natural way of modelling infinite behaviour, wh ..."
Abstract
- Add to MetaCart
Abstract. We study and compare two notions of non-termination on idempotent semirings: infinite iteration and divergence. We determine them in various models and develop conditions for their coincidence. It turns out that divergence yields a simple and natural way of modelling infinite behaviour
Localizing with respect to self-maps of the circle
- Trans. Amer. Math. Soc
, 1993
"... Abstract. We describe a general procedure to construct idempotent functors on the pointed homotopy category of connected CW-complexes, some of which extend P-local-ization of nilpotent spaces, at a set of primes P. We focus our attention on one such functor, whose local objects are CW-complexes X fo ..."
Abstract
-
Cited by 11 (2 self)
- Add to MetaCart
Abstract. We describe a general procedure to construct idempotent functors on the pointed homotopy category of connected CW-complexes, some of which extend P-local-ization of nilpotent spaces, at a set of primes P. We focus our attention on one such functor, whose local objects are CW-complexes X
Nets Enriched over Closed Monoidal Structures
"... Abstract. We show how the firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. On that basis we introduce closed monoidal structures which are residuated monoids. We identify a class of closed monoidal structures (associated with a family of idem ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
of idempotent group dioids) for which one can mimic the token game of Petri nets to define the behaviour of these generalized Petri nets whose flow relations and place contents are valued in the closed monoidal structure. 1
On Bicomplex Nets and their Confinements
, 2011
"... Abstract We have initiated the study of nets with bicomplex entries. Due to the multi dimensionality of the bicomplex space there arise different types of tendencies called confinements. The bicomplex space equipped with real order topology as well as idempotent order topology exhibits interesting ..."
Abstract
- Add to MetaCart
Abstract We have initiated the study of nets with bicomplex entries. Due to the multi dimensionality of the bicomplex space there arise different types of tendencies called confinements. The bicomplex space equipped with real order topology as well as idempotent order topology exhibits interesting
Can the minimum rule of possibility theory be extended to belief functions
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Lecture Notes in Artificial Intelligence
, 2009
"... Abstract. When merging belief functions, Dempster rule of combina-tion is justified only when sources can be considered as independent. When dependencies are ill-known, it is usual to ask the merging opera-tion to satisfy the property of idempotence, as this property ensures a cautious behaviour in ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
Abstract. When merging belief functions, Dempster rule of combina-tion is justified only when sources can be considered as independent. When dependencies are ill-known, it is usual to ask the merging opera-tion to satisfy the property of idempotence, as this property ensures a cautious behaviour
Universität Augsburg Algebraic Notions of Termination
, 2006
"... Five algebraic notions of termination are formalised, analysed and compared: well-foundedness or Noetherity, Löb’s formula, absence of infinite iteration, absence of divergence and normalisation. The study is based on modal semirings, which are additively idempotent semirings with forward and backw ..."
Abstract
- Add to MetaCart
Five algebraic notions of termination are formalised, analysed and compared: well-foundedness or Noetherity, Löb’s formula, absence of infinite iteration, absence of divergence and normalisation. The study is based on modal semirings, which are additively idempotent semirings with forward
Models of nondeterministic regular expressions
- J. Comput. Sys. Sci
, 1999
"... Nondeterminism is a direct outcome of interactions and is, therefore a central ingredient for modelling concurrent systems. Trees are very useful for modelling nondeterministic behaviour. We aim at a tree-based interpretation of regular expressions and study the effect of removing the idempotence la ..."
Abstract
-
Cited by 7 (1 self)
- Add to MetaCart
Nondeterminism is a direct outcome of interactions and is, therefore a central ingredient for modelling concurrent systems. Trees are very useful for modelling nondeterministic behaviour. We aim at a tree-based interpretation of regular expressions and study the effect of removing the idempotence
Dual Number Subalgebras mapped to Digital Signal Processing Structures
"... Recently, applications of higher-dimensional (hypercomplex) algebras (e.g. quater-nions, Clifford algebras) to Digital Signal Processing (DSP) emerge. Some of these em-ployed algebras comprise idempotent and nilpotent elements. Regarding the latter, the consequences for DSP applications are addresse ..."
Abstract
- Add to MetaCart
Recently, applications of higher-dimensional (hypercomplex) algebras (e.g. quater-nions, Clifford algebras) to Digital Signal Processing (DSP) emerge. Some of these em-ployed algebras comprise idempotent and nilpotent elements. Regarding the latter, the consequences for DSP applications
Results 1 - 10
of
20