Publications

Type of document

Keywords

Author

Of

At

Affichage de 721 à 730 sur 2006

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

On Challenges in Engineering IoT Software Systems

Rebeca Campos Motta, Káthia Marçal de Oliveira, Guilherme Horta Travassos

Contemporary software systems, such as the Internet of Things (IoT), Industry 4.0, and Smart Cities represent a technology changing that offer challenges for their construction since they are calling into question our traditional form of developing software. They are a promising paradigm for the…

Journal of Software Engineering Research and Development, 2019, 7, pp.5. ⟨10.5753/jserd.2019.15⟩. ⟨hal-03400380⟩

Article dans une revue

Horizontal collaborative transport: survey of solutions and practical implementation issues

Shenle Pan, Damien Trentesaux, Eric Ballot, George Q. Huang

Horizontal collaboration has been considered as effective practice for sustainable logistics and freight transport and it has gained increased attention in recent years. This paper aims to provide a survey of the development of horizontal collaborative transport (HCT) over the past ten years, to…

International Journal of Production Research, 2019, 57 (15-16), pp.5340-5361. ⟨10.1080/00207543.2019.1574040⟩. ⟨hal-02008934⟩

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

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

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

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⟩