Quantum computers could solve certain problems that would take traditional classical computers an impractically long time to ...

Abstract: Federated learning is an important distributed machine learning paradigm. This study proposes a privacy-preserving data augmentation model for federated learning of heterogeneous data, which ...

Abstract: An interlocking constitutes an arrangement of railway signaling equipment with the aim to guarantee the safe movement of trains. A wide range of formal methods have been applied in the ...