3 citations
3 papers
cs.CE2025
Toward lean industry 5.0: a human-centered model for integrating lean and industry 4.0 in an automotive supplier
Peter Hines, Florian Magnani, Josefa Mula +1
This paper proposes a human-centered conceptual model integrating lean and Industry 4.0 based on the literature review and validated it through a case study in the context of an ad…
cs.DC2025
Towards Efficient Verification of Parallel Applications with Mc SimGrid
Matthieu Laurent, Thierry Jéron, Martin Quinson
Assessing the correctness of distributed and parallel applications is notoriously difficult due to the complexity of the concurrent behaviors and the difficulty to reproduce bugs.…
cs.AI2020★ 3 cited
Automatic Knowledge Acquisition for Object-Oriented Expert Systems
Joël Colloc, Danielle Boulanger
We describe an Object Oriented Model for building Expert Systems. This model and the detection of similarities allow to implement reasoning modes as induction, deduction and simula…