The Lazy Hermite Reduction

The Hermite reduction is a symbolic integration technique that reduces algebraic functions to integrands having only simple affine poles [1,2,8] . While it is very effective in the case of simple radical extensions, its use in more general algebraic extensions requires the precomputation of an integral basis, which makes the reduction impractical for either multiple algebraic extensions or complicated ground fields. In this paper, we show that the Hermite reduction can be performed without a priori computation of either a primitive element or integral basis, computing the smallest order necessary for a particular integrand along the way

Endoscopic transfer of orbital integrals in large residual characteristic

This article constructs Shalika germs in the context of motivic integration, both for ordinary orbital integrals and kappa-orbital integrals. Based on transfer principles in motivic integration and on Waldspurger's endoscopic transfer of smooth functions in characteristic zero, we deduce the endoscopic transfer of smooth functions in sufficiently large residual characteristic.Comment: 33 page

RELEASE: A High-level Paradigm for Reliable Large-scale Server Software

Erlang is a functional language with a much-emulated model for building reliable distributed systems. This paper outlines the RELEASE project, and describes the progress in the rst six months. The project aim is to scale the Erlang's radical concurrency-oriented programming paradigm to build reliable general-purpose software, such as server-based systems, on massively parallel machines. Currently Erlang has inherently scalable computation and reliability models, but in practice scalability is constrained by aspects of the language and virtual machine. We are working at three levels to address these challenges: evolving the Erlang virtual machine so that it can work effectively on large scale multicore systems; evolving the language to Scalable Distributed (SD) Erlang; developing a scalable Erlang infrastructure to integrate multiple, heterogeneous clusters. We are also developing state of the art tools that allow programmers to understand the behaviour of massively parallel SD Erlang programs. We will demonstrate the e ectiveness of the RELEASE approach using demonstrators and two large case studies on a Blue Gene