Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Mechanized semantics for the Clight subset of the C language Sandrine Blazy · Xavier Leroy

Source URL: pauillac.inria.fr

• C programming language
• C++
• Procedural programming languages
• Data types
• Programming language semantics
• Sizeof
• Pointer
• C++ classes
• C
• Software engineering
• Computing
• Computer programming

Long-Term Climate Projections : Perspectives on a Scientific Assessment Sandrine Bony LMD/IPSL, CNRS, Paris (France) Co-Chair of the WCRP Working Group on Coupled Models (WGCM)

Source URL: www.wcrp-climate.org

• Global warming
• Climate forcing
• Intergovernmental Panel on Climate Change
• Computational science
• Global climate model
• Climate model
• IPCC Third Assessment Report
• Climate sensitivity
• IPCC Fourth Assessment Report
• Climate change
• Climatology
• Atmospheric sciences

Online Cognitive Training Improves Cognitive Performance. Bernard Croisile (1), Diana Miner (2), Sandrine Bélier (2), Michel Noir (2), Franck Tarpin-Bernard (2)

Source URL: www.happy-neuron.com

• Psychology
• Mental processes
• Neuropsychology
• Neurology
• Memory improvement
• Brain fitness
• Working memory
• Memory
• Cognition
• Mind
• Cognitive science
• Neuroscience

Le roi sans terre Mise en scène de sandrine Anglade Texte de Marie-Sabine Roger (publié chez Casterman)

Source URL: www.mcnn.fr

LE CID  De Pierre Corneille  Mise en scène : Sandrine Anglade      Production déléguée : Compagnie Sandrine Anglade 

Source URL: www.mcnn.fr

RESEARCH NEWS Water in the atmosphere Two recent papers of the atmospheric scientists Prof. Dr. Bjorn Stevens and Dr. Sandrine Bony address the Earth system´s essential component: water (in: Science and Physics Today,

Source URL: www.mpimet.mpg.de

• Global warming
• Climate model
• World Climate Research Programme
• Climate forcing
• Climate sensitivity
• Meteorology
• Climate
• Global climate model
• Roy Spencer
• Atmospheric sciences
• Climatology
• Environmental science

INTERSPEECHSpeech synthesis in various communicative situations: Impact of pronunciation variations Sandrine Brognaux 1,2 , Benjamin Picart 2 , Thomas Drugman 2 1

Source URL: wiki.inf.ed.ac.uk

• Phonetics
• Artificial intelligence applications
• Speech recognition
• Speech synthesis
• Liaison
• Phonetic transcription
• Natural language processing
• Elision
• Transcription
• Linguistics
• Computational linguistics
• Phonology

An Ontology of Scientific Uncertainty: Methodological Lessons from Analyzing Expressions of Uncertainty in Food Risk Assessment Sandrine Blanchemanche*, Akos Rona-Tas**, Antoine Cornuéjols***, Antonin Duroy***, Christin

Source URL: www.lri.fr

• Measurement
• Information science
• Technical communication
• Semantic Web
• Knowledge representation
• Uncertainty
• Ontology
• Measurement uncertainty
• Risk
• Knowledge
• Science
• Statistics

How can convection affect low-level clouds ? Jessica Vial, Sandrine Bony, Jean-Louis Dufresne LMD, Université Paris VI, Paris Romain Roehrig CNRM-GAME, Météo-France, Toulouse

Source URL: www.mpimet.mpg.de

• Climate forcing
• Atmospheric thermodynamics
• Cloud feedback
• Cloud
• Atmospheric convection
• Climate model
• Convection
• Parametrization
• Radiative cooling
• Atmospheric sciences
• Meteorology
• Climatology

A1: Changing patterns Michela Biasutti, Sandrine Bony, Jean-Louis Dufresne, Qiang Fu, Sandy Harrison, Isaac Held, Brian Hoskins, Camille Risi, Ted Shepherd, Adam Sobel, Bruce Wielicki

Source URL: www.mpimet.mpg.de

• Tropical meteorology
• Madden–Julian oscillation
• Intertropical Convergence Zone
• Climate sensitivity
• Convection
• Atmospheric sciences
• Meteorology
• Atmospheric dynamics