Decision Procedures for the Formal Analysis of Software Part IV: Certifying David Déharbe Pascal Fontaine Silvio Ranise Christophe Ringeissen

Source URL: www.loria.fr

WORKSHOP ON WEB PERSONALIZATION, RECOMMENDER SYSTEMS AND SOCIAL MEDIA, Spoilers Ahead - Personalized Web Filtering Pascal Bissig, Philipp Brandes, Roger Wattenhofer, Roman Willi

Source URL: www.tik.ee.ethz.ch

• Operations research
• Combinatorial optimization
• Cryptography
• Knapsack problem
• Email spam
• Bloom filter

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Real time group editors without Operational transformation Gérald Oster — Pascal Urso — Pascal Molli — Abdessamad Imine

Source URL: www.loria.fr

The JHU-HLTCOE Spoken Web Search System for MediaEval 2012 Aren Jansen, Benjamin Van Durme, Pascal Clark Johns Hopkins University Human Language Technology Center of Excellence 810 Wyman Park Drive, Baltimore, MDU

Source URL: www.cs.jhu.edu

1 A Pocket Guide to Indoor Mapping Pascal Bissig, Roger Wattenhofer, Samuel Welten, Distributed Computing Group - ETH Zurich,

Source URL: www.tik.ee.ethz.ch

make-method-lambda considered harmful Pascal Costanza, Charlotte Herzeel Vrije Universiteit Brussel, Belgium June 11, 2008 Abstract The CLOS Metaobject Protocol (CLOS MOP) is a specification of

Source URL: www.european-lisp-workshop.org

Quatrièmes Rencontres « Entreprise et sacré », Propedia (Groupe IGS) 3S (CIMEOS, EA 4177, Université de Bourgogne) Organisées sous la responsabilité scientifique de : Richard DELAYE (groupe IGS/PROPEDIA) et Pascal

Source URL: cimeos.u-bourgogne.fr

Combinations of theories for decidable fragments of first-order logic? Pascal Fontaine Universit´e de Nancy, Loria Nancy, France

Source URL: www.montefiore.ulg.ac.be

SyMT: finding symmetries in SMT formulas Work in progress ∗ Carlos Areces1 , David D´eharbe2 , Pascal Fontaine3 and Ezequiel Orbe1†

Source URL: www.verit-solver.org

Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture Ondřej Klíma?1 , Benoît Larose??2 , and Pascal Tesson? ? ?3 1 Department of Mathematics, Masaryk University

Source URL: www2.ift.ulaval.ca