pith. sign in

Muhammad Taimoor Khan

Identifiers

  • name variant Muhammad Taimoor Khan 0.60 · backfill

Papers (8)

  1. QADL: Prototype of Quantum Architecture Description Language quant-ph · 2024 · author #4
  2. Effective prevention of semantic drift as angular distance in memory-less continual deep neural networks cs.LG · 2021 · author #2
  3. Sound and Complete Runtime Security Monitor for Application Software cs.CR · 2016 · author #1
  4. On the Formal Semantics of the Cognitive Middleware AWDRAT cs.PL · 2014 · author #1
  5. On the Behavioural Formalization of the Cognitive Middleware AWDRAT cs.AI · 2014 · author #1
  6. Towards the Formal Specification and Verification of Maple Programs cs.MS · 2012 · author #1
  7. On Formal Specification of Maple Programs cs.MS · 2012 · author #1
  8. Technique detection software for Sparse Matrices cs.MS · 2012 · author #1

Mentions

  • 2410.19770 #4 · arxiv_oai · confidence 0.70 Muhammad Taimoor Khan
  • 2112.09175 #2 · arxiv_oai · confidence 0.70 Muhammad Taimoor Khan
  • 1601.04263 #1 · arxiv_oai · confidence 0.70 Muhammad Taimoor Khan
  • 1412.3588 #1 · arxiv_oai · confidence 0.70 Muhammad Taimoor Khan
  • 1412.2328 #1 · arxiv_oai · confidence 0.70 Muhammad Taimoor Khan
  • 1207.2300 #1 · arxiv_oai · confidence 0.70 Muhammad Taimoor Khan
  • 1207.2291 #1 · arxiv_oai · confidence 0.70 Muhammad Taimoor Khan
  • 1202.5964 #1 · arxiv_oai · confidence 0.70 Muhammad Taimoor Khan
  • 1412.3588 #1 · backfill · confidence 0.70 Muhammad Taimoor Khan
  • 1412.2328 #1 · backfill · confidence 0.70 Muhammad Taimoor Khan
  • 1207.2300 #1 · backfill · confidence 0.70 Muhammad Taimoor Khan
  • 1207.2291 #1 · backfill · confidence 0.70 Muhammad Taimoor Khan
  • 1202.5964 #1 · backfill · confidence 0.70 Muhammad Taimoor Khan

Frequent Coauthors