( en | de | ru )

 

Disambiguierung von "Nawaz, M. Saqib"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
S-PDB: Analysis and Classification of SARS-CoV-2 Spike Protein Structures.

, , und . BIBM, Seite 2259-2265. IEEE, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Saqib Saeed

Saqib Saeed

Saqib Saeed

Ahmad Nawaz

Mohsin Nawaz

 

Weitere Publikationen von Autoren mit dem selben Namen

Reasoning About Order Crossover in Genetic Algorithms., , und . ICSI (1), Volume 13344 von Lecture Notes in Computer Science, Seite 261-271. Springer, (2022)Metamorphic Malware Behavior Analysis Using Sequential Pattern Mining., , , , und . PKDD/ECML Workshops (2), Volume 1525 von Communications in Computer and Information Science, Seite 90-103. Springer, (2021)Machine Learning for Intelligent Industrial Design., , , und . PKDD/ECML Workshops (2), Volume 1525 von Communications in Computer and Information Science, Seite 158-172. Springer, (2021)A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS., und . BDIOT, Seite 186-190. ACM, (2018)FastTIRP: Efficient Discovery of Time-Interval Related Patterns., , , und . BDA, Volume 13773 von Lecture Notes in Computer Science, Seite 185-199. Springer, (2022)LCIM: Mining Low Cost High Utility Itemsets., , , , , und . MIWAI, Volume 13651 von Lecture Notes in Computer Science, Seite 73-85. Springer, (2022)Proof searching in HOL4 with genetic algorithm., , , , und . SAC, Seite 513-520. ACM, (2020)Proof Searching in PVS Theorem Prover Using Simulated Annealing., , und . ICSI (2), Volume 12690 von Lecture Notes in Computer Science, Seite 253-262. Springer, (2021)Metaheuristic Algorithms for Proof Searching in HOL4., , , und . SEKE, Seite 376-381. KSI Research Inc., (2022)Reo2PVS: Formal Specification and Verification of Component Connectors., und . SEKE, Seite 391-390. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2018)