Publicaciones

Affichage de 5721 à 5730 sur 6556


  • Chapitre d'ouvrage

BRILLANT/BCaml - Une plateforme d’outils libres pour la méthode B

Samuel Colin, Dorian Petit

Boulanger, Jean-Louis. Mise en oeuvre de la méthode B, Hermès, pp.359-368, 2013, Informatique et systèmes d'information. Recherche, technologie, applications, 9782746238107. ⟨hal-03517848⟩

  • Rapport

Déploiement des concepts de la Coopération Homme-Machine dans l’inspection filtrage aéroportuaire

Igor Crevits, Frédéric Vanderhaegen

[Rapport de recherche] LAMIH, Valenciennes; CHM. 2013. ⟨hal-03467548⟩

  • Communication dans un congrès

Holonic recursiveness with multi-agent system technologies

Sonia Suárez, Paulo Leitão, Emmanuel Adam

Recursive Systems are often needed or recommended for automatically deploy or build a software system composed of multiple entities on a large network, or on distributed locations, without a central control. We use the recursive definitions proposed in holonic systems, as the recursiveness is an...

11th International Conference on Practical Applications of Agents and multi-Agents systems, May 2013, Salamanque, Spain. pp.103-111, 978-3-319-00562-1, ⟨10.1007/978-3-319-00563-8_13⟩. ⟨hal-03472711⟩

  • Article dans une revue

Benchmarking Flexible Job-Shop Scheduling and Control Systems

Damien Trentesaux, Cyrille Pach, Abdelghani Bekrar, Yves Sallez, Thierry Berger, Thérèse Bonte, Paulo Leitão, José Barbosa

Benchmarking is comparing the output of different systems for a given set of input data in order to improve the system's performance. Faced with the lack of realistic and operational benchmarks that can be used for testing optimization methods and control systems in flexible systems, this...

Control Engineering Practice, 2013, 21 (9), pp.1204-1225. ⟨10.1016/j.conengprac.2013.05.004⟩. ⟨hal-03405597⟩

  • Article dans une revue

On Riemann and Weyl compatible tensors

Ryszard Deszcz, Małgorzata Głogowska, Jan Jełowicki, Miroslava Petrović-Torgašev, Georges Zafindratafa

We investigate semi-Riemannian manifolds satisfying some curvature conditions. Those conditions are strongly related to pseudosymmetry.

Publications de l'Institut Mathématique., 2013, 94 (108), pp.111-124. ⟨10.2298/PIM1308111D⟩. ⟨hal-03146560⟩