213 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-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
...
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>
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>
...
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>
...
inria-00402079v1  Communication dans un congrès
Xing MeiPhilippe DecaudinBao-Gang HuFast Hydraulic Erosion Simulation and Visualization on GPU
Marc Alexa and Steven J. Gortler and Tao Ju. PG '07 - 15th Pacific Conference on Computer Graphics and Applications, Oct 2007, Maui, United States. IEEE, pp.47-56, 2007, Pacific Graphics 2007. <10.1109/PG.2007.15>
...
lirmm-00806676v1  Communication dans un congrès
Maximilien ServajeanEsther PacittiSihem Amer-YahiaPascal NeveuProfile Diversity in Search and Recommendation
Ido Guy; Michelle X. Zhou; Li Chen. SRS: Social Recommender Systems (in conjunction WWW 2013), May 2013, Rio de Janeiro, Brazil. IW3C2, International World Wide Web Conference Committee (IW3C2) - SRS 2013: 4th International Workshop on Social Recommender Systems (in conjunction WWW 2013 Companion, ACM 978-1-4503-2038-2/13/05., pp.973-980, 2013, <www2013.org/program/4th-international-conference-on-social-recommender-systems/>
hal-00844222v1  Communication dans un congrès
Jean-Yves DelenneVincent RichefeuFarhang RadjaiFabien SouliéLattice Bolzmann modelling of liquid-gas phase changes in a granular material
International Symposium on Discrete Element Modelling of Particulate Media, Mar 2012, Birmingham, United Kingdom
...
lirmm-00879575v1  Communication dans un congrès
Maximilien ServajeanEsther PacittiSihem Amer-YahiaPascal NeveuProfile Diversity for Phenotyping Data Search and Recommendation
BDA: Bases de Données Avancées, Oct 2013, Nantes, France. 29e Journées Bases de Données Avancées, 2013, <http://bda2013.univ-nantes.fr>