Showing 1 - 3 results of 3 for search 'Sahar Selim ', query time: 0.01s Refine Results
  1. 1
    Improving Cell Nuclei Segmentation in Pathological Tissues Using Self-Supervised Regression Method

    Improving Cell Nuclei Segmentation in Pathological Tissues Using Self-Supervised Regression Method by Hesham Ali, Mostafa Hammouda, Mustafa Elattar, Sahar Selim

    Published 2025-01-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-Checking

    TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-Checking by Amira T. Mahmoud, Walaa Medhat, Sahar Selim, Hala Zayed, Ahmed H. Yousef, Nahla Elaraby

    Published 2025-04-01
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Formal Verification of Code Conversion: A Comprehensive Survey

    Formal Verification of Code Conversion: A Comprehensive Survey by Amira T. Mahmoud, Ahmad A. Mohammed, Mahitap Ayman, Walaa Medhat , Sahar Selim , Hala Zayed, Ahmed H. Yousef, Nahla Elaraby 

    Published 2024-11-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: