[HTML][HTML] Reviewing federated machine learning and its use in diseases prediction

…, M Adda, A Bouzouane, H Ibrahim, A Raad - Sensors, 2023 - mdpi.com
Machine learning (ML) has succeeded in improving our daily routines by enabling automation
and improved decision making in a variety of industries such as healthcare, finance, and …

[HTML][HTML] Reviewing federated learning aggregation algorithms; strategies, contributions, limitations and future perspectives

…, M Adda, A Bouzouane, H Ibrahim, A Raad - Electronics, 2023 - mdpi.com
The success of machine learning (ML) techniques in the formerly difficult areas of data analysis
and pattern extraction has led to their widespread incorporation into various aspects of …

Personality in learning and education: A review

B De Raad, HC Schouwenburg - European Journal of …, 1996 - Wiley Online Library
The literature relevant to the combined area of personality and education and learning is
summarized, covering almost a century of research and theorizing. Different topics considered …

Cyclostationary modelling of rotating machine vibration signals

J Antoni, F Bonnardot, A Raad, M El Badaoui - Mechanical systems and …, 2004 - Elsevier
This paper is dedicated to modelling rotating machine signals as cyclostationary processes,
with strong emphasis on the peculiarities and pitfalls that this issue implies. The objective is …

[HTML][HTML] Reviewing multimodal machine learning and its use in cardiovascular diseases detection

…, M Adda, A Bouzouane, H Ibrahim, A Raad - Electronics, 2023 - mdpi.com
Machine Learning (ML) and Deep Learning (DL) are derivatives of Artificial Intelligence (AI)
that have already demonstrated their effectiveness in a variety of domains, including …

Indicators of cyclostationarity: Theory and application to gear fault monitoring

A Raad, J Antoni, M Sidahmed - Mechanical Systems and Signal …, 2008 - Elsevier
This paper focuses on the proposal of new and simple indicators of cyclostationarity for the
characterisation of vibration signals whose statistics are periodically varying with respect to …

Model checking for weakly consistent libraries

M Kokologiannakis, A Raad, V Vafeiadis - Proceedings of the 40th ACM …, 2019 - dl.acm.org
We present GenMC, a model checking algorithm for concurrent programs that is parametric
in the choice of memory model and can be used for verifying clients of concurrent libraries. …

Persistency semantics of the Intel-x86 architecture

A Raad, J Wickerson, G Neiger… - Proceedings of the ACM on …, 2019 - dl.acm.org
Emerging non-volatile memory (NVM) technologies promise the durability of disks with the
performance of RAM. To describe the persistency guarantees of NVM, several memory …

[HTML][HTML] Local reasoning about the presence of bugs: Incorrectness separation logic

A Raad, J Berdine, HH Dang, D Dreyer… - … Aided Verification: 32nd …, 2020 - Springer
There has been a large body of work on local reasoning for proving the absence of bugs,
but none for proving their presence. We present a new formal framework for local reasoning …

[HTML][HTML] Smart wearables for the detection of cardiovascular diseases: a systematic literature review

…, M Adda, A Bouzouane, H Ibrahim, A Raad - Sensors, 2023 - mdpi.com
Background: The advancement of information and communication technologies and the
growing power of artificial intelligence are successfully transforming a number of concepts that …