Publicaciones

• Communication dans un congrès

Personnalisation et prise en compte du contexte dans les modèles conceptuels pour la conception des SI

Arnaud Brossard, Mourad Abed, Christophe Kolski

L’informatique étant de plus en plus nomade, la prise en compte du contexte dans les applications interactives devient indispensable pour pouvoir fournir la bonne information au bon moment. Ceci implique de pouvoir gérer le contexte lors de la modélisation des applications. Dans nos travaux, nous..., Computing is becoming more and more mobile, the management of the context inside interactive applications is becoming essential to give the right information at the right time. This implies to manage the context when modelling applications. In our work, we have defined a first approach to do it...

INFORSID 2009, May 2009, Toulouse, France. pp.13-24. ⟨hal-03429347⟩

• Rapport

Bridging the gap between KAOS requirements models and B specifications

Abderrahman Matoussi, Régine Laleau, Dorian Petit

Employing formal methods for complex systems specification is steadily growing from year to year. Whereas the formal specification process from abstraction to implementation via refinement is well understood, the traceability between initial user requirements (requirements analysis) and the...

[Research Report] TR-LACL-2009-5, LACL. 2009. ⟨hal-01224650⟩

• Poster de conférence

Impact of the Expertise on the Gathering of Information Contained in the Anesthetic File

Bruno Marciniak, Romaric Marcilly, Julien Aldegheri, Françoise Anceaux

Annual Meeting of the American Society of Anesthesiologists, 2009, New Orleans, United States. ⟨hal-04147019⟩

• Article dans une revue

Integrating human factors in the design of intelligent systems: an example in air traffic control

Serge Debernard, Benoît Guiost, Thierry Poulain, Igor Crevits, David Annebicque, Patrick Millot

In the current organisation of air traffic control, some cooperative activities appear in the work of air traffic controllers, especially between Tactical Controllers (TC) and Planning Controllers (PC), who manage aircraft inside a sector to prevent collisions. These cooperative activities allow...

Int. J. Intelligent Systems Technologies and Applications, 2009, 7 (2), pp.205 - 226. ⟨10.1504/IJISTA.2009.026088⟩. ⟨hal-02112887⟩

• Communication dans un congrès

Adjustment of the Subject-and-Wheelchair Fore-and-Aft Stability

Philippe Vaslin, Arnaud Faupin, François-Xavier Lepoutre

A 2-D model has been designed for solving the problem of the subjectand-wheelchair fore-and-aft stability, and implemented into a simulation program, which computes the seat height and fore-and-aft position from the wheelchair dimensions, the subject's anthropometry, his sitting posture in the...

4th International State-of-the-Art Congress, Vrije Universiteit, Amsterdam, Apr 2009, Amsterdam, Netherlands. pp.64-66. ⟨hal-04999373⟩

• Communication dans un congrès

HCI-enriched approach for DSS development : the UP/U approach

Hela Ltifi, Mounir Ben Ayed, Christophe Kolski, Adel M. Alimi

In this paper we propose an approach aiming to integrate Human-Computer Interaction (HCI) aspects in decision support system (DSS) development. We propose an approach combining two methods: one issued from software engineering field (the Rational Unified Process) and the other one from the HCI...

2009 IEEE Symposium on Computers and Communications (ISCC'09), Jul 2009, Sousse, France. pp.895-900, ⟨10.1109/ISCC.2009.5202243⟩. ⟨hal-03443050⟩

• Communication dans un congrès

New Human-Computer Interactions Using Tangible Objects: Application on a Digital Tabletop with RFID Technology

Sébastien Kubicki, Sophie Lepreux, Yoann Lebrun, Philippe dos Santos, Christophe Kolski, Jean Caelen

This paper presents a new kind of interaction between users and a tabletop. The table described is interactive and associated with tangible and traceable objects using RFID technology. As a consequence, some Human-Computer Interactions become possible implying these tangible objects. The multi-...

Human-Computer Interaction, 13th International Conference, HCI International 2009, Jul 2009, San Diego, United States. pp.446-455, ⟨10.1007/978-3-642-02580-8_49⟩. ⟨hal-03442960⟩

• Article dans une revue

Dispositif expérimental d'analyse des performances de cellules photovoltaïques

Jean-Paul Becar, Fabrice Robert, Jean-Charles Canonne, Laurent Vermeiren

L'article rapporte un travail de conception, de réalisation et d'utilisation d'un dispositif expérimental d'analyse de performances de cellules photovoltaïques. Initié à son origine par des questionnements d'étudiants d'un Institut Universitaire de Technologie relatifs...

Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2009, 8, pp.1009. ⟨10.1051/j3ea:2008050⟩. ⟨hal-02049289⟩

• Article dans une revue

A third order sliding mode controller for a stepper motor

Michael Defoort, Frédéric Nollet, Thierry Floquet, Wilfrid Perruquetti

This paper deals with the robust control problem of a stepper motor subject to parameter uncertainties and load torque perturbation. The developed algorithm is based on third-order sliding-mode control such that a desired angular motor position is accurately tracked. The proposed scheme requires...

IEEE Transactions on Industrial Electronics, 2009, 56 (9), pp.3337-3346. ⟨10.1109/TIE.2009.2026378⟩. ⟨hal-00731474⟩

• Article dans une revue

A Hybrid Algorithm for the Unbounded Knapsack Problem

Vincent Poirriez, Nicola Yanev, Rumen Andonov

This paper presents a new approach for exactly solving the Unbounded Knapsack Problem (UKP) and proposes a new bound that was proved to dominate the previous bounds on a special class of UKP instances. Integrating bounds within the framework of sparse dynamic programming led to the creation of an...

Discrete Optimization, 2009, 6, pp.110-124. ⟨10.1016/j.disopt.2008.09.004⟩. ⟨inria-00335065⟩