Ecdysis: Open-Source DNS64 and NAT64 Jean-Philippe Dionne, Simon Perreault and Marc Blanchet Viagénie Partner: NLnet Foundation

Source URL: viagenie.ca

Publication List Philippe Flajolet Updated October 6, 2010 References [1] Philippe Flajolet and Jean-Marc Steyaert. Complexit´e des probl`emes de decision relatifs aux algorithmes de tri. In Automata, Languages and Prog

Source URL: algo.inria.fr

Authorship Attribution Using Small Sets of Frequent Part-of-Speech Skip-grams Yao Jean Marc Pokou1 , Philippe Fournier-Viger1,2 , Chadia Moghrabi1 1 2

Source URL: www.philippe-fournier-viger.com

Journées du Groupe de Travail en Modélisation Géométrique 2015, Poitiers Vers un modeleur géométrique déclaratif Gilles Gouaty 1,2 , Marc Daniel 2 , Jean-Philippe Pernot 1 , Dominique Michelucci 3 , Romain Raffin

Source URL: gtmg2015.conference.univ-poitiers.fr

Realizability and Parametricty in Pure Type Systems Jean-Philippe Bernardy1 and Marc Lasson2 1 2

Source URL: publications.lib.chalmers.se

KEO : memory of the past and the future On January 20, 2009 Martin Luther King’s dream of peace, liberty, equality and full human solidarity was embodied in the serene and smiling face of Barak Obama, the 44th preside

Source URL: www.keo.org

• Jean-Marc Philippe
• Federico Mayor Zaragoza
• Aimé Césaire
• UNESCO
• Alliance of Civilizations
• Culture
• Marxism
• European Space Agency
• KEO
• United Nations

IAF-99-P.3.10 The KEO satellite Jean-Marc Philippe Artist ____________________________________________________________________________________________

Source URL: www.keo.org

• Jean-Marc Philippe
• American Institute of Aeronautics and Astronautics
• Technology
• Engineering
• Spaceflight
• European Space Agency
• KEO
• Time capsule

Realizability and Parametricity in Pure Type Systems Jean-Philippe Bernardy1 and Marc Lasson2 1 2

Source URL: who.rocq.inria.fr

• Type theory
• Logic in computer science
• Deduction
• Mathematical constructivism
• Realizability
• Entailment
• Parametricity
• Symbol
• Lambda calculus
• Logic
• Mathematical logic
• Mathematics

Publication List Philippe Flajolet Updated October 6, 2010 References [1] Philippe Flajolet and Jean-Marc Steyaert. Complexit´e des probl`emes de decision relatifs aux algorithmes de tri. In Automata, Languages and Prog

Source URL: algo.inria.fr

• Complex analysis
• Integral transforms
• Philippe Flajolet
• Analytic combinatorics
• Recursive tree
• Discrete Mathematics
• Mellin transform
• International Colloquium on Automata
• Languages and Programming
• European Symposium on Algorithms
• Mathematics
• Mathematical analysis
• Theoretical computer science

Jean-Marc Lainé Préface d’Yves Legrain Crist Avant-propos de Jean Van Hamme et Philippe Francq © 2010, Groupe Eyrolles ISBN : [removed]

Source URL: www.eyrolles.com