Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes collection

• 
  Mohand Boughanem, Yannick Loiseau, Henri Prade. Improving document ranking in information retrieval using ordered weighted aggregation and leximin refinement. 4th Conference of the European Society for Fuzzy Logic and Technology and 11èmes Rencontres Francophones sur la Logique Floue et ses Applications (EUSFLAT LFA 2005), Sep 2005, Barcelona, Espagne. pp.1269-1274. ⟨hal-03367402⟩
• 
  Antoine Perraudat. Operational and tactical management of qualifications for flexibility optimization of complex manufacturing systems. Computer Science [cs]. Mines Saint-Etienne, 2021. English. ⟨tel-03355241⟩
• 
  Lhouari Nourine, Simon Vilmin. Enumerating Maximal Consistent Closed Sets in Closure Systems. Formal Concept Analysis. ICFCA 2021, 12733, pp.57-73, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-77867-5_4⟩. ⟨hal-03354969⟩
• 
  Jérémy Morceaux, Johann Laconte, Elie Randriamiarintsoa, Ted Morell, Laurent Malaterre, et al.. Toward a Generalized Risk Assessment Method on Occupancy Grids. International Conference on Intelligence Robots and Systems, Sep 2021, Prague (on line), Czech Republic. ⟨hal-03346213⟩
• 
  Christian Artigues, Alain Quiliot, Hélène Toussaint, Emmanuel Hébrard. Models and Algorithms for Natural Disaster Evacuation Problems. 14th Federated Conference on Computer Science and Information Systems 2019, Sep 2019, Leipzig, Germany. pp.143-146, ⟨10.15439/2019F90⟩. ⟨hal-02403836⟩
• 
  Stéphane Devismes, Pascal Lafourcade. Un jour sans fin. ALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2021, La Rochelle, France. ⟨hal-03205279v2⟩
• 
  Rodolphe Le Riche, Dédji Whannou, Espéran Padonou. An introduction to optimization for machine learning. DEUG. Cotonou, Benin. 2021. ⟨hal-03345681⟩
• 
  Sébastien Salva, Loukmen Regainia. An Approach for Guiding Developers in the Choice of Security Solutions and in the Generation of Concrete Test Cases. Software Quality Journal, Springer Verlag, In press, ⟨10.1007/s11219-018-9438-2⟩. ⟨hal-02019145⟩
• 
  Sébastien Salva, Elliott Blot. Model generation of component-based systems. Software Quality Journal, Springer Verlag, 2020, 28 (2), pp.789--819. ⟨10.1007/s11219-019-09485-y⟩. ⟨hal-02458451⟩
• 
  Sébastien Salva, Elliott Blot. MLCA: A Model-Learning-Checking Approach for IoT Systems. Communications in Computer and Information Science, vol. 1447, Software Technologies - 15th International Conference, 2020, Online Event, July 7-9, 2020, Revised Selected Papers, 1447, Springer, pp.70-97, 2021, Software Technologies, 978-3-030-83007-6/978-3-030-83006-9. ⟨10.1007/978-3-030-83007-6_4⟩. ⟨hal-03338612⟩

1 248