HEAT KERNEL AND RATES OF MIXING FOR COMPACT EXTENSIONS OF EXPANDING MAPS ´ ERIC ´ FRED NAUD

First Page		Document Content
Date: 2011-09-20 08:30:53 Algebra Mathematical analysis Mathematics Functional analysis Representation theory Ergodic theory Mixing Trace Zonal spherical function Plancherel theorem for spherical functions		HEAT KERNEL AND RATES OF MIXING FOR COMPACT EXTENSIONS OF EXPANDING MAPS ´ ERIC ´ FRED NAUD Add to Reading List Source URL: fredericnaud.perso.sfr.fr Download Document from Source Website File Size: 427,06 KB Share Document on Facebook

	A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017 DocID: 1xW3e - View Document
	What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2 DocID: 1xW0i - View Document
	Succinct Representation of Concurrent Trace Sets ∗ Ashutosh Gupta DocID: 1xVvk - View Document
	From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of ex DocID: 1xULF - View Document
	Suggesting Edits to Explain Failing Traces Giles Reger University of Manchester, UK Abstract. Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. Howe DocID: 1xUmQ - View Document