Recently added

FORMAL ANALYSIS OF HOMOGENEOUS LINEAR DIFFERENTIAL EQUATIONS USING THEOREM PROVING

Muhammad Usman Sanwal (RCMS, National University of Sciences and Technology, 2012)

Traditionally, differential equations are solved using paper-and-pencil proof methods, com puter based numerical methods or computer algebra systems. All these methods are error prone and thus the analysis cannot be termed ...

Computational Modelling and Analysis of Neuronal Pathways in Alzheimer’s

Javaria Ashraf (RCMS, National University of Sciences and Technology, 2020)

Alzheimer’s is a progressive neurodegenerative disease which damages the brain of elderly population. It is a silent progressive disease and establishes over time with the formation of senile plaques and neurofibrillary ...

Removal of Azo-dyes from wastewater by adsorption on the surface of Graphene Oxide nanosheet: Experimental and Computational approaches

Haris Bin Tanveer (RCMS, National University of Sciences and Technology, 2019)

Azo dyes are a coloring agents having wide applications in various industries like paint, textile and paper industries. Azo dyes released as waste materials by textile industries during cleaning process have detrimental ...

Automatic Cell Detection and Counting of Microscopic Images using Machine Learning

Husnain Rashid (RCMS, National University of Sciences and Technology, 2020)

Counting of microscopic cells and their recognition to determine the cell viability is a tedious and time consuming task that involves human effort leading to uncertainty and errors. Several microscopic cell recognition ...

Adsorption and Dissociation of H2O on N-Functionalized Carbon Nanotubes (CNTs)

Aqsa Aleem (RCMS, National University of Sciences and Technology, 2019)

Adsorption of one and two water molecules on the surface of pristine, carbamic acid and 2-amino 3-acetly pyridine functionalized CNTs at various positions (center and edges) have been investigated using DFT methods, ...

Identification of Biomarkers in Cutaneous Squamous Cell Carcinoma (cSCC) and Psoriasis via Computational Approaches

Sidra Adil (RCMS, National University of Sciences and Technology, 2019)

Cutaneous Squamous Cell Carcinoma is the second most common prevalent skin cancer all over the world with potential to metastasize and recur. There is an urge to discover biomarkers for cutaneous Squamous Cell Carcinoma ...

Formal Verification of Internet Worm Propagation Model

Misbah Razzaq (RCMS, National University of Sciences and Technology, 2012)

Internet worms are analogous to biological viruses since they can infect a host and have the ability to propagate through a chosen medium. To prevent the spread of a worm or to grasp how to regulate a prevailing worm, ...

Therapeutic Target Identification for Gastric Carcinoma caused by Helicobacter pylori through Integrated Analysis of Microarray and RNA-Seq

Sabaoon Zeb (RCMS, National University of Sciences and Technology, 2019)

Gastric cancer (GC) is the third leading cause of death worldwide where major precursor of cancer progression is infection with gastric pathogen Helicobacter pylori. 50% of the world population is infected with H.pylori ...

UNDERSTANDING HOW GALAXIES ACQUIRE THEIR ANGULAR MOMENTUM USING NUMERICAL SIMULATIONS

Sara Zahoor (RCMS, National University of Sciences and Technology, 2019)

Using N-body cosmological simulation, we present a detail study of redshift evolution and the impact of box size on the properties of dark matter halos. Our focus is to review their structural parameters in ΛCDM model. ...

Parameters Estimation of Biological Regulatory Networks: An Alternate Approach Based on Computation of Network Centrality

Darrak Moin Quddusi (RCMS, National University of Sciences and Technology, 2019)

Biological systems are complex, diverse and dynamic in nature and these features make them difficult to study. Thus, an easy way is to abstract them in the form of sim ple regulatory networks. Qualitative modeling approaches ...

Using Artificial Intelligence Approach to Estimate the Aircraft Performance Parameters

Asad ur Rehman, Faisal (RCMS NUST, 2020-06-06)

In modern era, an aircraft experiences numerous adjustments during designing phase. The advent of new features has made the aircraft’s design process more complicated to make decision regarding selection of appropriate ...

Approval Prediction for Software Enhancement Report using Deep Neural Network

Nafees, Sadeem Ahmad (RCMS NUST, 2020-01-12)

Software applications obtain enhancement requests on a large scale to fulfil user requirements through a bug tracking system, which is an important application for keeping record of the bugs in the software development ...

Modelling and Simulation of 2-Dimensional Maxwell Nanofluid Using Cattaneo Christov Heat Flux Model

Mushtaq, Kiran (RCMS NUST, 2020-02-06)

Boundary layer flows have a vast application in various fields due to heat transfer. Now scientist and researchers are using nanofluids, which is an engineered heat transfer fluid prepared by nanometer sized particles, for ...

Study of Rotating Flows and Heat Transfer for Casson Nanofluid under Uniform Magnetic Field

Hani, Ume (RCMS NUST, 2020-01-06)

A fluid for which stress isn’t linearly related to deformation rate is termed as a non-Newtonian fluid. Such fluids help us comprehend the widespread variety of fluids that occur in the physical world. Many researchers ...

STABILITY CONSIDERATIONS OF HIGH-LIFT DEVICES

UR REHMAN, HAMOOD (RCMS NUST, 2019-12-01)

High Lift Devices (HLDs) are wing surfaces that change the aerodynamic characteristics for desirable performance in specific flight regimes. HLDs improve the slow flight performance and help reduce the stall speed by ...

Performance Analysis of Deep Learning Based Object Detection Algorithms for Satellite Imagery

Tahir, Arsalan (RCMS NUST, 2020-07-01)

Object detection is a vital step in satellite imagery-based computer vision applications such as precision agriculture, urban planning and defense applications. In satellite imagery, object detection is a very complicated ...

Pharmacoinformatics Guided Virtual Screening Pipeline to Mimic hERG Inhibition Profiles of New Chemical Entities

Munawar, Saba (RCMS NUST, 2020-01-01)

One of the major causes of sudden cardiac death is Torsades de pointes (TdP), a polymorphic tachycardia with characteristic “twisting of the points” on the electrocardiogram. Torsades de pointes is frequently associated ...

Effect of Haptics on Pilot/operator Performance During Flight Simulation

Malik, Hassam Ahmed (RCMS NUST, 2020-01-01)

The significance of training in aviation industry has been recognized since the beginning of manned flight. When we talk about training for pilots it is obvious that it has to be a flight simulation experience because ...

Few Shot Metric Learning for Remote Sensing Image Scene Classification

Talay, Muhammad Adil (RCMS NUST, 2020-08-06)

Visual recognition in aerial imagery plays an important role in a wide range of applications such as surveillance, monitoring, detection and management of natural and manmade disasters. Current advances in deep learning ...

Understanding the Effect of Panel Shape on Soccer Ball Aerodynamics using CFD

Iftikhar, Sarmad (RCMS NUST, 2020-08-01)

Football is considered as the most popular sports today and is played widely around the world. Due to increasing technological advancements and demand for better performance, the football manufacturers have been developing ...

Recently added

SINES: Recent submissions

Search DSpace

Browse

All of DSpace

This Community

My Account