139 articles – 154 references  [version française]
.:. Browse > Document list .:.
293 documents ordered by :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Next Last
fulltext access Human Muscle Fatigue Model in Dynamic Motions
Ma R., Chablat D., Bennis F., Ma L.
Dans Advances in Robot Kinematics (2012) 1-8 [hal-00686180 - version 1]
fulltext access The world upside down
Fabre G., Grumbach S.
[halshs-00677171 - version 2]
fulltext access The World upside down, China's R&D and innovation strategy
Fabre G., Grumbach S.
(28/02/2012) [halshs-00686389 - 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]
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.
In 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.
In 13th International Conference on Formal Engineering Methods(ICFEM 2011) (2011) [inria-00612414 - version 1]
Edola: A Domain Modeling and Verification Language for PLC Systems
Zhang H., Gu M., Song X.
Dans The Sixth International Conference on Software Engineering (ICSEA 2011) (2011) [inria-00612416 - version 1]
fulltext access Optimal Design of Multiple Q-shells experiments for Diffusion MRI
Caruyer E., Cheng J., Lenglet C., Sapiro G., Jiang T., Deriche R.
Dans MICCAI Workshop on Computational Diffusion MRI - CDMRI'11 (2011) [inria-00617663 - version 1]