User profiles for Vasumathi Narayanan
![]() | Vasumathi Narayananciti Verified email at northeastern.edu Cited by 202 |
Detection of COVID-19 using CXR and CT images using Transfer Learning and Haralick features
V Perumal, V Narayanan, SJS Rajasekar - Applied Intelligence, 2021 - Springer
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 …
at clinical images of patients. In this paper, the transfer learning technique has been applied …
Prediction of COVID‐19 with Computed Tomography Images using Hybrid Learning Techniques
V Perumal, V Narayanan, SJS Rajasekar - Disease markers, 2021 - Wiley Online Library
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 …
has been found to give low detection rate during early stages of infection. Radiological …
Detection of brain tumor with magnetic resonance imaging using deep learning techniques
V Perumal, V Narayanan, SJS Rajasekar - Brain Tumor MRI Image …, 2022 - Elsevier
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 …
rapid cell division. This can be fatal if not promptly treated in earlier stages. Magnetic …
A state-oriented, partial-order model and logic for distributed systems verification
VK Narayanan - 1997 - spectrum.library.concordia.ca
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, …
from the microfilm master. UMl films the text directly from the original or copy submitted. Thus, …
Prediction of COVID criticality score with laboratory, clinical and CT images using hybrid regression models
V Perumal, V Narayanan, SJS Rajasekar - Computer methods and …, 2021 - Elsevier
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 …
regions. The main aim of this proposed work is to investigate the baseline, laboratory and …
A branching-time logic to verify synchronously coupled concurrent systems and its relevance to web-based systems
VK Narayanan… - International Journal of …, 2015 - inderscienceonline.com
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 (…
concurrency model from a given specification of communicating finite state machines (…
Alleviating State-space Explosion in Component-based Systems with Distributed, Parallel Reachability Analysis Algorithm
VK Narayanan - arXiv preprint arXiv:1803.03127, 2018 - arxiv.org
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 …
Component Based Systems (CBS). We consider CBS that can be specified as a system of n …
[PDF][PDF] A component-based approach to verification of formal software models to check safety properties of distributed systems
S Dakshinamurthy, VK Narayanan - Lecture Notes on Software …, 2013 - scholar.archive.org
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 …
n Communicating Finite State Machines (CFSMs). The processes run concurrently and …
Causal closure for MSC languages
Message sequence charts (MSCs) are commonly used to specify interactions between
agents in communicating systems. Their visual nature makes them attractive for describing …
agents in communicating systems. Their visual nature makes them attractive for describing …
[PDF][PDF] A Model-checking Algorithm for Formal-verification of Peer-to-peer Fault-tolerant Networks
S Dakshinamurthy, VK Narayanan - Lecture Notes on Information Theory Vol, 2013 - lnit.org
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 …
(P2P) network consisting of n nodes running n corresponding parallel processes. The …