Publications

Affichage de 3991 à 4000 sur 5569


  • Communication dans un congrès

Allocation rules of Safety Integrity Levels in a generic TCMS application

Abel Ouedraogo, Julie Beugin, El Miloudi El Koursi, Joffrey Clarhaut, Dominique Renaux, Frédéric Lisiecki

This article identifies and formalizes specific rules implicitly used for SIL allocation in TCMS (Train Control and Monitoring Systems). Firstly, the context of the SIL (Safety Integrity Level) used within the harmonized risk management process for railway systems in the European Union is presented…

10th FORMS-FORMAT symposium, Formal Methods for Automation and Safety in Railway and Automotive Systems, Sep 2014, Brunswick, Germany. pp.167-176. ⟨hal-01073402⟩

  • Rapport

Adaptations morphologiques pour modélisation passagers PMR-âgés

François Gabrielli, Philippe Pudlo

[Rapport de recherche] Université de Valenciennes et du Hainaut-Cambrésis; Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines. 2014. ⟨hal-03642690⟩

  • Chapitre d'ouvrage

Evaluation Based Graphical Controls: A Contribution to Mobile User Interface Early Evaluation

Selem Charfi, Houcine Ezzedine, Christophe Kolski

In this paper, we present a set of graphical controls intended for the coupling between the design and the evaluation of mobile user interfaces. It is a contribution to user interface early evaluation. The presented controls include mechanisms aiming to inspect their consistency according to a…

Human-Computer Interaction. Applications and Services, 8512, Springer International Publishing, pp.114-123, 2014, Lecture Notes in Computer Science, 978-331907226-5. ⟨10.1007/978-3-319-07227-2_12⟩. ⟨hal-03663243⟩

  • Article dans une revue

P76: Increased antagonist muscular activations in cervical SCI participants: evidence of altered reciprocal inhibition during voluntary elbow contractions

Sylvain Cremoux, David Amarantini, J. Tallet, F. Dal Maso, E. Berton

Neurophysiologie Clinique = Clinical Neurophysiology, 2014, 125, ⟨10.1016/S1388-2457(14)50230-1⟩. ⟨hal-03665113⟩

  • Communication dans un congrès

Contextual data entry system design in the healthcare domain

Maxime Baas, Stéphanie Bernonville, Christophe Kolski

To create an adapted and effective data entry system, we need to answer to a number of questions. Who is the system user? What tasks can be completed with the system? Where is the system used? What are the tools that can help the user during data entry? The answers to these questions represent the…

International Conference on Systems, Man, and Cybernetics 2014, Institute of Electrical and Electronics Engineers (IEEE), Oct 2014, San Diego, United States. pp.1045-1050, ⟨10.1109/SMC.2014.6974051⟩. ⟨hal-03364392⟩