Safety Assessment of an Electrical System with AltaRica 3.0 Hala Mortada1 , Tatiana Prosvirnova1, and Antoine Rauzy2 1 Computer Science Lab, Ecole Polytechnique, Route de Saclay, Palaiseau, France

Source URL: altarica.fr

• Reliability engineering
• Electric power distribution
• Systems engineering
• Failure
• Power engineering
• Circuit breaker
• Fault tree analysis
• Transformer
• Power supply
• Electric power
• Electromagnetism
• Electrical engineering

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

Weak Gravitational Lensing S. Pires, J.-L. Starck, A. Leonard and A. R´efr´egier Laboratoire AIM, CEA/DSM-CNRS-Universite Paris Diderot, IRFU/SEDI-SAP, CEA Saclay, Orme des Merisiers, 91191 Gif-sur-Yvette, France Augus

Source URL: jstarck.free.fr

• Gravitational lens
• Strong gravitational lensing
• Dark matter
• General relativity
• Euclid
• Tests of general relativity
• Galaxy groups and clusters
• Physical cosmology
• Gravitational lensing formalism
• Physics
• Gravitational lensing
• Weak gravitational lensing

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

Fouille d’opinion : ces mots qui changent de polarité selon le domaine Morgane Marchand CEA, LIST, Laboratoire Vision et Ingénierie des Contenus Centre Nano-Innov Saclay, 91191 Gif-sur-Yvette Cedex1 LIMSI-CNRS, Unive

Source URL: coria.unine.ch

Clustering de documents dans des collections hétérogènes Romaric Besançon* — Anne-Laure Daquo* * CEA, LIST, Laboratoire Vision et Ingénierie des Contenus CEA Saclay Nano-INNOV PC n◦ [removed]Gif-sur-Yvette CED

Source URL: coria2015.lip6.fr

J. Surmont*, M.D. Paillard, A. Constans, N. Guillé, A. Le Blanc, O. Mouffron, P. Anguise, J.J. Jouve, A. Lilin - CEA/Saclay, DSM-SAC/USL2TI/STI/SVI, Bât. 526, 91191 Gif-sur-Yvette Cedex *Contact : [removed]

Source URL: www.iaea.org

ADA 7 - The 7th Conference on Astronomical Data Analysis The ADA Conference series has become the Number One event for presenting the state of the art in multiscale image and signal processing methodologies, and their ap

Source URL: eas.unige.ch

• Computer programming
• Cargèse
• Compressed sensing
• Deconvolution
• European Southern Observatory
• Ada
• Saclay
• Signal processing
• Computing
• Software engineering

Managing Nuclear Knowledge: Strategies and Human Resource Development Summary of an international conference 7–10 September 2004, Saclay  

Source URL: www-pub.iaea.org

• Nuclear technology
• Nuclear proliferation
• Atoms for Peace
• International Atomic Energy Agency
• Nuclear safety
• Nuclear Energy Agency
• Nuclear Knowledge Management
• World Nuclear University
• Nuclear power
• Energy
• Nuclear physics
• Nuclear energy

WOMEN IN ASTRONOMY STATISTICS Helen Walker (STFC Rutherford Appleton Laboratory, UK) Catherine Cesarsky (CEA Saclay, France) Country Argentina Ukraine

Source URL: www.sheisanastronomer.org

• International Astronomical Union
• International Year of Astronomy
• Science