Publications
Affichage de 5001 à 5010 sur 5386
Contribution à l'intégration de temporalité au formalisme B : Utilisation du calcul des durées en tant que sémantique temporelle pour B
Samuel Colin
Génie logiciel [cs.SE]. Université de Valenciennes et du Hainaut-Cambresis, 2006. Français. ⟨NNT : ⟩. ⟨tel-00123899⟩
Approches orientées services web de l'IHM de supervision : nouvelles solutions technologiques pour les ingénieurs et nouvelles problématiques pour les ergonomes ?
Djilali Idoughi, Christophe Kolski
ErgoIA 2006, "L'humain comme facteur de performance des systèmes complexes", Oct 2006, Biarritz, France. pp.111-118. ⟨hal-03457071⟩
Matrix metalloproteinase 3 is present in the cell nucleus and is involved in apoptosis.
Karim Si-Tayeb, Arnaud Monvoisin, Claire Mazzocco, Sébastien Lepreux, Marion Decossas, Gaëlle Cubel, Danièle Taras, Jean-Frédéric Blanc, Derrick R Robinson, Jean Rosenbaum
American Journal of Pathology, 2006, 169 (4), pp.1390-401. ⟨10.2353/ajpath.2006.060005.⟩. ⟨hal-00215931⟩
Attelage virtuel pour véhicules automatisés, Automatic control of two vehicles virtually linked
Pierre-Frédéric Toulotte
Automatique / Robotique. Université de Valenciennes et du Hainaut-Cambresis, 2006. Français. ⟨NNT : ⟩. ⟨tel-00112889v2⟩
Heuristiques hybrides pour la résolution de problèmes en variables 0-1 mixtes, Hybrid heuristics for 0-1 mixed integer programming
Christophe Wilbaut
Modélisation et simulation. Université de Valenciennes et du Hainaut-Cambresis, 2006. Français. ⟨NNT : ⟩. ⟨tel-00409493⟩
Contribution à l'évaluation des systèmes interactifs orientés agents, Contribution to the evaluation of interactive systems based on oriented agent architecture
Abdelwaheb Trabelsi
Interface homme-machine [cs.HC]. Université de Valenciennes et du Hainaut-Cambresis, 2006. Français. ⟨NNT : ⟩. ⟨tel-00393862⟩
Exact differentiation and sliding mode observers for switched Lagrangian systems
Hassan Saadaoui, Noureddine Manamanni, Mohamed Djemai, Jean-Pierre Barbot, Thierry Floquet
Nonlinear Analysis: Theory, Methods and Applications, 2006, 65 (5), pp.1050-1069. ⟨10.1016/j.na.2005.09.047⟩. ⟨hal-00924782⟩
Odds algorithm'-based opportunity-triggered preventive maintenance with production policy
Edouard Thomas, Eric Levrat, Benoît Iung, Maxime Monnin
6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Safeprocess'06, Aug 2006, Beijing, China. pp.835-840. ⟨hal-00092005v2⟩
A unified failure/damage approach to battle damage regeneration : application to ground military systems
Maxime Monnin, Olivier Sénéchal, Benoît Iung, Pascal Lelan, Michel Garrivet
6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Safeprocess'2006, Aug 2006, Beijing, China. pp.379-384. ⟨hal-00091878⟩
A predictive model for improving production line performance
Laurent Cauffriez, Didier Willaeys
International Journal of Advanced Manufacturing Technology, 2006, 29 (9-10), pp.969-979. ⟨10.1007/s00170-005-2583-3⟩. ⟨hal-00289454⟩