Christophe MAUREL Maitre de conférences habilité à diriger les recherches UFR de Droit, Sciences Economiques et de Gestion Avenue Olivier Messiaen, 72085 Le Mans Cedex Tél : +

Source URL: ecodroit.univ-lemans.fr

PML : A new proof assistant and deduction system Christophe Raffalli LAMA

Source URL: www.lama.univ-savoie.fr

• Type theory
• Theoretical computer science
• Mathematical logic
• Programming language theory
• Lambda calculus
• Formal methods
• Logic in computer science
• CurryHoward correspondence
• HindleyMilner type system
• Simply typed lambda calculus
• Type system
• Proof assistant

École Normale Supérieure Langages de programmation et compilation examen 20142015 Jean-Christophe Filliâtre

Source URL: www.lri.fr

The Weierstrass subgroup of a curve has maximal rank. Martine Girard, David R. Kohel and Christophe Ritzenthaler ∗†‡ Abstract We show that the Weierstrass points of the generic curve of genus g over an algebraical

Source URL: iml.univ-mrs.fr

• Algebraic geometry
• Mathematical analysis
• Algebra
• Algebraic curves
• Elliptic curve
• Weierstrass point
• Hyperelliptic curve
• Moduli space
• Kummer surface
• StoneWeierstrass theorem

Unsupervised, Efficient and Semantic Expertise Retrieval Christophe Van Gysel Maarten de Rijke

Source URL: staff.fnwi.uva.nl

• Information science
• Information retrieval
• Artificial intelligence
• Natural language processing
• Statistical natural language processing
• Machine learning
• Language modeling
• Computational linguistics
• Latent semantic analysis
• Probabilistic latent semantic analysis
• Vector space model
• Language model

Impacts sociaux de la digitalisation de l’économie — Christophe Degryse Working PaperInstitut syndical européen

Source URL: www.etui.org

Les élus soutenus par la Chambre genevoise immobilière Christophe Aumeunier Antoine Barde

Source URL: www.cgionline.ch

UNE RÉVOLUTION ÉNERGÉTIQUE! PROJET DE LOI SUR L’ÉNERGIE Christophe Aumeunier Secrétaire général Notre Chambre a été consultée dans le cadre du projet de loi sur l’énergie (PL10258) relatif au domaine bâti

Source URL: www.cgionline.ch

Applying the complementarities of SKOS and RSS to Create a General and Unified Search User Interface over Multiple Existing Information Sources: the case of ASKOSI/GLISP Christophe Dupriez DESTIN-Informatique.com

Source URL: at-web1.comp.glam.ac.uk

• Computing
• Semantic Web
• Knowledge representation
• Information science
• World Wide Web Consortium
• School of Computer Science
• University of Manchester
• Simple Knowledge Organization System
• Europeana
• Resource Description Framework
• RSS
• Web Ontology Language
• AGROVOC

École Normale Supérieure Langages de programmation et compilation examen 20122013 Jean-Christophe Filliâtre

Source URL: www.lri.fr