Loading...
Last submissions
-
-
-
-
-
-
-
-
Reynald Affeldt, Yves Bertot, Cyril Cohen, Pierre Roux, Kazuhiko Sakaguchi, et al.. Porting Coq Scripts to the Mathematical Components Library Version 2. Inria Sophia Antipolis - Méditerranée, Université Côte d'Azur; National Institute of Advanced Industrial Science and Technology (AIST), Japan; ONERA / DTIS, Université de Toulouse, France. 2023. ⟨hal-04225130⟩
-
-
-
Maxime Delsart, Françoise Pol, Barbara Dufour, Nicolas Rose, Christelle Fablet. L’élevage de porcs en systèmes alternatifs : atouts et défis en termes de bien-être animal, biosécurité, santé animale et sécurité sanitaire.. 54èmes Journées de la Recherche Porcine, Ifip; Inrae, Feb 2022, Paris, France. pp.327-338. ⟨anses-04081901⟩
-
P. Denis, Anne Ferlay, Pierre Noziere, Christine Gerard, Philippe Schmidely. Determination of linoleic acid requirements for dairy cows using a meta-analysis approach. 72nd Annual meeting of European Federation of Animal Science, Swiss Association for Animal Sciences (SAAS) in partnership with the Federal Office for Agriculture (FOAG) and Global Agenda for Sustainable Livestock (GASL)., Aug 2021, Davos, Switzerland. pp.181, ⟨10.3920/978-90-8686-918-3⟩. ⟨hal-04224928⟩
-
-
Vanina Mollo, Anaïs Nouailles Mayeur, Carine Hebraud, Jonathan Ruille, Dominique Boutin, et al.. Le démantèlement des installations nucléaires : les collectifs acteurs de la réduction de l’incertitude. : Synthèse des travaux du groupe de travail E. Autorité de Sûreté Nucléaire (ASN); Comité d’orientation sur les facteurs sociaux, organisationnels et humains (COFSOH). 2023, 45 p. ⟨hal-04224411⟩
-
-
-
-
-
-