Recognition of COVID-19 is a challenging task which consistently requires taking a gander
at clinical images of patients. In this paper, the transfer learning technique has been applied …

Reverse Transcription Polymerase Chain Reaction (RT‐PCR) used for diagnosing COVID‐19
has been found to give low detection rate during early stages of infection. Radiological …

Brain tumors are instigated by abnormal growth of tissues in brain due to uncontrolled and
rapid cell division. This can be fatal if not promptly treated in earlier stages. Magnetic …

LGGLGGGG GG aaL Page 1 LGGLGGGG GG aaL This manuscript has been reproduced
from the microfilm master. UMl films the text directly from the original or copy submitted. Thus, …

Background and Objective: Rapid and precise diagnosis of COVID-19 is very critical in hotspot
regions. The main aim of this proposed work is to investigate the baseline, laboratory and …

This paper is a sequel to our previous work wherein we proposed a state-based partial-order
concurrency model from a given specification of communicating finite state machines (…

In this work, we alleviate the well-known State-Space Explosion (SSE) problem in
Component Based Systems (CBS). We consider CBS that can be specified as a system of n …

In this paper, we model a distributed system consisting of n processes by a respective set of
n Communicating Finite State Machines (CFSMs). The processes run concurrently and …

Message sequence charts (MSCs) are commonly used to specify interactions between
agents in communicating systems. Their visual nature makes them attractive for describing …

In this paper, the goal is to perform the verification of fault-tolerant properties of a peer-to-peer
(P2P) network consisting of n nodes running n corresponding parallel processes. The …