Skip to main content

Research Repository

Advanced Search

All Outputs (5)

Bee swarm optimization for solving the MAXSAT problem using prior knowledge (2017)
Journal Article
Djenouri, Y., Habbas, Z., Djenouri, D., & Fournier-Viger, P. (2019). Bee swarm optimization for solving the MAXSAT problem using prior knowledge. Soft Computing, 23(9), 3095-3112. https://doi.org/10.1007/s00500-017-2956-1

This paper explores rule decomposition for solving the MAXSAT problem. Four approaches are proposed to steer a bee swarm optimization metaheuristic. Two decomposition methods are proposed: direct and indirect. The first one applies the Kmeans algorit... Read More about Bee swarm optimization for solving the MAXSAT problem using prior knowledge.

Data Mining-Based Decomposition for Solving the MAXSAT Problem: Toward a New Approach (2017)
Journal Article
Djenouri, Y., Habbas, Z., & Djenouri, D. (2017). Data Mining-Based Decomposition for Solving the MAXSAT Problem: Toward a New Approach. IEEE Intelligent Systems, 32(4), 48-58. https://doi.org/10.1109/MIS.2017.3121546

This article explores advances in the data mining arena to solve the fundamental MAXSAT problem. In the proposed approach, the MAXSAT instance is first decomposed and clustered by using data mining decomposition techniques, then every cluster resulti... Read More about Data Mining-Based Decomposition for Solving the MAXSAT Problem: Toward a New Approach.

Temporal and spatial coherence verification in SMIL documents with hoare logic and disjunctive constraints: A hybrid formal method (2017)
Journal Article
Mekahlia, F. Z., Ghomari, A., Yazid, S., & Djenouri, D. (2017). Temporal and spatial coherence verification in SMIL documents with hoare logic and disjunctive constraints: A hybrid formal method. Journal of Integrated Design and Process Science, 20(3), 39-70. https://doi.org/10.3233/jid-2016-0020

© 2016 - Society for Design and Process Science. All rights reserved. The challenging problem of formal verification of SMIL (Synchronized Multimedia Integration Language Specification) documents is considered in this paper, where we propose a hybrid... Read More about Temporal and spatial coherence verification in SMIL documents with hoare logic and disjunctive constraints: A hybrid formal method.

Energy-Aware Constrained Relay Node Deployment for Sustainable Wireless Sensor Networks (2017)
Journal Article
Djenouri, D., & Bagaa, M. (2017). Energy-Aware Constrained Relay Node Deployment for Sustainable Wireless Sensor Networks. IEEE Transactions on Sustainable Computing, 2(1), 30-42. https://doi.org/10.1109/TSUSC.2017.2666844

© 2016 IEEE. This paper considers the problem of communication coverage for sustainable data forwarding in wireless sensor networks, where an energy-aware deployment model of relay nodes (RNs) is proposed. The model used in this paper considers const... Read More about Energy-Aware Constrained Relay Node Deployment for Sustainable Wireless Sensor Networks.

Optimal placement of relay nodes over limited positions in wireless sensor networks (2017)
Journal Article
Bagaa, M., Chelli, A., Djenouri, D., Taleb, T., Balasingham, I., & Kansanen, K. (2017). Optimal placement of relay nodes over limited positions in wireless sensor networks. IEEE Transactions on Wireless Communications, 16(4), 2205-2219. https://doi.org/10.1109/TWC.2017.2658598

This paper tackles the challenge of optimally placing relay nodes (RNs) in wireless sensor networks given a limited set of positions. The proposed solution consists of: 1) the usage of a realistic physical layer model based on a Rayleigh block-fading... Read More about Optimal placement of relay nodes over limited positions in wireless sensor networks.