Concordances have always played an important role in the analysis of language corpora, for studies in humanities, literature, linguistics, translation and language teaching. However, very few of the available systems support multi-level queries against a richly-annotated, sound-aligned spoken corpus. The rapid growth in the development of spoken corpora, particularly for French, increases the n...

— In this paper we discuss topics in harmonic analysis and representation theory related to two different real forms G/H and Gc/H of a complex semisimple symmetric space GC/HC. We connect representations of G and G c using the theory of involutive representations of semi-groups and reflection symmetry. We discuss how to generalize the Segal-Bargmann transform to real forms of bounded symmetric ...

We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system. Covered aspects are natural semantics, denotational semantics, axiomatic semantics, and abstract interpretation. Descriptions as recursive functions are also provided whenever suitable, thus yielding a a verifica...