Claude  TADONKI  and  Pierre-­‐Louis  CARUANA   Mines  ParisTech  –  CRI  (Fontainebleau/France)   University  of  Paris-­‐Sud  (Orsay/France)   Parallel  and  Dist

Source URL: www.cri.ensmp.fr

• MATLAB
• Numerical linear algebra
• Parallel computing
• Central processing unit
• Software
• Computing
• Array programming languages

AnnéeHABILITATION A DIRIGER DES RECHERCHES Préparée à la Faculté des Sciences de l’Université Paris-Sud d’Orsay

Source URL: www.cri.ensmp.fr

• Computing
• Mathematics
• High-performance computing
• Parallel computing
• Paradiseo
• Combinatorial optimization
• Algorithm
• Program optimization
• Theoretical computer science
• Operations research
• Mathematical optimization
• Applied mathematics

Comparing Multi-Stage Approaches for Cross-Show Speaker Diarization Viet-Anh Tran1 , Viet Bac Le3 , Claude Barras1,2 and Lori Lamel1 1 LIMSI-CNRS, Spoken Language Processing Group, BP 133, 91403, Orsay, France 2

Source URL: www.vocapia.com

• Biometrics
• Speaker recognition
• Permutation
• Loudspeaker
• Speaker diarisation
• Baseline
• Surround sound
• Information technology management
• Mathematics
• Speech processing
• Human–computer interaction
• Automatic identification and data capture

Getting Order Independence in Incremental Learning Antoine Cornuéjols Equipe Inférence et Apprentissage Laboratoire de Recherche en Informatique (LRI), UA 410 du CNRS Université de Paris-sud, Orsay

Source URL: www.lri.fr

• Cybernetics
• Science
• Learning theory
• Concept learning
• Genetic algorithm
• Observation
• Inductive bias
• Algorithmic learning theory
• Machine learning
• Knowledge
• Education

SYNTHÈSE Une nouvelle méthode d’apprentissage : Les SVM. Séparateurs à vaste marge. Antoine Cornuéjols Maître de Conférence à L’I.I.E. Et chercheur au LRI, Université de Paris-Sud, Orsay

Source URL: www.lri.fr

Analogy and Induction : which (missing) link ? Antoine Cornuéjols & Jacques Ales-Bianchetti Laboratoire de Recherche en Informatique (LRI), UA 410 du CNRS Université de Paris-sud, Orsay Bâtiment 490, 91405 ORSAY (Fran

Source URL: www.lri.fr

• Reasoning
• Critical thinking
• Problem solving
• Logical consequence
• Cognitive science
• Analogy
• Inductive reasoning
• Argument
• Deductive reasoning
• Science
• Logic
• Knowledge

Identifying interface elements implied in protein-protein interactions using statistical tests and Frequent Item Sets Christine Martin LIMSI CNRS,Bt 508, Universit´e d’Orsay Paris Sud BP 133, 91403 Orsay cedex (France

Source URL: www.lri.fr

• Bioinformatics
• Science
• Proteins
• STING
• Protein domain
• Amino acid
• Protein
• Multiprotein complex
• Macromolecular docking
• Protein structure
• Biology
• Chemistry

PARIS: Probabilistic Alignment of Relations, Instances, and Schema INRIA Saclay – ˆIle-de-France 4 rue Jacques Monod[removed]Orsay Cedex, France

Source URL: vldb.org

• Knowledge representation
• Ontology
• Information science
• Knowledge engineering
• RDF Schema
• Independence
• Function
• PP
• Finitary relation
• Semantic Web
• Information
• Science

Verifying Two Lines of C with Why3: an Exercise in Program Verification? Jean-Christophe Filliˆatre CNRS LRI, Univ Paris-Sud, CNRS, Orsay F[removed]INRIA Saclay-ˆIle-de-France, ProVal, Orsay F-91893

Source URL: why3.lri.fr

• Program logic
• Linear differential equation
• Formal methods
• Ordinary differential equations
• Predicate transformer semantics

ポール・セザンヌ《首吊りの家、オーヴェール＝シュル＝オワーズ》1873年　オルセー美術館 Paul Cézanne, The House of the Hanged Man, in Auvers-sur-Oise, 1873, Musée d’Orsay, Paris /

Source URL: www.nact.jp