|
|
|
Tasniem Al-Yahya, Mohamed El Bachir Abdelkrim Menai and Hassan Mathkour
Boolean structural measures were introduced to explain the high performance of conflict-driven clause-learning (CDCL) SAT solvers on industrial SAT instances. Those considered in this study include measures related to backbones and backdoors: backbone si...
ver más
|
|
|
|
|
|
Jong-Shin Chen, Ruo-Wei Hung, Fatemeh Keshavarz-Kohjerdi and Yung-Fa Huang
Supergrid graphs are derived by computing stitch paths for computerized embroidery machines. In the past, we have studied the Hamiltonian-related properties of supergrid graphs and their subclasses of graphs. In this paper, we propose a generalized graph...
ver más
|
|
|
|
|
|
Olivier Debauche, Jean Bertin Nkamla Penka, Saïd Mahmoudi, Xavier Lessage, Moad Hani, Pierre Manneback, Uriel Kanku Lufuluabu, Nicolas Bert, Dounia Messaoudi and Adriano Guttadauria
The aging of the world?s population, the willingness of elderly to remain independent, and the recent COVID-19 pandemic have demonstrated the urgent need for home-based diagnostic and patient monitoring systems to reduce the financial and organizational ...
ver más
|
|
|
|
|
|
Nasir G. Hariri, Mohammed A. AlMutawa, Ibrahim Sufian Osman, Ibrahim K. AlMadani, Abdulilah M. Almahdi and Sajid Ali
Today, the world continuously investigates the promising potential of advanced and optimized technologies for harvesting green renewable energy sources, such as a solar tracking system (STS). This study presents an actual implementation of a single-axis ...
ver más
|
|
|
|
|
|
Charles Whittaker and Robert Leconte
For the past few decades, remote sensing has been a valuable tool for deriving global information on snow water equivalent (SWE), where products derived from space-borne passive microwave radiometers are favoured as they respond to snow depth, an importa...
ver más
|
|
|