Publications
Affichage de 4821 à 4830 sur 5540
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⟩
A fuzzy multi-criteria evaluation method for designing fashion oriented industrial products
X. Zeng, Y. Zhu, L. Koehl, M. Camargo, C. Fonteix, Franck Delmotte
Soft Computing, 2010, 14 ((12)), pp. 1277-1285. ⟨10.1007/s00500-009-0496-z⟩. ⟨hal-00609615⟩
ANALYSE MULTI FRACTALE DES ÉCHOS RADAR PAR LA MÉTHODE DES MAXIMUMS DES MODULES DE LA TRANSFORMÉE EN ONDELETTE (MMTO) 2D POUR LES SITES DE BORDEAUX (FRANCE), SÉTIF (ALGÉRIE) : APPLICATION À L'ÉLIMINATION DES ÉCHOS PARASITES
Mohamed Khider, Boualem Haddad, Abdelmalik Taleb-Ahmed
Teledetection, 2010, 8 (4), pp.271-283. ⟨hal-00560112⟩
How to Learn from the Resilience of Human-Machine Systems?
Kiswendsida Abel Ouedraogo, Simon Enjalbert, Frédéric Vanderhaegen
11th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, Aug 2010, Valenciennes, France. pp.374-379, ⟨10.3182/20100831-4-FR-2021.00066⟩. ⟨hal-03644372⟩
A tabu search with an oscillation strategy for the discriminant analysis problem
Arnaud Fréville, Said Hanafi, Frédéric Semet, Nicola Yanev
Computers and Operations Research, 2010, 37 (10), pp.1688-1696. ⟨10.1016/j.cor.2009.11.016⟩. ⟨hal-00832042⟩
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⟩
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⟩