.:. Consultation > Liste des articles .:.

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

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

Spherical Polar Fourier EAP and ODF Reconstruction via Compressed Sensing in Diffusion MRI Merlet S., Cheng J., Ghosh A., Deriche R. Dr. Dans ISBI (2011) [inria-00585694 - version 1]

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference Jung Y., Lee W., Wang B.-Y., Yi K. Dans TACAS 2011 - Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems 6605 (2011) 205-219 [hal-00648946 - 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]

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]

Verifying Declarative Netlog Protocols with Coq: a First Experiment Deng Y., Grumbach S., Monin J.-F. N° RR-7511 (2011) [inria-00567811 - 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]