.:. 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 ...

Interactive Blood-Coil Simulation in Real-time during Aneurysm Embolization Wei Y., Cotin S., Allard J., Fang L., Pan C., Ma S. Computers and Graphics 35, 2 (2011) 422-430 [hal-00688443 - version 1]

Formalisation and verification of programmable logic controllers timers in Coq Wan H., Gang C., Song X., Gu M. IET Software (2011) [inria-00612410 - version 1]

Formal modeling and synthesis of programmable logic controllers Wang R., Song X., Zhu J., Gu M. Computers in Industry (2011) [inria-00612411 - version 1]

A novel approach for determining fatigue resistances of different muscle groups in static cases Ma L., Chablat D., Bennis F., Zhang W., Hu B., Guillaume F. International Journal of Industrial Ergonomics 41, 1 (2011) 10-18 [hal-00583680 - version 1]

Can virtual reality predict body part discomfort and performance of people in realistic world for assembling tasks? Hu B., Ma L., Zhang W., Salvendy G., Chablat D., Bennis F. International Journal of Industrial Ergonomics 41, 1 (2011) 64-71 [hal-00583675 - version 1]

Meshless quadrangulation by global parameterization Li E.R., Lévy B., Zhang X., Che W.-J., Dong W., Paul J.-C. Computers and Graphics 35, 5 (2011) 992-1000 [hal-00763290 - version 1]

CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates Blanqui F., Koprowski A. Mathematical Structures in Computer Science 21, 4 (2011) 827-859 [inria-00543157 - version 1]

Some Parameter Estimation Issues in Functional-Structural Plant Modelling Cournède P.-H., Letort V., Mathieu A., Kang M. Z., Lemaire S., Trevezas S., Houllier F., De Reffye P. Mathematical Modelling of Natural Phenomena 6, 2 (2011) 133-159 [hal-00631509 - version 1]

Simulation of fruit-set and trophic competition and optimization of yield advantages in six Capsicum cultivars using functional-structural plant modelling Ma Y., Wubs A.M., Heuvelink E., Mathieu A., Zhu J.Y., Hu B.-G., Cournède P.-H., De Reffye P. Annals of Botany -London- Oup then Academic Press then Oxford University Press- 107, 5 (2011) 793-803 [halsde-00613645 - version 1]

Correlation between dynamic tomato fruit-set and source sink ratio: a common relationship for different plant densities and seasons? Kang M.Z., Yang L.L., Zhang Z.G., De Reffye P. Annals of Botany -London- Oup then Academic Press then Oxford University Press- 107, 5 (2011) 805-815 [halsde-00612625 - version 1]