[HTML][HTML] Reviewing federated machine learning and its use in diseases prediction
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 …
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
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 …
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 …
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 …
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
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 …
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 …
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. …
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 …
performance of RAM. To describe the persistency guarantees of NVM, several memory …
[HTML][HTML] Local reasoning about the presence of bugs: Incorrectness separation logic
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 …
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
Background: The advancement of information and communication technologies and the
growing power of artificial intelligence are successfully transforming a number of concepts that …
growing power of artificial intelligence are successfully transforming a number of concepts that …