Publications

Type de document

Mots clés

Auteur

Du

Au

Affichage de 1851 à 1860 sur 1999

Article dans une revue

New convergent heuristics for 0–1 mixed integer programming

Christophe Wilbaut, Said Hanafi

Several hybrid methods have recently been proposed for solving 0-1 mixed integer programming problems. Some of these methods are based on the complete exploration of small neighborhoods. In this paper, we present several convergent algorithms that solve a series of small sub-problems generated by…

European Journal of Operational Research, 2008, 195, pp.62 - 74. ⟨10.1016/j.ejor.2008.01.044⟩. ⟨hal-03723751⟩

Article dans une revue

The Safe-SADT method for aiding designers to choose and improve dependable architectures for complex automated systems

Vincent Benard, Laurent Cauffriez, Dominique Renaux

Dependability evaluation is crucial to controlling the risks associated with system failure, and for this reason, it is one of the fundamental steps in automated system design. However, the dependability evaluation methods that are currently exploited are not appropriate, given the level of…

Reliability Engineering and System Safety, 2008, 93 (2), pp.179-196. ⟨10.1016/j.ress.2006.12.020⟩. ⟨hal-00289481⟩

Article dans une revue

A 3D analysis of fore and hindlimb motion during locomotion: comparison of overground and ladder walking in rats

Cyril Garnier, Maurice Falempin, Marie-Hélène Canu

The locomotor pattern, generated by the central pattern generator, is under the dependence of descending and peripheral pathways. The afferent feedback from peripheral receptors allows the animal to correct for disturbances that occur during walking, while supraspinal structures are important for…

Behavioural Brain Research, 2008, Behavioural Brain Research, 186 (1), pp.57-65. ⟨10.1016/j.bbr.2007.07.023⟩. ⟨hal-03330708⟩

Article dans une revue

Context aware business adaptation toward user interface adaptation

Mohamad-Anas Hariri, Dimitri Tabary, Sophie Lepreux, Christophe Kolski

The growth of user mobility has created new user needs. Cellular phones, personal assistants and modern communication means are now required for all user tasks. Users want services that are specifically mobile, but they also want to work with and have access to the same applications on their mobile…

Communications of SIWN, 2008, 3, pp.46-52. ⟨hal-03269029⟩

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

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

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

Evaluation of agent-based interactive systems : proposal of an electronic informer using Petri Nets

Chi Dung Tran, Houcine Ezzedine, Christophe Kolski

The evaluation of interactive systems has been an active subject of research for many years. Many methods and tools have been proposed but most of them do not take architectural specificities of agent-based interactive systems into account. In addition, electronic informers are popular evaluation…

Journal of Universal Computer Science, 2008, 14 (9), pp.3202-3216. ⟨hal-03268968⟩

Article dans une revue

Relation usinabilité-topographie de la surface usinée. Analyse conventionnelle et par la théorie du chaos

Maxence Bigerelle, Jérome Gavois, Alain Iost

Cet article propose d'analyser l'usinabilité en tournage d'un acier martensitique en fonction de la vitesse de coupe par observation topographique de la surface. Nous décrivons d'abord une méthodologie pour chercher le paramètre de rugosité le plus pertinent afin de caractériser…

Mechanics & Industry, 2008, 9 (4), pp.273-293. ⟨10.1051/meca:2008033⟩. ⟨hal-04545523⟩