28577 articles – 22062 Notices  [english version]
.:. Consultation > Par type de document > Conférences invitées .:.
819 documents classés par :
Première Page Page Précédente 1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
Deductive Program Verification
Filliâtre J.-C.
Dans Programming Languages Mentoring Workshop (PLMW 2013) (2013) [hal-00799190 - version 1]
La vie privée sur Internet, une question de confiance ?
Piolle G.
Dans Journée Web et Confiance (2013) [hal-00777430 - version 1]
Arrhythmic dynamics from singularity analysis of electrocardiographic maps
Pont O., Yahia H., Xu B.
Dans EMBC 2013. 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (2013) [hal-00789196 - version 1]
fulltext access HOSM control under quantization and saturation constraints: Zig-Zag design solutions
Amet L., Ghanes M., Barbot J.-P.
Dans CDC (2012) [hal-00751557 - version 1]
fulltext access Fractional order differentiation by integration with Jacobi polynomials
Liu D.-Y., Gibaru O., Perruquetti W., Laleg-Kirati T.-M.
Dans 51st IEEE Conference on Decision and Control (2012) [hal-00728406 - version 1]
Modèles LUTI - des modèles numériques
Arnaud E., Sturm P.
Dans 2e Journée d'études sur les modèles Occupation du sol - Transport (2012) [hal-00763144 - version 1]
An Overview of Design Problematics for Embedded Systems
Chillet D.
Dans 15th National Symposium on Selected ICT Problems (2012) [hal-00759676 - version 1]
Conservative Semi-Lagrangian solvers on mapped meshes
Mehrenberger M., Bergot M., Grandgirard V., Latu G., Sellama H., Sonnendrücker E.
Dans ICOPS International Conference on Plasma Science (2012) [hal-00759823 - version 1]
Multimodal Conversational Interaction with a Humanoid Robot
Csapo A., Gilmartin E., Grizou J., Han J., Meena R., Anastasiou D., Jokinen K., Wilcock G.
Dans CogInfoCom 2012 (3rd IEEE International Conference on Cognitive Infocommunications) (2012) [hal-00759810 - version 1]
Reconstructing Species-Based Dynamics from Reduced Stochastic Rule-Based Models.
Petrov T., Feret J., Koeppl H.
Dans WSC - Winter Simulation Conference - 2012 (2012) [hal-00734483 - version 1]