Publicaciones

• Communication dans un congrès

Summary of sensors data in vehicular ad hoc networks

Dorsaf Zekri, Bruno Defude, Thierry Delot

In this article, we focus on vehicular ad hoc networks. In such networks, sensor data are usually exchanged between vehicles to warn or inform the drivers when an event is detected (e.g., accident, emergency braking, available parking space, etc.). In this article, we propose to aggregate and store...

COGIS 2009 : International Conference on COGnitive systems with Interactive Sensors, Nov 2009, Paris, France. ⟨hal-01368467⟩

• 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⟩

• 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⟩

• Ouvrages

Mathématiques pour l'ingénieur

Jean-Pierre Richard, Hugues Mounier, Abdennebi Achour, Lotfi Belkoura, Selma Ben Attia, Michel Dambrine, Mekki Ksouri, Wilfrid Perruquetti, Joachim Rudolph, Salah Salhi, Franck Woittennek

1. Introduction aux distributions. 2. Optimisation et LMI. 3. Systèmes stochastiques. 4. EDO non linéaires. 5. Calcul des variations. 6. Systèmes à retards. 7. Commande algébrique des EDP. 8. Platitude et algèbre différenetielle.

R. Ben Abdennour, K. Abderrahim, H. Mounier. ATAN, Association Tunisienne d'Automatique et de Numérisation, pp.384, 2009, J.P. Richard. ⟨hal-00519555⟩

• Article dans une revue

Revisiting multipoint relay selection in the optimized link state routing protocol

Dhavy Gantsou, Patrick Sondi, Said Hanafi

The objective of the multipoint relay (MPR) technique is to reduce the number of redundant retransmissions, while ensuring reliable delivery of broadcast messages in wireless networks. To do this, it is necessary to select a small set of re-transmitter nodes, called multipoint relays. Selecting...

International journal of communication networks and distributed systems, 2009, 2 (1), pp.4. ⟨10.1504/IJCNDS.2009.021691⟩. ⟨hal-03447670⟩

• Chapitre d'ouvrage

Trace-based usability evaluation using aspect-oriented programming and agent-based software architecture

J.C. 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, Michel Desmarais. Human-Centered Software Engineering, Springer-Verlag, pp.257-276, 2009, 978-1-84800-906-6. ⟨hal-03270155⟩

• Thèse

Laminage à froid des aciers : analyse des mécanismes de lubrification et de leurs impacts sur l'usure et le frottement, Cold rolling of steels : Analysis of the lubrification mechanisms and their impact on friction and wear

Kevin Louaisil

Dans un souci d’augmentation de la productivité et de la qualité de l’acier prélaqué produit à Myriad, le laminoir à froid Sendzimir ZR-22B se doit de suivre cette progression. Que ce soit en limitant la formation trop importante de fines de fer ou en limitant les incidents de laminage, cela..., To improve productivity and quality of Myriad coil coating steel, the cold rolling process (Sendzimir ZR 22-B) has to follow this progress by limiting the production of ferrous residues or by decreasing rolling problems. To achieve these goals the mechanisms of the strip-work roll contact, which is...

Génie mécanique [physics.class-ph]. Université de Valenciennes et du Hainaut-Cambrésis, 2008. Français. ⟨NNT : 2008VALE0047⟩. ⟨tel-03015705⟩

• Thèse

Proposition et validation d'un modèle d'amélioration continue pour les processus hospitaliers, A proposal and validation for a generic continuous quality improvement model for hospital processes

Lahcen El Hiki

Sous l'impulsion d'organismes d'accréditation ou d'autres acteurs politico-socio-économique, l'amélioration continue de la qualité (ACQ) est en passe de devenir progressivement une composante à part entière dans le management hospitalier. Cependant, même si certains..., Under the impetus of accreditation agencies and other institutional actors, many hospital organizations have undertaken ambitious projects designed to implement continuous quality improvement (CQI). However, although many have begun, the failure rate of such projects is quite significant. This...

Automatique. Université de Valenciennes et du Hainaut-Cambrésis, 2008. Français. ⟨NNT : 2008VALE0044⟩. ⟨tel-03012784⟩

• Communication dans un congrès

Solving the 0-1 Multidimensional Knapsack Problem with Resolution Search

Sylvain Boussier, Michel Vasquez, Yannick Vimont, Said Hanafi, Philippe Michelon

We propose an exact method which combines the resolution search and branch & bound algorithms for solving the 0–1 Multidimensional Knapsack Problem. This algorithm is able to prove large–scale strong correlated instances. The optimal values of the 10 constraint, 500 variable instances of the OR...

VI ALIO/EURO Workshop on Applied Combinatorial Optimization, Dec 2008, Buenos Aires, Argentina. ⟨hal-00381898⟩