Archive ouverte USPC

43 901

• 
  Théo Winterhalter, Matthieu Sozeau, Nicolas Tabareau. Eliminating Reflection from Type Theory: To the Legacy of Martin Hofmann. CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Lisbonne, Portugal. pp.1-19, 2019, 〈https://popl19.sigplan.org/track/CPP-2019〉. 〈10.1145/nnnnnnn.nnnnnnn〉. 〈hal-01849166v3〉
• 
  Gaëtan Gilbert, Jesper Cockx, Matthieu Sozeau, Nicolas Tabareau. Definitional Proof-Irrelevance without K. 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), Jan 2019, Cascais, Portugal. 〈hal-01859964v2〉
• 
  Jean-Pierre Valet, Franck Bassinot, Quentin Simon, Tatiana Savranskaia, Nicolas Thouveny, et al.. Constraining the age of the last geomagnetic reversal from geochemical and magnetic analyses of Atlantic, Indian, and Pacific Ocean sediments. Earth and Planetary Science Letters, Elsevier, 2019, 506, pp.323-331. 〈insu-01940009〉
• 
  Anton Antonov. Loan verb integration in Michif *. Journal of Language Contact, Brill Online Books and Journals edition In press. 〈hal-01880101〉
• 
  Emmanuel Hache, Angélique Palle. Renewable energy source integration into power networks, research trends and policy implications: A bibliometric and research actors survey analysis. Energy Policy, Elsevier, 2019, 124, pp.23 - 35. 〈10.1016/j.enpol.2018.09.036〉. 〈hal-01929420〉
• 
  Cong Chen, Fabian Delorme, Frédéric Schoenstein, Mustapha Zaghrioui, Delphine Flahaut, et al.. Synthesis, sintering, and thermoelectric properties of Co1-M O (M = Na, 0 ≤ x ≤ 0.07; M = Ag, 0 ≤ x ≤ 0.05). Journal of the European Ceramic Society, Elsevier, 2019, 39 (2-3), pp.346-351. 〈10.1016/j.jeurceramsoc.2018.10.013〉. 〈hal-01917126〉
• 
  Wenjuan Wei, Corinne Mandin, Olivier Blanchard, F. Mercier, M. Pelletier, et al.. Semi-volatile organic compounds in French dwellings An estimation of concentrations in the gas phase and particulate phase from settled dust. Science of the Total Environment, Elsevier, 2019, 650, pp.2742-2750. 〈10.1016/j.scitotenv.2018.09.398〉. 〈hal-01904740〉
• 
  Francois Lux, Vu Long Tran, Eloise Thomas, Sandrine Dufort, Fabien Rossetti, et al.. AGuIX® from bench to bedside—Transfer of an ultrasmall theranostic gadolinium-based nanoparticle to clinical medicine. British Journal of Radiology, British Institute of Radiology, In press, 〈10.1259/bjr.20180365〉. 〈hal-01935540〉
• 
  Stéphane Dellacherie, Gloria Faccanoni, Bérénice Grec, Yohan Penel. Accurate steam-water equation of state for two-phase flow LMNC model with phase transition. Applied Mathematical Modelling, Elsevier, 2019, 65, pp.207-233. 〈10.1016/j.apm.2018.07.028〉. 〈hal-01111730v4〉
• 
  Félix Tréguer. Anonymat et chiffrement, composantes essentielles de la liberté de communication. Quentin Van Enis; Cécile De Terwangne. L’Europe des droits de l’homme à l’heure d’Internet, Bruylant, A paraître. 〈halshs-01802655v3〉

76 745