scispace - formally typeset
S

S. M. Masud Karim

Researcher at Khulna University

Publications -  10
Citations -  250

S. M. Masud Karim is an academic researcher from Khulna University. The author has contributed to research in topics: Data exchange & First-order logic. The author has an hindex of 3, co-authored 10 publications receiving 234 citations. Previous affiliations of S. M. Masud Karim include University of South Australia.

Papers
More filters
Proceedings ArticleDOI

A new approach for LSB based image steganography using secret key

TL;DR: A best approach for Least Significant Bit (LSB) based on image steganography that enhances the existing LSB substitution techniques to improve the security level of hidden information and the Peak Signal-to-Noise Ratio (PSNR) to measure the quality of the stego images.
Journal ArticleDOI

Identification of miRNA-mRNA regulatory modules by exploring collective group relationships

TL;DR: DIscovering COllective group RElationships (DICORE) is proposed, an effective computational framework for revealing miRNA-mRNA regulatory relationships and it is shown that the top mRNAs that are regulated by the miRNAs in the identified MMRMs are highly relevant to the biological conditions of the given datasets.
Book ChapterDOI

Discovering Collective Group Relationships

TL;DR: This paper defines the notation of collective group relationships (CGRs) between two sets of individual components and proposes a method to discover CGRs from heterogeneous datasets that integrates canonical correlation analysis (CCA) with graph mining to find top-k C GRs.
Proceedings ArticleDOI

Towards a tableau based high performance automated theorem prover

TL;DR: This paper describes the implementation of a sequential tableau algorithm for propositional logic using a procedural programming language rather then logic programming language and proposes a tableau based proof system in a distributed environment using the message passing interface.
Journal ArticleDOI

A Tableau Based Automated Theorem Prover Using High Performance Computing

TL;DR: A detailed implementation of a sequential tableau algorithm for propositional and first order logic using a procedural language rather then logic programming language is described and the proposed high performance approach will un-wrap an efficient paradigm for automated theorem proving.