Publications

Affichage de 5021 à 5030 sur 5761


  • Communication dans un congrès

BRILLANT: an open source platform for B

Samuel Colin, Dorian Petit, Georges Mariano, Vincent Poirriez

This article presents an open-source platform, the BRILLANT project, with a focus on some of its most prominent components.

Workshop on Tool Building in Formal Methods, Feb 2010, Orford, Canada. ⟨inria-00480709⟩

  • Poster de conférence

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⟩

  • Communication dans un congrès

Branch and Price for the m-Capacitated Peripatetic Salesman Problem

Eric Duchenne, Gilbert Laporte, Frédéric Semet

NOW, 2010, Ajacccio, France. ⟨hal-05749941⟩

  • Ouvrages

Stability analysis and nonlinear observer design using Takagi-Sugeno fuzzy models

Zsofia Lendek, Thierry-Marie Guerra, Robert Babuska, Bart de Schutter

2010, ⟨10.1007/978-3-642-16776-8⟩. ⟨hal-02446398⟩

  • Article dans une revue

Les activités de gestion de soins : un cadre d'étude privilégié de la cognition en situation naturelle, Health Management Activities : An Ideal Setting for Cognition Research in its Natural Framework

Françoise Anceaux, Christine Chauvin

Le travail humain, 2010, 73 (4), pp.293. ⟨10.3917/th.734.0293⟩. ⟨hal-03208725⟩