Sciweavers

4 search results - page 1 / 1
» Integrals, partitions and MacMahon's Theorem
Sort
View
JCT
2007
70views more  JCT 2007»
13 years 5 months ago
Integrals, partitions and MacMahon's Theorem
In two previous papers, the study of partitions with short sequences has been developed both for its intrinsic interest and for a variety of applications. The object of this paper...
George Andrews, Henrik Eriksson, Fedor Petrov, Dan...
SIAMDM
2008
69views more  SIAMDM 2008»
13 years 4 months ago
Labeled Partitions and the q-Derangement Numbers
Inspired by MacMahon's original proof of his celebrated theorem on the distribution of the major index over permutations, we give a reformulation of his argument in terms of l...
William Y. C. Chen, Deheng Xu
ICML
2005
IEEE
14 years 6 months ago
Learning as search optimization: approximate large margin methods for structured prediction
Mappings to structured output spaces (strings, trees, partitions, etc.) are typically learned using extensions of classification algorithms to simple graphical structures (eg., li...
Daniel Marcu, Hal Daumé III
FMICS
2010
Springer
13 years 6 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre