( en | de | ru )

 

Disambiguierung von "Nawaz, M. Saqib"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
FastTIRP: Efficient Discovery of Time-Interval Related Patterns.

, , , und . BDA, Volume 13773 von Lecture Notes in Computer Science, Seite 185-199. Springer, (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)LCIM: Mining Low Cost High Utility Itemsets., , , , , und . MIWAI, Volume 13651 von Lecture Notes in Computer Science, Seite 73-85. Springer, (2022)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)Proof searching in HOL4 with genetic algorithm., , , , und . SAC, Seite 513-520. ACM, (2020)Metaheuristic Algorithms for Proof Searching in HOL4., , , und . SEKE, Seite 376-381. KSI Research Inc., (2022)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)Using Coq for Formal Modeling and Verification of Timed Connectors., , , , und . SEFM Workshops, Volume 10729 von Lecture Notes in Computer Science, Seite 558-573. Springer, (2017)