Outputs (6)

Bee swarm optimization for solving the MAXSAT problem using prior knowledge (2017)
Journal Article

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

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

© 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

© 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.

Energy Harvesting Aware Minimum Spanning Tree for Survivable WSN with Minimum Relay Node Addition (2017)
Presentation / Conference Contribution

Survivable wireless sensor networks that take advantage of green energy resources from the environment is considered in this paper. The particular problem of constrained relay nodes (RNs) placement to ensure communication coverage in the single-tiere... Read More about Energy Harvesting Aware Minimum Spanning Tree for Survivable WSN with Minimum Relay Node Addition.

Optimal placement of relay nodes over limited positions in wireless sensor networks (2017)
Journal Article

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.