s'authentifier
version française rss feed
.:. Consultation > Liste des publications .:.
11038 documents classés par : 
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
Formal modelling and verification of transactional web services composition. A refinement and proof approach with Event-B
Aït-Sadoune I., Aït-Ameur Y.
Dans Correct Software in Web Applications (2013) NC [hal-00831481 - version 1]
Assessment of lithium ion LiFePO4 cells usage in photovoltaic standalone systems
Jousse J., Lemaire E., Ginot N., Batard C., Diouris J.-F.
Dans IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society, Autriche (2013) [hal-00835714 - version 1]
Communication over a pulse width modulated network: Impact of the power cable
Mannah M.-A., Ginot N., Batard C.
Dans IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society, Autriche (2013) [hal-00835708 - version 1]
fulltext access A dynamic estimation scheme for specific growth rates of bacteria for an anaerobic wastewater treatment process
Diop S., Steyer J.-P., Simeonov I.
17th International Conference on System Theory, Control and Computing, Roumanie (2013) [hal-00828771 - version 2]
Stepwise development of formal models for web services compositions. Modeling and property verification
Aït-Sadoune I., Aït-Ameur Y.
Transactions on Large-Scale Data- and Knowledge-Centered Systems (2013) NC [hal-00831483 - version 1]
A Genetic Algorithm and Neural Network Technique for Predicting Wind Power under Uncertainty
Ak R., Li Y.-F., Vitelli V., Zio E.
Dans Chemical Engineering Transactions - Prognostics and System Health Management Conference PHM-2013, Italie (2013) [hal-00752919 - version 1]
fulltext access Global stabilization of the chemostat with delayed and sampled measurements and control
Mazenc F., Harmand J., Mounier H.
NOLCOS - 9th IFAC Symposium on Nonlinear Control Systems - 2013, France (2013) [hal-00823970 - version 1]
fulltext access Guaranteed characterization of exact non-asymptotic confidence regions in nonlinear parameter estimation
Kieffer M., Walter E.
IFAC Symposium on Nonlinear Control Systems, France (2013) [hal-00819488 - version 1]
Apprentissage à partir de noyaux multiples et indéfinis
Szafranski M., Kowalski M., Ralaivola L.
Dans Actes du colloque du Groupement de Recherche et d'Étude en Traitement du signal et des Images (GRETSI) - Colloque du Groupement de Recherche et d'Étude en Traitement du signal et des Images (GRETSI), France (2013) [hal-00829879 - version 1]
Improvement for Rate-based Protocols in Multihop Wireless Networks
Duong L. M., Zitoune L., Vèque V.
Dans Proceedings of IEEE 78th Vehicular Technology Conference - Fall 2013 - 2013 IEEE 78th Vehicular Technology Conference -VTC2013-Fall, États-Unis (2013) [hal-00824064 - version 1]