Page
%P
-
Chapter and Conference Paper
Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP
Federated learning (FL) is a machine learning setting where clients keep the training data decentralised and collaboratively train a model either under the coordination of a central server (centralised FL) or ...
-
Chapter and Conference Paper
A Federated Learning Algorithms Development Paradigm
At present many distributed and decentralized frameworks for federated learning algorithms are already available. However, development of such a framework targeting smart Internet of Things in edge systems is ...