Ingy Ramzy

Learn More
—This work is on formal modeling, analysis and detection of job interference in large distributed multi-agent systems. Such an analysis usually requires an examination of all the global system states—often impossible due to the well-known state space explosion. We obtain a sufficient condition so that job interference can be detected by observations of(More)
The purpose of this case report is to point out the diagnostic value of cytologic smears in patients presenting with anorectal complaints, such as bleeding, pain or discomfort, which may suggest a neoplastic lesion. We present a case of a 64-year-old man with a 3 months' history of anal bleeding and pain during defecation. He was diagnosed as having(More)
  • 1