.:. Browse > List by year > 2011 .:.

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

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

Collective Construction of Numerical Potential Fields for the Foraging Problem Simonin O., Charpillet F., Thierry E. (2011) [inria-00546325 - version 1]

Sensor Networks for High-Confidence Cyber-Physical Systems Xia F., Mukherjee T., Zhang Y., Song Y.-Q. Hindawi Publishing Co. (Ed.) (2011) 130 [hal-00745364 - version 1]

Problèmes classiques en vision par ordinateur et en géométrie algorithmique revisités via la géométrie des droites Batog G. Université Nancy II (15/12/2011), Sylvain Petitjean (Dir.) [tel-00653043 - version 2]

Acoustic and electromagnetic articulographic study of pharyngealisation Embarki M., Ouni S., Guilleminot C., Yeou M., Al Maqtari S. In Instrumental Studies in Arabic Phonetics, Benjamins (Ed.) (2011) 193-215 [hal-00671220 - version 1]

Prise en compte des connaissances du domaine dans l'analyse transcriptomique : Similarité sémantique, classification fonctionnelle et profils flous. Application au cancer colorectal. Benabderrahmane S. Université Henri Poincaré - Nancy I (15/12/2011), Marie-dominique Devignes (Dir.) [tel-00653169 - version 2]

Formal Development and Automatic Code Generation : Cardiac Pacemaker Méry D., Singh N. K. Dans International Conference on Computers and Advanced Technology in Education (ICCATE, 2011) (2011) [inria-00638486 - version 1]

Représentations d'images pour la reconnaissance de formes Hoang T. V. Université Nancy II (2011-12-14), Salvatore Tabbone (Dir.) [tel-00714651 - version 1]

Combining Proof and Model-checking to Validate Reconfigurable Architectures Lanoix A., Dormoy J., Kouchnarenko O. Dans 8th International Workshop on Formal Engineering approaches to Software Components and Architectures - FESCA 2011, joint to ETAPS 2011 279(2) (2011) 43-57 [hal-00642348 - version 1]

Secure Querying of Recursive XML Views: A Standard XPath-based Technique Mahfoud H., Imine A. N° RR-7834 (2011) [hal-00650958 - version 1]

Coherent Parallel Hashing García I., Lefebvre S., Hornus S., Lasram A. ACM Transactions on Graphics 30, 6 (2011) [inria-00624777 - version 1]