Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

4 Results
Structure: Internal structure identifier : 87773

Gamifying program analysis

D. Fava , J. Signoles , M. Lemerre , M. Schäf , A. Tiwari
Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2015. Lecture Notes in Computer Science, Nov 2015, Suva, Fiji. pp.591-605, ⟨10.1007/978-3-662-48899-7_41⟩
Conference papers cea-01834979v1
Image document

Stream Ciphers: A Practical Solution for Efficient Homomorphic-Ciphertext Compression

Anne Canteaut , Sergiu Carpov , Caroline Fontaine , Tancrède Lepoint , María Naya-Plasencia , et al.
Journal of Cryptology, 2018, 31 (3), pp.885-916. ⟨10.1007/s00145-017-9273-9⟩
Journal articles hal-01650012v1

A meta-analysis of 1,119 manipulative experiments on terrestrial carbon-cycling responses to global change

Jian Song , Shiqiang Wan , Shilong Piao , Alan Knapp , Aimée T Classen , et al.
Nature Ecology & Evolution, 2019, 3 (9), pp.1309-1320. ⟨10.1038/s41559-019-0958-3⟩
Journal articles hal-02895173v1
Image document

Airborne lidar measurements of aerosol spatial distribution and optical properties over the Atlantic Ocean during a European pollution outbreak of ACE-2

Cyrille Flamant , Jacques Pelon , Patrick Chazette , Vincent Trouillet , Patricia K Quinn , et al.
Tellus B - Chemical and Physical Meteorology, 2000, 52 (2), pp.662-677. ⟨10.3402/tellusb.v52i2.17126⟩
Journal articles hal-01637666v1