• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 20
Next 10 →

The correct relatively stable category for idempotent modules ∗

by M. Grime , 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

by Peter Höfner , Georg Struth - 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

by Peter Höfner, Georg Struth
"... 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

by Carles Casacuberta, Georg Peschke - 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

by Eric Badouel, Jules Chenou
"... 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

by Rajiv K Srivastava , S Singh , 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

by Sébastien Destercke, Didier Dubois - 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

by Jules Desharnais, Bernhard Möller, Georg Struth , 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

by Flavio Corradini, Rocco De Nicola, Anna Labella - 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

by J. Alfsmann, Heinz G. Göckler
"... 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
Next 10 →
Results 1 - 10 of 20
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2016 The Pennsylvania State University