Publications

• Chapitre d'ouvrage

Recent advances in solving the protein threading problem

Rumen Andonov, Guillaume Collet, Jean-François Gibrat, Antoine Marin, Vincent Poirriez, Nicola Yanev

The fold recognition methods are promissing tools for capturing the structure of a protein by its amino acid residues sequence but their use is still restricted by the needs of huge computational resources and suitable efficient algorithms as well. In the recent version of FROST (Fold Recognition…

Talbi, El-Ghazali and Zomaya, Albert Y. Grid Computing for Bioinformatics and Computational Biology, Wiley, pp.325-356, 2007, 978-0-471-78409-8. ⟨10.1002/9780470191637.ch14⟩. ⟨inria-00180695⟩

• Communication dans un congrès

Input-to-state stability and exponential stability for time-delay systems: further results

Nima Yeganefar, Pierdomenico Pepe, Michel Dambrine

The main contribution of this paper is to establish a link between the exponential stability of an unforced system and the input-to-state stability (ISS) via the Liapunov-Krasovskii methodology. It is proved that a system which is (globally, locally) exponentially stable in the unforced case is (…

46th IEEE Conference on Decision and Control (CDC 2007), Dec 2007, La Nouvelle Orléans, LA, United States. ⟨10.1109/CDC.2007.4434753⟩. ⟨hal-04097729⟩

• Communication dans un congrès

Sélection d'actions en environnement continu et dynamique par vote de comportements

David Hanon, Emmanuelle Grislin-Le Strugeon

Journées Francophones sur les Systèmes Multi-Agents (JFSMA), 2007, Carcassonne, France. pp.223-232. ⟨hal-05227682⟩

• Rapport

Recent Advances in Solving the Protein Threading Problem

Rumen Andonov, Guillaume Collet, Jean-François Gibrat, Antoine Marin, Vincent Poirriez, Nicola Yanev

The fold recognition methods are promissing tools for capturing the structure of a protein by its amino acid residues sequence but their use is still restricted by the needs of huge computational resources and suitable efficient algorithms as well. In the recent version of FROST (Fold Recognition…

[Research Report] PI 1856, 2007, pp.38. ⟨inria-00170619⟩

• N°spécial de revue/special issue

Revue d'Interaction Homme-Machine (RIHM), intégrant un numéro spécial sur la médiatisation et la médiation du dispositif informatique (Dir. Manes Gallo M.C.)

Bertrand T. David, Christophe Kolski

Ce second numéro du volume 8 de la revue RIHM est assez spécial, car il réunit dans le même numéro, de façon équilibrée, un numéro spécial, préparé depuis très longtemps, celui sur la « médiatisation » et la « médiation » du dispositif informatique, et des articles ayant suivi un processus normal…

Revue d’Interaction Homme Machine , 8 (2), 2007. ⟨hal-03405325⟩

• Communication dans un congrès

Vers de nouvelles approches pédagogiques pour la formation des concepteurs de systèmes interactifs

Mouldi Sagar, Christophe Kolski, Bénédicte Talon, Bruno Warin

Les interactions homme-machine (IHM) sont désormais présentes dans tous les domaines. Il est donc nécessaire de proposer des méthodes de conception et d'évaluation de systèmes interactifs, et aussi et surtout de les enseigner efficacement. Consacré à l'enseignement de l'IHM, cet…

Workshop International : Logistique & Transport (LT2007), Groupement de recherche en modélisation, analyse et conduite des systèmes dynamiques (France); Union des chercheurs ingénieurs scientifiques (Lille); Institut supérieur du transport et de la logistique (Sousse, Tunisie), Nov 2007, Sousse, Tunisie. pp.285-292. ⟨hal-00319397⟩

• Communication dans un congrès

Méthodes et Modèles en Interaction Homme-Machine, applications en transports

Christophe Kolski

Les besoins en conception et évaluation de systèmes interactifs dans le domaine des transports sont croissants, ces systèmes pouvant être utilisés par différents acteurs allant des exploitants aux usagers. Il est donc important de disposer d’un ensemble de méthodes et modèles adaptés provenant du…

Workshop International : Logistique & Transport, LT2007, Nov 2007, Sousse, Tunisie. ⟨hal-03451018⟩

• Communication dans un congrès

Control strategy design for a turbocharged SI engine

Djamel Khiar, Jimmy Lauber, Thierry-Marie Guerra, Thierry Floquet, Guillaume Colin, Yann Chamaillard

2007 European Control Conference (ECC), 2007, Kos, Greece. ⟨hal-05232206⟩

• Communication dans un congrès

Traces using aspect oriented programming and interactive agent-based architecture for early usability evaluation: basic principles and comparison

Jean-Claude Tarby, Houcine Ezzedine, Philippe Laporte, J. Rouillard, Christophe Kolski

Early evaluation of interactive systems is currently the subject of numerous researches. Some of them aim at explicitly coupling design and evaluation by various software mechanisms. We describe in this paper two approaches of early evaluation exploiting new technologies and paradigms. The first…

12th International Conference on Human-Computer Interaction (HCI 2007), Jul 2007, Pékin, China. pp.632-641, ⟨10.1007/978-3-540-73105-4_70⟩. ⟨hal-00731382⟩

• Thèse

Contribution à l'évaluation de la sécurité des systèmes complexes de transport guidé, Contribution to safety evaluation of complex guided transportation systems

Julie Beugin

Un système de transport guidé est un système complexe qui intègre de nombreux sous-systèmes en interaction pour garantir un déplacement en toute sécurité. Répartis sur l'ensemble du système en tant que sous-systèmes bord et sol, de tels moyens de sécurité consistent à éviter toute situation à…, A guided transportation system is a complex system, which integrates multiple interacting subsystems that ensure a safe transfer of passengers. Such safety means are distributed throughout the onboard and trackside subsystems, in order to avoid risky situations and potentially catastrophic…

Automatique / Robotique. Université de Valenciennes et du Hainaut-Cambresis, 2006. Français. ⟨NNT : ⟩. ⟨tel-00132452⟩