Monthly Archives: July, 2012

Archives

Share:
A A
19 July 2012
Shaoshi Chen speaks about Telescopers for Rational and Algebraic Functions via Residues.
Thursday 19 July 2012, 14h Microsoft Research - Inria Joint Centre Campus de l’Ecole polytechnique, Palaiseau Bld Alan Turing, Salle Milner Telescopers for Rational and Algebraic Functions via Residues. Shaoshi Chen, North Carolina State University We show that the problem of constructing telescopers for rational functions of m + 1 variables is equivalent to the.. ... More
ddmf
18 July 2012
Zhengqin Luo speaks about ZQL: A Query Language for Private Data
Microsoft Research - Inria Joint Centre Campus de l’Ecole polytechnique, Palaiseau Bld Alan Turing, Salle Milner ZQL: A Query Language for Private Data Zengqin Luo, MSR-Inria Joint Centre We design and implement a variant of SQL for processing private data, with strong integrity for the results of authorized queries, and strong confidentiality for the rest.. ... More
DDMF-2
18 July 2012
Alexandre Benoit defends his PhD at Ecole polytechnique
Mercredi 18 Juillet 2012, 14h30 Amphi Becquerel Ecole polytechniqueAlgorithmique semi-numérique rapide des séries de Tchebychev Thèse soutenue par Alexandre BenoitRésumé: Une série de Tchebychev est un développement dans la base des polynômes de Tchebychev. Ces séries sont importantes en théorie de l’approximation. Contrairement aux séries de Taylor, l’algorithmique en calcul formel autour ... More
9 July 2012
Russel O’Connor speaks about Galois Connections, Poset-Enriched Categorical Logic, and Type Theory.
Monday 9 July 2012, 14h Microsoft Research - Inria Joint Centre Campus de l’Ecole polytechnique, Palaiseau Bld Alan Turing, Salle MilnerSome Thoughts on Galois Connections, Poset-Enriched Categorical Logic, and Type Theory McMaster Univ. & MSR-Inria Joint CentreIn this talk I will present three bits of mathematics that have recently piqued my interest:- The first item.. ... More