Publications

Type of document

Keywords

Author

Of

At

Affichage de 761 à 770 sur 2043

Article dans une revue

Analysis and Formal Modeling of Systems Behavior Using UML/Event-B

Kenza Kraibi, Rahma Ben Ayed, Simon Collart-Dutilleul, Philippe Bon, Dorian Petit

The verification of safety properties of critical systems, such as railway signaling systems, is better achieved by formal reasoning. Event-B as a formal method, allows to get safe and reliable systems. Nevertheless, modeling with Event-B method requires some knowledge on mathematical logic and set…

Journal of Communications, 2019, 14 (10), pp.980-986. ⟨10.12720/jcm.14.10.980-986⟩. ⟨hal-02483113⟩

Article dans une revue

Artificial intelligence for forecasting in supply chain management: a case study of White Sugar consumption rate in Thailand

Anirut Kantasa-Ard, Abdelghani Bekrar, Abdessamad Ait El Cadi, Yves Sallez

This paper proposes an appropriate model to forecast the trend of white sugar consumption rate in Thailand due to the fluctuation of consumption rate nowadays. This paper will focus on two main forecasting model types, which are the regression models and neural network models. Moreover, the…

IFAC-PapersOnLine, 2019, 52 (13), pp.725-730. ⟨10.1016/j.ifacol.2019.11.201⟩. ⟨hal-03675865⟩

Article dans une revue

Application Source Code Modification for Processor Architecture Lifetime Improvement

Montassir Bensaada, Ahmed Jedidi, Smail Niar, Mohamed Abid

In the optimal functioning of SoCs, two significant metrics of quality are the most important; lifetime and reliability. The context of this paper focuses on methods to increase the lifetime of a processor. Two methods are presented: relax point injection (RPI) and code structure adaptation (CSA).…

International Journal of Embedded Systems, 2019, 11 (2), pp.125 - 138. ⟨10.1504/IJES.2019.098289⟩. ⟨hal-03479566⟩

Article dans une revue

Data-Efficient Reinforcement Learning for Energy Optimization Under Human Fatigue Constraints of Power-Assisted Wheelchairs

Guoxi Feng, Lucian Buşoniu, Thierry-Marie Guerra, Sami Mohammad

The objective of this paper is to develop a method for assisting users to push Power-Assisted Wheelchairs (PAW) in such a way that the electrical energy consumption over a predefined distance-to-go is optimal, while at the same time bringing users to a desired fatigue level. This assistive task is…

IEEE Transactions on Industrial Electronics, 2019, 66 (12), pp.9734-9744. ⟨10.1109/TIE.2019.2903751⟩. ⟨hal-03468370⟩

Article dans une revue

Conceptual Development of Cost Benefit Analysis based on Regional, Knowledge, and Economic Aspects of Green Building

Van Basten, Igor Crevits, Yusuf Latief, Mohammed Ali Berawi

conomic, social, and environmental sustainability comprise the general motivations in most green building developments. Deciding to spend additional costs on the optimum benefit results generally applies the cost-benefit analysis (CBA) method to evaluate green building implementation. However,…

International Journal of Technology, 2019, 10 (1), pp.81-93. ⟨10.14716/ijtech.v10i1.1791⟩. ⟨hal-03585821⟩

Article dans une revue

Machine Learning in Production Planning and Control: A Review of Empirical Literature

Juan Pablo Usuga Cadavid, Samir Lamouri, Bernard Grabot, Arnaud Fortin

Proper Production Planning and Control (PPC) is capital to have an edge over competitors, reduce costs and respect delivery dates. With regard to PPC, Machine Learning (ML) provides new opportunities to make intelligent decisions based on data. Therefore, this paper provides an initial systematic…

IFAC-PapersOnLine, 2019, 52 (13), pp.385-390. ⟨10.1016/j.ifacol.2019.11.155⟩. ⟨hal-03467620⟩

Article dans une revue

Unsteady behavior in forced ow over a backward-facing step

Camila Chovet, Marc Lippert, Laurent Keirsbulck, Jean-Marc Foucaut

The unsteady behavior of a turbulent ow over a backward-facing step was investigated under controlled actuation at a Re h = 31500. Initial measurements were made changing the periodic forcing frequency St a from 0.045 to 0.453. The best forcing frequency was observed at a dimensionless frequency of…

Flow, Turbulence and Combustion, 2019, 102 (1), pp.145-165. ⟨10.1007/s10494-018-9944-0⟩. ⟨hal-02877329⟩

Article dans une revue

A rolling horizon approach for the integrated multi-quays berth allocation and crane assignment problem for bulk ports

Issam Krimi, Rachid Benmansour, Abdessamad Ait El Cadi, Laurent Deshayes, David Duvivier, Nizar Elhachemi

In this paper, an efficient rolling horizon-based heuristic is presented to solve the integrated berth allocation and crane assignment problem in bulk ports. We were guided by a real case study of a multi-terminal port, owned by our Moroccan industrial partner, under several restrictions as high…

International Journal of Industrial Engineering Computations, 2019, 10 (4), pp.577-591. ⟨10.5267/j.ijiec.2019.4.003⟩. ⟨hal-03576770⟩

Article dans une revue

Less than one millimeter under the great toe is enough to change balance ability in elite women handball players

Frédéric Viseux, Franck Barbier, Rodolfo Parreira, Antoine Lemaire, Philippe Villeneuve, Sebastien Leteneur

Team handball is a complex intermittent sport game, which requires several motor abilities and effective postural control. Objective evaluation of stabilometric variables may be interesting to assess and improve functional parameters by postural control management. The purpose of the study was to…

Journal of Human Kinetics, 2019, 69 (1), pp.69-77. ⟨10.2478/hukin-2019-0024⟩. ⟨hal-03413188⟩

Article dans une revue

Automated business rules and requirements to enrich product-centric information

Virginie Fortineau, Thomas Paviot, Samir Lamouri

Current PLM or BIM based information systems suffer from a lack of checking components for business rules. One reason is the misunderstanding of the role and nature of business rules, and how they should be treated in a product-centric information system. This paper intends to provide both a…

Computers in Industry, 2019, 104, pp.22-33. ⟨10.1016/j.compind.2018.10.001⟩. ⟨hal-03468401⟩