301 résultats  enregistrer la recherche


...
inria-00122487v1  Communication dans un congrès
L. WuPhilippe De ReffyeFrançois Xavier Le DimetBaogang HuOptimization of Source-Sink Relationship based on a Plant Functional-Structural Model: A Case study on Maize
Hu, B. G. and Jaeger M. Plant Growth Modeling and Applications, 2003, BeiJing / China, Springer and Tsinghua University Press, pp.285-295, 2003
inria-00122491v1  Communication dans un congrès
L. WuF.X. Le DimetB.G. HuPaul-Henry CournèdePhilippe De ReffyeA Water Supply Optimization Problem for Plant Growth Based on GreenLab Model
7éme Colloque Africain sur la Recherche en Informatique (CARI'04), 2005, Mammamet / Tunisia, 2005
...
inria-00624833v1  Communication dans un congrès
Xiaomu ShiJean-François MoninFrédéric TuongFrédéric BlanquiFirst steps towards the certification of an ARM simulator using Compcert
First International Conference on Certified Programs and Proofs, Dec 2011, Hengchun, Taiwan. 7086, 2011, LNCS. <10.1007/978-3-642-25379-9_25>
...
hal-00908214v1  Communication dans un congrès
Renaud HostacheXijun LaiJerome MonnierChristian PuechAssimilation of one satellite SAR image for flood simulations. Method and test case (Moser river)
AOGS 2010 - Asia Oceania Geosciences Society, Jul 2010, Hyderabad, India. World Scientific, 22, pp.49-65, 2010
halshs-00758994v1  Chapitre d'ouvrage
Philippe WarinMohamed DjouldemYves SaillardConclusion. Lutter contre le non-recours : un révélateur du renouvellement des politiques publiques
Warin, Philippe. L'envers de la fraude sociale. Le scandale du non-recours aux droits sociaux, La Découverte, pp.185-202, 2012, Cahiers libres
halshs-01333394v1  Article dans une revue
G. EnjolrasMagali AubertBetween the approved dose and the dose actually applied: A diagnosis of pesticide overdosing in French vineyards
Revue d'Etudes en Agriculture et Environnement - Review of agricultural and environmental studies, INRA Editions, 2014, Vol. 95, (n°3,), p. 327-350
halshs-00781971v1  Chapitre d'ouvrage
H. FrancoisMaud HirczakNicolas SenilLa dimension patrimoniale des ressources territoriales. Quel rôle dans les trajectoires de développement ?
Alain Berger, Pascal Chevalier, Geneviève Cortes, Marc Dedeire. Patrimoines, héritages et développement rural en Europe, L'Harmattan, pp.21-44, 2010, Logiques Sociales
inria-00537430v1  Chapitre d'ouvrage
Alexandre MeyerPhilippe DecaudinFabrice NeyretReprésentations Alternatives
Bernard Péroche and Dominique Bechmann. Informatique Graphique et Rendu (Traité IC2), Hermes Science Publication, 2007, Traitement du Signal et de l'Image, 978-2-7462-1515-3
...
hal-00733634v1  Communication dans un congrès
Meixian ChenJean-François MoninFormal Verification of Netlog Protocols
Tiziana Margaria and Zongyan Qiu and Hongli Yang. TASE, Jul 2012, Beijing, China. IEEE, 2012
...
hal-00937168v1  Communication dans un congrès
Jean-François MoninXiaomu ShiHandcrafted Inversions Made Operational on Operational Semantics
Sandrine Blazy and Christine Paulin-Mohring and David Pichardie. ITP 2013 - 4th International Conference Interactive Theorem Proving, Jul 2013, Rennes, France. Springer, 7998, pp.338-353, 2013, LNCS - Lecture Notes in Computer Science; Interactive Theorem Proving. <10.1007/978-3-642-39634-2_25>
halshs-00601773v1  Chapitre d'ouvrage
Patrick CriquiJean Charles HourcadeProjeter les émissions de GES
Catherine Jeandel et Rémy Mosseri. Le climat à découvert, CNRS Editions, pp.214-216, 2011
hal-00953144v1  Article dans une revue
Sandro BimonteMichela BertolottoJérôme GenselOmar BoussaidSpatial OLAP and Map Generalization: Model and Algebra
International Journal of Data Warehousing and Mining (JDWM), IGI Global, 2012, 8 (1), pp.24-51. <10.4018/jdwm.2012010102>
hal-00953003v1  Communication dans un congrès
Michel BauderonChristophe BobineauStéphane GrumbachAntoine HenryXin Qi et al.  Netquest: An Abstract Model for Pervasive Applications
Seventh IEEE International Conference on Pervasive Computing (Pervasive 2009), 2009, Nara, Japan. LNCS, pp.467-481, 2009
hal-01508411v1  Article dans une revue
R. Le GuenI. MadelaineJ. TournamilleA. BellangerA. Astier et al.  Study impacto: Descriptive analyzis of pharmacist's clinical practice in onco-hematology
Annales Pharmaceutiques Françaises, Elsevier Masson, 2015, 73 (3), pp.223 - 228. <10.1016/j.pharma.2014.10.002>
hal-00395770v1  Article dans une revue
P. BoissonnatJ. P. GaréM. De LorgerilG. Durand de GevigneyM. Perinetti et al.  [Evaluation of non invasive methods for the diagnosis of atherosclerosis of the graft after orthotopic cardiac transplantation]
Archives des Maladies du Coeur et des Vaisseaux, J B Bailliere et Fils, 1992, 85 (9), pp.1285-90
...
inria-00510174v1  Article dans une revue
Cyril SolerFrançois X. SillionFrédéric BlaisePhilippe De ReffyeAn Efficient Instantiation Algorithm for Simulating Radiant Energy Transfer in Plant Models
ACM Transactions on Graphics, Association for Computing Machinery, 2003, 22 (2), pp.204 - 233. <10.1145/636886.636890>
inria-00122480v1  Article dans une revue
Cyril SolerFrançois X. SillionFrédéric BlaisePhilippe De ReffyeAn efficient instanciation algorithm for simulating radiant energy transfer in plant models
ACM Transactions on Graphics, Association for Computing Machinery, 2003, ACM Transactions on Graphics, 22 (2), pp.204-233. <10.1145/636886.636890>