منابع مشابه
CombinaTexas 2018 February 10 – 11 , 2018
In this talk we give combinatorial proofs of q-Stirling identities using restricted growth words. This includes a poset theoretic proof of Carlitz’s identity, a new proof of the q-Frobenius identity of Garsia and Remmel and of Ehrenborg’s Hankel q-Stirling determinantal identity. We also develop a two parameter generalization to unify identities of Mercier and include a symmetric function versi...
متن کاملPassages of Proof
In this paper we propose a new perspective on the evolution and history of the idea of mathematical proof. Proofs will be studied at three levels: syntactical, semantical and pragmatical. Finally, in a highly speculative part, we will anticipate the evolution of proofs under the assumption that the quantum computer will materialise. We will argue that there is little ‘intrinsic’ difference betw...
متن کاملStraits, Passages and Chokepoints
The transportation of petroleum represents one of the most strategically important circulations of resources in the global economy. Its role cannot be overstated. Yet, petroleum has become a “strategically invisible” commodity as its flow has been continuous with limited, but eye-opening, disruptions such as the First Energy Crisis is 1973. Petroleum supplies are virtually taken for granted. Si...
متن کاملEnsembl 2018
The Ensembl project has been aggregating, processing, integrating and redistributing genomic datasets since the initial releases of the draft human genome, with the aim of accelerating genomics research through rapid open distribution of public data. Large amounts of raw data are thus transformed into knowledge, which is made available via a multitude of channels, in particular our browser (htt...
متن کاملPassages in Graphs
Directed graphs can be partitioned in so-called passages. A passage P is a set of edges such that any two edges sharing the same initial vertex or sharing the same terminal vertex are both inside P or are both outside of P . Passages were first identified in the context of process mining where they are used to successfully decompose process discovery and conformance checking problems. In this a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Comparative Neurology
سال: 2017
ISSN: 0021-9967
DOI: 10.1002/cne.24342