1177 search results - page 111 / 236 » A Theory of Role Composition |
158
Voted
BIOSYSTEMS
2007
15 years 6 months ago
2007
This essay is designed to organize a range of experimental findings and theoretical insights of the past 25 years into a coherent view of the brain’s style of function. The view...
167
click to vote
COMBINATORICS
2006
15 years 6 months ago
2006
Let h, e, and m denote the homogeneous symmetric function, the elementary symmetric function and the monomial symmetric function associated with the partition respectively. We gi...
164
click to vote
MSCS
2008
15 years 6 months ago
2008
Subtyping for inductive types in dependent type theories is studied in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types ar...
135
click to vote
FOCM
2007
15 years 6 months ago
2007
We provide an algebraic formulation of the moving frame method for constructing local smooth invariants on a manifold under an action of a Lie group. This formulation gives rise t...
109
click to vote
AML
2002
15 years 6 months ago
2002
Continuing the investigations of X. Yu and others, we study the role of set existence axioms in classical Lebesgue measure theory. We show that pairwise disjoint countable additivi...