Sciweavers

160 search results - page 20 / 32
» Homomorphism preservation theorems
Sort
View
ENTCS
2006
100views more  ENTCS 2006»
13 years 7 months ago
Functors Determined by Values on Objects
Functors which are determined, up to natural isomorphism, by their values on objects, are called DVO (Defined by Values on Objects). We focus on the collection of polynomial funct...
Daniela Cancila, Furio Honsell, Marina Lenisa
ENTCS
2006
172views more  ENTCS 2006»
13 years 7 months ago
Locality of Queries and Transformations
Locality is a standard notion of finite model theory. There are two well known flavors of it, based on Hanf's and Gaifman's theorems. Essentially they say that structure...
Leonid Libkin
NN
2006
Springer
13 years 7 months ago
SOM's mathematics
- Since the discovery of the SOMs by T. Kohonen, many results have been found in order to get a better description of their behaviour. Most of them are very convincing but from a m...
Jean-Claude Fort
CRYPTO
2003
Springer
93views Cryptology» more  CRYPTO 2003»
14 years 21 days ago
Universal Composition with Joint State
Abstract. Cryptographic systems often involve running multiple concurrent instances of some protocol, where the instances have some amount of joint state and randomness. (Examples ...
Ran Canetti, Tal Rabin
PRICAI
1999
Springer
13 years 11 months ago
Rationality of Reward Sharing in Multi-agent Reinforcement Learning
Abstract. In multi-agent reinforcement learning systems, it is important to share a reward among all agents. We focus on the Rationality Theorem of Profit Sharing [5] and analyze ...
Kazuteru Miyazaki, Shigenobu Kobayashi