Publications

Type de document

Mots clés

Auteur

Du

Au

Affichage de 5011 à 5020 sur 5528

Communication dans un congrès

Gaspard2: from MARTE to SystemC Simulation

Rabie Ben Atitallah, Philippe Marquet, Éric Piel, Samy Meftali, Smail Niar, Anne Etien, Jean-Luc Dekeyser, Pierre Boulet

Proceeedings of the DATE'08 workshop on Modeling and Analyzis of Real-Time and Embedded Systems with the MARTE UML profile, Mar 2008, Washington, United States. ⟨inria-00524373⟩

Article dans une revue

Finite-time stability and stabilization of time-delay systems

Emmanuel Moulay, Michel Dambrine, Nima Yeganefar, Wilfrid Perruquetti

Finite-time stability and stabilization of retarded-type functional differential equations are developed. First, a theoretical result on finite-time stability inspired by the theory of differential equations, using Lyapunov functionals, is given. As it may appear not easily usable in practice, we…

Systems and Control Letters, 2008, 57 (7), pp.561-566. ⟨10.1016/j.sysconle.2007.12.002⟩. ⟨inria-00344524⟩

Article dans une revue

The role of intervening variables in driver-ACC cooperation, Rôle des variables intermédiaires dans la coopération conducteur-ACC

Bako Rajaonah, N. Tricot, Françoise Anceaux, Patrick Millot

This paper analyzes the behavior of drivers using Adaptive Cruise Control (ACC) within the theoretical framework of Human-Machine Cooperation. The study was carried out on a driving simulator. Driving task performance data and responses to a trust questionnaire were analyzed in order to examine the…

International Journal of Human-Computer Studies, 2008, 66 (3), pp.185-197. ⟨10.1016/j.ijhcs.2007.09.002⟩. ⟨hal-02602458⟩

Article dans une revue

A continuous media approach to modeling the stress saturation effect in granular silos

Jamila Rahmoun, Olivier Millet, Géry de Saxcé

A continuous media approach for the calculation of the stresses in an ensiled granular media which improves on the Janssen theory has been developed. This approach also allows us to represent qualitatively as well as quantitatively the stress saturation phenomenon in granular silos. It is based on…

Journal of Statistical Mechanics: Theory and Experiment, 2008, June 2008, pp.P06011. ⟨10.1088/1742-5468/2008/06/P06011⟩. ⟨hal-00373853⟩

Article dans une revue

Informal Notes to support the Asynchronous Collaborative Activities

Nathalie Bricon-Souf, Sandra Bringay, Saliha Hamek, Françoise Anceaux, Catherine Barry, Jean Charlet

BACKGROUND: Health care professionals' collaboration is highly important for the medical practice. Efficient exchange of information improves good cooperation, but remains complex, due to the diversity of the medical activities. Currently, the health record is mainly used to manage structured…

International Journal of Medical Informatics, 2008, 76 (Suppl. 3), pp.342-348. ⟨10.1016/j.ijmedinf.2007.02.006⟩. ⟨lirmm-00394429⟩

Article dans une revue

A dynamic programming based reduction procedure for the multidimensional 0-1 knapsack problem

Stefan Balev, Nicola Yanev, Arnaud Fréville, Rumen Andonov

This paper presents a preprocessing procedure for the 0–1 multidimensional knapsack problem. First, a non-increasing sequence of upper bounds is generated by solving LP-relaxations. Then, a non-decreasing sequence of lower bounds is built using dynamic programming. The comparison of the two…

European Journal of Operational Research, 2008, 186 (1), pp.63-76. ⟨10.1016/j.ejor.2006.02.058⟩. ⟨inria-00184771⟩

Chapitre d'ouvrage

Prevision of evaluation by traces during the software design of interactive systems: two approaches compared

Jean-Claude Tarby, Houcine Ezzedine, Christophe Kolski

Interactive system evaluation is currently the subject of numerous research projects. Some are intended to link design and evaluation explicitly by different software mechanisms. In this chapter, we describe two evaluation approaches based on the concept of traces, taking advantage of new…

Ahmed Seffah, Jean Vanderdonckt, And Michel Desmarais (Ed.). Human-Centered Software Engineering: Architectures and Models-Driven Integration, Springer, 2008, HCI. ⟨hal-00731360⟩