Sciweavers

1449 search results - page 115 / 290
» Finiteness results for sigmoidal
Sort
View
EJC
2010
15 years 6 months ago
On the multiplication groups of semifields
We invesitage the multiplicative loops of finite semifields. We show that the group generated by the left and right multiplication maps contains the special linear group. This resu...
Gábor P. Nagy
ENTCS
2010
112views more  ENTCS 2010»
15 years 6 months ago
From Coalgebraic to Monoidal Traces
The main result of this paper shows how coalgebraic traces, in suitable Kleisli categories, give rise to traced monoidal structure in those Kleisli categories, with finite coprodu...
Bart Jacobs
ENTCS
2008
74views more  ENTCS 2008»
15 years 6 months ago
Matching Systems for Concurrent Calculi
Matching systems were introduced by Carbone and Maffeis, and used to investigate the expressiveness of the pi-calculus with polyadic synchronisation. We adapt their definition and...
Bjørn Haagensen, Sergio Maffeis, Iain Phill...
APAL
2006
72views more  APAL 2006»
15 years 6 months ago
Constructive algebraic integration theory
For a long time people have been trying to develop probability theory starting from `finite' events rather than collections of infinite events. In this way one can find natura...
Bas Spitters
IPL
2008
95views more  IPL 2008»
15 years 6 months ago
Weighted automata with discounting
: We investigate weighted automata with discounting and their behaviours over semirings and finitely generated graded monoids. We characterize the discounted behaviours of weighted...
Manfred Droste, Jacques Sakarovitch, Heiko Vogler