Publications
Affichage de 4901 à 4910 sur 5620
BRILLANT: an open source platform for B
Samuel Colin, Dorian Petit, Georges Mariano, Vincent Poirriez
Workshop on Tool Building in Formal Methods, Feb 2010, Orford, Canada. ⟨inria-00480709⟩
Adaptations du geste du rameur expert à l'augmentation de la cadence sur ergomètre, Training of expert rowers at high stroke rates on ergometer
Nicolas Decoufour
Biomécanique [physics.med-ph]. Université de valenciennes et du Hainaut-Cambrésis, 2010. Français. ⟨NNT : 2010VALE0002⟩. ⟨tel-03065376⟩
TangiSense : table interactive RFID pour la manipulation d'objets tangibles et traçables
Jean Caelen, Karine Xue, Valentin Valls, Christian Perrot, Sébastien Kubicki, Yoann Lebrun, Christophe Kolski, Sophie Lepreux, René Mandiau, Emmanuel Adam, Philippe dos Santos, P. Rivier, N. Geraud, Céline Verchère, Miguel Aubouy, Hervé Schultz, F Javier Martin-Campo
2ème Colloque STIC "Quelle recherche pour les STIC de demain ?", Jan 2010, Paris, France. ⟨hal-03325901⟩
Human factors in studies of the safety and reliability of agro-equipment
Wided Ben Yahia, Philippe Polet, Frédéric Vanderhaegen, N. Tricot
11th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, Aug 2010, Valenciennes, France. pp.6. ⟨hal-02594644⟩
Choice, sorting and ranking in aerial conflict management
David Annebicque, Igor Crevits, Patrick Millot, Serge Debernard
IFAC Proceedings Volumes, 2010, 43 (13), pp.31-36. ⟨10.3182/20100831-4-FR-2021.00007⟩. ⟨hal-02112910⟩
Higher order sliding modes in robotics
Michael Defoort, Thierry Floquet, Annemarie Kökösy, Wilfrid Perruquetti
International Workshop on Variable Structure Systems, 2010, Mexico, Mexico. ⟨hal-00731066⟩
Vers le concept de stabilité humaine pour l'amélioration de la sécurité des transports
Philippe Richard, Vincent Benard, Frédéric Vanderhaegen, Patrice Caulier
Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2010, La Rochelle, France. 7p. ⟨hal-00615226⟩
Influence de l'architecture cellulaire de l'os spongieux sur sa réponse mécanique
Julien Halgrin, Fahmi Chaari, Eric Markiewicz, Pascal Drazetic
9e Colloque national en calcul des structures, CSMA, May 2009, Giens, France. pp.203-208, ⟨10.1051/meca/2010036⟩. ⟨hal-01413191⟩
On finite time observer design for multicellular converter
Michael Defoort, Mohamed Djemai, Thierry Floquet, Wilfrid Perruquetti
International Workshop on Variable Structure Systems, 2010, Mexico, Mexico. pp.CDROM. ⟨hal-00519791⟩
A first attempt to combine SysML requirements diagrams and B
Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët
Innovations in Systems and Software Engineering, 2010, 1-2 (6), pp.47-54. ⟨10.1007/s11334--009-0119-y⟩. ⟨hal-01224642⟩