.:. Consultation > Liste par type de document > Articles dans des revues avec comité de lecture .:.

144 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

From Diagrammatic Confluence to Modularity Jouannaud J.-P., Liu J. Theoretical Computer Science 9032 (2012) [hal-00730272 - version 1]

Stochastic uncertainty models for the luminance consistency assumption Corpetti T., Memin E. IEEE Transaction on Image Processing 21, 2 (2012) 481-493 [hal-00694584 - version 1]

An optimal control methodology for plant growth--Case study of a water supply problem of sunflower Wu L., Le Dimet F.-X., De Reffye P., Hu B.-G., Cournède P.-H., Kang M.-Z. Mathematics and Computers in Simulation 82, 5 (2012) 909-923 [hal-00705066 - version 1]

Human Arm simulation for interactive constrained environment design Ma L., Ma R., Chablat D., Bennis F. International Journal on Interactive Design and Manufacturing (IJIDeM) International Journal on Interactive Design and Manufacturing (2012) 1-12 [hal-00705161 - version 1]

Stochastic modelling of tree annual shoot dynamics De Reffye P., Kang M.Z., Hua J., Auclair D. Annals of Forest Science 69, 2 (2012) 153-165 [halsde-00700084 - version 1]

A Formal Definition Method of Denotational Semantics and Functions for PLC Program Language Xiao L., Gu M., Sun J. Journal of Central South University (in Chinese) (2011) [inria-00612407 - version 1]

Growth and development simulation based on functional-structural model GreenLab for poplar (Salicaceae) Gang Y., Weiqun C., Dongxiang L., Kang M. Z., Letort V., Meijun X., Xinyuan H. African Journal of Agricultural Research 6, 13 (2011) 3071-3077 [hal-00780322 - version 1]

The Denotational Semantics Definition of PLC Programs Based on Extended λ-Calculus Xiao L., Gu M., Sun J. Communications in Computer and Information Science 176(II), 40-46 (2011) [inria-00612409 - version 1]

Plant growth and architectural modelling and its applications. Preface. Guo Y., Fourcaud T., Jaeger M., Zhang X., Li B. Annals of Botany -London- Oup then Academic Press then Oxford University Press- 107, 5 (2011) 723-7 [halsde-00613651 - version 1]

Argument filterings and usable rules in higher-order rewrite systems Suzuki S., Kusakari K., Blanqui F. IPSJ Transactions on Programming 4, 2 (2011) 1-12 [inria-00555008 - version 1]