1 citations · 1 across the 4 of their papers we have counts for
4 papers
GraATP: A Graph Theoretic Approach for Automated Theorem Proving in Plane Geometry
Mohammad Murtaza Mahmud, Swakkhar Shatabda, Mohammad Nurul Huda
Automated Theorem Proving (ATP) is an established branch of Artificial Intelligence. The purpose of ATP is to design a system which can automatically figure out an algorithm either…
FGPGA: An Efficient Genetic Approach for Producing Feasible Graph Partitions
Md. Lisul Islam, Novia Nurain, Swakkhar Shatabda +1
Graph partitioning, a well studied problem of parallel computing has many applications in diversified fields such as distributed computing, social network analysis, data mining and…
GreMuTRRR: A Novel Genetic Algorithm to Solve Distance Geometry Problem for Protein Structures
Md. Lisul Islam, Swakkhar Shatabda, M. Sohel Rahman
Nuclear Magnetic Resonance (NMR) Spectroscopy is a widely used technique to predict the native structure of proteins. However, NMR machines are only able to report approximate and…
CoMOGrad and PHOG: From Computer Vision to Fast and Accurate Protein Tertiary Structure Retrieval
Rezaul Karim, Mohd. Momin Al Aziz, Swakkhar Shatabda +4
Due to the advancements in technology number of entries in the structural database of proteins are increasing day by day. Methods for retrieving protein tertiary structures from th…