148 articles – 163 Notices  [english version]
.:. Consultation > Liste par domaine > Informatique .:.
267 documents classés par :
Première Page Page Précédente 1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
fulltext access Estimation et Traitement du Propagateur et de ses Caractéristiques en IRM de diffusion
Cheng J.
Université de Nice Sophia-Antipolis (30/05/2012), Rachid Deriche and Tianzi Jiang (Dir.) [tel-00759048 - version 1]
Thread-Modular Model Checking with Iterative Refinement
Meng W., He F., Wang B.-Y., Liu Q.
Dans NFM 2012 - 4th International Conference on NASA Formal Methods (2012) [hal-00730342 - version 1]
fulltext access Interpolation de données manquantes dans des séquences multi-modales d'images géophysiques satellitaires
Ba S., Corpetti T., Ronan F.
Dans RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle) (2012) 978-2-9539515-2-3 [hal-00656503 - version 1]
fulltext access 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]
fulltext access 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]
fulltext access A Framework for Verifying Data-Centric Protocols
Deng Y., Grumbach S., Monin J.-F.
Dans DisCoTec 2011 - 6th International Federated Conferences on Formal Techniques for Distributed Systems 6722 (2011) 106-120 [hal-00647802 - version 1]
fulltext access First steps towards the certification of an ARM simulator using Compcert
Shi X., Monin J.-F., Tuong F., Blanqui F.
Dans First International Conference on Certified Programs and Proofs 7086 (2011) [inria-00624833 - version 1]
fulltext access Domain-driven Probabilistic Analysis of Programmable Logic Controllers
Zhang H., Jiang Y., William N.N. H., Song X., Gu M.
Dans 13th International Conference on Formal Engineering Methods(ICFEM 2011) (2011) [inria-00612414 - version 1]