Anasuodei Moko

Federal University Otuoke · Computer science and Informatics

Immunization against infectious diseases is a lifelong engagement requiring proper record management. In recent times, following the outbreak of COVID-19, it has become imperative that immunization records done locally should be accessible as substantial accessible proof internationally, anywhere, anytime and for future use. Apart from the Electron...

Data in recent times has become bigger and bigger to handle increasing exceptionally in volume, causing specifically unstructured data to become difficult to process and manage, because structured database experiences difficulties when handling unstructured data due to its size, which is termed Big Data. Hence to make sense of Big data, new archite...

The growing shreds of evidence and spread of COVID-19 in recent times have shown that to effortlessly and optimally tackle the rate at which COVID-19 infected individuals affect uninfected individuals has become a pressing challenge. This demands the need for a smart contact tracing method for COVID-19 contact tracing. This paper reviewed and analy...

Diabetes mellitus (DM) is one of the world's fatal diseases, mostly in developed countries. It has become more predominant in developing countries such as Nigeria in recent years, posing more risks to individuals in the latter than the former. This study proposed a risk prediction model for Type 2 diabetes in Nigeria with feature selection adopting...

Autism Spectrum Disorder (ASD) is categorized by social, behavioral and must crucially communication deficiencies. Early detection is necessary for an improved positive result in therapy. This paper proposes a voice parameter analysis for the early detection of ASD in children. The Study used MATLAB programming software to display the signal analys...

Autism Spectrum Disorder (ASD) is categorized by social, behavioral and must crucially communication deficiencies. Early detection is necessary for an improved positive result in therapy. This paper proposes a voice parameter analysis for the early detection of ASD in children. The Study used MATLAB programming software to display the signal analys...

A key concern of Automated Theorem Proving (ATP) research is the development and use of systems that derives conclusions following inevitably from facts. This capability lies at the heart of many important computational tasks. The project’s focus was on the design and implementation of a program for automated theorem proving in first-order log...