Sciweavers

4324 search results - page 17 / 865
» A Generalized Representer Theorem
Sort
View
MKM
2009
Springer
14 years 1 months ago
Finite Groups Representation Theory with Coq
Representation theory is a branch of algebra that allows the study of groups through linear applications, i.e. matrices. Thus problems in abstract groups can be reduced to problems...
Sidi Ould Biha
DCG
2007
78views more  DCG 2007»
13 years 7 months ago
Convexity in Topological Affine Planes
We extend to topological affine planes the standard theorems of convexity, among them the separation theorem, the anti-exchange theorem, Radon’s, Helly’s, Carath´eodory’s,...
Raghavan Dhandapani, Jacob E. Goodman, Andreas Hol...
LICS
2006
IEEE
14 years 1 months ago
Boolean Algebras for Lambda Calculus
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
Giulio Manzonetto, Antonino Salibra
DMTCS
2007
73views Mathematics» more  DMTCS 2007»
13 years 7 months ago
"Trivializing" Generalizations of some Izergin-Korepin-type Determinants
We generalize (and hence trivialize and routinize) numerous explicit evaluations of determinants and pfaffians due to Kuperberg, as well as a determinant of Tsuchiya. The level of ...
Tewodros Amdeberhan, Doron Zeilberger
EUROGP
2001
Springer
110views Optimization» more  EUROGP 2001»
13 years 12 months ago
General Schema Theory for Genetic Programming with Subtree-Swapping Crossover
Abstract. In this paper a new, general and exact schema theory for genetic programming is presented. The theory includes a microscopic schema theorem applicable to crossover operat...
Riccardo Poli