Verifying MPI Applications with Mc SimGrid The Anh Pham, Thierry Jéron, Martin Quinson Univ. Rennes  Inria  CNRS  IRISA (France) Correctness 2017 Denver, Colorado

Source URL: correctness-workshop.github.io

• Psychometrics
• Design of experiments
• Statistical hypothesis testing
• Test
• Psychology
• Education
• Parallel computing
• Human behavior

Hiding in the Crowd: an Analysis of the E�ectiveness of Browser Fingerprinting at Large Scale Alejandro Gómez-Boix Univ Rennes, Inria, CNRS, IRISA Rennes, France

Source URL: www.doc.ic.ac.uk

From SAT to ASP and back!? Torsten Schaub University of Potsdam & INRIA Rennes Torsten Schaub (KRR@UP)

Source URL: sat2016.labri.fr

• Programming paradigms
• Logic programming
• Software engineering
• Artificial intelligence
• Constraint programming
• Theoretical computer science
• Answer set programming
• Automated reasoning
• Constraint satisfaction problem
• Problem solving
• Solver
• Knowledge representation and reasoning

COMMUNIQUÉ DE PRESSE NATIONAL I PARIS I 11 OCTOBREUne illusion d’optique pour effaroucher les rapaces Des chercheurs du CNRS et de l’Université Rennes 11, en collaboration avec la société Airbus, ont déco

Source URL: www2.cnrs.fr

PDF Document

Source URL: people.rennes.inria.fr

PDF Document

Source URL: people.rennes.inria.fr

PDF Document

Source URL: people.rennes.inria.fr

PDF Document

Source URL: www.initiative-rennes.fr

PDF Document

Source URL: people.rennes.inria.fr

PDF Document

Source URL: people.rennes.inria.fr