Sciweavers

108 search results - page 6 / 22
» Types for Hereditary Permutators
Sort
View
DAGSTUHL
2003
15 years 4 months ago
Generating Kummer Type Formulas for Hypergeometric Functions
Abstract. Kummer type formulas are identities of hypergeometric series. A symmetry by the permutations of n-letters yields these formulas. We will present an algorithmic method to ...
Nobuki Takayama
JCT
2000
81views more  JCT 2000»
15 years 2 months ago
Generalized Rook Polynomials
Generalizing the notion of placing rooks on a Ferrers board leads to a new class of combinatorial models and a new class of rook polynomials. Connections are establishedwith absolu...
Jay Goldman, James Haglund
110
Voted
ITP
2010
114views Mathematics» more  ITP 2010»
15 years 7 months ago
A New Foundation for Nominal Isabelle
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...
Brian Huffman, Christian Urban
ACL
2011
14 years 6 months ago
Automatically Evaluating Text Coherence Using Discourse Relations
We present a novel model to represent and assess the discourse coherence of text. Our model assumes that coherent text implicitly favors certain types of discourse relation transi...
Ziheng Lin, Hwee Tou Ng, Min-Yen Kan
COMBINATORICS
2006
116views more  COMBINATORICS 2006»
15 years 3 months ago
Classifying Descents According to Equivalence mod k
In [5] the authors refine the well-known permutation statistic "descent" by fixing parity of one of the descent's numbers. In this paper, we generalize the results o...
Sergey Kitaev, Jeffrey B. Remmel