.:. Browse > Document list .:.

311 documents ordered by : Date Title first author name document type Submit date

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

Regularized Spherical Polar Fourier Diff usion MRI with Optimal Dictionary Learning Cheng J., Jiang T., Deriche R., Dinggang S., Pew-Thian Y. Dans The 16th International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI) (2013) [hal-00824507 - version 1]

Automated verification of termination certificates Blanqui F., Ly K. Q. Dans 15th National Symposium of Selected ICT Problems (2012) [hal-00763495 - version 1]

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

Church-Rosser Properties of Normal Rewriting Jouannaud J.-P., Li J.-Q. Dans Computer Science Logic 16 (2012) 350-365 [hal-00730271 - version 1]

A (Near) Real-Time Simulation Method of Aneurysm Coil Embolization Wei Y., Cotin S., Dequidt J., Duriez C., Allard J., Kerrien E. Dans Aneurysm, InTech (Ed.) (2012) 223-248 [hal-00736865 - version 1]

Dense trajectories and motion boundary descriptors for action recognition Wang H., Kläser A., Schmid C., Liu C.-L. N° RR-8050 (2012) [hal-00725627 - version 2]

Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité Blanqui F. Université Paris-Diderot - Paris VII (13/07/2012), Dale Miller (Pr.) [tel-00724233 - version 2]

Formal Verification of Netlog Protocols Chen M., Monin J.-F. Dans TASE (2012) [hal-00733634 - version 1]

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]

Fast Dynamic Translation Using LLVM On Multi-Core Hosts Zuyu Z., Joloboff V., Zhou X., Helmstetter C. Dans 5th Workshop on Architectural and Microarchitectural Support for Binary Translation (AMAS-BT) (2012) [hal-00777156 - version 1]