Formal Verification of Liveness Properties in Causal Order Broadcast Systems Using Event-B

von Yadav, Pooja
Veröffentlicht in Doctoral Symposium on Computational Intelligence (2. : 2021 : Lucknow) Proceedings of Second Doctoral Symposium on Computational Intelligence (2022)

Lung-GANs : unsupervised representation learning for lung disease classification using chest CT and X-ray images

von Yadav, Pooja
Veröffentlicht in Institute of Electrical and Electronics Engineers IEEE transactions on engineering management (2023)