163 search results - page 9 / 33 » Effective categoricity of equivalence structures |
ORL
2010
13 years 2 months ago
2010
: We analyze the comparative static effects of beneficial changes in the dependence structure between risks. In an insurance model with an insurable loss and dependent background w...
IFIP
2004
Springer
14 years 25 days ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
PR
2007
13 years 7 months ago
2007
Abstract: Morphological tools can provide transformations suitable for real projective images, but the camera and objects to be analyzed have to be positioned in such a manner that...
ACS
2002
13 years 7 months ago
2002
We define the notions of Azumaya category and Brauer group in category theory enriched over some very general base category V. We prove the equivalence of various definitions, in ...
TCS
2002
13 years 7 months ago
2002
An operation M which constructs from a given structure M a tree-like structure whose domain consists of the finite sequences of elements of M is considered. A notion of automata r...